class SMART_EIFFEL
Summary
Overview
exported features
To get a TYPE:
copyright: STRING
once function
release_number: STRING
constant attribute
status: STATUS
once function
is_ready: BOOLEAN
effective function
Is all the live code already gathered
short_or_class_check_flag: BOOLEAN
writable attribute
True when command short or command class_check is running.
pretty_flag: BOOLEAN
writable attribute
True when command pretty is running.
no_id: BOOLEAN
writable attribute
True when the ids file has not to be read.
cluster_of (class_name: CLASS_NAME, report_error: BOOLEAN): CLUSTER
effective function
Retrieve the cluster of the class name.
cluster_named (cluster_name: STRING): CLUSTER
effective function
Retrieve the cluster by its name
class_text (class_name: CLASS_NAME, report_error: BOOLEAN): CLASS_TEXT
effective function
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
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
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
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
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
When ANY generating_type is used.
generator_used: BOOLEAN
writable attribute
When ANY generator is used.
deep_twin_used: BOOLEAN
writable attribute
When deep_twin support is necessary.
accumulating_type: TYPE
effective function
Service provided for debugging purpose only
unknown_feature_fatal_error (target_expression: EXPRESSION, target_type: TYPE, fn: FEATURE_NAME)
effective procedure
(This feature is placed here to standardize all error messages of this kind.)
get_inline_memo: INLINE_MEMO
effective function
dispose_inline_memo (im: INLINE_MEMO)
effective procedure
class_text_count: INTEGER_32
effective function
Total number of class text actually loaded.
magic_count: INTEGER_32
writable attribute
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
type_any: TYPE
effective function
type_boolean: TYPE
effective function
type_character: TYPE
effective function
type_string: TYPE
effective function
type_unicode_string: TYPE
effective function
type_pointer: TYPE
effective function
type_integer_8: TYPE
effective function
type_integer_16: TYPE
effective function
type_integer_32: TYPE
effective function
type_integer_64: TYPE
effective function
type_internals_handler_if_exists: TYPE
effective function
type_real_32: TYPE
effective function
type_real_64: TYPE
effective function
type_real_extended: TYPE
effective function
unlock_type_creation (t: HASHED_STRING): BOOLEAN
effective function
has_type (static_type: TYPE_MARK): BOOLEAN
effective function
get_type (static_type: TYPE_MARK): TYPE
effective function
get_array_type (gen_type: TYPE, pos: POSITION): TYPE
effective function
Returns the ARRAY[gen_type] type
tuple_class_not_found_fatal_error (class_name: CLASS_NAME)
effective procedure
Because there is a special trick for TUPLE related classes.