- indexing
- project: "Visual Eiffel COM"
- copyright: "Object Tools, 1998-2001"
- version: "1.1"
- key: "COM"
- cluster: ecom
class RTS_CLASS_INFO_EX
- inherit
-
RTS_CLASS_INFO_
-
- redefine
- out
- end
- creation
- make
- feature -- operations
-
out: STRING
-
is_cointerface: BOOLEAN
-
is_cointerface_part: BOOLEAN
-
is_coclass: BOOLEAN
-
has_extension: BOOLEAN
-
flags: BIT 32
-
get_guid: ECOM_GUID
-
- require
-
valid_class_info:
is_cointerface or else is_coclass
-
- ensure
-
non_void_result:
Result /= void
-
get_progid: STRING
-
- require
-
is_coclass:
is_coclass
-
- ensure
-
non_void_result:
Result /= void
-
valid_result:
Result.count > 0
-
number_of_methods: INTEGER
-
- ensure
-
meaningful_result:
is_cointerface_part implies Result > 0
-
get_methods_table: RTS_MEMORY_MAPPED_AREA_ARRAY [POINTER]
-
- require
-
is_cointerface_part:
is_cointerface_part
-
- ensure
-
non_void_result:
Result /= void
-
valid_result:
Result.count > 0
-
change_guid (g: ECOM_GUID)
-
- require
-
non_void_new_guid:
g /= void
-
valid_class_info:
is_cointerface or else is_coclass
- feature -- flags constants
-
has_extension_flag: INTEGER
-
is_cointerface_flag: INTEGER
-
is_coclass_flag: INTEGER
-
is_cointerface_part_flag: INTEGER
end -- class RTS_CLASS_INFO_EX