+
Point of view
All features
class NATIVE_ARRAY_INTERNALS [E_]
Summary
top
NATIVE_ARRAY_INTERNALS plays the same role as TYPED_INTERNALS, except they describe NATIVE_ARRAY's.
Direct parents
Inherit list: TYPED_INTERNALS
Class invariant
top
Overview
top
Creation features
{}
{INTERNALS_HANDLER}
  • 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)
Features
Getting information about the described object's type
{INTERNALS_HANDLER, INTERNALS}
{INTERNALS_HANDLER}
  • for_object (native_array: NATIVE_ARRAY[ANY], 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
{INTERNALS_HANDLER}
Accessing the object's attributes
{INTERNALS_HANDLER}
Getting information about the described object's type
{INTERNALS_HANDLER, INTERNALS}
{INTERNALS_HANDLER}
{INTERNALS_HANDLER}
  • object: E_
    The object Current is attached to
{TYPED_INTERNALS}
{ANY}
{}
Accessing the object's attributes
{INTERNALS_HANDLER}
type_is_native_array: BOOLEAN
is True
constant attribute
{INTERNALS_HANDLER, INTERNALS}
top
Is the type described by Current a NATIVE_ARRAY?
type_attribute_is_expanded (i: INTEGER_32): BOOLEAN
effective function
{INTERNALS_HANDLER, INTERNALS}
top
Is the type of the ith attribute expanded?
type_item_is_expanded: BOOLEAN
{INTERNALS_HANDLER, INTERNALS}
top
type_can_be_assigned_to_attribute (other: INTERNALS, i: INTEGER_32): BOOLEAN
effective function
{INTERNALS_HANDLER, INTERNALS}
top
Can the object attached to other be assigned to the ith attribute?
type_can_be_assigned_to_item (other: INTERNALS): BOOLEAN
{INTERNALS_HANDLER, INTERNALS}
top
for_object (native_array: NATIVE_ARRAY[ANY], capacity_: INTEGER_32)
effective procedure
{INTERNALS_HANDLER}
top
Attach Current to native_array
make_blank (capacity_: INTEGER_32)
{INTERNALS_HANDLER}
top
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
{INTERNALS_HANDLER}
top
Number of attributes of the type described by Current
capacity: INTEGER_32
writable attribute
{INTERNALS_HANDLER}
top
type_attribute_name (i: INTEGER_32): STRING
effective function
{INTERNALS_HANDLER}
top
Name of the ith attribute of the type described by Current.
type_attribute_generator (i: INTEGER_32): STRING
effective function
{INTERNALS_HANDLER}
top
Name of the base class of the ith attribute of the type described by Current.
type_item_generator: STRING
{INTERNALS_HANDLER}
top
type_attribute_generating_type (i: INTEGER_32): STRING
effective function
{INTERNALS_HANDLER}
top
Name of the type of the ith attribute of the type described by Current.
type_item_generating_type: STRING
{INTERNALS_HANDLER}
top
object_attribute (i: INTEGER_32): INTERNALS
{INTERNALS_HANDLER}
top
Read the ith attribute of the type described by Current (also see type_attribute).
set_object_attribute (element: INTERNALS, i: INTEGER_32)
{INTERNALS_HANDLER}
top
Write the ith attribute of the type described by Current
type_generator: STRING
{INTERNALS_HANDLER, INTERNALS}
top
Name of the base class of the type described by Current.
type_generating_type: STRING
{INTERNALS_HANDLER, INTERNALS}
top
Name of the type described by Current.
type_is_expanded: BOOLEAN
{INTERNALS_HANDLER, INTERNALS}
top
Is the type described by Current expanded?
object_as_pointer: POINTER
{INTERNALS_HANDLER}
top
Pointer to the object currently attached to Current.
object: E_
effective function
{INTERNALS_HANDLER}
top
The object Current is attached to
object_memory: E_
writable attribute
{TYPED_INTERNALS}
top
is_equal (other: NATIVE_ARRAY_INTERNALS [E_]): BOOLEAN
{ANY}
top
Is other attached to an object considered equal to current object?
set_object_can_be_retrieved
effective procedure
{ANY}
top
Forbid further modification of the object through set_object_attribute, so that it can safely be released into the system.
correct_generating_type (object_: E_): BOOLEAN
effective function
{}
top
object_can_be_retrieved: BOOLEAN
writable attribute
{INTERNALS_HANDLER}
top
Can the object be retrieved by the rest of the system through object?
object_can_be_modified: BOOLEAN
effective function
{INTERNALS_HANDLER}
top
Can the object be modified through set_object_attribute, i.e.