- indexing
- project: "Visual Eiffel COM"
- copyright: "Object Tools, 1998-2001"
- version: "1.1"
- key: "COM"
- cluster: ecom
class WSTRINGS_GUIDS_SERVER
- inherit
-
WAPI_NLS_CONST
- end
- feature
-
guid2string (guid: POINTER): STRING
-
- require
-
valid_guid:
guid /= default_pointer
-
- ensure
-
non_void_result:
Result /= void
-
valid_result:
Result.count > 0
-
wstr2estr (src: STRING): STRING
-
- require
-
non_void_src:
src /= void
-
- ensure
-
non_void_result:
Result /= void
-
estr2wstr (src: STRING): STRING
-
- require
-
non_void_src:
src /= void
-
- ensure
-
non_void_result:
Result /= void
-
valid_result:
Result.count >= src.count
-
pwstr2estr (pws: POINTER): STRING
-
- require
-
non_pointer_to_wstring:
pws /= default_pointer
-
- ensure
-
non_void_result:
Result /= void
-
string2guid (sguid: STRING): ECOM_GUID
-
iface2iid (iface_: STRING): ECOM_GUID
-
progid2clsid (progid_: STRING): ECOM_GUID
end -- class WSTRINGS_GUIDS_SERVER