class BOOK

create
    make

feature {NONE} -- Initialization

    make (a_title: STRING_32; an_author: AUTHOR; an_isbn: STRING_32)
        do
            set_title (a_title)
            set_author (an_author)
            set_isbn (an_isbn)
        end

feature -- Access

    title: STRING_32

    isbn: STRING_32

    author: AUTHOR

feature -- Status setting

    set_title (a_title: STRING_32)
        do
            title := a_title
        end

    set_author (an_author: AUTHOR)
        do
            author := an_author
        end

    set_isbn (an_isbn: STRING_32)
        do
            isbn := an_isbn
        end

end -- class BOOK