+
Point of view
INTERNALS_HANDLER
class NATIVE_ARRAY_INTERNALS [E_]
Summary
Class invariant
Overview
creation features
  • make_blank (capacity_: INTEGER_32)
    Attach Current to a blank object: all items of the object have their default value (references are Void, INTEGERs are 0, BOOLEANs are False, etc)
exported features
Getting information about the described object's type
  • for_object (native_array: NATIVE_ARRAY[E_], capacity_: INTEGER_32)
    Attach Current to native_array
  • make_blank (capacity_: INTEGER_32)
    Attach Current to a blank object: all items of the object have their default value (references are Void, INTEGERs are 0, BOOLEANs are False, etc)
Getting information about the type's attributes
Accessing the object's attributes
Getting information about the described object's type
  • object: E_
    The object Current is attached to
  • is_equal (other: NATIVE_ARRAY_INTERNALS [E_]): BOOLEAN
    Is other attached to an object considered equal to current object?
Accessing the object's attributes
type_is_native_array: BOOLEAN
constant attribute
Is the type described by Current a NATIVE_ARRAY?
type_attribute_is_expanded (i: INTEGER_32): BOOLEAN
effective function
Is the type of the ith attribute expanded?
type_item_is_expanded: BOOLEAN
type_can_be_assigned_to_attribute (other: INTERNALS, i: INTEGER_32): BOOLEAN
effective function
Can the object attached to other be assigned to the ith attribute?
type_can_be_assigned_to_item (other: INTERNALS): BOOLEAN
for_object (native_array: NATIVE_ARRAY[E_], capacity_: INTEGER_32)
effective procedure
Attach Current to native_array
make_blank (capacity_: INTEGER_32)
Attach Current to a blank object: all items of the object have their default value (references are Void, INTEGERs are 0, BOOLEANs are False, etc)
type_attribute_count: INTEGER_32
Number of attributes of the type described by Current
capacity: INTEGER_32
writable attribute
type_attribute_name (i: INTEGER_32): STRING
effective function
Name of the ith attribute of the type described by Current.
type_attribute_generator (i: INTEGER_32): STRING
effective function
Name of the base class of the ith attribute of the type described by Current.
type_item_generator: STRING
type_attribute_generating_type (i: INTEGER_32): STRING
effective function
Name of the type of the ith attribute of the type described by Current.
type_item_generating_type: STRING
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
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?
object_as_pointer: POINTER
Pointer to the object currently attached to Current.
object: E_
effective function
The object Current is attached to
is_equal (other: NATIVE_ARRAY_INTERNALS [E_]): BOOLEAN
Is other attached to an object considered equal to current object?
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