+
Point of view
CREATION_CLAUSE_LIST
class CREATION_CLAUSE
Summary
top
Class invariant
top
Overview
top
creation features
exported features
start_position: POSITION
writable attribute
top
Of the "creation" keyword.
clients: CLIENT_LIST
writable attribute
top
comment: COMMENT
writable attribute
top
pretty
effective procedure
top
short (heading_done: BOOLEAN, client: CLASS_NAME): BOOLEAN
effective function
top
True when at least one creation list is printed.
has (fn: FEATURE_NAME): BOOLEAN
effective function
top
procedure_list: FEATURE_NAME_LIST
writable attribute
top
accept (visitor: CREATION_CLAUSE_VISITOR)
effective procedure
top
Accept to be visited by the visitor.
default_root: STRING
effective function
top
Return the default creation procedure name to be used as the root procedure (the execution entry point of the system).
root_creation_search (a_name: STRING): FEATURE_NAME
effective function
top
check_for (type: TYPE)
effective procedure
top
extra_expanded_check (type: TYPE, default_creation_procedure: FEATURE_NAME): FEATURE_NAME
effective function
top
If not Void, the default_creation_procedure comes from another CREATION_CLAUSE.
user_expanded_default_create_stamp (type: TYPE): FEATURE_STAMP
effective function
top
Must be called after extra_expanded_check.