indexing description: "COM Stub." status: "See notice at end of class" date: "$Date$" revision: "$Revision$" deferred class interface ECOM_STUB feature -- Access exists: BOOLEAN -- Is stub initialized? item: POINTER -- Pointer to COM object stub. feature -- Basic operations create_item -- Create COM stub. require not_exists: not exists ensure exists: exists set_item (an_item: POINTER) -- Set item with an_item. ensure valid_item: item = an_item invariant -- from ANY reflexive_equality: standard_is_equal (Current) reflexive_conformance: conforms_to (Current) end -- class ECOM_STUB