indexing
	description: "Viewers of EV_FIGURE_WORLDs."
	status: "See notice at end of class"
	keywords: "projector, world, figure"
	date: "$Date$"
	revision: "$Revision$"

deferred class interface
	EV_PROJECTOR

feature -- Access

	world: EV_FIGURE_WORLD
			-- Figure-world that will be projected.
	
feature -- Status setting

	set_world (a_world: EV_FIGURE_WORLD)
			-- Set world to a_world.
		require
			a_world_exists: a_world /= void
		ensure
			world_assigned: world = a_world
	
invariant

	world_exists: world /= void
		-- from ANY
	reflexive_equality: standard_is_equal (Current)
	reflexive_conformance: conforms_to (Current)

end -- class EV_PROJECTOR