+
Point of view
All features
class E_FUNCTION
Summary
top
Direct parents
Inherit list: EFFECTIVE_ROUTINE
Class invariant
top
Overview
top
Creation features
{ANY}
Features
{ANY}
{CALL_0}
{CALL_1}
{}
{FUNCTION_CALL_N}
{}
{}
{ANY}
{ANONYMOUS_FEATURE_MIXER}
{E_FUNCTION}
{}
{ANY}
{FEATURE_ACCUMULATOR}
{ANONYMOUS_FEATURE_MIXER}
{FEATURE_STAMP, PRECURSOR_CALL}
{FEATURE_STAMP, LIVE_TYPE, PRECURSOR_CALL}
  • simplify (type: TYPE): E_FUNCTION
    May return Current or a simplified version of Current.
{EFFECTIVE_ROUTINE}
{}
{}
{ANONYMOUS_FEATURE}
{}
{}
{ANY}
{EIFFEL_PARSER}
{E_ROUTINE}
{}
{ANY}
{PROCEDURE_CALL_0}
{PROCEDURE_CALL_1}
{PROCEDURE_CALL_N}
{LIVE_TYPE, PRECURSOR_CALL}
{}
{FEATURE_STAMP, LIVE_TYPE, PRECURSOR_CALL}
{FEATURE_STAMP, LIVE_TYPE}
{}
{ANONYMOUS_FEATURE, ANONYMOUS_FEATURE_MIXER, ANONYMOUS_FEATURE_VISITOR, FEATURE_CALL, FEATURE_NAME_LIST, HIDDEN_EXPRESSION_DETECTOR, RUN_FEATURE}
  • 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.
{ANONYMOUS_FEATURE_MIXER}
{ANONYMOUS_FEATURE_MIXER}
{ANONYMOUS_FEATURE_MIXER}
{ANONYMOUS_FEATURE}
{ANONYMOUS_FEATURE_MIXER}
{ANONYMOUS_FEATURE_MIXER}
{ANONYMOUS_FEATURE_MIXER}
{ANONYMOUS_FEATURE}
{LIVE_TYPE, TYPE, PRECURSOR_CALL}
{}
{ANONYMOUS_FEATURE, FEATURE_TEXT}
{FEATURE_ACCUMULATOR}
{FEATURE_TEXT}
{ANY}
{FEATURE_TEXT}
{}
{RUN_FEATURE}
{}
{}
{}
{ANY}
{}
{EIFFEL_PARSER}
{INDEXINGABLE}
{ANY}
{ACE}
  • is_launcher: BOOLEAN
    If True, the clusters list will not be retrieved (it means that the tool is only used to start other tools; it does not load classes itself)
{SE, COMPILE}
{}
{SMART_EIFFEL, SYSTEM_TOOLS, VISITOR}
{ANY}
an option to minimize generic types
{}
Hard-coded class names:
{}
Hard coded feature names:
{}
Operator/Infix/Prefix/Alias list:
{}
Other names:
{}
The keywords section:
{}
Most of them are message parts:
{}
Some other names:
{}
The known keys of the INI file:
{}
side_effect_free (target_type: TYPE): BOOLEAN
effective function
{ANY}
top
Assuming that it is a final call (See comment in code.)
require
  • target_type.direct_non_void_call_flag
result_type: TYPE_MARK
writable attribute
{ANY}
top
Result type if any.
inline_expression_0 (type: TYPE, feature_stamp: FEATURE_STAMP, call_site: POSITION, target_type: TYPE, target: EXPRESSION, return_type: TYPE): INLINE_MEMO
effective function
{CALL_0}
top
(See inline_instruction_n.)
require
  • ace.boost
  • type /= Void
  • Current = feature_stamp.anonymous_feature(target_type)
  • target /= Void
  • return_type = result_type.resolve_in(target_type)
ensure
  • Result /= Void = smart_eiffel.magic_count > old smart_eiffel.magic_count
  • Result /= Void implies Result.is_expression_holder
inline_expression_1 (type: TYPE, feature_stamp: FEATURE_STAMP, call_site: POSITION, target_type: TYPE, target: EXPRESSION, arg: EXPRESSION, return_type: TYPE): INLINE_MEMO
effective function
{CALL_1}
top
(See inline_instruction_n.)
require
  • ace.boost
  • type /= Void
  • Current = feature_stamp.anonymous_feature(target_type)
  • target /= Void
  • arg /= Void
  • return_type = result_type.resolve_in(target_type)
ensure
  • Result /= Void = smart_eiffel.magic_count > old smart_eiffel.magic_count
  • Result /= Void implies Result.is_expression_holder
inline_assign_to_result_1 (type: TYPE, target_type: TYPE, target: EXPRESSION, arg: EXPRESSION, expr: EXPRESSION, return_type: TYPE, direct_non_void_call_flag: BOOLEAN, no_rescue_no_local_expanded: BOOLEAN): INLINE_MEMO
effective function
{}
top
require
  • expr /= Void
inline_expression_n (type: TYPE, feature_stamp: FEATURE_STAMP, target_type: TYPE, target: EXPRESSION, args: EFFECTIVE_ARG_LIST, return_type: TYPE): INLINE_MEMO
effective function
{FUNCTION_CALL_N}
top
(See inline_instruction_n.)
require
  • ace.boost
  • type /= Void
  • Current = feature_stamp.anonymous_feature(target_type)
  • target /= Void
  • args.count >= 2
  • return_type = result_type.resolve_in(target_type)
ensure
  • Result /= Void = smart_eiffel.magic_count > old smart_eiffel.magic_count
  • Result /= Void implies Result.is_expression_holder
inline_assign_to_result_n (type: TYPE, target_type: TYPE, target: EXPRESSION, args: EFFECTIVE_ARG_LIST, expr: EXPRESSION, return_type: TYPE, direct_non_void_call_flag: BOOLEAN, no_rescue_no_local_expanded: BOOLEAN): INLINE_MEMO
effective function
{}
top
require
  • expr /= Void
new_run_feature_for (t: TYPE, fn: FEATURE_NAME): RUN_FEATURE_4
effective function
{}
top
require
  • t /= Void
accept (visitor: E_FUNCTION_VISITOR)
effective procedure
{ANY}
top
Accept to be visited by the visitor.
require
  • visitor /= Void
specialize_signature_in (new_type: TYPE): E_FUNCTION
effective function
{ANONYMOUS_FEATURE_MIXER}
top
require
  • new_type /= Void
ensure
  • Result /= Void
specialize_signature_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE): E_FUNCTION
effective function
{ANONYMOUS_FEATURE_MIXER}
top
require
  • parent_type /= Void
  • parent_edge /= Void
  • new_type /= Void
ensure
  • Result /= Void
set_result_type (rt: TYPE_MARK)
effective procedure
{E_FUNCTION}
top
require
  • rt /= Void
effective procedure
{}
top
require
  • rty /= Void
try_to_undefine_aux (fn: FEATURE_NAME, bc: CLASS_TEXT): DEFERRED_ROUTINE
effective function
{}
top
require
  • fn /= Void
  • bc /= Void
pretty_print_once_or_do (indent_level: INTEGER_32)
effective procedure
{}
top
inline_call_1 (type: TYPE, call_1: CALL_1, target_type: TYPE, target: EXPRESSION, arg1: EXPRESSION): CALL_1
effective function
{}
top
require
  • target /= Void
  • arg1 /= Void
inline_eq_neq1 (type: TYPE, built_in_eq_neq: BUILT_IN_EQ_NEQ, target_type: TYPE, target: EXPRESSION, arg1: EXPRESSION): EXPRESSION
effective function
{}
top
require
  • target /= Void
  • arg1 /= Void
inline_eq_neq0 (type: TYPE, built_in_eq_neq: BUILT_IN_EQ_NEQ, target_type: TYPE, target: EXPRESSION): EXPRESSION
effective function
{}
top
inline_eq_neq0_ (type: TYPE, built_in_eq_neq: BUILT_IN_EQ_NEQ, e1: EXPRESSION, e2: EXPRESSION, target_type: TYPE, target: EXPRESSION): EXPRESSION
effective function
{}
top
is_deferred: BOOLEAN
is False
constant attribute
{ANY}
top
Is it a deferred feature ?
rescue_compound_in (type: TYPE): INSTRUCTION
frozen
effective function
{ANY}
top
rescue_compound: INSTRUCTION
writable attribute
{ANY}
top
Not Void if any.
set_rescue_compound (rc: INSTRUCTION)
effective procedure
{ANY}
top
require
  • not eiffel_parser.no_rescue
ensure
  • rescue_compound = rc
has_been_specialized: BOOLEAN
effective function
{ANY}
top
ensure
  • Result
use_current (type: TYPE): BOOLEAN
effective function
{ANY}
top
require
  • smart_eiffel.status.collecting_done
  • type /= Void
same_body_as (other: ANONYMOUS_FEATURE): BOOLEAN
frozen
effective function
{FEATURE_ACCUMULATOR}
top
specialize_body_in (new_type: TYPE, can_twin: BOOLEAN): E_FUNCTION
effective function
{ANONYMOUS_FEATURE_MIXER}
top
require
  • new_type /= Void
ensure
  • not can_twin implies Result = Current
  • Result.has_been_specialized
specialize_body_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE, can_twin: BOOLEAN): E_FUNCTION
effective function
{ANONYMOUS_FEATURE_MIXER}
top
require
  • parent_type /= Void
  • parent_edge /= Void
  • new_type /= Void
  • has_been_specialized
ensure
  • not can_twin implies Result = Current
  • has_been_specialized
  • Result.has_been_specialized
specialize_and_check (type: TYPE): E_FUNCTION
effective function
{FEATURE_STAMP, PRECURSOR_CALL}
top
require
  • has_been_specialized
  • not smart_eiffel.status.is_specializing
ensure
  • has_been_specialized
  • Result.has_been_specialized
simplify (type: TYPE): E_FUNCTION
effective function
{FEATURE_STAMP, LIVE_TYPE, PRECURSOR_CALL}
top
May return Current or a simplified version of Current.
require
  • type /= Void
  • not smart_eiffel.pretty_flag
  • not smart_eiffel.short_or_class_check_flag
  • smart_eiffel.status.collecting_done
  • ace.boost1 or ace.boost2
ensure
  • Result /= Void
  • Result /= Current = smart_eiffel.magic_count > old smart_eiffel.magic_count
effective procedure
{EFFECTIVE_ROUTINE}
top
collect_body (type: TYPE)
effective procedure
{}
top
require
  • type /= Void
effective procedure
{}
top
Note: the add_into_shared is the most common behavior.
require
  • feature_text = ft
use_current_state: INTEGER_32
writable attribute
{}
top
computed_true: INTEGER_32
is 12
constant attribute
{}
top
computed_false: INTEGER_32
is 13
constant attribute
{}
top
not_computed: INTEGER_32
is 14
constant attribute
{}
top
in_computation: INTEGER_32
is 15
constant attribute
{}
top
pretty_print_routine_body (indent_level: INTEGER_32)
effective procedure
{}
top
pretty_print_rescue (indent_level: INTEGER_32)
effective procedure
{}
top
make_effective_routine (fa: FORMAL_ARG_LIST, om: MANIFEST_STRING, hc: COMMENT, ra: REQUIRE_ASSERTION, lv: LOCAL_VAR_LIST, rb: INSTRUCTION, rt: EXPRESSION, c: BOOLEAN)
effective procedure
{}
top
ensure
left_most_current_direct_call_0_sequence (type: TYPE, e: EXPRESSION): CALL_0
effective function
{}
top
Is e a direct inlinable sequence of CALL_0 with a left-most Current?
Examples: Current.foo 
          Current.foo.bar
          Current.foo.bar.zoo
This function also check that each call is a direct non-void call as well as some
special situation when there is a user's expanded type in the way.
ensure
  • Result = Void or else Result = e
left_most_current_direct_call_0_sequence_inline (type: TYPE, call_0: CALL_0, target_type: TYPE, target: EXPRESSION): CALL_0
effective function
{}
top
require ensure
  • Result /= Void
no_rescue_no_local_expanded_in (type: TYPE): BOOLEAN
effective function
{ANONYMOUS_FEATURE}
top
remove_first_redundant_initialisation (type: TYPE, rb: INSTRUCTION): INSTRUCTION
effective function
{}
top
The goal is to remove the first assignment of rb when this assignment (re)set the default value to some local (or Result).
require
inline_dynamic_dispatch_ (code_accumulator: CODE_ACCUMULATOR, type: TYPE)
effective procedure
{}
top
arguments: FORMAL_ARG_LIST
writable attribute
{ANY}
top
Arguments if any.
obsolete_mark: MANIFEST_STRING
writable attribute
{ANY}
top
The obsolete mark if any.
end_comment: COMMENT
writable attribute
{ANY}
top
is_attribute: BOOLEAN
is False
constant attribute
{ANY}
top
is_external: BOOLEAN
effective function
{ANY}
top
local_vars: LOCAL_VAR_LIST
writable attribute
{ANY}
top
routine_body: INSTRUCTION
writable attribute
{ANY}
top
routine_then: EXPRESSION
writable attribute
{ANY}
top
has_closures: BOOLEAN
writable attribute
{ANY}
top
pretty (indent_level: INTEGER_32, is_inline_agent: BOOLEAN)
effective procedure
{ANY}
top
set_end_comment (ec: COMMENT)
effective procedure
{EIFFEL_PARSER}
top
require( ) or else (
    • False
) ensure
set_arguments (args: FORMAL_ARG_LIST, cfal: FAST_ARRAY[FORMAL_ARG_LIST])
effective procedure
{E_ROUTINE}
top
make_routine (fa: FORMAL_ARG_LIST, om: MANIFEST_STRING, hc: COMMENT, ra: REQUIRE_ASSERTION, c: BOOLEAN)
effective procedure
{}
top
feature_text: FEATURE_TEXT
writable attribute
{ANY}
top
Back-link to the corresponding written one.
class_text: CLASS_TEXT
effective function
{ANY}
top
The class where the feature is really written.
ensure
  • Result /= Void
clients: CLIENT_LIST
effective function
{ANY}
top
Authorized clients list of the corresponding feature clause in the base definition class.
This list is purely syntactic. Also see permissions.
effective function
{ANY}
top
All the names of the feature.
ensure
  • Result /= Void
header_comment: COMMENT
writable attribute
{ANY}
top
Header comment for a routine or following comment for an attribute.
require_assertion: REQUIRE_ASSERTION
writable attribute
{ANY}
top
Not Void if any.
ensure_assertion: ENSURE_ASSERTION
writable attribute
{ANY}
top
Not Void if any.
sedb_trace_before_exit: POSITION
frozen
effective function
{ANY}
top
class_text_name: CLASS_NAME
frozen
effective function
{ANY}
top
Name of the class where the feature is really written.
first_name: FEATURE_NAME
frozen
effective function
{ANY}
top
ensure
  • Result /= Void
start_position: POSITION
frozen
effective function
{ANY}
top
assigner: FEATURE_NAME
writable attribute
{ANY}
top
If this feature can be assigned to, the assigner feature name.
obsolete_warning_check (type: TYPE, caller: POSITION)
frozen
effective procedure
{ANY}
top
set_header_comment (hc: COMMENT)
frozen
effective procedure
{ANY}
top
ensure
is_once_function: BOOLEAN
frozen
effective function
{ANY}
top
(Just to be able to write assertions.)
empty_body_side_effect_free_effective_routine (type: TYPE): BOOLEAN
frozen
effective function
{ANY}
top
Assuming that it is a final call (See comment in code.)
inline_instruction_0 (type: TYPE, target_type: TYPE, target: EXPRESSION): INLINE_MEMO
effective function
{PROCEDURE_CALL_0}
top
(See inline_instruction_n.)
require
  • ace.boost
  • type /= Void
  • target /= Void
  • target_type /= Void
ensure
  • Result /= Void = smart_eiffel.magic_count > old smart_eiffel.magic_count
  • Result /= Void implies Result.is_instruction_holder
inline_instruction_1 (type: TYPE, target_type: TYPE, target: EXPRESSION, arg: EXPRESSION): INLINE_MEMO
effective function
{PROCEDURE_CALL_1}
top
(See inline_instruction_n.)
require
  • ace.boost
  • type /= Void
  • target /= Void
  • target_type /= Void
  • arg /= Void
ensure
  • Result /= Void = smart_eiffel.magic_count > old smart_eiffel.magic_count
  • Result /= Void implies Result.is_instruction_holder
inline_instruction_n (type: TYPE, target_type: TYPE, target: EXPRESSION, args: EFFECTIVE_ARG_LIST): INLINE_MEMO
effective function
{PROCEDURE_CALL_N}
top
Attempt to inline the corresponding procedure call (see exportation).
If it is possible to inline, the Result is not Void and the Result holds the corresponding CODE . (In order to recycle INLINE_MEMO objects, see also get_inline_memo and dispose_inline_memo of smart_eiffel.)
require
  • ace.boost
  • type /= Void
  • target /= Void
  • args.count >= 2
  • target_type /= Void
ensure
  • Result /= Void = smart_eiffel.magic_count > old smart_eiffel.magic_count
  • Result /= Void implies Result.is_instruction_holder
inline_dynamic_dispatch (code_accumulator: CODE_ACCUMULATOR, type: TYPE)
frozen
effective procedure
{LIVE_TYPE, PRECURSOR_CALL}
top
This should not be done twice.
Assume the twin is made by the caller.
require
inline_dynamic_dispatch_flag: BOOLEAN
writable attribute
{}
top
inline_dynamic_dispatch_must_be_done_once: BOOLEAN
frozen
effective function
{}
top
contextual_simplify (type: TYPE): ANONYMOUS_FEATURE
effective function
{FEATURE_STAMP, LIVE_TYPE, PRECURSOR_CALL}
top
May return Current or a simplified version of Current.
|*** Future optimization mode. To be implemented
require ensure
brand_new_run_feature_for (t: TYPE, fn: FEATURE_NAME, is_precursor: BOOLEAN): RUN_FEATURE
frozen
effective function
{FEATURE_STAMP, LIVE_TYPE}
top
TODO: translate comment
require
  • t /= Void
ensure
  • not is_precursor implies name_check(Result.name, t.name_of(Current))
  • is_precursor implies t.name_of(Current) = Void
name_check (n1: FEATURE_NAME, n2: FEATURE_NAME): BOOLEAN
effective function
{}
top
permissions: CLIENT_LIST
writable attribute
{ANONYMOUS_FEATURE, ANONYMOUS_FEATURE_MIXER, ANONYMOUS_FEATURE_VISITOR, FEATURE_CALL, FEATURE_NAME_LIST, HIDDEN_EXPRESSION_DETECTOR, RUN_FEATURE}
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.
 Also see clients.
specialize_permissions_in (new_type: TYPE): E_FUNCTION
effective function
{ANONYMOUS_FEATURE_MIXER}
top
require
  • new_type /= Void
specialize_permissions_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE): E_FUNCTION
effective function
{ANONYMOUS_FEATURE_MIXER}
top
require
  • parent_type /= Void
  • parent_edge /= Void
  • new_type /= Void
ensure
  • Result /= Void
merge_signature_thru (other: ANONYMOUS_FEATURE, parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE, can_twin: BOOLEAN): ANONYMOUS_FEATURE
frozen
effective function
{ANONYMOUS_FEATURE_MIXER}
top
Merge the Current signature using the given insert/inherit path.
Signature has to be identical with the one given in other and the result has signature from Current or other based on inserted path.
require
  • other /= Void
  • parent_type /= Void
  • parent_edge /= Void
  • new_type /= Void
  • error_handler.is_empty
valid_redefinition (other: ANONYMOUS_FEATURE, parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE): BOOLEAN
frozen
effective function
{ANONYMOUS_FEATURE_MIXER}
top
Test if Current is a valid redefinition of other through the specified inherit way.
require
  • other /= Void
  • parent_type /= Void
  • new_type /= Void
  • Current /= other
  • error_handler.is_empty
same_signature (other: ANONYMOUS_FEATURE, into: TYPE): BOOLEAN
frozen
effective function
{ANONYMOUS_FEATURE}
top
True when Current and other have the same signature when both are interpreted in type into.
This property is required by the join rule.
require ensure
specialize_require_in (type: TYPE): E_FUNCTION
effective function
{ANONYMOUS_FEATURE_MIXER}
top
ensure
specialize_require_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE): E_FUNCTION
effective function
{ANONYMOUS_FEATURE_MIXER}
top
require ensure
change_require (req: REQUIRE_ASSERTION, can_twin: BOOLEAN): E_FUNCTION
frozen
effective function
{ANONYMOUS_FEATURE_MIXER}
top
require
  • req /= Void
ensure
  • not can_twin implies Result = Current
specialized_require_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE): REQUIRE_ASSERTION
effective function
{ANONYMOUS_FEATURE_MIXER}
top
ensure
  • Result /= Void implies Result.has_been_specialized
specialize_ensure_in (type: TYPE, can_twin: BOOLEAN): E_FUNCTION
effective function
{ANONYMOUS_FEATURE_MIXER}
top
ensure
specialize_ensure_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, type: TYPE, can_twin: BOOLEAN): E_FUNCTION
effective function
{ANONYMOUS_FEATURE_MIXER}
top
require ensure
change_ensure (ens: ENSURE_ASSERTION, can_twin: BOOLEAN): E_FUNCTION
frozen
effective function
{ANONYMOUS_FEATURE_MIXER}
top
require
  • ens /= Void
ensure
  • not can_twin implies Result = Current
specialized_ensure_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, type: TYPE): ENSURE_ASSERTION
effective function
{ANONYMOUS_FEATURE_MIXER}
top
ensure
  • Result /= Void implies Result.has_been_specialized
specialize_permissions (export_clause: CLIENT_LIST, can_twin: BOOLEAN): E_FUNCTION
effective function
{ANONYMOUS_FEATURE_MIXER}
top
require
  • export_clause /= Void
ensure
  • Result /= Void
  • not can_twin implies Result = Current
set_permissions (perm: CLIENT_LIST)
effective procedure
{ANONYMOUS_FEATURE}
top
collect (t: TYPE)
effective procedure
{LIVE_TYPE, TYPE, PRECURSOR_CALL}
top
require
valid_redefinition_error (parent_type_mark: TYPE_MARK, parent_type: TYPE, redefinition_type_mark: TYPE_MARK, new_type: TYPE)
frozen
effective procedure
{}
top
Trying to explain the error the best as we can.
require ensure
set_require_assertion (ra: REQUIRE_ASSERTION)
effective procedure
{ANONYMOUS_FEATURE, FEATURE_TEXT}
top
set_ensure_assertion (ea: ENSURE_ASSERTION)
effective procedure
{ANONYMOUS_FEATURE, FEATURE_TEXT}
top
try_to_undefine (fn: FEATURE_NAME, bc: CLASS_TEXT): DEFERRED_ROUTINE
frozen
effective function
{FEATURE_ACCUMULATOR}
top
Compute the corresponding deferred feature for Current.
This occurs for example when bc has an undefine clause for fn which refer to Current. The Result is never Void because fatal_error may be called.
require ensure
  • Result /= Void
set_assigner (a_assigner: FEATURE_NAME)
effective procedure
{FEATURE_ACCUMULATOR}
top
ensure
frozen
effective procedure
{FEATURE_TEXT}
top
require
  • ft /= Void
ensure
closure_arguments: FAST_ARRAY[FORMAL_ARG_LIST]
writable attribute
{ANY}
top
Arguments of enclosing features
closure_local_vars: FAST_ARRAY[LOCAL_VAR_LIST]
writable attribute
{ANY}
top
Local vars of enclosing features
effective procedure
{FEATURE_TEXT}
top
specialize_closure_arguments_lists_in (new_type: TYPE): FAST_ARRAY[FORMAL_ARG_LIST]
effective function
{}
top
specialize_closure_arguments_lists_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE): FAST_ARRAY[FORMAL_ARG_LIST]
effective function
{}
top
specialize_closure_local_var_lists_in (new_type: TYPE): FAST_ARRAY[LOCAL_VAR_LIST]
effective function
{}
top
specialize_closure_local_var_lists_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE): FAST_ARRAY[LOCAL_VAR_LIST]
effective function
{}
top
hook_for (lt: LIVE_TYPE)
effective procedure
{RUN_FEATURE}
top
A hook called at adapt time by RUN_FEATURE
hook_collect (t: TYPE)
effective procedure
{}
top
A hook called at collect time
require
  • t /= Void
pretty_print_names
frozen
effective procedure
{}
top
Print only the names of the feature.
em_chtfi: STRING
is "Cannot inherit these features in "
constant attribute
{}
top
em_ohrbnto: STRING
is "Incompatible signatures. (One has a result type and not the other.)"
constant attribute
{}
top
em_ohabnto: STRING
is "Incompatible signatures. (One has argument(s) but not the other.)"
constant attribute
{}
top
em_ina: STRING
is "Incompatible number of arguments."
constant attribute
{}
top
effective procedure
{}
top
It's not shared anymore.
require ensure
  • fd.count = old fd.count + ft.names.count
obsolete_warning_check_memory: AVL_SET[POSITION]
once function
{}
top
To avoid same warning repetition.
export_to_any: CLIENT_LIST
once function
{}
top
index_list: INDEX_LIST
writable attribute
{ANY}
top
For the indexing of the class.
pretty_index (indent_level: INTEGER_32, a_spec: STRING)
effective procedure
{}
top
ensure
add_index_clause (index_clause: INDEX_CLAUSE)
effective procedure
{EIFFEL_PARSER}
top
require
  • index_clause /= Void
set_index_list (a_index_list: INDEX_LIST)
effective procedure
{INDEXINGABLE}
top
require
smart_eiffel: SMART_EIFFEL
frozen
once function
{ANY}
top
eiffel_parser: EIFFEL_PARSER
frozen
once function
{ANY}
top
ace: ACE
frozen
once function
{ANY}
top
ini_parser: INI_PARSER
frozen
once function
{ANY}
top
plugin_config: INI_PARSER
frozen
once function
{ANY}
top
error_handler: ERROR_HANDLER
frozen
once function
{ANY}
top
string_aliaser: STRING_ALIASER
frozen
once function
{ANY}
top
frozen
once function
{ANY}
top
pretty_printer: PRETTY_PRINTER
frozen
once function
{ANY}
top
mini_buffer: MINI_BUFFER
frozen
once function
{ANY}
top
nb_errors: INTEGER_32
effective function
{ANY}
top
ensure
  • Result >= 0
system_tools: SYSTEM_TOOLS
frozen
once function
{ANY}
top
introspection_handler: INTROSPECTION_HANDLER
frozen
once function
{ANY}
top
assignment_test_pool: ASSIGNMENT_TEST_POOL
frozen
once function
{ANY}
top
precomputable_routine_detector: PRECOMPUTABLE_ROUTINE_DETECTOR
frozen
once function
{ANY}
top
feature_accumulator: FEATURE_ACCUMULATOR
frozen
once function
{ANY}
top
live_type_extra_collectors: FAST_ARRAY[LIVE_TYPE_EXTRA_COLLECTOR]
frozen
once function
{ANY}
top
is_launcher: BOOLEAN
effective function
{ACE}
top
If True, the clusters list will not be retrieved (it means that the tool is only used to start other tools; it does not load classes itself)
set_launcher
effective procedure
{SE, COMPILE}
top
ensure
is_launcher_memory: REFERENCE[BOOLEAN]
once function
{}
top
parser_buffer: PARSER_BUFFER
frozen
once function
{SMART_EIFFEL, SYSTEM_TOOLS, VISITOR}
top
id_provider: ID_PROVIDER
frozen
once function
{ANY}
top
manifest_string_pool: MANIFEST_STRING_POOL
frozen
once function
{ANY}
top
manifest_generic_pool: MANIFEST_GENERIC_POOL
frozen
once function
{ANY}
top
once_routine_pool: ONCE_ROUTINE_POOL
frozen
once function
{ANY}
top
agent_pool: AGENT_POOL
frozen
once function
{ANY}
top
cecil_pool: CECIL_POOL
frozen
effective function
{ANY}
top
cecil_pool_memory: REFERENCE[CECIL_POOL]
frozen
once function
{ANY}
top
set_cecil_pool
frozen
once procedure
{ANY}
top
ensure
short_printer: SHORT_PRINTER
frozen
once function
{ANY}
top
echo: ECHO
frozen
once function
{ANY}
top
assignment_handler: ASSIGNMENT_HANDLER
frozen
once function
{ANY}
top
thread_pool: THREAD_POOL
frozen
once function
{ANY}
top
exceptions: EXCEPTIONS
frozen
writable attribute
{ANY}
top
exceptions_handler: EXCEPTIONS_HANDLER
frozen
once function
{ANY}
top
nb_warnings: INTEGER_32
effective function
{ANY}
top
ensure
  • Result >= 0
tmp_path: STRING
once function
{ANY}
top
tmp_file_read: TEXT_FILE_READ
once function
{ANY}
top
class_any: CLASS_TEXT
once function
{ANY}
top
omitted_client_list: CLIENT_LIST
frozen
once function
{ANY}
top
(To avoid multiple creation(s).)
any_default_create_fs: FEATURE_STAMP
once function
{ANY}
top
any_default_rescue_fs: FEATURE_STAMP
once function
{ANY}
top
any_copy_fs: FEATURE_STAMP
once function
{ANY}
top
any_is_equal_fs: FEATURE_STAMP
once function
{ANY}
top
any_deep_twin_fs: FEATURE_STAMP
once function
{ANY}
top
any_is_deep_equal_fs: FEATURE_STAMP
once function
{ANY}
top
boolean_and_then_fs: FEATURE_STAMP
once function
{ANY}
top
manifest_make_name: HASHED_STRING
once function
{ANY}
top
manifest_put_name: HASHED_STRING
once function
{ANY}
top
manifest_semicolon_check_name: HASHED_STRING
once function
{ANY}
top
manifest_initialize_name: HASHED_STRING
once function
{ANY}
top
calloc_name: HASHED_STRING
once function
{ANY}
top
put_name: HASHED_STRING
once function
{ANY}
top
item_name: HASHED_STRING
once function
{ANY}
top
is_empty_name: HASHED_STRING
once function
{ANY}
top
make_name: HASHED_STRING
once function
{ANY}
top
from_external_sized_copy_name: HASHED_STRING
once function
{ANY}
top
count_name: HASHED_STRING
once function
{ANY}
top
storage_name: HASHED_STRING
once function
{ANY}
top
capacity_name: HASHED_STRING
once function
{ANY}
top
storage_lower_name: HASHED_STRING
once function
{ANY}
top
mark_item_name: HASHED_STRING
once function
{ANY}
top
mark_native_arrays_name: HASHED_STRING
once function
{ANY}
top
and_then_name: HASHED_STRING
once function
{ANY}
top
or_else_name: HASHED_STRING
once function
{ANY}
top
twin_name: HASHED_STRING
once function
{ANY}
top
copy_name: HASHED_STRING
once function
{ANY}
top
is_equal_name: HASHED_STRING
once function
{ANY}
top
deep_twin_name: HASHED_STRING
once function
{ANY}
top
deep_twin_from_name: HASHED_STRING
once function
{ANY}
top
is_deep_equal_name: HASHED_STRING
once function
{ANY}
top
deep_memcmp_name: HASHED_STRING
once function
{ANY}
top
se_atexit_name: HASHED_STRING
once function
{ANY}
top
default_rescue_name: HASHED_STRING
once function
{ANY}
top
default_create_name: HASHED_STRING
once function
{ANY}
top
flush_name: HASHED_STRING
once function
{ANY}
top
clear_all_name: HASHED_STRING
once function
{ANY}
top
from_pointer_name: HASHED_STRING
once function
{ANY}
top
no_errors: BOOLEAN
effective function
{ANY}
top
character_coding (c: CHARACTER, str: STRING)
effective procedure
{ANY}
top
Append in str the Eiffel coding of the character (Table in chapter 25 of ETL, page 423).%%%%%%%%
When the % letter notation exists, it is returned in priority: '%N' gives "%N", '%T' gives "%T", etc. When % letter notation does not exists (not in the ETL table), numbered coding used ("%/1/", "%/2/" etc).
eiffel_suffix: STRING
is ".e"
constant attribute
{ANY}
top
Eiffel Source file suffix.
c_suffix: STRING
is ".c"
constant attribute
{ANY}
top
C files suffix.
h_suffix: STRING
is ".h"
constant attribute
{ANY}
top
Heading C files suffix.
c_plus_plus_suffix: STRING
is ".cpp"
constant attribute
{ANY}
top
C++ files suffix.
backup_suffix: STRING
is ".bak"
constant attribute
{ANY}
top
Backup suffix for command pretty.
class_suffix: STRING
is ".class"
constant attribute
{ANY}
top
dot_precedence: INTEGER_32
is 12
constant attribute
{ANY}
top
The highest precedence value according to ETL.
atomic_precedence: INTEGER_32
is 13
constant attribute
{ANY}
top
Used for atomic elements.
append_u1 (str: STRING, u1: INTEGER_32)
effective procedure
{ANY}
top
append_u2 (str: STRING, u2: INTEGER_32)
effective procedure
{ANY}
top
append_u4 (str: STRING, u4: INTEGER_32)
effective procedure
{ANY}
top
is_install: BOOLEAN
effective function
{ANY}
top
set_install
effective procedure
{ANY}
top
ensure
install_memory: REFERENCE[BOOLEAN]
once function
{ANY}
top
unrelated_code: INTEGER_8
is 0
constant attribute
{ANY}
top
inserts_code: INTEGER_8
is 1
constant attribute
{ANY}
top
inherits_code: INTEGER_8
is 2
constant attribute
{ANY}
top
once function
{ANY}
top
shrink_generic_types: BOOLEAN
effective function
{}
top
shrink_generic_types_memory: REFERENCE[BOOLEAN]
once function
{}
top
Set the item to True if you want less generic type duplication
as_any: STRING
is "ANY"
constant attribute
{}
top
as_array: STRING
is "ARRAY"
constant attribute
{}
top
as_boolean: STRING
is "BOOLEAN"
constant attribute
{}
top
as_character: STRING
is "CHARACTER"
constant attribute
{}
top
as_disposable: STRING
is "DISPOSABLE"
constant attribute
{}
top
as_exceptions: STRING
is "EXCEPTIONS"
constant attribute
{}
top
as_fixed_array: STRING
is "FAST_ARRAY"
constant attribute
{}
top
as_function: STRING
is "FUNCTION"
constant attribute
{}
top
as_integer_general: STRING
is "INTEGER_GENERAL"
constant attribute
{}
top
as_integer_8: STRING
is "INTEGER_8"
constant attribute
{}
top
as_integer_16: STRING
is "INTEGER_16"
constant attribute
{}
top
as_integer_32: STRING
is "INTEGER_32"
constant attribute
{}
top
as_integer: STRING
is "INTEGER"
constant attribute
{}
top
as_integer_64: STRING
is "INTEGER_64"
constant attribute
{}
top
as_internals: STRING
is "INTERNALS"
constant attribute
{}
top
as_internals_handler: STRING
is "INTERNALS_HANDLER"
constant attribute
{}
top
as_native_array: STRING
is "NATIVE_ARRAY"
constant attribute
{}
top
as_native_array_collector: STRING
is "NATIVE_ARRAY_COLLECTOR"
constant attribute
{}
top
as_native_array_internals: STRING
is "NATIVE_ARRAY_INTERNALS"
constant attribute
{}
top
as_natural: STRING
is "NATURAL"
constant attribute
{}
top
as_natural_8: STRING
is "NATURAL_8"
constant attribute
{}
top
as_natural_16: STRING
is "NATURAL_16"
constant attribute
{}
top
as_natural_32: STRING
is "NATURAL_32"
constant attribute
{}
top
as_natural_64: STRING
is "NATURAL_64"
constant attribute
{}
top
as_natural_general: STRING
is "NATURAL_GENERAL"
constant attribute
{}
top
as_platform: STRING
is "PLATFORM"
constant attribute
{}
top
as_pointer: STRING
is "POINTER"
constant attribute
{}
top
as_predicate: STRING
is "PREDICATE"
constant attribute
{}
top
as_procedure: STRING
is "PROCEDURE"
constant attribute
{}
top
as_real_general: STRING
is "REAL_GENERAL"
constant attribute
{}
top
as_real_32: STRING
is "REAL_32"
constant attribute
{}
top
as_real: STRING
is "REAL"
constant attribute
{}
top
as_real_64: STRING
is "REAL_64"
constant attribute
{}
top
as_real_80: STRING
is "REAL_80"
constant attribute
{}
top
as_real_128: STRING
is "REAL_128"
constant attribute
{}
top
as_real_extended: STRING
is "REAL_EXTENDED"
constant attribute
{}
top
as_routine: STRING
is "ROUTINE"
constant attribute
{}
top
as_set: STRING
is "SET"
constant attribute
{}
top
as_string: STRING
is "STRING"
constant attribute
{}
top
as_text_file_read: STRING
is "TEXT_FILE_READ"
constant attribute
{}
top
as_text_file_write: STRING
is "TEXT_FILE_WRITE"
constant attribute
{}
top
as_thread_context: STRING
is "THREAD_CONTEXT"
constant attribute
{}
top
as_thread_lock: STRING
is "THREAD_LOCK"
constant attribute
{}
top
as_tuple: STRING
is "TUPLE"
constant attribute
{}
top
as_type: STRING
is "TYPE"
constant attribute
{}
top
as_typed_internals: STRING
is "TYPED_INTERNALS"
constant attribute
{}
top
as_unicode_string: STRING
is "UNICODE_STRING"
constant attribute
{}
top
as_weak_reference: STRING
is "WEAK_REFERENCE"
constant attribute
{}
top
as_a1: STRING
is "a1"
constant attribute
{}
top
as_add_last: STRING
is "add_last"
constant attribute
{}
top
as_agent: STRING
is "agent"
constant attribute
{}
top
as_allocated_bytes: STRING
is "allocated_bytes"
constant attribute
{}
top
as_alloc_native_data: STRING
is "alloc_native_data"
constant attribute
{}
top
as_as_16_ne: STRING
is "as_16_ne"
constant attribute
{}
top
as_as_32_ne: STRING
is "as_32_ne"
constant attribute
{}
top
as_atan2: STRING
is "atan2"
constant attribute
{}
top
as_blank: STRING
is "blank"
constant attribute
{}
top
as_bit_clear: STRING
is "bit_clear"
constant attribute
{}
top
as_bit_put: STRING
is "bit_put"
constant attribute
{}
top
as_bit_rotate: STRING
is "bit_rotate"
constant attribute
{}
top
as_bit_set: STRING
is "bit_set"
constant attribute
{}
top
as_bit_xor: STRING
is "bit_xor"
constant attribute
{}
top
as_boolean_bits: STRING
is "Boolean_bits"
constant attribute
{}
top
as_call: STRING
is "call"
constant attribute
{}
top
as_calloc: STRING
is "calloc"
constant attribute
{}
top
as_capacity: STRING
is "capacity"
constant attribute
{}
top
as_ceiling: STRING
is "ceiling"
constant attribute
{}
top
as_character_bits: STRING
is "Character_bits"
constant attribute
{}
top
as_clear_all: STRING
is "clear_all"
constant attribute
{}
top
as_count: STRING
is "count"
constant attribute
{}
top
as_code: STRING
is "code"
constant attribute
{}
top
as_collecting: STRING
is "collecting"
constant attribute
{}
top
as_collection_off: STRING
is "collection_off"
constant attribute
{}
top
as_collection_on: STRING
is "collection_on"
constant attribute
{}
top
as_collector_counter: STRING
is "collector_counter"
constant attribute
{}
top
as_copy: STRING
is "copy"
constant attribute
{}
top
as_c_inline_c: STRING
is "c_inline_c"
constant attribute
{}
top
as_c_inline_h: STRING
is "c_inline_h"
constant attribute
{}
top
as_default_create: STRING
is "default_create"
constant attribute
{}
top
as_default_rescue: STRING
is "default_rescue"
constant attribute
{}
top
as_deep_memcmp: STRING
is "deep_memcmp"
constant attribute
{}
top
as_deep_twin: STRING
is "deep_twin"
constant attribute
{}
top
as_deep_twin_from: STRING
is "deep_twin_from"
constant attribute
{}
top
as_dispose: STRING
is "dispose"
constant attribute
{}
top
as_die_with_code: STRING
is "die_with_code"
constant attribute
{}
top
as_element_sizeof: STRING
is "element_sizeof"
constant attribute
{}
top
as_exception: STRING
is "exception"
constant attribute
{}
top
as_for_object: STRING
is "for_object"
constant attribute
{}
top
as_type_can_be_assigned_to_attribute: STRING
is "type_can_be_assigned_to_attribute"
constant attribute
{}
top
as_type_can_be_assigned_to_item: STRING
is "type_can_be_assigned_to_item"
constant attribute
{}
top
as_type_attribute_count: STRING
is "type_attribute_count"
constant attribute
{}
top
as_type_attribute_generator: STRING
is "type_attribute_generator"
constant attribute
{}
top
as_type_attribute_generating_type: STRING
is "type_attribute_generating_type"
constant attribute
{}
top
as_type_attribute_is_expanded: STRING
is "type_attribute_is_expanded"
constant attribute
{}
top
as_type_attribute_name: STRING
is "type_attribute_name"
constant attribute
{}
top
as_fifth: STRING
is "fifth"
constant attribute
{}
top
as_first: STRING
is "first"
constant attribute
{}
top
as_floor: STRING
is "floor"
constant attribute
{}
top
as_flush: STRING
is "flush"
constant attribute
{}
top
as_fourth: STRING
is "fourth"
constant attribute
{}
top
as_force_to_integer_16: STRING
is "force_to_integer_16"
constant attribute
{}
top
as_force_to_integer_32: STRING
is "force_to_integer_32"
constant attribute
{}
top
as_force_to_integer_64: STRING
is "force_to_integer_64"
constant attribute
{}
top
as_force_to_natural_16: STRING
is "force_to_natural_16"
constant attribute
{}
top
as_force_to_natural_32: STRING
is "force_to_natural_32"
constant attribute
{}
top
as_force_to_natural_64: STRING
is "force_to_natural_64"
constant attribute
{}
top
as_force_to_real_32: STRING
is "force_to_real_32"
constant attribute
{}
top
as_force_to_real_64: STRING
is "force_to_real_64"
constant attribute
{}
top
as_free_native_data: STRING
is "free_native_data"
constant attribute
{}
top
as_from_external_sized_copy: STRING
is "from_external_sized_copy"
constant attribute
{}
top
as_from_pointer: STRING
is "from_pointer"
constant attribute
{}
top
as_full_collect: STRING
is "full_collect"
constant attribute
{}
top
as_generating_type: STRING
is "generating_type"
constant attribute
{}
top
as_generator: STRING
is "generator"
constant attribute
{}
top
as_io: STRING
is "io"
constant attribute
{}
top
as_integer_bits: STRING
is "Integer_bits"
constant attribute
{}
top
as_internals_from_generating_type: STRING
is "internals_from_generating_type"
constant attribute
{}
top
as_is_basic_expanded_type: STRING
is "is_basic_expanded_type"
constant attribute
{}
top
as_is_deep_equal: STRING
is "is_deep_equal"
constant attribute
{}
top
as_is_equal: STRING
is "is_equal"
constant attribute
{}
top
as_do_at_exit: STRING
is "do_at_exit"
constant attribute
{}
top
as_is_empty: STRING
is "is_empty"
constant attribute
{}
top
as_is_finished: STRING
is "is_finished"
constant attribute
{}
top
as_is_infinity: STRING
is "is_infinity"
constant attribute
{}
top
as_is_locked: STRING
is "is_locked"
constant attribute
{}
top
as_is_normal: STRING
is "is_normal"
constant attribute
{}
top
as_is_not_a_number: STRING
is "is_not_a_number"
constant attribute
{}
top
as_is_not_null: STRING
is "is_not_null"
constant attribute
{}
top
as_is_started: STRING
is "is_started"
constant attribute
{}
top
as_is_subnormal: STRING
is "is_subnormal"
constant attribute
{}
top
as_item: STRING
is "item"
constant attribute
{}
top
as_last: STRING
is "last"
constant attribute
{}
top
as_lock: STRING
is "lock"
constant attribute
{}
top
as_lower: STRING
is "lower"
constant attribute
{}
top
as_low_8: STRING
is "low_8"
constant attribute
{}
top
as_low_16: STRING
is "low_16"
constant attribute
{}
top
as_low_32: STRING
is "low_32"
constant attribute
{}
top
as_native_array_internals_from_generating_type: STRING
is "native_array_internals_from_generating_type"
constant attribute
{}
top
as_make: STRING
is "make"
constant attribute
{}
top
as_make_blank: STRING
is "make_blank"
constant attribute
{}
top
as_mark_item: STRING
is "mark_item"
constant attribute
{}
top
as_mark_native_arrays: STRING
is "mark_native_arrays"
constant attribute
{}
top
as_minimum_character_code: STRING
is "Minimum_character_code"
constant attribute
{}
top
as_minimum_double: STRING
is "Minimum_double"
constant attribute
{}
top
as_minimum_real: STRING
is "Minimum_real"
constant attribute
{}
top
as_manifest_creation: STRING
is "manifest_creation"
constant attribute
{}
top
as_manifest_initialize: STRING
is "manifest_initialize"
constant attribute
{}
top
as_manifest_make: STRING
is "manifest_make"
constant attribute
{}
top
as_manifest_put: STRING
is "manifest_put"
constant attribute
{}
top
as_manifest_semicolon_check: STRING
is "manifest_semicolon_check"
constant attribute
{}
top
as_maximum_character_code: STRING
is "Maximum_character_code"
constant attribute
{}
top
as_maximum_double: STRING
is "Maximum_double"
constant attribute
{}
top
as_maximum_real: STRING
is "Maximum_real"
constant attribute
{}
top
as_native_data: STRING
is "native_data"
constant attribute
{}
top
as_notify: STRING
is "notify"
constant attribute
{}
top
as_notify_all: STRING
is "notify_all"
constant attribute
{}
top
as_object_as_pointer: STRING
is "object_as_pointer"
constant attribute
{}
top
as_object_attribute: STRING
is "object_attribute"
constant attribute
{}
top
as_object_invariant: STRING
is "object_invariant"
constant attribute
{}
top
as_object_memory: STRING
is "object_memory"
constant attribute
{}
top
as_object_size: STRING
is "object_size"
constant attribute
{}
top
as_pointer_bits: STRING
is "Pointer_bits"
constant attribute
{}
top
as_pow_postfix: STRING
is "pow"
constant attribute
{}
top
as_print: STRING
is "print"
constant attribute
{}
top
as_print_on: STRING
is "print_on"
constant attribute
{}
top
as_print_run_time_stack: STRING
is "print_run_time_stack"
constant attribute
{}
top
as_put: STRING
is "put"
constant attribute
{}
top
as_put_0: STRING
is "put_0"
constant attribute
{}
top
as_put_1: STRING
is "put_1"
constant attribute
{}
top
as_put_16_be: STRING
is "put_16_be"
constant attribute
{}
top
as_put_16_le: STRING
is "put_16_le"
constant attribute
{}
top
as_put_16_ne: STRING
is "put_16_ne"
constant attribute
{}
top
as_put_32_be: STRING
is "put_32_be"
constant attribute
{}
top
as_put_32_le: STRING
is "put_32_le"
constant attribute
{}
top
as_put_32_ne: STRING
is "put_32_ne"
constant attribute
{}
top
as_raise_exception: STRING
is "raise_exception"
constant attribute
{}
top
as_real_bits: STRING
is "Real_bits"
constant attribute
{}
top
as_realloc: STRING
is "realloc"
constant attribute
{}
top
as_rounded: STRING
is "rounded"
constant attribute
{}
top
as_run: STRING
is "run"
constant attribute
{}
top
as_same_dynamic_type: STRING
is "same_dynamic_type"
constant attribute
{}
top
as_second: STRING
is "second"
constant attribute
{}
top
as_se_argc: STRING
is "se_argc"
constant attribute
{}
top
as_se_argv: STRING
is "se_argv"
constant attribute
{}
top
as_se_atexit: STRING
is "se_atexit"
constant attribute
{}
top
as_se_fault: STRING
is "se_fault"
constant attribute
{}
top
as_sedb_breakpoint: STRING
is "sedb_breakpoint"
constant attribute
{}
top
as_set_item: STRING
is "set_item"
constant attribute
{}
top
as_set_object_attribute: STRING
is "set_object_attribute"
constant attribute
{}
top
as_signal_number: STRING
is "signal_number"
constant attribute
{}
top
as_slice_copy: STRING
is "slice_copy"
constant attribute
{}
top
as_standard_copy: STRING
is "standard_copy"
constant attribute
{}
top
as_standard_is_equal: STRING
is "standard_is_equal"
constant attribute
{}
top
as_standard_twin: STRING
is "standard_twin"
constant attribute
{}
top
as_status: STRING
is "status"
constant attribute
{}
top
as_std_error: STRING
is "std_error"
constant attribute
{}
top
as_std_input: STRING
is "std_input"
constant attribute
{}
top
as_std_output: STRING
is "std_output"
constant attribute
{}
top
as_stderr: STRING
is "stderr"
constant attribute
{}
top
as_stdin: STRING
is "stdin"
constant attribute
{}
top
as_stdout: STRING
is "stdout"
constant attribute
{}
top
as_storage: STRING
is "storage"
constant attribute
{}
top
as_storage_lower: STRING
is "storage_lower"
constant attribute
{}
top
as_third: STRING
is "third"
constant attribute
{}
top
as_timed_wait: STRING
is "timed_wait"
constant attribute
{}
top
as_to_character: STRING
is "to_character"
constant attribute
{}
top
as_to_integer_8: STRING
is "to_integer_8"
constant attribute
{}
top
as_to_integer_16: STRING
is "to_integer_16"
constant attribute
{}
top
as_to_integer_32: STRING
is "to_integer_32"
constant attribute
{}
top
as_to_integer_64: STRING
is "to_integer_64"
constant attribute
{}
top
as_to_internals: STRING
is "to_internals"
constant attribute
{}
top
as_to_natural_8: STRING
is "to_natural_8"
constant attribute
{}
top
as_to_natural_16: STRING
is "to_natural_16"
constant attribute
{}
top
as_to_natural_32: STRING
is "to_natural_32"
constant attribute
{}
top
as_to_natural_64: STRING
is "to_natural_64"
constant attribute
{}
top
as_to_pointer: STRING
is "to_pointer"
constant attribute
{}
top
as_trace_switch: STRING
is "trace_switch"
constant attribute
{}
top
as_twin: STRING
is "twin"
constant attribute
{}
top
as_type_generating_type: STRING
is "type_generating_type"
constant attribute
{}
top
as_type_generator: STRING
is "type_generator"
constant attribute
{}
top
as_type_is_expanded: STRING
is "type_is_expanded"
constant attribute
{}
top
as_type_item_generating_type: STRING
is "type_item_generating_type"
constant attribute
{}
top
as_type_item_generator: STRING
is "type_item_generator"
constant attribute
{}
top
as_type_item_is_expanded: STRING
is "type_item_is_expanded"
constant attribute
{}
top
as_unlock: STRING
is "unlock"
constant attribute
{}
top
as_upper: STRING
is "upper"
constant attribute
{}
top
as_valid_generating_type_for_internals: STRING
is "valid_generating_type_for_internals"
constant attribute
{}
top
as_valid_generating_type_for_native_array_internals: STRING
is "valid_generating_type_for_native_array_internals"
constant attribute
{}
top
as_wait: STRING
is "wait"
constant attribute
{}
top
as_with_capacity: STRING
is "with_capacity"
constant attribute
{}
top
as_and: STRING
is "and"
constant attribute
{}
top
as_and_then: STRING
is "and then"
constant attribute
{}
top
as_at: STRING
is "@"
constant attribute
{}
top
as_backslash_backslash: STRING
is "\\"
constant attribute
{}
top
as_bit_and: STRING
is "&"
constant attribute
{}
top
as_bit_not: STRING
is "~"
constant attribute
{}
top
as_bit_or: STRING
is "|"
constant attribute
{}
top
as_bit_rotate_left: STRING
is "#<<"
constant attribute
{}
top
as_bit_rotate_right: STRING
is "#>>"
constant attribute
{}
top
as_bit_shift_right_unsigned: STRING
is "|>>>"
constant attribute
{}
top
as_brackets: STRING
is "[]"
constant attribute
{}
top
as_eq: STRING
is "="
constant attribute
{}
top
as_ge: STRING
is ">="
constant attribute
{}
top
as_gt: STRING
is ">"
constant attribute
{}
top
as_implies: STRING
is "implies"
constant attribute
{}
top
as_le: STRING
is "<="
constant attribute
{}
top
as_lt: STRING
is "<"
constant attribute
{}
top
as_minus: STRING
is "-"
constant attribute
{}
top
as_muls: STRING
is "*"
constant attribute
{}
top
as_neq: STRING
is "/="
constant attribute
{}
top
as_not: STRING
is "not"
constant attribute
{}
top
as_or: STRING
is "or"
constant attribute
{}
top
as_or_else: STRING
is "or else"
constant attribute
{}
top
as_parentheses: STRING
is "()"
constant attribute
{}
top
as_plus: STRING
is "+"
constant attribute
{}
top
as_pow: STRING
is "^"
constant attribute
{}
top
as_sharp_backslash_backslash: STRING
is "#\\"
constant attribute
{}
top
as_sharp_minus: STRING
is "#-"
constant attribute
{}
top
as_sharp_muls: STRING
is "#*"
constant attribute
{}
top
as_sharp_plus: STRING
is "#+"
constant attribute
{}
top
as_sharp_slash_slash: STRING
is "#//"
constant attribute
{}
top
as_bit_shift_left: STRING
is "|<<"
constant attribute
{}
top
as_bit_shift_right: STRING
is "|>>"
constant attribute
{}
top
as_slash: STRING
is "/"
constant attribute
{}
top
as_slash_slash: STRING
is "//"
constant attribute
{}
top
as_xor: STRING
is "xor"
constant attribute
{}
top
as_arguments: STRING
is "arguments"
constant attribute
{}
top
as_current: STRING
is "Current"
constant attribute
{}
top
as_native_array_character: STRING
is "NATIVE_ARRAY[CHARACTER]"
constant attribute
{}
top
as_last_result: STRING
is "last_result"
constant attribute
{}
top
as_like_current: STRING
is "like Current"
constant attribute
{}
top
as_method: STRING
is "method"
constant attribute
{}
top
as_open_arguments: STRING
is "open_arguments"
constant attribute
{}
top
as_open_argument_indices: STRING
is "open_argument_indices"
constant attribute
{}
top
as_open_argument_index: STRING
is "open_argument_index"
constant attribute
{}
top
as_open_argument_count: STRING
is "open_argument_count"
constant attribute
{}
top
as_precursor: STRING
is "Precursor"
constant attribute
{}
top
as_result: STRING
is "Result"
constant attribute
{}
top
as_target: STRING
is "target"
constant attribute
{}
top
as_void: STRING
is "Void"
constant attribute
{}
top
fz_adapt: STRING
is "adapt"
constant attribute
{}
top
fz_alias: STRING
is "alias"
constant attribute
{}
top
fz_all: STRING
is "all"
constant attribute
{}
top
fz_as: STRING
is "as"
constant attribute
{}
top
fz_assertion: STRING
is "assertion"
constant attribute
{}
top
fz_assertion_flat_check: STRING
is "assertion_flat_check"
constant attribute
{}
top
fz_assign: STRING
is "assign"
constant attribute
{}
top
fz_begin_c_compile: STRING
is "# Beginning of parallelizable section"
constant attribute
{}
top
fz_boost: STRING
is "boost"
constant attribute
{}
top
fz_check: STRING
is "check"
constant attribute
{}
top
fz_class: STRING
is "class"
constant attribute
{}
top
fz_cluster: STRING
is "cluster"
constant attribute
{}
top
fz_convert: STRING
is "convert"
constant attribute
{}
top
fz_create: STRING
is "create"
constant attribute
{}
top
fz_creation: STRING
is "creation"
constant attribute
{}
top
fz_debug: STRING
is "debug"
constant attribute
{}
top
fz_default: STRING
is "default"
constant attribute
{}
top
fz_deferred: STRING
is "deferred"
constant attribute
{}
top
fz_do: STRING
is "do"
constant attribute
{}
top
fz_else: STRING
is "else"
constant attribute
{}
top
fz_elseif: STRING
is "elseif"
constant attribute
{}
top
fz_end: STRING
is "end"
constant attribute
{}
top
fz_end_c_compile: STRING
is "# End of parallelizable section"
constant attribute
{}
top
fz_ensure: STRING
is "ensure"
constant attribute
{}
top
fz_exclude: STRING
is "exclude"
constant attribute
{}
top
fz_expanded: STRING
is "expanded"
constant attribute
{}
top
fz_export: STRING
is "export"
constant attribute
{}
top
fz_external: STRING
is "external"
constant attribute
{}
top
fz_false: STRING
is "False"
constant attribute
{}
top
fz_feature: STRING
is "feature"
constant attribute
{}
top
fz_from: STRING
is "from"
constant attribute
{}
top
fz_frozen: STRING
is "frozen"
constant attribute
{}
top
fz_generate: STRING
is "generate"
constant attribute
{}
top
fz_if: STRING
is "if"
constant attribute
{}
top
fz_include: STRING
is "include"
constant attribute
{}
top
fz_indexing: STRING
is "indexing"
constant attribute
{}
top
fz_infix: STRING
is "infix"
constant attribute
{}
top
fz_inherit: STRING
is "inherit"
constant attribute
{}
top
fz_insert: STRING
is "insert"
constant attribute
{}
top
fz_inline: STRING
is "inline"
constant attribute
{}
top
fz_inspect: STRING
is "inspect"
constant attribute
{}
top
fz_invariant: STRING
is "invariant"
constant attribute
{}
top
fz_is: STRING
is "is"
constant attribute
{}
top
fz_like: STRING
is "like"
constant attribute
{}
top
fz_local: STRING
is "local"
constant attribute
{}
top
fz_loop: STRING
is "loop"
constant attribute
{}
top
fz_no: STRING
is "no"
constant attribute
{}
top
fz_note: STRING
is "note"
constant attribute
{}
top
fz_obsolete: STRING
is "obsolete"
constant attribute
{}
top
fz_old: STRING
is "old"
constant attribute
{}
top
fz_once: STRING
is "once"
constant attribute
{}
top
fz_option: STRING
is "option"
constant attribute
{}
top
fz_prefix: STRING
is "prefix"
constant attribute
{}
top
fz_redefine: STRING
is "redefine"
constant attribute
{}
top
fz_rename: STRING
is "rename"
constant attribute
{}
top
fz_require: STRING
is "require"
constant attribute
{}
top
fz_rescue: STRING
is "rescue"
constant attribute
{}
top
fz_retry: STRING
is "retry"
constant attribute
{}
top
fz_runtime: STRING
is "runtime"
constant attribute
{}
top
fz_separate: STRING
is "separate"
constant attribute
{}
top
fz_reference: STRING
is "reference"
constant attribute
{}
top
fz_then: STRING
is "then"
constant attribute
{}
top
fz_trace: STRING
is "trace"
constant attribute
{}
top
fz_true: STRING
is "True"
constant attribute
{}
top
fz_undefine: STRING
is "undefine"
constant attribute
{}
top
fz_unique: STRING
is "unique"
constant attribute
{}
top
fz_until: STRING
is "until"
constant attribute
{}
top
fz_use: STRING
is "use"
constant attribute
{}
top
fz_variant: STRING
is "variant"
constant attribute
{}
top
fz_when: STRING
is "when"
constant attribute
{}
top
fz_yes: STRING
is "yes"
constant attribute
{}
top
fz_cad: STRING
is "Cyclic anchored definition."
constant attribute
{}
top
fz_dtideena: STRING
is " has no compiler-defined `deep_twin' or `is_deep_equal' because the corresponding allocated size is not part of the NATIVE_ARRAY object. The client class of this NATIVE_ARRAY type is supposed to use a `capacity' attribute which contains the corresponding number of allocated items (see STRING or ARRAY for example)."
constant attribute
{}
top
fz_error_stars: STRING
is "****** "
constant attribute
{}
top
fz_vuar4: STRING
is "The $ operator must be followed by the final name of a feature which is not a constant attribute or by the name of some local variable as well."
constant attribute
{}
top
fz_bin: STRING
is "bin"
constant attribute
{}
top
fz_c_shift_left: STRING
is "<<"
constant attribute
{}
top
fz_c_shift_right: STRING
is ">>"
constant attribute
{}
top
fz_install: STRING
is "install"
constant attribute
{}
top
fz_jobs: STRING
is "jobs"
constant attribute
{}
top
fz_no_check: STRING
is "no_check"
constant attribute
{}
top
fz_none: STRING
is "none"
constant attribute
{}
top
fz_libertyeiffel: STRING
is "LibertyEiffel"
constant attribute
{}
top
fz_seconf: STRING
is "LIBERTY_CONF"
constant attribute
{}
top
The environment name pointing to the config file.
fz_conf_general: STRING
is "General"
constant attribute
{}
top
fz_conf_loadpath: STRING
is "Loadpath"
constant attribute
{}
top
fz_conf_environment: STRING
is "Environment"
constant attribute
{}
top
since version 2
fz_conf_se_tools: STRING
is "Tools"
constant attribute
{}
top
since version 3
fz_conf_bin: STRING
is "bin"
constant attribute
{}
top
fz_conf_lib: STRING
is "lib"
constant attribute
{}
top
fz_conf_sys: STRING
is "sys"
constant attribute
{}
top
fz_conf_short: STRING
is "short"
constant attribute
{}
top
fz_conf_tools: STRING
is "tools"
constant attribute
{}
top
fz_conf_os: STRING
is "os"
constant attribute
{}
top
fz_conf_flavor: STRING
is "flavor"
constant attribute
{}
top
fz_conf_jobs: STRING
is "jobs"
constant attribute
{}
top
fz_conf_boost: STRING
is "boost"
constant attribute
{}
top
fz_conf_no_check: STRING
is "no_check"
constant attribute
{}
top
fz_conf_require_check: STRING
is "require_check"
constant attribute
{}
top
fz_conf_ensure_check: STRING
is "ensure_check"
constant attribute
{}
top
fz_conf_invariant_check: STRING
is "invariant_check"
constant attribute
{}
top
fz_conf_loop_check: STRING
is "loop_check"
constant attribute
{}
top
fz_conf_all_check: STRING
is "all_check"
constant attribute
{}
top
fz_conf_debug_check: STRING
is "debug_check"
constant attribute
{}
top
fz_conf_flat_check: STRING
is "flat_check"
constant attribute
{}
top
fz_conf_smarteiffel_options: STRING
is "smarteiffel_options"
constant attribute
{}
top
fz_conf_undefined: STRING
is "undefined"
constant attribute
{}
top
fz_conf_tag: STRING
is "tag"
constant attribute
{}
top
fz_conf_compiler_type: STRING
is "c_compiler_type"
constant attribute
{}
top
fz_conf_compiler_path: STRING
is "c_compiler_path"
constant attribute
{}
top
fz_conf_linker_path: STRING
is "c_linker_path"
constant attribute
{}
top
fz_conf_strip_path: STRING
is "c_strip_path"
constant attribute
{}
top
fz_conf_compiler_options: STRING
is "c_compiler_options"
constant attribute
{}
top
fz_conf_linker_options: STRING
is "c_linker_options"
constant attribute
{}
top
fz_conf_cpp_compiler_type: STRING
is "cpp_compiler_type"
constant attribute
{}
top
fz_conf_cpp_compiler_path: STRING
is "cpp_compiler_path"
constant attribute
{}
top
fz_conf_cpp_compiler_options: STRING
is "cpp_compiler_options"
constant attribute
{}
top
fz_conf_cpp_linker_path: STRING
is "cpp_linker_path"
constant attribute
{}
top
fz_conf_cpp_strip_path: STRING
is "cpp_strip_path"
constant attribute
{}
top
fz_conf_cpp_linker_options: STRING
is "cpp_linker_options"
constant attribute
{}
top