Automatic generation produced by ISE Eiffel
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) -- Generated by Eiffel Studio --
For more details: eiffel.org