Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class DV_LOCATED_VALUE_REDIRECTOR General cluster: dataview description: "Objects that contain a VALUE_REDIRECTOR positionned with an integer" create: make Ancestors ANY Queries location: INTEGER_32 value_redirector: DV_VALUE_REDIRECTOR Commands set_location (v: INTEGER_32) set_value_redirector (v: DV_VALUE_REDIRECTOR)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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