note
	legal: "See notice at end of class."
	status: "See notice at end of class."

class BOOK3

inherit
	ANY
		redefine
			out
		end

create
	make

feature

	title: STRING_32

	author: STRING_32

	quantity: INTEGER

	price: DOUBLE

	year: DATE_TIME

	double_value: DOUBLE

 	set_title (t: STRING_32)
			-- Set `title' with `t'
		require
			argument_exists: not (t = Void)
		do
			title := t
		ensure
			title = t
		end

	set_author (a: STRING_32)
			-- Set `author' with `a'
		require
			argument_exists: not (a = Void)
		do
			author := a
		ensure
			author = a
		end

	set_quantity (q: INTEGER)
			-- Set `quantity' with `q'
		do
			quantity := q
		end

	set_year (y: INTEGER)
			-- Set `year' with `y'
		local
			date: DATE
		do
			create date.make(y,1,1)
			year.set_date(date)
		end

	set_price (p: DOUBLE)
            		-- Set `price' with `p'
	        do
			price := p
        	end

	set_double_value (d: DOUBLE)
			-- set `double_value' with `d'
		do
			double_value := d
		end

	set_from_array (v:  ARRAY [ANY])
		local
			q: detachable INTEGER_REF
			p, d: detachable DOUBLE_REF
		do
			if attached {like title} v.item (1) as l_title then
				title := l_title
			end

			if attached {like author} v.item (2) as l_author then
				author := l_author
			end

			if attached {like year} v.item (3) as l_year then
				year := l_year
			end

			if attached {INTEGER_REF} v.item (4) as l_q then
				q := l_q
			end

			if attached {DOUBLE_REF} v.item (5) as l_p then
				p := l_p
			end

			if attached {DOUBLE_REF} v.item (6) as l_d then
				d := l_d
			end

			check q /= Void end -- FIXME: implied by...?
			quantity := q.item
			check p /= Void end -- FIXME: implied by...?
			price := p.item
			check d /= Void end -- FIXME: implied by...?
			double_value := d.item
		end

	make
		do
			create title.make (80)
			create author.make (80)
			create year.make_now
		end

	out_32: STRING_32
			-- Display contents
		do
			create Result.make (100)
			if author /= Void then
				Result.append ("Author:")
				Result.append (author)
				Result.extend ('%N')
			end
			if title /= Void then
				Result.append ("Title:")
				Result.append (title)
				Result.extend ('%N')
			end
			Result.append ("Quantity:")
			Result.append (quantity.out)
			Result.append ("%N")
			Result.append ("Price:")
			Result.append (price.out)
			Result.append ("%N")
			Result.append ("double_value:")
			Result.append (double_value.out)
			Result.extend ('%N')
			if year /= Void then
				Result.append ("First publication:")
				Result.append (year.out)
				Result.extend ('%N')
			end
			Result.extend ('%N')
		end

	out: STRING
			-- Display contents
		do
			create Result.make (100)
			if author /= Void then
				Result.append ("Author:")
				Result.append (author)
				Result.extend ('%N')
			end
			if title /= Void then
				Result.append ("Title:")
				Result.append (title)
				Result.extend ('%N')
			end
			Result.append ("Quantity:")
			Result.append (quantity.out)
			Result.append ("%N")
			Result.append ("Price:")
			Result.append (price.out)
			Result.append ("%N")
			Result.append ("double_value:")
			Result.append (double_value.out)
			Result.extend ('%N')
			if year /= Void then
				Result.append ("First publication:")
				Result.append (year.out)
				Result.extend ('%N')
			end
			Result.extend ('%N')
		end

note
	copyright:	"Copyright (c) 1984-2006, Eiffel Software and others"
	license:	"Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
	source: "[
			 Eiffel Software
			 356 Storke Road, Goleta, CA 93117 USA
			 Telephone 805-685-1006, Fax 805-685-6869
			 Website http://www.eiffel.com
			 Customer support http://support.eiffel.com
		]"


end -- class BOOK2