+
Point of view
AGENT_TYPE_MARK
class TYPE
Summary
top
Class invariant
top
Overview
top
creation features
exported features
some property similar to TYPE_MARK *without* start_position and some other
  • direct_thru_step (parent_type: TYPE, a_parent_edge: PARENT_EDGE): BOOLEAN
    Check that we are actually doing an atomic-valid direct step into the inheritance hierarchy (i.e. we are making a direct move move from parent_type using the a_parent_edge path to reach Current.
  • is_equal (other: TYPE): BOOLEAN
    Is other attached to an object considered equal to current object?
inherits_from (other: TYPE): BOOLEAN
effective function
top
inserts (other: TYPE): BOOLEAN
effective function
top
insert_inherit_test (other: TYPE): INTEGER_8
effective function
top
Simple predicate (i.e. does not fill the error_handler).
live_type: LIVE_TYPE
writable attribute
top
The corresponding one if already created.
canonical_type_mark: TYPE_MARK
writable attribute
top
The one used to create Current.
writable attribute
top
Because canonical_type_mark is static, this is an alias for canonical_type_mark.written_name
long_name: HASHED_STRING
effective function
top
This name holds cluster info needed to make different types with the same name distinct.
class_text: CLASS_TEXT
writable attribute
top
private_generic_list: ARRAY[TYPE]
writable attribute
top
hash_code: INTEGER_32
writable attribute
top
The hash-code value of Current.
valid_feature_name (fn: FEATURE_NAME): BOOLEAN
effective function
top
Is fn an existing final feature name of Current?
registered_name (fn: FEATURE_NAME): FEATURE_NAME
effective function
top
Useful for declaration position and frozen status.
effective function
top
Get the FEATURE_STAMP relative to fn.
effective function
top
To make in a single step a valid_feature_name test which may be followed by a lookup call.
get_feature_name (fs: FEATURE_STAMP): FEATURE_NAME
effective function
top
has_simple_feature_name (simple_feature_name: HASHED_STRING): BOOLEAN
effective function
top
feature_stamp_of (simple_feature_name: HASHED_STRING): FEATURE_STAMP
effective function
top
Used to get the good one knowing that simple_feature_name is the final existing name.
feature_collection_done: BOOLEAN
effective function
top
class_invariant: CLASS_INVARIANT
writable attribute
top
copy_stamp: FEATURE_STAMP
effective function
top
The one of the copy feature (which is magically called inside twin).
accept (visitor: TYPE_VISITOR)
effective procedure
top
Accept to be visited by the visitor.
effective function
top
Id of the receiver to produce C code.
is_deferred: BOOLEAN
writable attribute
top
is_generic: BOOLEAN
effective function
top
is_expanded: BOOLEAN
effective function
top
is_reference: BOOLEAN
effective function
top
generic_list: ARRAY[TYPE]
effective function
top
is_kernel_expanded: BOOLEAN
effective function
top
True for BOOLEAN, CHARACTER, INTEGER, REAL, DOUBLE and POINTER.
is_boolean: BOOLEAN
effective function
top
is_character: BOOLEAN
effective function
top
is_integer: BOOLEAN
effective function
top
Is it some INTEGER_* type?
is_real: BOOLEAN
effective function
top
is_pointer: BOOLEAN
effective function
top
is_string: BOOLEAN
effective function
top
is_unicode_string: BOOLEAN
effective function
top
is_array: BOOLEAN
effective function
top
is_any: BOOLEAN
effective function
top
is_native_array: BOOLEAN
effective function
top
is_agent: BOOLEAN
effective function
top
is_tuple: BOOLEAN
effective function
top
is_empty_expanded: BOOLEAN
effective function
top
True when is it a user's expanded type with no attribute.
is_user_expanded: BOOLEAN
effective function
top
Is it really a user expanded type ?
c_type_for_target_in (str: STRING)
effective procedure
top
Append in str the C type to use when current Eiffel type is used for the target of a feature.
c_type_for_result_in (str: STRING)
effective procedure
top
Append in str the C type to use when current Eiffel type is used as a result type of a C function.
direct_non_void_call_flag: BOOLEAN
effective function
top
can_be_assigned_to (other: TYPE): BOOLEAN
effective function
top
Used to know if Current can be assigned into other.
open_arguments: ARRAY[TYPE]
effective function
top
(The Result can be Void when open arguments is the empty TUPLE.)
agent_result: TYPE
effective function
top
direct_thru_step (parent_type: TYPE, a_parent_edge: PARENT_EDGE): BOOLEAN
effective function
top
Check that we are actually doing an atomic-valid direct step into the inheritance hierarchy (i.e. we are making a direct move move from parent_type using the a_parent_edge path to reach Current.
make (i: E)
effective procedure
top
parent_edge_load (i: INTEGER_32): LOAD
effective function
top
child_edge_load (i: INTEGER_32): LOAD
effective function
top
add_parent (node: TYPE)
effective procedure
top
add_child (node: TYPE)
effective procedure
top
remove_parent (node: TYPE)
effective procedure
top
remove_child (node: TYPE)
effective procedure
top
item: E
writable attribute
top
max_rank: INTEGER_32
writable attribute
top
min_rank: INTEGER_32
writable attribute
top
parents: FAST_ARRAY[TYPE]
writable attribute
top
children: FAST_ARRAY[TYPE]
writable attribute
top
set_item (i: E)
effective procedure
top
parents_count: INTEGER_32
effective function
top
children_count: INTEGER_32
effective function
top
has_parent_edge (id: INTEGER_32): BOOLEAN
effective function
top
has_child_edge (id: INTEGER_32): BOOLEAN
effective function
top
remove_parent_edge (id: INTEGER_32): TYPE
effective function
top
Return connected node.
restore_parent_edge (id: INTEGER_32, node: TYPE)
effective procedure
top
remove_child_edge (id: INTEGER_32): TYPE
effective function
top
Return connected node.
restore_child_edge (id: INTEGER_32, node: TYPE)
effective procedure
top
deep_reset_edges
effective procedure
top
Set edge identifiers with values starting from 0.
parent (i: INTEGER_32): TYPE
effective function
top
child (i: INTEGER_32): TYPE
effective function
top
has_parent (other: TYPE): BOOLEAN
effective function
top
has_child (other: TYPE): BOOLEAN
effective function
top
parent_edge (i: INTEGER_32): INTEGER_32
effective function
top
child_edge (i: INTEGER_32): INTEGER_32
effective function
top
has_cycle: BOOLEAN
effective function
top
has_parent_cycle: BOOLEAN
effective function
top
has_children_cycle: BOOLEAN
effective function
top
is_toplevel: BOOLEAN
effective function
top
is_leaf: BOOLEAN
effective function
top
is_connected_to (other: TYPE): BOOLEAN
effective function
top
distance (other: TYPE): INTEGER_32
effective function
top
set_rank
effective procedure
top
add_connected_nodes_in (list: COLLECTION[HIERARCHIC_GRAPH_NODE[E]])
effective procedure
top
Add in list all nodes belonging to the same graph as Current
fill_path_to (path: COLLECTION[INTEGER_32], destination: TYPE)
effective procedure
top
Add in path edges identifiers corresponding to a path from current node to destination node.
is_equal (other: TYPE): BOOLEAN
deferred function
top
Is other attached to an object considered equal to current object?