class LIVE_TYPE
Summary
Class invariant
Overview
creation features
exported features
  • jvm_basic_new
    Poduce bytecode to push a new created object with the basic default value (the corresponding creation procedure if any is not called).
Some useful JVM opcode:
  • infix "<=" (other: LIVE_TYPE): BOOLEAN
    Is Current less than or equal other?
  • infix ">" (other: LIVE_TYPE): BOOLEAN
    Is Current strictly greater than other?
  • infix ">=" (other: LIVE_TYPE): BOOLEAN
    Is Current greater than or equal than other?
  • in_range (lower: LIVE_TYPE, upper: LIVE_TYPE): BOOLEAN
    Return True if Current is in range [lower..upper]
    See also min, max, compare.
  • compare (other: LIVE_TYPE): INTEGER_32
    If current object equal to other, 0 if smaller, -1; if greater, 1.
  • three_way_comparison (other: LIVE_TYPE): INTEGER_32
    If current object equal to other, 0 if smaller, -1; if greater, 1.
  • min (other: LIVE_TYPE): LIVE_TYPE
    Minimum of Current and other.
  • max (other: LIVE_TYPE): LIVE_TYPE
    Maximum of Current and other.
type: TYPE
writable attribute
The corresponding type object.
canonical_type_mark: TYPE_MARK
writable attribute
Alias of type.canonical_type_mark.
writable attribute
Alias of type.name.
class_text: CLASS_TEXT
writable attribute
Alias type.class_text.
class_text_name: CLASS_NAME
writable attribute
Alias the one of class_text.
writable attribute
Id of the receiver to produce C code.
at_run_time: BOOLEAN
writable attribute
True if Current is itself really created (i.e. there are direct instances of the corresponding canonical_type_mark at run time).
run_time_set: RUN_TIME_SET
writable attribute
The set of all possible dynamic types (existing types at run-time, i.e. with a corresponding at_run_time object) which may be actually returned by an expression of the Current type.
class_invariant: CLASS_INVARIANT
effective function
Collected Runnable invariant if any and only is necessary.
compile_to_c_done: BOOLEAN
writable attribute
True if compile_to_c has already be called.
hash_code: INTEGER_32
writable attribute
Actually, in order to speed up the compiler, this is a cache for value name.to_string.
generating_type_used: BOOLEAN
effective function
Must the "generating_type" string be generated for this type?
generator_used: BOOLEAN
effective function
Must the "generator" string be generated for this type?
can_be_assigned_to (other: LIVE_TYPE): BOOLEAN
effective function
is_equal (other: LIVE_TYPE): BOOLEAN
effective function
Is other attached to an object considered equal to current object?
infix "<" (other: LIVE_TYPE): BOOLEAN
effective function
Is Current strictly less than other?
is_generic: BOOLEAN
effective function
is_reference: BOOLEAN
effective function
is_array: BOOLEAN
effective function
is_native_array: BOOLEAN
effective function
accept (visitor: LIVE_TYPE_VISITOR)
effective procedure
Accept to be visited by the visitor.
collected (fs: FEATURE_STAMP): BOOLEAN
effective function
is_tagged: BOOLEAN
effective function
Is it a tagged one?
is_expanded: BOOLEAN
effective function
is_user_expanded: BOOLEAN
effective function
is_empty_expanded: BOOLEAN
effective function
dynamic_feature (up_rf: RUN_FEATURE): RUN_FEATURE
effective function
Look for the specialized version of up_rf in Current type.
default_create_stamp: FEATURE_STAMP
writable attribute
If any, the one to be used while creating an object.
default_create_run_feature: RUN_FEATURE_3
effective function
If any, the corresponding one for default_create_stamp.
c_header_pass1
effective procedure
c_header_pass2
effective procedure
c_header_pass3
effective procedure
c_header_pass4
effective procedure
effective function
copy_stamp: FEATURE_STAMP
effective function
The one of the copy feature (which is magically called inside twin).
copy_run_feature: RUN_FEATURE
effective function
The corresponding one for copy_stamp.
fully_qualified_name: STRING
effective function
For the corresponding Java class file.
jvm_basic_new
effective procedure
Poduce bytecode to push a new created object with the basic default value (the corresponding creation procedure if any is not called).
jvm_constant_pool_index: INTEGER_32
effective function
The fully qualified index in the constant pool.
once function
wa_cyclic_buf: FAST_ARRAY[RUN_FEATURE_2]
once function
opcode_checkcast_1
effective procedure
Produces a checkcast opcode
opcode_checkcast
effective procedure
May produce a checkcast opcode depending on canonical_type_mark Java byte-code mapping.
opcode_instanceof
effective procedure
opcode_getfield (rf2: RUN_FEATURE_2): INTEGER_32
effective function
Produce a checkcast/getfield for the given attribute of the top object of the stack.
infix "<=" (other: LIVE_TYPE): BOOLEAN
effective function
Is Current less than or equal other?
infix ">" (other: LIVE_TYPE): BOOLEAN
effective function
Is Current strictly greater than other?
infix ">=" (other: LIVE_TYPE): BOOLEAN
effective function
Is Current greater than or equal than other?
in_range (lower: LIVE_TYPE, upper: LIVE_TYPE): BOOLEAN
effective function
Return True if Current is in range [lower..upper]
See also min, max, compare.
compare (other: LIVE_TYPE): INTEGER_32
effective function
If current object equal to other, 0 if smaller, -1; if greater, 1.
three_way_comparison (other: LIVE_TYPE): INTEGER_32
effective function
If current object equal to other, 0 if smaller, -1; if greater, 1.
min (other: LIVE_TYPE): LIVE_TYPE
effective function
Minimum of Current and other.
max (other: LIVE_TYPE): LIVE_TYPE
effective function
Maximum of Current and other.