+
Point of view
ANONYMOUS_FEATURE_MIXER
class CST_ATT_STRING
Summary
top
Class invariant
top
Overview
top
creation features
exported features
  • permissions: CLIENT_LIST
    Authorized clients list computed from the corresponding feature clause in the base definition class and export items in inherit clauses . This list is semantic.
accept (visitor: CST_ATT_STRING_VISITOR)
effective procedure
top
Accept to be visited by the visitor.
has_been_specialized: BOOLEAN
effective function
top
value: EXPRESSION
frozen
effective function
top
side_effect_free (target_type: TYPE): BOOLEAN
effective function
top
Assuming that it is a final call (See comment in code.)
debug_list: HASHED_SET[STRING]
once function
top
use_current (type: TYPE): BOOLEAN
effective function
top
pretty
effective procedure
top
specialize_signature_in (new_type: TYPE): CST_ATT_STRING
effective function
top
specialize_body_in (new_type: TYPE, can_twin: BOOLEAN): CST_ATT_STRING
effective function
top
specialize_signature_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE): CST_ATT_STRING
effective function
top
specialize_body_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE, can_twin: BOOLEAN): CST_ATT_STRING
effective function
top
result_type: TYPE_MARK
writable attribute
top
Result type if any.
is_deferred: BOOLEAN
constant attribute
top
Is it a deferred feature ?
is_attribute: BOOLEAN
constant attribute
top
obsolete_mark: MANIFEST_STRING
writable attribute
top
The obsolete mark if any.
rescue_compound: INSTRUCTION
frozen
effective function
top
Not Void if any.
set_rescue_compound (instruction: INSTRUCTION)
frozen
effective procedure
top
set_ensure_assertion (e_ensure: E_ENSURE)
frozen
effective procedure
top
arguments: FORMAL_ARG_LIST
frozen
effective function
top
Arguments if any.
feature_text: FEATURE_TEXT
writable attribute
top
Back-link to the corresponding written one.
class_text: CLASS_TEXT
effective function
top
The class where the feature is really written.
clients: CLIENT_LIST
effective function
top
Authorized clients list of the corresponding feature clause in the base definition class.
effective function
top
All the names of the feature.
header_comment: COMMENT
writable attribute
top
Header comment for a routine or following comment for an attribute.
require_assertion: E_REQUIRE
writable attribute
top
Not Void if any.
ensure_assertion: E_ENSURE
writable attribute
top
Not Void if any.
sedb_trace_before_exit: POSITION
frozen
effective function
top
class_text_name: CLASS_NAME
frozen
effective function
top
Name of the class where the feature is really written.
first_name: FEATURE_NAME
frozen
effective function
top
start_position: POSITION
frozen
effective function
top
obsolete_warning_check (type: TYPE, caller: POSITION)
frozen
effective procedure
top
set_header_comment (hc: COMMENT)
frozen
effective procedure
top
is_once_function: BOOLEAN
frozen
effective function
top
(Just to be able to write assertions.)
permissions: CLIENT_LIST
writable attribute
top
Authorized clients list computed from the corresponding feature clause in the base definition class and export items in inherit clauses . This list is semantic.
merge_signature_thru (other: ANONYMOUS_FEATURE, parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE, can_twin: BOOLEAN): ANONYMOUS_FEATURE
frozen
effective function
top
Merge the Current signature using the given insert/inherit path.
valid_redefinition (other: ANONYMOUS_FEATURE, parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE): BOOLEAN
frozen
effective function
top
Test if Current is a valid redefinition of other through the specified inherit way.
specialize_require_in (type: TYPE): CST_ATT_STRING
effective function
top
specialize_require_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE): CST_ATT_STRING
effective function
top
change_require (req: E_REQUIRE, can_twin: BOOLEAN): CST_ATT_STRING
frozen
effective function
top
specialized_require_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE): E_REQUIRE
effective function
top
specialize_ensure_in (type: TYPE, can_twin: BOOLEAN): CST_ATT_STRING
effective function
top
specialize_ensure_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, type: TYPE, can_twin: BOOLEAN): CST_ATT_STRING
effective function
top
change_ensure (ens: E_ENSURE, can_twin: BOOLEAN): CST_ATT_STRING
frozen
effective function
top
specialized_ensure_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, type: TYPE): E_ENSURE
effective function
top
specialize_permissions (export_clause: CLIENT_LIST, can_twin: BOOLEAN): CST_ATT_STRING
effective function
top