Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EV_PROPERTY_STORE General cluster: ribbon description: "Exposes methods for enumerating, getting, and setting property values." create: share_with_pointer Ancestors ANY Queries count: NATURAL_32 key_at (a_index: NATURAL_32): EV_PROPERTY_KEY pointer: MANAGED_POINTER value (a_property_key: EV_PROPERTY_KEY): EV_PROPERTY_VARIANT Commands commit set_value (a_key: EV_PROPERTY_KEY; a_value: EV_PROPERTY_VARIANT)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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