class TYPED_INTERNALS [E_]
Summary
Overview
creation features
  • for_object (object_: E_)
    Attach Current to object_
Actual creation is performed by ANY.to_internals
  • make_blank
    Attach Current to a blank object: all attributes of the object have their default value (references are Void, INTEGERS are 0, BOOLEANs are False...)
exported features
Getting information about the described object's type
  • for_object (object_: E_)
    Attach Current to object_
  • make_blank
    Attach Current to a blank object: all attributes of the object have their default value (references are Void, INTEGERS are 0, BOOLEANs are False...)
Getting information about the type's attributes
  • object: E_
    The object Current is attached to
Accessing the object's attributes
  • is_equal (other: TYPED_INTERNALS [E_]): BOOLEAN
    Is other attached to an object considered equal to current object?
Getting information about the described object's type
Accessing the object's attributes
type_generator: STRING
Name of the base class of the type described by Current.
type_generating_type: STRING
Name of the type described by Current.
type_is_expanded: BOOLEAN
Is the type described by Current expanded?
type_attribute_is_expanded (i: INTEGER_32): BOOLEAN
Is the type of the ith attribute expanded?
type_can_be_assigned_to_attribute (other: INTERNALS, i: INTEGER_32): BOOLEAN
Can the object attached to other be assigned to the ith attribute?
for_object (object_: E_)
effective procedure
Attach Current to object_
make_blank
Attach Current to a blank object: all attributes of the object have their default value (references are Void, INTEGERS are 0, BOOLEANs are False...)
type_attribute_count: INTEGER_32
Number of attributes of the type described by Current
type_attribute_name (i: INTEGER_32): STRING
Name of the ith attribute of the type described by Current.
type_attribute_generator (i: INTEGER_32): STRING
Name of the base class of the ith attribute of the type described by Current.
type_attribute_generating_type (i: INTEGER_32): STRING
Name of the type of the ith attribute of the type described by Current.
object_as_pointer: POINTER
Pointer to the object currently attached to Current.
object: E_
effective function
The object Current is attached to
object_attribute (i: INTEGER_32): INTERNALS
Read the ith attribute of the type described by Current (also see type_attribute).
set_object_attribute (element: INTERNALS, i: INTEGER_32)
Write the ith attribute of the type described by Current
object_memory: E_
writable attribute
is_equal (other: TYPED_INTERNALS [E_]): BOOLEAN
Is other attached to an object considered equal to current object?
correct_generating_type (object_: E_): BOOLEAN
effective function
type_is_native_array: BOOLEAN
effective function
Is the type described by Current a NATIVE_ARRAY?
object_can_be_retrieved: BOOLEAN
writable attribute
Can the object be retrieved by the rest of the system through object?
object_can_be_modified: BOOLEAN
effective function
Can the object be modified through set_object_attribute, i.e.
set_object_can_be_retrieved
effective procedure
Forbid further modification of the object through set_object_attribute, so that it can safely be released into the system