class CLASS_TEXT
Summary
Class invariant
Overview
creation features
exported features
writable attribute
To mangle the class (used to produce compact C code).
path: STRING
writable attribute
Access to the corresponding file (full file path).
cluster: CLUSTER
writable attribute
The cluster used to load the class (also gives acces to the directory path).
index_list: INDEX_LIST
writable attribute
For the indexing of the class.
heading_comment1: COMMENT
writable attribute
Comment before keyword class.
is_deferred: BOOLEAN
writable attribute
True if class itself is deferred or if at least one feature is deferred
is_expanded: BOOLEAN
writable attribute
True if class itself is expanded.
name: CLASS_NAME
writable attribute
The short name of the class (no cluster name included).
formal_generic_list: FORMAL_GENERIC_LIST
writable attribute
Formal generic args if any.
heading_comment2: COMMENT
writable attribute
Comment after class name.
obsolete_mark: MANIFEST_STRING
writable attribute
To warn user if any.
parent_lists: PARENT_LISTS
writable attribute
The contents of the inherit/insert lists if any.
creation_clause_list: CREATION_CLAUSE_LIST
writable attribute
Constructor list.
feature_clause_list: FEATURE_CLAUSE_LIST
writable attribute
Features.
class_invariant: CLASS_INVARIANT
writable attribute
If any, the class invariant.
end_comment: COMMENT
writable attribute
Comment after end of class.
sedb_trace: BOOLEAN
writable attribute
Is the -sedb run-time trace mechanism activated for the Current class?
no_check: BOOLEAN
effective function
Is Current in -no_check mode ?
require_check: BOOLEAN
effective function
Is Current in -require_check mode ?
ensure_check: BOOLEAN
effective function
Is Current in -ensure_check mode ?
invariant_check: BOOLEAN
effective function
Is Current in -invariant_check mode ?
loop_check: BOOLEAN
effective function
Is Current in -loop_check mode ?
all_check: BOOLEAN
effective function
Is Current in -all_check mode ?
has_creation_clause: BOOLEAN
effective function
is_generic: BOOLEAN
effective function
When class is defined with generic arguments.
proper_has (fn: FEATURE_NAME): BOOLEAN
effective function
True when fn is really written in current class.
proper_get (fn: FEATURE_NAME): ANONYMOUS_FEATURE
effective function
Returns the feature really written in current class if it exists.
proper_name_get (fn: FEATURE_NAME): FEATURE_NAME
effective function
Returns the feature name really written in current class.
get_export_permission_of (other: CLASS_TEXT): BOOLEAN
effective function
Do Current get permission of other to use some feature?
is_any: BOOLEAN
effective function
Is it the ANY class ?
hash_code: INTEGER_32
writable attribute
Actually, in order to speed up the compiler, this is a cache for value name.to_string.hash_code.
is_equal (other: CLASS_TEXT): BOOLEAN
effective function
Is other attached to an object considered equal to current object?
pretty
effective procedure
accept (visitor: CLASS_TEXT_VISITOR)
effective procedure
Accept to be visited by the visitor.
declaration_type_of_like_current: TYPE
effective function
See also the comment of {TYPE_MARK}.declaration_type, because declaration_type_of_like_current is actually the implementation of declaration_type for the "like Current" type mark.
inherits_from (other: CLASS_TEXT): BOOLEAN
effective function
inserts (other: CLASS_TEXT): BOOLEAN
effective function
insert_inherit_test (other: CLASS_TEXT): INTEGER_8
effective function
Simple predicate (i.e. does not fill the error_handler).
mapping_c_in (str: STRING)
effective procedure
level_name (level: INTEGER_32): STRING
effective function
level_not_computed: INTEGER_32
constant attribute
To memorize the fact that the assertion level is not yet known.
level_boost: INTEGER_32
constant attribute
The -boost hight speed level.
level_no: INTEGER_32
constant attribute
No assertion checking of any kind.
level_require: INTEGER_32
constant attribute
Evaluate the preconditions.
level_ensure: INTEGER_32
constant attribute
Also evaluate postconditions.
level_invariant: INTEGER_32
constant attribute
Also evaluate the class invariant on entry to and return from.
level_loop: INTEGER_32
constant attribute
Also evaluate the loop variant and the loop invariant.
level_all: INTEGER_32
constant attribute
Also evaluate the check instruction.