+
Point of view
CLASS_TYPE_MARK
class SMART_EIFFEL
Summary
top
Overview
top
exported features
To get a TYPE:
copyright: STRING
once function
top
release_number: STRING
constant attribute
top
status: STATUS
once function
top
is_ready: BOOLEAN
effective function
top
Is all the live code already gathered
short_or_class_check_flag: BOOLEAN
writable attribute
top
True when command short or command class_check is running.
pretty_flag: BOOLEAN
writable attribute
top
True when command pretty is running.
no_id: BOOLEAN
writable attribute
top
True when the ids file has not to be read.
cluster_of (class_name: CLASS_NAME, report_error: BOOLEAN): CLUSTER
effective function
top
Retrieve the cluster of the class name.
cluster_named (cluster_name: STRING): CLUSTER
effective function
top
Retrieve the cluster by its name
class_text (class_name: CLASS_NAME, report_error: BOOLEAN): CLASS_TEXT
effective function
top
Retrieve the corresponding memorized one or launch the eiffel_parser if the class_name class is not yet loaded.
loaded_class_text (class_name: CLASS_NAME): CLASS_TEXT
effective function
top
Retrieve the corresponding memorized one if already loaded.
class_text_in_cluster (class_name: CLASS_NAME, report_error: BOOLEAN, cluster: CLUSTER): CLASS_TEXT
effective function
top
Retrieve the corresponding memorized one or launch the eiffel_parser if the class_name class is not yet loaded.
same_base_feature (up_rf: RUN_FEATURE, run_time_set: RUN_TIME_SET): BOOLEAN
effective function
top
True when all dynamic features of the run_time_set have excately the same final name and refer exactely to the same base_feature.
stupid_switch (t: TYPE_MARK, run_time_set: RUN_TIME_SET): BOOLEAN
effective function
top
True when t drives exactely to the same t.run_type for all element of the run_time_set.
generating_type_used: BOOLEAN
writable attribute
top
When ANY generating_type is used.
generator_used: BOOLEAN
writable attribute
top
When ANY generator is used.
deep_twin_used: BOOLEAN
writable attribute
top
When deep_twin support is necessary.
accumulating_type: TYPE
effective function
top
Service provided for debugging purpose only
unknown_feature_fatal_error (target_expression: EXPRESSION, target_type: TYPE, fn: FEATURE_NAME)
effective procedure
top
(This feature is placed here to standardize all error messages of this kind.)
get_inline_memo: INLINE_MEMO
effective function
top
dispose_inline_memo (im: INLINE_MEMO)
effective procedure
top
class_text_count: INTEGER_32
effective function
top
Total number of class text actually loaded.
magic_count: INTEGER_32
writable attribute
top
Grow each time a new run class is added, each time a new class is loaded, each time a new feature is checked, each time another expression is optimized, etc.
magic_count_increment
effective procedure
top
long_type_name (type_name: HASHED_STRING, type_cluster: CLUSTER): HASHED_STRING
effective function
top
type_any: TYPE
effective function
top
type_boolean: TYPE
effective function
top
type_character: TYPE
effective function
top
type_string: TYPE
effective function
top
type_unicode_string: TYPE
effective function
top
type_pointer: TYPE
effective function
top
type_integer_8: TYPE
effective function
top
type_integer_16: TYPE
effective function
top
type_integer_32: TYPE
effective function
top
type_integer_64: TYPE
effective function
top
type_internals_handler_if_exists: TYPE
effective function
top
type_real_32: TYPE
effective function
top
type_real_64: TYPE
effective function
top
type_real_extended: TYPE
effective function
top
unlock_type_creation (t: HASHED_STRING): BOOLEAN
effective function
top
has_type (static_type: TYPE_MARK): BOOLEAN
effective function
top
get_type (static_type: TYPE_MARK): TYPE
effective function
top
get_array_type (gen_type: TYPE, pos: POSITION): TYPE
effective function
top
Returns the ARRAY[gen_type] type
tuple_class_not_found_fatal_error (class_name: CLASS_NAME)
effective procedure
top
Because there is a special trick for TUPLE related classes.
get_type_for_non_generic (non_generic_static_type: TYPE_MARK): TYPE
effective function
top
Just an optimized version of get_type.