indexing
	description: "Figure that is can have an arrowhead at its start or endpoint."
	status: "See notice at end of class"
	keywords: "figure, line, arrow"
	date: "$Date$"
	revision: "$Revision$"

deferred class interface
	EV_ARROWED_FIGURE

feature -- Access

	Arrow_size: INTEGER is 10

	is_end_arrow: BOOLEAN
			-- Does point_b have an arrow?

	is_start_arrow: BOOLEAN
			-- Does point_a have an arrow?
	
feature -- Status setting

	disable_end_arrow
			-- Set is_end_arrow False.

	disable_start_arrow
			-- Set is_start_arrow False.

	enable_end_arrow
			-- Set is_end_arrow True.

	enable_start_arrow
			-- Set is_start_arrow True.

	line_width: INTEGER
	
invariant

		-- from ANY
	reflexive_equality: standard_is_equal (Current)
	reflexive_conformance: conforms_to (Current)

end -- class EV_ARROWED_FIGURE