indexing description: "COM GUID routines" status: "See notice at end of class" date: "$Date$" revision: "$Revision$" class interface ECOM_GUID_ROUTINES feature -- Status report is_valid_guid_string (s: STRING): BOOLEAN -- Is s a valid GUID? require valid_string: s /= void invariant -- from ANY reflexive_equality: standard_is_equal (Current) reflexive_conformance: conforms_to (Current) end -- class ECOM_GUID_ROUTINES