note description: "[ Set of features to access ISE runtime functionality. To be used at your own risk. Interface may changed without notice. ]" library: "Free implementation of ELKS library" status: "See notice at end of class." legal: "See notice at end of class." date: "$Date: 2020-05-18 12:29:30 +0000 (Mon, 18 May 2020) $" revision: "$Revision: 104244 $" frozen class interface ISE_RUNTIME create default_create -- Process instances of classes with no creation clause. -- (Default: do nothing.) -- (from ANY) feature -- Access generating_type: TYPE [detachable ISE_RUNTIME] -- Type of current object -- (type of which it is a direct instance) -- (from ANY) ensure -- from ANY generating_type_not_void: Result /= Void generator: STRING_8 -- Name of current object's generating class -- (base class of the type of which it is a direct instance) -- (from ANY) ensure -- from ANY generator_not_void: Result /= Void generator_not_empty: not Result.is_empty feature -- Comparison frozen deep_equal (a: detachable ANY; b: like arg #1): BOOLEAN -- Are a and b either both void -- or attached to isomorphic object structures? -- (from ANY) ensure -- from ANY instance_free: class shallow_implies_deep: standard_equal (a, b) implies Result both_or_none_void: (a = Void) implies (Result = (b = Void)) same_type: (Result and (a /= Void)) implies (b /= Void and then a.same_type (b)) symmetric: Result implies deep_equal (b, a) frozen equal (a: detachable ANY; b: like arg #1): BOOLEAN -- Are a and b either both void or attached -- to objects considered equal? -- (from ANY) ensure -- from ANY instance_free: class definition: Result = (a = Void and b = Void) or else ((a /= Void and b /= Void) and then a.is_equal (b)) frozen is_deep_equal alias "≡≡≡" (other: ISE_RUNTIME): BOOLEAN -- Are Current and other attached to isomorphic object structures? -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY shallow_implies_deep: standard_is_equal (other) implies Result same_type: Result implies same_type (other) symmetric: Result implies other.is_deep_equal (Current) is_equal (other: ISE_RUNTIME): BOOLEAN -- Is other attached to an object considered -- equal to current object? -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY symmetric: Result implies other ~ Current consistent: standard_is_equal (other) implies Result frozen standard_equal (a: detachable ANY; b: like arg #1): BOOLEAN -- Are a and b either both void or attached to -- field-by-field identical objects of the same type? -- Always uses default object comparison criterion. -- (from ANY) ensure -- from ANY instance_free: class definition: Result = (a = Void and b = Void) or else ((a /= Void and b /= Void) and then a.standard_is_equal (b)) frozen standard_is_equal alias "≜" (other: ISE_RUNTIME): BOOLEAN -- Is other attached to an object of the same type -- as current object, and field-by-field identical to it? -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY same_type: Result implies same_type (other) symmetric: Result implies other.standard_is_equal (Current) feature -- Status report conforms_to (other: ANY): BOOLEAN -- Does type of current object conform to type -- of other (as per Eiffel: The Language, chapter 13)? -- (from ANY) require -- from ANY other_not_void: other /= Void same_type (other: ANY): BOOLEAN -- Is type of current object identical to type of other? -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY definition: Result = (conforms_to (other) and other.conforms_to (Current)) feature -- Duplication copy (other: ISE_RUNTIME) -- Update current object using fields of object attached -- to other, so as to yield equal objects. -- (from ANY) require -- from ANY other_not_void: other /= Void type_identity: same_type (other) ensure -- from ANY is_equal: Current ~ other frozen deep_copy (other: ISE_RUNTIME) -- Effect equivalent to that of: -- copy (other . deep_twin) -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY deep_equal: deep_equal (Current, other) frozen deep_twin: ISE_RUNTIME -- New object structure recursively duplicated from Current. -- (from ANY) ensure -- from ANY deep_twin_not_void: Result /= Void deep_equal: deep_equal (Current, Result) frozen standard_copy (other: ISE_RUNTIME) -- Copy every field of other onto corresponding field -- of current object. -- (from ANY) require -- from ANY other_not_void: other /= Void type_identity: same_type (other) ensure -- from ANY is_standard_equal: standard_is_equal (other) frozen standard_twin: ISE_RUNTIME -- New object field-by-field identical to other. -- Always uses default copying semantics. -- (from ANY) ensure -- from ANY standard_twin_not_void: Result /= Void equal: standard_equal (Result, Current) frozen twin: ISE_RUNTIME -- New object equal to Current -- twin calls copy; to change copying/twinning semantics, redefine copy. -- (from ANY) ensure -- from ANY twin_not_void: Result /= Void is_equal: Result ~ Current feature -- Basic operations frozen default: detachable ISE_RUNTIME -- Default value of object's type -- (from ANY) frozen default_pointer: POINTER -- Default value of type POINTER -- (Avoid the need to write p.default for -- some p of type POINTER.) -- (from ANY) ensure -- from ANY instance_free: class default_rescue -- Process exception for routines with no Rescue clause. -- (Default: do nothing.) -- (from ANY) frozen do_nothing -- Execute a null action. -- (from ANY) ensure -- from ANY instance_free: class feature -- Feature specific to ISE runtime. frozen check_assert (b: BOOLEAN): BOOLEAN ensure instance_free: class frozen generating_type_8_of_type (a_type_id: INTEGER_32): STRING_8 ensure instance_free: class frozen generating_type_of_type (a_type_id: INTEGER_32): STRING_8 ensure instance_free: class frozen generator_8_of_type (a_type_id: INTEGER_32): STRING_8 -- Name of the generating class of current object. ensure instance_free: class frozen generator_of_type (a_type_id: INTEGER_32): STRING_8 -- Name of the generating class of current object. ensure instance_free: class frozen in_assertion: BOOLEAN -- Are we currently checking some assertions? ensure instance_free: class frozen once_objects (a_result_type_id: INTEGER_32): SPECIAL [ANY] -- Once objects initialized in current system. -- a_result_type_id is the dynamic type of SPECIAL [ANY]. ensure instance_free: class feature -- Internal C routines frozen attached_type (a_type_id: INTEGER_32): INTEGER_32 -- Attached version of a_type_id ensure instance_free: class compiler_version: INTEGER_32 ensure instance_free: class frozen detachable_type (a_type_id: INTEGER_32): INTEGER_32 -- Detachable version of a_type_id ensure instance_free: class frozen dynamic_type (object: separate ANY): INTEGER_32 -- Dynamic type of object. ensure instance_free: class frozen is_attached_type (a_type_id: INTEGER_32): BOOLEAN -- Is a_type_id an attached type? ensure instance_free: class frozen is_field_expanded_of_type (i: INTEGER_32; a_type_id: INTEGER_32): BOOLEAN -- Is i-th field of object a user-defined expanded attribute? ensure instance_free: class frozen is_field_transient_of_type (i: INTEGER_32; a_type_id: INTEGER_32): BOOLEAN -- Is i-th field a transient field? ensure instance_free: class frozen new_instance_of (type_id: INTEGER_32): ANY -- New instance of dynamic type_id. -- Note: returned object is not initialized and may -- hence violate its invariant. -- type_id cannot represent a SPECIAL type, use -- new_special_of_reference_instance_of instead. ensure instance_free: class frozen new_special_of_reference_instance_of (type_id, a_capacity: INTEGER_32): SPECIAL [detachable ANY] -- New instance of dynamic type_id that represents -- a SPECIAL which can contain a_capacity elements of reference type. -- To create a SPECIAL of basic type, use class SPECIAL directly. ensure instance_free: class frozen new_tuple_instance_of (type_id: INTEGER_32): TUPLE -- New instance of tuple of type type_id. -- Note: returned object is not initialized and may -- hence violate its invariant. ensure instance_free: class frozen new_type_instance_of (type_id: INTEGER_32): TYPE [detachable ANY] -- New instance of TYPE for object of type type_id. ensure instance_free: class frozen persistent_field_count_of_type (a_type_id: INTEGER_32): INTEGER_32 -- Number of logical fields in dynamic type type_id that are not transient. ensure instance_free: class frozen pre_ecma_mapping_status: BOOLEAN -- Do we map old name to new name by default? ensure instance_free: class frozen set_pre_ecma_mapping (v: BOOLEAN) -- Set pre_ecma_mapping_status with v. ensure instance_free: class frozen storable_version_of_type (a_type_id: INTEGER_32): detachable STRING_8 ensure instance_free: class frozen type_conforms_to (a_type_id_1, a_type_id_2: INTEGER_32): BOOLEAN -- Does a_type_id_1 conform to a_type_id_2? ensure instance_free: class frozen type_id_from_name (s: POINTER): INTEGER_32 -- Dynamic type whose name is represented by s. ensure instance_free: class feature -- Internal support frozen boolean_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): BOOLEAN -- Boolean value of i-th field of object + a_physical_offset ensure instance_free: class frozen boolean_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): BOOLEAN -- Boolean value of the field at field_offset in object a_object + a_physical_offset. ensure instance_free: class frozen character_32_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): CHARACTER_32 -- Character value of i-th field of object + a_physical_offset ensure instance_free: class frozen character_32_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): CHARACTER_32 -- Character value of the field at field_offset in object a_object + a_physical_offset. ensure instance_free: class frozen character_8_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): CHARACTER_8 -- Character value of i-th field of object + a_physical_offset ensure instance_free: class frozen character_8_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): CHARACTER_8 -- Character value of the field at field_offset in object a_object + a_physical_offset. ensure instance_free: class frozen dynamic_type_at_offset (a_enclosing: POINTER; a_physical_offset: INTEGER_32): INTEGER_32 -- Dynamic type of the field at a_physical_offset bytes from a_enclosing. ensure instance_free: class frozen eif_gen_param_id (a_type_id: INTEGER_32; i: INTEGER_32): INTEGER_32 -- Type of i-th generic parameter for object of dynamic type a_type_id. ensure instance_free: class frozen field_count_of_type (a_type_id: INTEGER_32): INTEGER_32 -- Number of logical fields in dynamic type a_type_id. ensure instance_free: class frozen field_name_of_type (i: INTEGER_32; a_type_id: INTEGER_32): POINTER -- C pointer to name of i-th field of object ensure instance_free: class frozen field_offset_of_type (i: INTEGER_32; a_type_id: INTEGER_32): INTEGER_32 -- Physical offset of the i-th field for an object of dynamic type a_type_id. ensure instance_free: class frozen field_static_type_of_type (i: INTEGER_32; a_type_id: INTEGER_32): INTEGER_32 -- Static type of i-th field of dynamic type a_type_id ensure instance_free: class frozen field_type_of_type (i: INTEGER_32; a_type_id: INTEGER_32): INTEGER_32 -- Abstract type of i-th field of dynamic type a_type_id ensure instance_free: class frozen generic_parameter_count (a_type_id: INTEGER_32): INTEGER_32 -- Number of generic parameters for object of dynamic type a_type_id. ensure instance_free: class frozen integer_16_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): INTEGER_16 -- Integer value of i-th field of object + a_physical_offset ensure instance_free: class frozen integer_16_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): INTEGER_16 -- Integer value of the field at field_offset in object a_object + a_physical_offset. ensure instance_free: class frozen integer_32_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): INTEGER_32 -- Integer value of i-th field of object + a_physical_offset ensure instance_free: class frozen integer_32_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): INTEGER_32 -- Integer value of the field at field_offset in object a_object + a_physical_offset. ensure instance_free: class frozen integer_64_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): INTEGER_64 -- Integer value of i-th field of object + a_physical_offset ensure instance_free: class frozen integer_64_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): INTEGER_64 -- Integer value of the field at field_offset in object a_object + a_physical_offset. ensure instance_free: class frozen integer_8_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): INTEGER_8 -- Integer value of i-th field of object + a_physical_offset ensure instance_free: class frozen integer_8_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): INTEGER_8 -- Integer value of the field at field_offset in object a_object + a_physical_offset. ensure instance_free: class frozen is_copy_semantics_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): BOOLEAN -- Does i-th field of a_object + a_physical_offset denote a reference with copy semantics? ensure instance_free: class frozen is_expanded (a_object: POINTER): BOOLEAN -- Is a_object an instance of an expanded type? ensure instance_free: class frozen is_special (a_object: POINTER): BOOLEAN -- Is object a special object? ensure instance_free: class frozen is_special_copy_semantics_item (i: INTEGER_32; a_object: POINTER): BOOLEAN -- Does i-th item of special a_object denote a reference with copy semantics? ensure instance_free: class frozen is_special_of_expanded (a_object: POINTER): BOOLEAN -- Is type represented by type_id represent -- a SPECIAL [XX] where XX is a user defined expanded type. ensure instance_free: class frozen is_special_of_reference (a_object: POINTER): BOOLEAN -- Is type represented by type_id represent -- a SPECIAL [XX] where XX is a reference type. ensure instance_free: class frozen is_special_of_reference_or_basic_type (type_id: INTEGER_32): BOOLEAN -- Is type represented by type_id represent -- a SPECIAL [XX] where XX is a reference type -- or a basic expanded type (note that user-defined -- expanded types are excluded). ensure instance_free: class frozen is_special_of_reference_type (type_id: INTEGER_32): BOOLEAN -- Is type represented by type_id represent -- a SPECIAL [XX] where XX is a reference type. ensure instance_free: class frozen is_tuple (object: POINTER): BOOLEAN -- Is object a TUPLE object? ensure instance_free: class frozen is_tuple_type (type_id: INTEGER_32): BOOLEAN -- Is type represented by type_id represent a TUPLE? ensure instance_free: class frozen natural_16_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): NATURAL_16 -- NATURAL_16 value of i-th field of object + a_physical_offset ensure instance_free: class frozen natural_16_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): NATURAL_16 -- NATURAL_16 value of the field at field_offset in object a_object + a_physical_offset. ensure instance_free: class frozen natural_32_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): NATURAL_32 -- NATURAL_32 value of i-th field of object + a_physical_offset ensure instance_free: class frozen natural_32_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): NATURAL_32 -- NATURAL_32 value of the field at field_offset in object a_object + a_physical_offset. ensure instance_free: class frozen natural_64_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): NATURAL_64 -- NATURAL_64 value of i-th field of object + a_physical_offset ensure instance_free: class frozen natural_64_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): NATURAL_64 -- NATURAL_64 value of the field at field_offset in object a_object + a_physical_offset. ensure instance_free: class frozen natural_8_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): NATURAL_8 -- NATURAL_8 value of i-th field of object + a_physical_offset ensure instance_free: class frozen natural_8_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): NATURAL_8 -- NATURAL_8 value of the field at field_offset in object a_object + a_physical_offset. ensure instance_free: class frozen object_size (a_object: POINTER): NATURAL_64 -- Physical size of a_object ensure instance_free: class frozen pointer_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): POINTER -- Pointer value of i-th field of object + a_physical_offset ensure instance_free: class frozen pointer_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): POINTER -- Pointer value of the field at field_offset in object a_object + a_physical_offset. ensure instance_free: class frozen raw_reference_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): POINTER -- Unprotected reference value of the field at field_offset in object a_object + a_physical_offset. ensure instance_free: class frozen raw_reference_field_at_offset (a_enclosing: POINTER; a_physical_offset: INTEGER_32): POINTER -- Unprotected reference field of a_enclosing located at a_physical_offset bytes. ensure instance_free: class frozen real_32_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): REAL_32 -- Real value of i-th field of object + a_physical_offset ensure instance_free: class frozen real_32_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): REAL_32 -- Real value of the field at field_offset in object a_object + a_physical_offset. ensure instance_free: class frozen real_64_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): REAL_64 -- Double precision value of i-th field of object + a_physical_offset ensure instance_free: class frozen real_64_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): REAL_64 -- Double precision value of the field at field_offset in object a_object + a_physical_offset. ensure instance_free: class frozen reference_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): detachable ANY -- Reference value of i-th field of object + a_physical_offset ensure instance_free: class frozen reference_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): detachable ANY -- Reference value of the field at field_offset in object a_object + a_physical_offset. ensure instance_free: class frozen reference_field_at_offset (a_enclosing: POINTER; a_physical_offset: INTEGER_32): ANY -- Reference field of a_enclosing located at a_physical_offset bytes. ensure instance_free: class frozen set_boolean_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: BOOLEAN) ensure instance_free: class frozen set_boolean_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: BOOLEAN) ensure instance_free: class frozen set_character_32_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: CHARACTER_32) ensure instance_free: class frozen set_character_32_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: CHARACTER_32) ensure instance_free: class frozen set_character_8_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: CHARACTER_8) ensure instance_free: class frozen set_character_8_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: CHARACTER_8) ensure instance_free: class frozen set_integer_16_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: INTEGER_16) ensure instance_free: class frozen set_integer_16_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: INTEGER_16) ensure instance_free: class frozen set_integer_32_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: INTEGER_32) ensure instance_free: class frozen set_integer_32_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: INTEGER_32) ensure instance_free: class frozen set_integer_64_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: INTEGER_64) ensure instance_free: class frozen set_integer_64_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: INTEGER_64) ensure instance_free: class frozen set_integer_8_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: INTEGER_8) ensure instance_free: class frozen set_integer_8_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: INTEGER_8) ensure instance_free: class frozen set_natural_16_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: NATURAL_16) ensure instance_free: class frozen set_natural_16_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: NATURAL_16) ensure instance_free: class frozen set_natural_32_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: NATURAL_32) ensure instance_free: class frozen set_natural_32_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: NATURAL_32) ensure instance_free: class frozen set_natural_64_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: NATURAL_64) ensure instance_free: class frozen set_natural_64_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: NATURAL_64) ensure instance_free: class frozen set_natural_8_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: NATURAL_8) ensure instance_free: class frozen set_natural_8_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: NATURAL_8) ensure instance_free: class frozen set_pointer_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: POINTER) ensure instance_free: class frozen set_pointer_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: POINTER) ensure instance_free: class frozen set_real_32_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: REAL_32) ensure instance_free: class frozen set_real_32_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: REAL_32) ensure instance_free: class frozen set_real_64_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: REAL_64) ensure instance_free: class frozen set_real_64_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: REAL_64) ensure instance_free: class frozen set_reference_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: detachable ANY) ensure instance_free: class frozen set_reference_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: detachable ANY) ensure instance_free: class feature -- Object marking frozen is_object_marked (obj: POINTER): BOOLEAN ensure instance_free: class frozen lock_marking -- Get a lock on mark and unmark routine so that 2 threads cannot mark and -- unmark at the same time. ensure instance_free: class frozen mark_object (obj: POINTER) ensure instance_free: class frozen unlock_marking -- Release a lock on mark and unmark, so that another thread can -- use mark and unmark. ensure instance_free: class frozen unmark_object (obj: POINTER) ensure instance_free: class feature -- Output Io: STD_FILES -- Handle to standard file setup -- (from ANY) ensure -- from ANY instance_free: class io_not_void: Result /= Void out: STRING_8 -- New string containing terse printable representation -- of current object -- (from ANY) ensure -- from ANY out_not_void: Result /= Void print (o: detachable ANY) -- Write terse external representation of o -- on standard output. -- (from ANY) ensure -- from ANY instance_free: class frozen tagged_out: STRING_8 -- New string containing terse printable representation -- of current object -- (from ANY) ensure -- from ANY tagged_out_not_void: Result /= Void feature -- Platform Operating_environment: OPERATING_ENVIRONMENT -- Objects available from the operating system -- (from ANY) ensure -- from ANY instance_free: class operating_environment_not_void: Result /= Void invariant -- from ANY reflexive_equality: standard_is_equal (Current) reflexive_conformance: conforms_to (Current) note copyright: "Copyright (c) 1984-2020, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software 5949 Hollister Ave., Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Website http://www.eiffel.com Customer support http://support.eiffel.com ]" end -- class ISE_RUNTIME
Generated by ISE EiffelStudio