Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class EV_PROJECTOR General obsolete: "Use EV_MODEL_PROJECTOR instead. [2017-05-31]" cluster: interface description: "Viewers of EV_FIGURE_WORLDs." keywords: "projector, world, figure" Ancestors ANY Queries world: EV_FIGURE_WORLD Commands set_world (a_world: EV_FIGURE_WORLD) Constraints world exists
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org