class EXTRACT_INTERNALS
Summary
Class invariant
Overview
Creation features
{}
Features
{ANY}
{}
{CREATION_CLAUSE_LIST}
{CREATION_CLAUSE}
{}
{ANY}
Context stacks:
{}
{ANY}
{}
{PRECURSOR_CALL}
{PRECURSOR_CALL}
{RUN_FEATURE_3}
{}
{}
{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:
{}
{}
{ANY}
{EXTERNAL_FUNCTION}
{LIVE_TYPE}
{EXTERNAL_ROUTINE}
{SMART_EIFFEL}
{}
Generate code for all writable attributes. Dead attributes will be sorted out during the adapt phase.
{}
{}
{LOCAL_VAR_LIST}
{FORMAL_ARG_LIST}
{WHEN_CLAUSE}
{DECLARATION_LIST}
Maximum:
{}
Minimum:
{}
Bits:
{}
{ANY}
  • is_equal (other: EXTRACT_INTERNALS): BOOLEAN
    Is other attached to an object considered equal to current object?
{}
{ANY}
  • command_line_name: STRING
    Is supposed to return the name of the command itself (eg. "compile", "compile_to_c", "finder", "clean", etc.).
{}
{ANY}
{}
{ANY}
{}
Implementation of ARGUMENTS (do not use directly):
{}
Most of them are command flag names:
{}
make
effective procedure
{ANY}
parse_arguments
effective procedure
{ANY}
You can use flag_match and the like (many features are predefined to help parsing)
Be sure, also, to correctly define is_valid_argument_for_ace_mode if some arguments must be used in ACE file mode.
At last, don't forget to fill in root_class_name and procedure_class_name if you don't use an ACE file.
ensure
  • root_class_name /= Void
is_valid_argument_for_ace_mode (arg: STRING): BOOLEAN
effective function
{ANY}
Is the arg command line argument allowed in ACE file mode ?
require
  • arg /= Void
compile
effective procedure
{ANY}
The real output is done here
valid_argument_for_ace_mode: STRING
is "Only the flags -verbose, -version, -help, and -flymake_mode are allowed in ACE file mode. "
constant attribute
{ANY}
An explanation to be given to the user when the call to is_valid_argument_for_ace_mode returns False.
use_short_mode: BOOLEAN
is False
constant attribute
{ANY}
The "compilation" mode of the compiler is maybe too strict.
In most cases, short is better suited. Hence you should redefine this feature as True. In some cases though you may want to set it to False and see what it brings.
To be more precise, when set to true, it: - bypasses the optimizer - doesn't warn about obsolete features - restricts VWEQ checks when we have sure positive (remember we don't scan all the program then) BUT: - keeps comments (otherwise they're cut out), and merges them in case of feature merge - keeps the real aspect of manifest strings as written in the code (otherwise, only a compiled
  version is kept)
usage: STRING
is "Usage: extract_internals [options] <RootClass> <RootProcedure> ... or: extract_internals [options] <ACEfileName>.ace Generate object marshalling support files. Option summary: Information: -help Display this help information -version Display Liberty Eiffel version information -verbose Display detailed information about what the program is doing Warning levels: -style_warning Print warnings about style violations -no_warning Don't print any warnings Message styles: -flymake_mode Display messages in a compact format suitable for processing by tools such as Emacs' Flymake mode "
constant attribute
{ANY}
The traditional "-help" flag summary of information about available options.
put_live_fields (cecil_stream: OUTPUT_STREAM, live_type: LIVE_TYPE)
effective procedure
{}
put_native_array_internals (cecil_stream: OUTPUT_STREAM, live_type: LIVE_TYPE)
effective procedure
{}
put_call (cecil_stream: OUTPUT_STREAM, live_type: LIVE_TYPE, name: STRING, is_creation: BOOLEAN)
effective procedure
{}
put_create_call (cecil_stream: OUTPUT_STREAM, live_type: LIVE_TYPE)
effective procedure
{}
tm_internals_handler: CLASS_TYPE_MARK
once function
{}
creation_procedures (type_mark: TYPE_MARK): FAST_ARRAY[WEIGHTED_CREATION_PROCEDURE]
effective function
{}
require
  • not_done_to_report_errors: error_handler.is_empty
    required by gives_permission_to

ensure
resolved_creations: FAST_ARRAY[STRING]
once function
{}
creation_pending: FAST_ARRAY[BOOLEAN]
once function
{}
resolved_creation (type: TYPE): STRING
effective function
{}
require
  • type /= Void
is_pending (type: TYPE): BOOLEAN
effective function
{}
require
  • type /= Void
set_pending (type: TYPE)
effective procedure
{}
require
  • type /= Void
visit_creation_clause_list (visited: CREATION_CLAUSE_LIST)
effective procedure
require
  • visited /= Void
visit_creation_clause (visited: CREATION_CLAUSE)
effective procedure
require
  • visited /= Void
procedure_count: INTEGER_32
writable attribute
{}
function_count: INTEGER_32
writable attribute
{}
precursor_routine_count: INTEGER_32
writable attribute
{}
real_procedure_count: INTEGER_32
writable attribute
{}
real_function_count: INTEGER_32
writable attribute
{}
static_expression_count: INTEGER_32
writable attribute
{}
incr_real_procedure_count
effective procedure
{ANY}
incr_procedure_count
effective procedure
{ANY}
incr_real_function_count
effective procedure
{ANY}
incr_function_count
effective procedure
{ANY}
incr_precursor_routine_count
effective procedure
{ANY}
writable attribute
{}
Index for top of followings stacks.
context_stack: FAST_ARRAY[CODE_CONTEXT]
once function
{}
The indicating stack.
It contains only one of the following unique code.
stack_top: CODE_CONTEXT
effective function
{}
require ensure
  • Result.valid
stack_first_size: INTEGER_32
is 12
constant attribute
{}
stack_push (code: INTEGER_32)
effective procedure
{}
Push the code and resize all stacks if needed.
ensure
unused_contexts: ARRAY[FAST_ARRAY[CODE_CONTEXT]]
writable attribute
{}
reserve_context (code: INTEGER_32): CODE_CONTEXT
effective function
{}
ensure
  • Result.code = code
  • Result.valid
free_context (ctx: CODE_CONTEXT)
effective procedure
{}
require
  • ctx.valid
ensure
  • not ctx.valid
pop
effective procedure
{ANY}
ensure
  • old top = top + 1
  • context_stack.valid_index(top) implies stack_top.valid
        • not (old stack_top).valid
        • Well, at time being, the previous assertion cannot be compiled....
        • Dom. june 8th 2008 ***

check_top (st: CODE_CONTEXT): BOOLEAN
effective function
{}
To make checks coherent, the stack must be cleaned
push_direct (rf: RUN_FEATURE, type: TYPE, target: EXPRESSION, args: EFFECTIVE_ARG_LIST)
effective procedure
require
  • rf /= Void
  • type /= Void
push_precursor (type: TYPE, rf: RUN_FEATURE, args: EFFECTIVE_ARG_LIST)
effective procedure
require
  • rf /= Void
stack_not_full: BOOLEAN
effective function
stack_overflow
effective procedure
{}
new_context (code: INTEGER_32): CODE_CONTEXT
effective function
{}
ensure
  • not Result.valid
smart_eiffel: SMART_EIFFEL
frozen
once function
{ANY}
eiffel_parser: EIFFEL_PARSER
frozen
once function
{ANY}
ace: ACE
frozen
once function
{ANY}
ini_parser: INI_PARSER
frozen
once function
{ANY}
plugin_config: INI_PARSER
frozen
once function
{ANY}
error_handler: ERROR_HANDLER
frozen
once function
{ANY}
string_aliaser: STRING_ALIASER
frozen
once function
{ANY}
frozen
once function
{ANY}
pretty_printer: PRETTY_PRINTER
frozen
once function
{ANY}
mini_buffer: MINI_BUFFER
frozen
once function
{ANY}
nb_errors: INTEGER_32
effective function
{ANY}
ensure
  • Result >= 0
system_tools: SYSTEM_TOOLS
frozen
once function
{ANY}
introspection_handler: INTROSPECTION_HANDLER
frozen
once function
{ANY}
assignment_test_pool: ASSIGNMENT_TEST_POOL
frozen
once function
{ANY}
precomputable_routine_detector: PRECOMPUTABLE_ROUTINE_DETECTOR
frozen
once function
{ANY}
feature_accumulator: FEATURE_ACCUMULATOR
frozen
once function
{ANY}
live_type_extra_collectors: FAST_ARRAY[LIVE_TYPE_EXTRA_COLLECTOR]
frozen
once function
{ANY}
is_launcher: BOOLEAN
effective function
{ACE}
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
ensure
is_launcher_memory: REFERENCE[BOOLEAN]
once function
{}
parser_buffer: PARSER_BUFFER
frozen
once function
id_provider: ID_PROVIDER
frozen
once function
{ANY}
manifest_string_pool: MANIFEST_STRING_POOL
frozen
once function
{ANY}
manifest_generic_pool: MANIFEST_GENERIC_POOL
frozen
once function
{ANY}
once_routine_pool: ONCE_ROUTINE_POOL
frozen
once function
{ANY}
agent_pool: AGENT_POOL
frozen
once function
{ANY}
cecil_pool: CECIL_POOL
frozen
effective function
{ANY}
cecil_pool_memory: REFERENCE[CECIL_POOL]
frozen
once function
{ANY}
set_cecil_pool
frozen
once procedure
{ANY}
ensure
short_printer: SHORT_PRINTER
frozen
once function
{ANY}
echo: ECHO
frozen
once function
{ANY}
assignment_handler: ASSIGNMENT_HANDLER
frozen
once function
{ANY}
thread_pool: THREAD_POOL
frozen
once function
{ANY}
exceptions: EXCEPTIONS
frozen
writable attribute
{ANY}
exceptions_handler: EXCEPTIONS_HANDLER
frozen
once function
{ANY}
nb_warnings: INTEGER_32
effective function
{ANY}
ensure
  • Result >= 0
tmp_path: STRING
once function
{ANY}
tmp_file_read: TEXT_FILE_READ
once function
{ANY}
class_any: CLASS_TEXT
once function
{ANY}
omitted_client_list: CLIENT_LIST
frozen
once function
{ANY}
(To avoid multiple creation(s).)
any_default_create_fs: FEATURE_STAMP
once function
{ANY}
any_default_rescue_fs: FEATURE_STAMP
once function
{ANY}
any_copy_fs: FEATURE_STAMP
once function
{ANY}
any_is_equal_fs: FEATURE_STAMP
once function
{ANY}
any_deep_twin_fs: FEATURE_STAMP
once function
{ANY}
any_is_deep_equal_fs: FEATURE_STAMP
once function
{ANY}
boolean_and_then_fs: FEATURE_STAMP
once function
{ANY}
manifest_make_name: HASHED_STRING
once function
{ANY}
manifest_put_name: HASHED_STRING
once function
{ANY}
manifest_semicolon_check_name: HASHED_STRING
once function
{ANY}
manifest_initialize_name: HASHED_STRING
once function
{ANY}
calloc_name: HASHED_STRING
once function
{ANY}
put_name: HASHED_STRING
once function
{ANY}
item_name: HASHED_STRING
once function
{ANY}
is_empty_name: HASHED_STRING
once function
{ANY}
make_name: HASHED_STRING
once function
{ANY}
from_external_sized_copy_name: HASHED_STRING
once function
{ANY}
count_name: HASHED_STRING
once function
{ANY}
storage_name: HASHED_STRING
once function
{ANY}
capacity_name: HASHED_STRING
once function
{ANY}
storage_lower_name: HASHED_STRING
once function
{ANY}
mark_item_name: HASHED_STRING
once function
{ANY}
mark_native_arrays_name: HASHED_STRING
once function
{ANY}
and_then_name: HASHED_STRING
once function
{ANY}
or_else_name: HASHED_STRING
once function
{ANY}
twin_name: HASHED_STRING
once function
{ANY}
copy_name: HASHED_STRING
once function
{ANY}
is_equal_name: HASHED_STRING
once function
{ANY}
deep_twin_name: HASHED_STRING
once function
{ANY}
deep_twin_from_name: HASHED_STRING
once function
{ANY}
is_deep_equal_name: HASHED_STRING
once function
{ANY}
deep_memcmp_name: HASHED_STRING
once function
{ANY}
se_atexit_name: HASHED_STRING
once function
{ANY}
default_rescue_name: HASHED_STRING
once function
{ANY}
default_create_name: HASHED_STRING
once function
{ANY}
flush_name: HASHED_STRING
once function
{ANY}
clear_all_name: HASHED_STRING
once function
{ANY}
from_pointer_name: HASHED_STRING
once function
{ANY}
no_errors: BOOLEAN
effective function
{ANY}
character_coding (c: CHARACTER, str: STRING)
effective procedure
{ANY}
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}
Eiffel Source file suffix.
c_suffix: STRING
is ".c"
constant attribute
{ANY}
C files suffix.
h_suffix: STRING
is ".h"
constant attribute
{ANY}
Heading C files suffix.
c_plus_plus_suffix: STRING
is ".cpp"
constant attribute
{ANY}
C++ files suffix.
backup_suffix: STRING
is ".bak"
constant attribute
{ANY}
Backup suffix for command pretty.
class_suffix: STRING
is ".class"
constant attribute
{ANY}
dot_precedence: INTEGER_32
is 12
constant attribute
{ANY}
The highest precedence value according to ETL.
atomic_precedence: INTEGER_32
is 13
constant attribute
{ANY}
Used for atomic elements.
append_u1 (str: STRING, u1: INTEGER_32)
effective procedure
{ANY}
append_u2 (str: STRING, u2: INTEGER_32)
effective procedure
{ANY}
append_u4 (str: STRING, u4: INTEGER_32)
effective procedure
{ANY}
is_install: BOOLEAN
effective function
{ANY}
set_install
effective procedure
{ANY}
ensure
install_memory: REFERENCE[BOOLEAN]
once function
{ANY}
unrelated_code: INTEGER_8
is 0
constant attribute
{ANY}
inserts_code: INTEGER_8
is 1
constant attribute
{ANY}
inherits_code: INTEGER_8
is 2
constant attribute
{ANY}
once function
{ANY}
shrink_generic_types: BOOLEAN
effective function
{}
shrink_generic_types_memory: REFERENCE[BOOLEAN]
once function
{}
Set the item to True if you want less generic type duplication
as_any: STRING
is "ANY"
constant attribute
{}
as_array: STRING
is "ARRAY"
constant attribute
{}
as_boolean: STRING
is "BOOLEAN"
constant attribute
{}
as_character: STRING
is "CHARACTER"
constant attribute
{}
as_disposable: STRING
is "DISPOSABLE"
constant attribute
{}
as_exceptions: STRING
is "EXCEPTIONS"
constant attribute
{}
as_fixed_array: STRING
is "FAST_ARRAY"
constant attribute
{}
as_function: STRING
is "FUNCTION"
constant attribute
{}
as_integer_general: STRING
is "INTEGER_GENERAL"
constant attribute
{}
as_integer_8: STRING
is "INTEGER_8"
constant attribute
{}
as_integer_16: STRING
is "INTEGER_16"
constant attribute
{}
as_integer_32: STRING
is "INTEGER_32"
constant attribute
{}
as_integer: STRING
is "INTEGER"
constant attribute
{}
as_integer_64: STRING
is "INTEGER_64"
constant attribute
{}
as_internals: STRING
is "INTERNALS"
constant attribute
{}
as_internals_handler: STRING
is "INTERNALS_HANDLER"
constant attribute
{}
as_native_array: STRING
is "NATIVE_ARRAY"
constant attribute
{}
as_native_array_collector: STRING
is "NATIVE_ARRAY_COLLECTOR"
constant attribute
{}
as_native_array_internals: STRING
is "NATIVE_ARRAY_INTERNALS"
constant attribute
{}
as_natural: STRING
is "NATURAL"
constant attribute
{}
as_natural_8: STRING
is "NATURAL_8"
constant attribute
{}
as_natural_16: STRING
is "NATURAL_16"
constant attribute
{}
as_natural_32: STRING
is "NATURAL_32"
constant attribute
{}
as_natural_64: STRING
is "NATURAL_64"
constant attribute
{}
as_natural_general: STRING
is "NATURAL_GENERAL"
constant attribute
{}
as_platform: STRING
is "PLATFORM"
constant attribute
{}
as_pointer: STRING
is "POINTER"
constant attribute
{}
as_predicate: STRING
is "PREDICATE"
constant attribute
{}
as_procedure: STRING
is "PROCEDURE"
constant attribute
{}
as_real_general: STRING
is "REAL_GENERAL"
constant attribute
{}
as_real_32: STRING
is "REAL_32"
constant attribute
{}
as_real: STRING
is "REAL"
constant attribute
{}
as_real_64: STRING
is "REAL_64"
constant attribute
{}
as_real_80: STRING
is "REAL_80"
constant attribute
{}
as_real_128: STRING
is "REAL_128"
constant attribute
{}
as_real_extended: STRING
is "REAL_EXTENDED"
constant attribute
{}
as_routine: STRING
is "ROUTINE"
constant attribute
{}
as_set: STRING
is "SET"
constant attribute
{}
as_string: STRING
is "STRING"
constant attribute
{}
as_text_file_read: STRING
is "TEXT_FILE_READ"
constant attribute
{}
as_text_file_write: STRING
is "TEXT_FILE_WRITE"
constant attribute
{}
as_thread_context: STRING
is "THREAD_CONTEXT"
constant attribute
{}
as_thread_lock: STRING
is "THREAD_LOCK"
constant attribute
{}
as_tuple: STRING
is "TUPLE"
constant attribute
{}
as_type: STRING
is "TYPE"
constant attribute
{}
as_typed_internals: STRING
is "TYPED_INTERNALS"
constant attribute
{}
as_unicode_string: STRING
is "UNICODE_STRING"
constant attribute
{}
as_weak_reference: STRING
is "WEAK_REFERENCE"
constant attribute
{}
as_a1: STRING
is "a1"
constant attribute
{}
as_add_last: STRING
is "add_last"
constant attribute
{}
as_agent: STRING
is "agent"
constant attribute
{}
as_allocated_bytes: STRING
is "allocated_bytes"
constant attribute
{}
as_alloc_native_data: STRING
is "alloc_native_data"
constant attribute
{}
as_as_16_ne: STRING
is "as_16_ne"
constant attribute
{}
as_as_32_ne: STRING
is "as_32_ne"
constant attribute
{}
as_atan2: STRING
is "atan2"
constant attribute
{}
as_blank: STRING
is "blank"
constant attribute
{}
as_bit_clear: STRING
is "bit_clear"
constant attribute
{}
as_bit_put: STRING
is "bit_put"
constant attribute
{}
as_bit_rotate: STRING
is "bit_rotate"
constant attribute
{}
as_bit_set: STRING
is "bit_set"
constant attribute
{}
as_bit_xor: STRING
is "bit_xor"
constant attribute
{}
as_boolean_bits: STRING
is "Boolean_bits"
constant attribute
{}
as_call: STRING
is "call"
constant attribute
{}
as_calloc: STRING
is "calloc"
constant attribute
{}
as_capacity: STRING
is "capacity"
constant attribute
{}
as_ceiling: STRING
is "ceiling"
constant attribute
{}
as_character_bits: STRING
is "Character_bits"
constant attribute
{}
as_clear_all: STRING
is "clear_all"
constant attribute
{}
as_count: STRING
is "count"
constant attribute
{}
as_code: STRING
is "code"
constant attribute
{}
as_collecting: STRING
is "collecting"
constant attribute
{}
as_collection_off: STRING
is "collection_off"
constant attribute
{}
as_collection_on: STRING
is "collection_on"
constant attribute
{}
as_collector_counter: STRING
is "collector_counter"
constant attribute
{}
as_copy: STRING
is "copy"
constant attribute
{}
as_c_inline_c: STRING
is "c_inline_c"
constant attribute
{}
as_c_inline_h: STRING
is "c_inline_h"
constant attribute
{}
as_default_create: STRING
is "default_create"
constant attribute
{}
as_default_rescue: STRING
is "default_rescue"
constant attribute
{}
as_deep_memcmp: STRING
is "deep_memcmp"
constant attribute
{}
as_deep_twin: STRING
is "deep_twin"
constant attribute
{}
as_deep_twin_from: STRING
is "deep_twin_from"
constant attribute
{}
as_dispose: STRING
is "dispose"
constant attribute
{}
as_die_with_code: STRING
is "die_with_code"
constant attribute
{}
as_element_sizeof: STRING
is "element_sizeof"
constant attribute
{}
as_exception: STRING
is "exception"
constant attribute
{}
as_for_object: STRING
is "for_object"
constant attribute
{}
as_type_can_be_assigned_to_attribute: STRING
is "type_can_be_assigned_to_attribute"
constant attribute
{}
as_type_can_be_assigned_to_item: STRING
is "type_can_be_assigned_to_item"
constant attribute
{}
as_type_attribute_count: STRING
is "type_attribute_count"
constant attribute
{}
as_type_attribute_generator: STRING
is "type_attribute_generator"
constant attribute
{}
as_type_attribute_generating_type: STRING
is "type_attribute_generating_type"
constant attribute
{}
as_type_attribute_is_expanded: STRING
is "type_attribute_is_expanded"
constant attribute
{}
as_type_attribute_name: STRING
is "type_attribute_name"
constant attribute
{}
as_fifth: STRING
is "fifth"
constant attribute
{}
as_first: STRING
is "first"
constant attribute
{}
as_floor: STRING
is "floor"
constant attribute
{}
as_flush: STRING
is "flush"
constant attribute
{}
as_fourth: STRING
is "fourth"
constant attribute
{}
as_force_to_integer_16: STRING
is "force_to_integer_16"
constant attribute
{}
as_force_to_integer_32: STRING
is "force_to_integer_32"
constant attribute
{}
as_force_to_integer_64: STRING
is "force_to_integer_64"
constant attribute
{}
as_force_to_natural_16: STRING
is "force_to_natural_16"
constant attribute
{}
as_force_to_natural_32: STRING
is "force_to_natural_32"
constant attribute
{}
as_force_to_natural_64: STRING
is "force_to_natural_64"
constant attribute
{}
as_force_to_real_32: STRING
is "force_to_real_32"
constant attribute
{}
as_force_to_real_64: STRING
is "force_to_real_64"
constant attribute
{}
as_free_native_data: STRING
is "free_native_data"
constant attribute
{}
as_from_external_sized_copy: STRING
is "from_external_sized_copy"
constant attribute
{}
as_from_pointer: STRING
is "from_pointer"
constant attribute
{}
as_full_collect: STRING
is "full_collect"
constant attribute
{}
as_generating_type: STRING
is "generating_type"
constant attribute
{}
as_generator: STRING
is "generator"
constant attribute
{}
as_io: STRING
is "io"
constant attribute
{}
as_integer_bits: STRING
is "Integer_bits"
constant attribute
{}
as_internals_from_generating_type: STRING
is "internals_from_generating_type"
constant attribute
{}
as_is_basic_expanded_type: STRING
is "is_basic_expanded_type"
constant attribute
{}
as_is_deep_equal: STRING
is "is_deep_equal"
constant attribute
{}
as_is_equal: STRING
is "is_equal"
constant attribute
{}
as_do_at_exit: STRING
is "do_at_exit"
constant attribute
{}
as_is_empty: STRING
is "is_empty"
constant attribute
{}
as_is_finished: STRING
is "is_finished"
constant attribute
{}
as_is_infinity: STRING
is "is_infinity"
constant attribute
{}
as_is_locked: STRING
is "is_locked"
constant attribute
{}
as_is_normal: STRING
is "is_normal"
constant attribute
{}
as_is_not_a_number: STRING
is "is_not_a_number"
constant attribute
{}
as_is_not_null: STRING
is "is_not_null"
constant attribute
{}
as_is_started: STRING
is "is_started"
constant attribute
{}
as_is_subnormal: STRING
is "is_subnormal"
constant attribute
{}
as_item: STRING
is "item"
constant attribute
{}
as_last: STRING
is "last"
constant attribute
{}
as_lock: STRING
is "lock"
constant attribute
{}
as_lower: STRING
is "lower"
constant attribute
{}
as_low_8: STRING
is "low_8"
constant attribute
{}
as_low_16: STRING
is "low_16"
constant attribute
{}
as_low_32: STRING
is "low_32"
constant attribute
{}
as_native_array_internals_from_generating_type: STRING
is "native_array_internals_from_generating_type"
constant attribute
{}
as_make: STRING
is "make"
constant attribute
{}
as_make_blank: STRING
is "make_blank"
constant attribute
{}
as_mark_item: STRING
is "mark_item"
constant attribute
{}
as_mark_native_arrays: STRING
is "mark_native_arrays"
constant attribute
{}
as_minimum_character_code: STRING
is "Minimum_character_code"
constant attribute
{}
as_minimum_double: STRING
is "Minimum_double"
constant attribute
{}
as_minimum_real: STRING
is "Minimum_real"
constant attribute
{}
as_manifest_creation: STRING
is "manifest_creation"
constant attribute
{}
as_manifest_initialize: STRING
is "manifest_initialize"
constant attribute
{}
as_manifest_make: STRING
is "manifest_make"
constant attribute
{}
as_manifest_put: STRING
is "manifest_put"
constant attribute
{}
as_manifest_semicolon_check: STRING
is "manifest_semicolon_check"
constant attribute
{}
as_maximum_character_code: STRING
is "Maximum_character_code"
constant attribute
{}
as_maximum_double: STRING
is "Maximum_double"
constant attribute
{}
as_maximum_real: STRING
is "Maximum_real"
constant attribute
{}
as_native_data: STRING
is "native_data"
constant attribute
{}
as_notify: STRING
is "notify"
constant attribute
{}
as_notify_all: STRING
is "notify_all"
constant attribute
{}
as_object_as_pointer: STRING
is "object_as_pointer"
constant attribute
{}
as_object_attribute: STRING
is "object_attribute"
constant attribute
{}
as_object_invariant: STRING
is "object_invariant"
constant attribute
{}
as_object_memory: STRING
is "object_memory"
constant attribute
{}
as_object_size: STRING
is "object_size"
constant attribute
{}
as_pointer_bits: STRING
is "Pointer_bits"
constant attribute
{}
as_pow_postfix: STRING
is "pow"
constant attribute
{}
as_print: STRING
is "print"
constant attribute
{}
as_print_on: STRING
is "print_on"
constant attribute
{}
as_print_run_time_stack: STRING
is "print_run_time_stack"
constant attribute
{}
as_put: STRING
is "put"
constant attribute
{}
as_put_0: STRING
is "put_0"
constant attribute
{}
as_put_1: STRING
is "put_1"
constant attribute
{}
as_put_16_be: STRING
is "put_16_be"
constant attribute
{}
as_put_16_le: STRING
is "put_16_le"
constant attribute
{}
as_put_16_ne: STRING
is "put_16_ne"
constant attribute
{}
as_put_32_be: STRING
is "put_32_be"
constant attribute
{}
as_put_32_le: STRING
is "put_32_le"
constant attribute
{}
as_put_32_ne: STRING
is "put_32_ne"
constant attribute
{}
as_raise_exception: STRING
is "raise_exception"
constant attribute
{}
as_real_bits: STRING
is "Real_bits"
constant attribute
{}
as_realloc: STRING
is "realloc"
constant attribute
{}
as_rounded: STRING
is "rounded"
constant attribute
{}
as_run: STRING
is "run"
constant attribute
{}
as_same_dynamic_type: STRING
is "same_dynamic_type"
constant attribute
{}
as_second: STRING
is "second"
constant attribute
{}
as_se_argc: STRING
is "se_argc"
constant attribute
{}
as_se_argv: STRING
is "se_argv"
constant attribute
{}
as_se_atexit: STRING
is "se_atexit"
constant attribute
{}
as_se_fault: STRING
is "se_fault"
constant attribute
{}
as_sedb_breakpoint: STRING
is "sedb_breakpoint"
constant attribute
{}
as_set_item: STRING
is "set_item"
constant attribute
{}
as_set_object_attribute: STRING
is "set_object_attribute"
constant attribute
{}
as_signal_number: STRING
is "signal_number"
constant attribute
{}
as_slice_copy: STRING
is "slice_copy"
constant attribute
{}
as_standard_copy: STRING
is "standard_copy"
constant attribute
{}
as_standard_is_equal: STRING
is "standard_is_equal"
constant attribute
{}
as_standard_twin: STRING
is "standard_twin"
constant attribute
{}
as_status: STRING
is "status"
constant attribute
{}
as_std_error: STRING
is "std_error"
constant attribute
{}
as_std_input: STRING
is "std_input"
constant attribute
{}
as_std_output: STRING
is "std_output"
constant attribute
{}
as_stderr: STRING
is "stderr"
constant attribute
{}
as_stdin: STRING
is "stdin"
constant attribute
{}
as_stdout: STRING
is "stdout"
constant attribute
{}
as_storage: STRING
is "storage"
constant attribute
{}
as_storage_lower: STRING
is "storage_lower"
constant attribute
{}
as_third: STRING
is "third"
constant attribute
{}
as_timed_wait: STRING
is "timed_wait"
constant attribute
{}
as_to_character: STRING
is "to_character"
constant attribute
{}
as_to_integer_8: STRING
is "to_integer_8"
constant attribute
{}
as_to_integer_16: STRING
is "to_integer_16"
constant attribute
{}
as_to_integer_32: STRING
is "to_integer_32"
constant attribute
{}
as_to_integer_64: STRING
is "to_integer_64"
constant attribute
{}
as_to_internals: STRING
is "to_internals"
constant attribute
{}
as_to_natural_8: STRING
is "to_natural_8"
constant attribute
{}
as_to_natural_16: STRING
is "to_natural_16"
constant attribute
{}
as_to_natural_32: STRING
is "to_natural_32"
constant attribute
{}
as_to_natural_64: STRING
is "to_natural_64"
constant attribute
{}
as_to_pointer: STRING
is "to_pointer"
constant attribute
{}
as_trace_switch: STRING
is "trace_switch"
constant attribute
{}
as_twin: STRING
is "twin"
constant attribute
{}
as_type_generating_type: STRING
is "type_generating_type"
constant attribute
{}
as_type_generator: STRING
is "type_generator"
constant attribute
{}
as_type_is_expanded: STRING
is "type_is_expanded"
constant attribute
{}
as_type_item_generating_type: STRING
is "type_item_generating_type"
constant attribute
{}
as_type_item_generator: STRING
is "type_item_generator"
constant attribute
{}
as_type_item_is_expanded: STRING
is "type_item_is_expanded"
constant attribute
{}
as_unlock: STRING
is "unlock"
constant attribute
{}
as_upper: STRING
is "upper"
constant attribute
{}
as_valid_generating_type_for_internals: STRING
is "valid_generating_type_for_internals"
constant attribute
{}
as_valid_generating_type_for_native_array_internals: STRING
is "valid_generating_type_for_native_array_internals"
constant attribute
{}
as_wait: STRING
is "wait"
constant attribute
{}
as_with_capacity: STRING
is "with_capacity"
constant attribute
{}
as_and: STRING
is "and"
constant attribute
{}
as_and_then: STRING
is "and then"
constant attribute
{}
as_at: STRING
is "@"
constant attribute
{}
as_backslash_backslash: STRING
is "\\"
constant attribute
{}
as_bit_and: STRING
is "&"
constant attribute
{}
as_bit_not: STRING
is "~"
constant attribute
{}
as_bit_or: STRING
is "|"
constant attribute
{}
as_bit_rotate_left: STRING
is "#<<"
constant attribute
{}
as_bit_rotate_right: STRING
is "#>>"
constant attribute
{}
as_bit_shift_right_unsigned: STRING
is "|>>>"
constant attribute
{}
as_brackets: STRING
is "[]"
constant attribute
{}
as_eq: STRING
is "="
constant attribute
{}
as_ge: STRING
is ">="
constant attribute
{}
as_gt: STRING
is ">"
constant attribute
{}
as_implies: STRING
is "implies"
constant attribute
{}
as_le: STRING
is "<="
constant attribute
{}
as_lt: STRING
is "<"
constant attribute
{}
as_minus: STRING
is "-"
constant attribute
{}
as_muls: STRING
is "*"
constant attribute
{}
as_neq: STRING
is "/="
constant attribute
{}
as_not: STRING
is "not"
constant attribute
{}
as_or: STRING
is "or"
constant attribute
{}
as_or_else: STRING
is "or else"
constant attribute
{}
as_parentheses: STRING
is "()"
constant attribute
{}
as_plus: STRING
is "+"
constant attribute
{}
as_pow: STRING
is "^"
constant attribute
{}
as_sharp_backslash_backslash: STRING
is "#\\"
constant attribute
{}
as_sharp_minus: STRING
is "#-"
constant attribute
{}
as_sharp_muls: STRING
is "#*"
constant attribute
{}
as_sharp_plus: STRING
is "#+"
constant attribute
{}
as_sharp_slash_slash: STRING
is "#//"
constant attribute
{}
as_bit_shift_left: STRING
is "|<<"
constant attribute
{}
as_bit_shift_right: STRING
is "|>>"
constant attribute
{}
as_slash: STRING
is "/"
constant attribute
{}
as_slash_slash: STRING
is "//"
constant attribute
{}
as_xor: STRING
is "xor"
constant attribute
{}
as_arguments: STRING
is "arguments"
constant attribute
{}
as_current: STRING
is "Current"
constant attribute
{}
as_native_array_character: STRING
is "NATIVE_ARRAY[CHARACTER]"
constant attribute
{}
as_last_result: STRING
is "last_result"
constant attribute
{}
as_like_current: STRING
is "like Current"
constant attribute
{}
as_method: STRING
is "method"
constant attribute
{}
as_open_arguments: STRING
is "open_arguments"
constant attribute
{}
as_open_argument_indices: STRING
is "open_argument_indices"
constant attribute
{}
as_open_argument_index: STRING
is "open_argument_index"
constant attribute
{}
as_open_argument_count: STRING
is "open_argument_count"
constant attribute
{}
as_precursor: STRING
is "Precursor"
constant attribute
{}
as_result: STRING
is "Result"
constant attribute
{}
as_target: STRING
is "target"
constant attribute
{}
as_void: STRING
is "Void"
constant attribute
{}
fz_adapt: STRING
is "adapt"
constant attribute
{}
fz_alias: STRING
is "alias"
constant attribute
{}
fz_all: STRING
is "all"
constant attribute
{}
fz_as: STRING
is "as"
constant attribute
{}
fz_assertion: STRING
is "assertion"
constant attribute
{}
fz_assertion_flat_check: STRING
is "assertion_flat_check"
constant attribute
{}
fz_assign: STRING
is "assign"
constant attribute
{}
fz_begin_c_compile: STRING
is "# Beginning of parallelizable section"
constant attribute
{}
fz_boost: STRING
is "boost"
constant attribute
{}
fz_check: STRING
is "check"
constant attribute
{}
fz_class: STRING
is "class"
constant attribute
{}
fz_cluster: STRING
is "cluster"
constant attribute
{}
fz_convert: STRING
is "convert"
constant attribute
{}
fz_create: STRING
is "create"
constant attribute
{}
fz_creation: STRING
is "creation"
constant attribute
{}
fz_debug: STRING
is "debug"
constant attribute
{}
fz_default: STRING
is "default"
constant attribute
{}
fz_deferred: STRING
is "deferred"
constant attribute
{}
fz_do: STRING
is "do"
constant attribute
{}
fz_else: STRING
is "else"
constant attribute
{}
fz_elseif: STRING
is "elseif"
constant attribute
{}
fz_end: STRING
is "end"
constant attribute
{}
fz_end_c_compile: STRING
is "# End of parallelizable section"
constant attribute
{}
fz_ensure: STRING
is "ensure"
constant attribute
{}
fz_exclude: STRING
is "exclude"
constant attribute
{}
fz_expanded: STRING
is "expanded"
constant attribute
{}
fz_export: STRING
is "export"
constant attribute
{}
fz_external: STRING
is "external"
constant attribute
{}
fz_false: STRING
is "False"
constant attribute
{}
fz_feature: STRING
is "feature"
constant attribute
{}
fz_from: STRING
is "from"
constant attribute
{}
fz_frozen: STRING
is "frozen"
constant attribute
{}
fz_generate: STRING
is "generate"
constant attribute
{}
fz_if: STRING
is "if"
constant attribute
{}
fz_include: STRING
is "include"
constant attribute
{}
fz_indexing: STRING
is "indexing"
constant attribute
{}
fz_infix: STRING
is "infix"
constant attribute
{}
fz_inherit: STRING
is "inherit"
constant attribute
{}
fz_insert: STRING
is "insert"
constant attribute
{}
fz_inline: STRING
is "inline"
constant attribute
{}
fz_inspect: STRING
is "inspect"
constant attribute
{}
fz_invariant: STRING
is "invariant"
constant attribute
{}
fz_is: STRING
is "is"
constant attribute
{}
fz_like: STRING
is "like"
constant attribute
{}
fz_local: STRING
is "local"
constant attribute
{}
fz_loop: STRING
is "loop"
constant attribute
{}
fz_no: STRING
is "no"
constant attribute
{}
fz_note: STRING
is "note"
constant attribute
{}
fz_obsolete: STRING
is "obsolete"
constant attribute
{}
fz_old: STRING
is "old"
constant attribute
{}
fz_once: STRING
is "once"
constant attribute
{}
fz_option: STRING
is "option"
constant attribute
{}
fz_prefix: STRING
is "prefix"
constant attribute
{}
fz_redefine: STRING
is "redefine"
constant attribute
{}
fz_rename: STRING
is "rename"
constant attribute
{}
fz_require: STRING
is "require"
constant attribute
{}
fz_rescue: STRING
is "rescue"
constant attribute
{}
fz_retry: STRING
is "retry"
constant attribute
{}
fz_runtime: STRING
is "runtime"
constant attribute
{}
fz_separate: STRING
is "separate"
constant attribute
{}
fz_reference: STRING
is "reference"
constant attribute
{}
fz_then: STRING
is "then"
constant attribute
{}
fz_trace: STRING
is "trace"
constant attribute
{}
fz_true: STRING
is "True"
constant attribute
{}
fz_undefine: STRING
is "undefine"
constant attribute
{}
fz_unique: STRING
is "unique"
constant attribute
{}
fz_until: STRING
is "until"
constant attribute
{}
fz_use: STRING
is "use"
constant attribute
{}
fz_variant: STRING
is "variant"
constant attribute
{}
fz_when: STRING
is "when"
constant attribute
{}
fz_yes: STRING
is "yes"
constant attribute
{}
fz_cad: STRING
is "Cyclic anchored definition."
constant attribute
{}
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
{}
fz_error_stars: STRING
is "****** "
constant attribute
{}
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
{}
fz_bin: STRING
is "bin"
constant attribute
{}
fz_c_shift_left: STRING
is "<<"
constant attribute
{}
fz_c_shift_right: STRING
is ">>"
constant attribute
{}
fz_install: STRING
is "install"
constant attribute
{}
fz_jobs: STRING
is "jobs"
constant attribute
{}
fz_no_check: STRING
is "no_check"
constant attribute
{}
fz_none: STRING
is "none"
constant attribute
{}
fz_libertyeiffel: STRING
is "LibertyEiffel"
constant attribute
{}
fz_seconf: STRING
is "LIBERTY_CONF"
constant attribute
{}
The environment name pointing to the config file.
fz_conf_general: STRING
is "General"
constant attribute
{}
fz_conf_loadpath: STRING
is "Loadpath"
constant attribute
{}
fz_conf_environment: STRING
is "Environment"
constant attribute
{}
since version 2
fz_conf_se_tools: STRING
is "Tools"
constant attribute
{}
since version 3
fz_conf_bin: STRING
is "bin"
constant attribute
{}
fz_conf_lib: STRING
is "lib"
constant attribute
{}
fz_conf_sys: STRING
is "sys"
constant attribute
{}
fz_conf_short: STRING
is "short"
constant attribute
{}
fz_conf_tools: STRING
is "tools"
constant attribute
{}
fz_conf_os: STRING
is "os"
constant attribute
{}
fz_conf_flavor: STRING
is "flavor"
constant attribute
{}
fz_conf_jobs: STRING
is "jobs"
constant attribute
{}
fz_conf_boost: STRING
is "boost"
constant attribute
{}
fz_conf_no_check: STRING
is "no_check"
constant attribute
{}
fz_conf_require_check: STRING
is "require_check"
constant attribute
{}
fz_conf_ensure_check: STRING
is "ensure_check"
constant attribute
{}
fz_conf_invariant_check: STRING
is "invariant_check"
constant attribute
{}
fz_conf_loop_check: STRING
is "loop_check"
constant attribute
{}
fz_conf_all_check: STRING
is "all_check"
constant attribute
{}
fz_conf_debug_check: STRING
is "debug_check"
constant attribute
{}
fz_conf_flat_check: STRING
is "flat_check"
constant attribute
{}
fz_conf_smarteiffel_options: STRING
is "smarteiffel_options"
constant attribute
{}
fz_conf_undefined: STRING
is "undefined"
constant attribute
{}
fz_conf_tag: STRING
is "tag"
constant attribute
{}
fz_conf_compiler_type: STRING
is "c_compiler_type"
constant attribute
{}
fz_conf_compiler_path: STRING
is "c_compiler_path"
constant attribute
{}
fz_conf_linker_path: STRING
is "c_linker_path"
constant attribute
{}
fz_conf_strip_path: STRING
is "c_strip_path"
constant attribute
{}
fz_conf_compiler_options: STRING
is "c_compiler_options"
constant attribute
{}
fz_conf_linker_options: STRING
is "c_linker_options"
constant attribute
{}
fz_conf_cpp_compiler_type: STRING
is "cpp_compiler_type"
constant attribute
{}
fz_conf_cpp_compiler_path: STRING
is "cpp_compiler_path"
constant attribute
{}
fz_conf_cpp_compiler_options: STRING
is "cpp_compiler_options"
constant attribute
{}
fz_conf_cpp_linker_path: STRING
is "cpp_linker_path"
constant attribute
{}
fz_conf_cpp_strip_path: STRING
is "cpp_strip_path"
constant attribute
{}
fz_conf_cpp_linker_options: STRING
is "cpp_linker_options"
constant attribute
{}
C_direct_call: INTEGER_32
is 5
constant attribute
{}
Target is sure not to be Void and there is only one possible type (target often Current, a manifest string or some expanded).
C_create_instruction: INTEGER_32
is 6
constant attribute
{}
Target has just been created with a create instruction and needs to be initialised with some create procedure call.
C_create_expression: INTEGER_32
is 7
constant attribute
{}
Target has just been created with a create expression and needs to be initialized inside the create function.
C_inside_twin: INTEGER_32
is 8
constant attribute
{}
In order to call the user's copy.
C_precursor: INTEGER_32
is 9
constant attribute
{}
For Precursor calls.
C_inside_some_wrapper: INTEGER_32
is 10
constant attribute
{}
The feature to be called is inside some wrapper using the most general convention.
C_cecil_create: INTEGER_32
is 11
constant attribute
{}
The target has just been created, the create instruction is called via CECIL
is_internals_from_generating_type_used: BOOLEAN
effective function
{ANY}
is_native_array_internals_from_generating_type_used: BOOLEAN
effective function
{ANY}
is_introspected (tm: TYPE_MARK): BOOLEAN
effective function
{ANY}
collect_internals_from_generating_type (insp: OTHER_INSPECT_STATEMENT, sp: POSITION, nt: TYPE)
effective procedure
collect_native_array_internals_from_generating_type (insp: OTHER_INSPECT_STATEMENT, sp: POSITION, args: FORMAL_ARG_LIST, nt: TYPE)
effective procedure
finalized_body_for_internals_handler (er: EXTERNAL_FUNCTION, nt: TYPE, fn: STRING): INSTRUCTION
effective function
create_blank_internals_instruction_for (live_type: LIVE_TYPE): CREATE_INSTRUCTION
effective function
require
create_blank_internals_used_by (live_type: LIVE_TYPE): BOOLEAN
effective function
require
  • live_type.at_run_time
specialize_body_for_typed_internals (er: EXTERNAL_ROUTINE, nt: TYPE, ct: BOOLEAN): EXTERNAL_ROUTINE
effective function
require ensure
  • Result.same_dynamic_type(er)
specialize_body_for_native_array_internals (er: EXTERNAL_ROUTINE, nt: TYPE, ct: BOOLEAN): EXTERNAL_ROUTINE
effective function
require ensure
  • Result.same_dynamic_type(er)
specialize_body_for_internals_handler (er: EXTERNAL_ROUTINE, nt: TYPE, ct: BOOLEAN): EXTERNAL_ROUTINE
effective function
require ensure
  • Result.same_dynamic_type(er)
specialize_body_for_any_to_internals (er: EXTERNAL_ROUTINE, nt: TYPE, ct: BOOLEAN): EXTERNAL_ROUTINE
effective function
require ensure
  • Result.same_dynamic_type(er)
finalized_body_for_to_internals (er: EXTERNAL_ROUTINE, nt: TYPE): INSTRUCTION
effective function
finalized_body_for_typed_internals (er: EXTERNAL_ROUTINE, nt: TYPE): INSTRUCTION
effective function
finalized_body_for_native_array_internals (er: EXTERNAL_ROUTINE, nt: TYPE): INSTRUCTION
effective function
collect_internals_handler
effective procedure
type_internals_handler: TYPE
writable attribute
{}
collect_internals_handler_for (type: TYPE, feature_name: STRING)
effective procedure
{}
require
wrap (wrapped: CODE): NO_INVARIANT_WRAPPER
effective function
{}
ensure
  • wrapped = Void = Result = Void
simplify_and_wrap (wrapped: OTHER_INSPECT_STATEMENT): NO_INVARIANT_WRAPPER
effective function
{}
internals_of (target: EXPRESSION, target_tm: TYPE_MARK, container: EXPRESSION, result_variable: RESULT): INSTRUCTION
effective function
{}
require
  • target /= Void
    target_tm is "the" type_mark of target

  • container /= Void
set_and_specialize_body (lv: LOCAL_VAR_LIST, rb: INSTRUCTION)
effective procedure
{}
start_new_body_for (er: EXTERNAL_ROUTINE, nt: TYPE, ct: BOOLEAN)
effective procedure
{}
ensure
is_introspectable_attribute_type (tm: TYPE_MARK): BOOLEAN
effective function
{}
require
is_introspectable_static_type (tm: TYPE_MARK): BOOLEAN
effective function
{}
require
  • tm.is_static
is_introspectable_dynamic_type (tm: TYPE_MARK): BOOLEAN
effective function
{}
require
  • tm.is_static
external_routine: EXTERNAL_ROUTINE
writable attribute
{}
new_type: TYPE
writable attribute
{}
target_type: TYPE
writable attribute
{}
native_array_element_type: TYPE
writable attribute
{}
can_twin: BOOLEAN
writable attribute
{}
has_capacity: BOOLEAN
writable attribute
{}
start_position: POSITION
effective function
{}
ensure
arguments: FORMAL_ARG_LIST
effective function
{}
ensure
internals_from_generating_type_position: POSITION
writable attribute
{}
native_array_internals_from_generating_type_position: POSITION
writable attribute
{}
native_array_internals_from_generating_type_args: EFFECTIVE_ARG_LIST_N
writable attribute
{}
specialize_body_for_type_attribute_name
effective procedure
{}
specialize_body_for_object_attribute
effective procedure
{}
require
specialize_body_for_set_object_attribute
effective procedure
{}
require
specialize_body_for_type_is_expanded
effective procedure
{}
specialize_body_for_type_attribute_is_expanded
effective procedure
{}
specialize_body_for_type_can_be_assigned_to_attribute
effective procedure
{}
specialize_body_for_make_blank
effective procedure
{}
specialize_body_for_type_generating_type
effective procedure
{}
specialize_body_for_type_generator
effective procedure
{}
specialize_body_for_is_equal
effective procedure
{}
specialize_body_for_object_as_pointer
effective procedure
{}
require
specialize_body_for_type_attribute_generating_type
effective procedure
{}
specialize_body_for_type_attribute_generator
effective procedure
{}
specialize_body_for_type_attribute_count
effective procedure
{}
specialize_body_for_na_attribute_count
effective procedure
{}
specialize_body_for_na_object_attribute
effective procedure
{}
specialize_body_for_na_set_object_attribute
effective procedure
{}
specialize_body_for_na_type_item_is_expanded
effective procedure
{}
specialize_body_for_na_type_can_be_assigned_to_item
effective procedure
{}
specialize_body_for_na_make_blank
effective procedure
{}
specialize_body_for_na_type_item_generator
effective procedure
{}
specialize_body_for_na_type_item_generating_type
effective procedure
{}
specialize_and_check_body (body: INSTRUCTION): INSTRUCTION
effective function
{}
finalized_body_for_internals_from_generating_type: OTHER_INSPECT_STATEMENT
effective function
{}
finalized_body_for_valid_generating_type_for_internals: OTHER_INSPECT_STATEMENT
effective function
{}
finalized_body_for_na_internals_from_generating_type: OTHER_INSPECT_STATEMENT
effective function
{}
finalized_body_for_valid_generating_type_for_na_internals: OTHER_INSPECT_STATEMENT
effective function
{}
finalized_body_for_type_attribute_count: INSTRUCTION
effective function
{}
require
visit_local_var_list (visited: LOCAL_VAR_LIST)
effective procedure
visit_formal_arg_list (visited: FORMAL_ARG_LIST)
effective procedure
visit_when_clause (visited: WHEN_CLAUSE)
effective procedure
require
  • visited /= Void
visit_declaration_list (visited: DECLARATION_LIST)
effective procedure
require
  • visited /= Void
Maximum_character_code: INTEGER_16
{}
Largest supported code for CHARACTER values.
ensure
  • meaningful: Result >= 127
Maximum_integer_8: INTEGER_8
is 127
constant attribute
{}
Largest supported value of type INTEGER_8.
Maximum_integer_16: INTEGER_16
is 32767
constant attribute
{}
Largest supported value of type INTEGER_16.
Maximum_integer: INTEGER_32
is 2147483647
constant attribute
{}
Largest supported value of type INTEGER/INTEGER_32.
Maximum_integer_32: INTEGER_32
is 2147483647
constant attribute
{}
Largest supported value of type INTEGER/INTEGER_32.
Maximum_integer_64: INTEGER_64
is 9223372036854775807
constant attribute
{}
Largest supported value of type INTEGER_64.
Maximum_real_32: REAL_32
is {REAL_32 3.4028234663852885981170418348451692544e+38}
constant attribute
{}
Largest non-special (no NaNs nor infinity) supported value of type REAL_32.
Maximum_real: REAL_64
{}
Largest non-special (no NaNs nor infinity) supported value of type REAL.
Just to give an idea of this value: 1.79769313486231570....e+308
Maximum_real_64: REAL_64
{}
Largest non-special (no NaNs nor infinity) supported value of type REAL.
Just to give an idea of this value: 1.79769313486231570....e+308
Maximum_real_80: REAL_EXTENDED
{}
Largest supported value of type REAL_80.
ensure
Minimum_character_code: INTEGER_16
{}
Smallest supported code for CHARACTER values.
ensure
  • meaningful: Result <= 0
Minimum_integer_8: INTEGER_8
is -128
constant attribute
{}
Smallest supported value of type INTEGER_8.
Minimum_integer_16: INTEGER_16
is -32768
constant attribute
{}
Smallest supported value of type INTEGER_16.
Minimum_integer: INTEGER_32
is -2147483648
constant attribute
{}
Smallest supported value of type INTEGER/INTEGER_32.
Minimum_integer_32: INTEGER_32
is -2147483648
constant attribute
{}
Smallest supported value of type INTEGER/INTEGER_32.
Minimum_integer_64: INTEGER_64
is -9223372036854775808
constant attribute
{}
Smallest supported value of type INTEGER_64.
Minimum_real_32: REAL_32
is {REAL_32 -3.40282346638528859811704183484516925440e+38}
constant attribute
{}
Smallest non-special (no NaNs nor infinity) supported value of type REAL_32.
Minimum_real: REAL_64
{}
Smallest non-special (no NaNs nor infinity) supported value of type REAL.
Just to give an idea of this value: -1.79769313486231570....e+308
Minimum_real_64: REAL_64
{}
Smallest non-special (no NaNs nor infinity) supported value of type REAL.
Just to give an idea of this value: -1.79769313486231570....e+308
Minimum_real_80: REAL_64
{}
Smallest supported value of type REAL_80.
ensure
  • meaningful: Result <= 0.0
Boolean_bits: INTEGER_32
{}
Number of bits in a value of type BOOLEAN.
ensure
  • meaningful: Result >= 1
Character_bits: INTEGER_32
{}
Number of bits in a value of type CHARACTER.
ensure
Integer_bits: INTEGER_32
{}
Number of bits in a value of type INTEGER.
ensure
  • integer_definition: Result = 32
Real_bits: INTEGER_32
is 64
constant attribute
{}
Number of bits in a value of type REAL.
Pointer_bits: INTEGER_32
{}
Number of bits in a value of type POINTER.
is_equal (other: EXTRACT_INTERNALS): BOOLEAN
effective function
{ANY}
Is other attached to an object considered equal to current object?
require
  • other /= Void
ensure
  • commutative: generating_type = other.generating_type implies Result = other.is_equal(Current)
is_real_singleton: BOOLEAN
effective function
{}
ensure
  • assertion_check_only: Result
singleton_memory_pool: HASHED_DICTIONARY[POINTER, STRING]
once function
{}
This pool is unique in the whole system.
A memory is kept for each singleton type (type, not class) in the system.
current_is_not_an_expanded_type: BOOLEAN
effective function
{}
Check that the dynamic type of the SINGLETON is not an expanded type.
command_line_name: STRING
effective function
{ANY}
Is supposed to return the name of the command itself (eg. "compile", "compile_to_c", "finder", "clean", etc.).
bootstrap
effective procedure
{}
root_class_name: STRING
writable attribute
{}
The name of the root class, if an ACE file is not used.
root_procedure_name: STRING
writable attribute
{}
The name of the root procedure, if an ACE file is not used.
command_line_help_summary: STRING
deferred function
{ANY}
The traditional "-help" flag summary of information about available options.
flag_match (flag: STRING, arg: STRING): BOOLEAN
effective function
{}
Does arg smoothly match with the flag model?
 Where arg can be like -flag or --flag as
well as the classic Windows notation /flag too.
GNU-style hyphens are also accepted in place of underscores.
require
  • not flag.is_empty and arg /= Void
is_help_flag (flag: STRING): BOOLEAN
effective function
{}
Is it like some traditional help flag?
help_flag: BOOLEAN
writable attribute
{}
Memory of is_help_flag.
search_for_echo_redirect_flag: STRING
effective function
{}
Search for the -output_error_warning_on flag among arguments in order to apply redirection as early as possible (should be called first when the command accept this flag).
A non Void Result indicates the redirection path.
search_for_verbose_flag
effective procedure
{}
Search the -verbose flag among arguments in order to become verbose as soon as possible (should be called after search_for_echo_redirect_flag when the command accept this flag).
valid_arg_index (i: INTEGER_32): BOOLEAN
effective function
{}
search_for_cc_flag
effective procedure
{}
To know about the C compiler as soon as possible.
ace_file_mode: BOOLEAN
effective function
{}
Search for some ACE file name in the command line arguments.
 When some argument has the
appropriate suffix (ie. ".ace" or ".ACE"), the ace parser is automatically launched in order to
parse this configuration file. The caller is then notified that we are now in ACE mode (the result
is True). When we are in ACE mode, remaining allowed arguments are automatically handled.
is_some_flag (arg: STRING): BOOLEAN
effective function
{}
is_relax_flag (flag: STRING): BOOLEAN
effective function
{}
is_case_insensitive_flag (flag: STRING): BOOLEAN
effective function
{}
is_style_warning_flag (flag: STRING): BOOLEAN
effective function
{}
is_flymake_mode_flag (flag: STRING): BOOLEAN
effective function
{}
is_no_warning_flag (flag: STRING): BOOLEAN
effective function
{}
is_trace_flag (flag: STRING): BOOLEAN
effective function
{}
is_verbose_flag (flag: STRING): BOOLEAN
effective function
{}
is_clean_flag (flag: STRING): BOOLEAN
effective function
{}
is_version_flag (flag: STRING): BOOLEAN
effective function
{}
is_version_flag_no_exit (flag: STRING): BOOLEAN
effective function
{}
version_flag: BOOLEAN
writable attribute
{}
Memory of is_version_flag.
is_a_compilation_level_flag (flag: STRING): BOOLEAN
effective function
{}
Is the flag one of this list: "-boost", "-no_check", "-require_check", "-ensure_check", "-invariant_check", "-loop_check", "-all_check", or "-debug_check" ?
is_debug_flag (flag: STRING): BOOLEAN
effective function
{}
Is the flag "-debug"
is_flat_check_flag (flag: STRING): BOOLEAN
effective function
{}
Is the flag "-flat_check"
is_output_error_warning_on_flag (flag: STRING, argi: INTEGER_32): BOOLEAN
effective function
{}
is_cecil_flag (flag: STRING, argi: INTEGER_32): BOOLEAN
effective function
{}
is_o_flag (flag: STRING, argi: INTEGER_32): BOOLEAN
effective function
{}
is_safety_check_flag (flag: STRING): BOOLEAN
effective function
{}
is_manifest_string_trace_flag (flag: STRING): BOOLEAN
effective function
{}
is_no_rescue_flag (flag: STRING): BOOLEAN
effective function
{}
is_high_memory_compiler (flag: STRING): BOOLEAN
effective function
{}
is_profile (flag: STRING): BOOLEAN
effective function
{}
is_run (flag: STRING): BOOLEAN
effective function
{}
level_flag: STRING
writable attribute
{}
check_for_level (new_level_flag: STRING)
effective procedure
{}
unknown_flag_exit (flag: STRING)
effective procedure
{}
fatal_bad_usage
effective procedure
{}
argument_count: INTEGER_32
effective function
{ANY}
Number of arguments given to command that started system execution (command name does not count).
ensure
  • Result >= 0
argument (i: INTEGER_32): STRING
effective function
{ANY}
i th argument of command that started system execution Gives the command name if i is 0.
require ensure
  • Result /= Void
command_name: STRING
effective function
{ANY}
command_arguments: FAST_ARRAY[STRING]
frozen
once function
{}
Give access to arguments command line including the command name at index 0.
This is a once function, so you can modify command-line arguments! (NOTE: just be sure not to remove the first argument, although you may change it)
ensure
  • not Result.is_empty
se_argc: INTEGER_32
{}
To implement command_arguments
se_argv (i: INTEGER_32): STRING
{}
To implement command_arguments
fz_case_insensitive: STRING
is "case_insensitive"
constant attribute
{}
fz_cc: STRING
is "cc"
constant attribute
{}
fz_cecil: STRING
is "cecil"
constant attribute
{}
fz_clean: STRING
is "clean"
constant attribute
{}
fz_c_mode: STRING
is "c_mode"
constant attribute
{}
fz_expect: STRING
is "expect"
constant attribute
{}
fz_flymake_mode: STRING
is "flymake_mode"
constant attribute
{}
fz_gc_info: STRING
is "gc_info"
constant attribute
{}
fz_help: STRING
is "help"
constant attribute
{}
fz_high_memory_compiler: STRING
is "high_memory_compiler"
constant attribute
{}
fz_loadpath: STRING
is "loadpath"
constant attribute
{}
fz_manifest_string_trace: STRING
is "manifest_string_trace"
constant attribute
{}
fz_mock: STRING
is "mock"
constant attribute
{}
fz_no_main: STRING
is "no_main"
constant attribute
{}
fz_no_split: STRING
is "no_split"
constant attribute
{}
fz_no_strip: STRING
is "no_strip"
constant attribute
{}
fz_style_warning: STRING
is "style_warning"
constant attribute
{}
fz_no_warning: STRING
is "no_warning"
constant attribute
{}
fz_o: STRING
is "-o"
constant attribute
{}
fz_profile: STRING
is "profile"
constant attribute
{}
fz_relax: STRING
is "relax"
constant attribute
{}
fz_safety_check: STRING
is "safety_check"
constant attribute
{}
fz_sedb: STRING
is "sedb"
constant attribute
{}
fz_split: STRING
is "split"
constant attribute
{}
fz_verbose: STRING
is "verbose"
constant attribute
{}
fz_version: STRING
is "version"
constant attribute
{}
fz_flag_run: STRING
is "run"
constant attribute
{}
fz_flag_clean_classes: STRING
is "clean_classes"
constant attribute
{}
fz_flag_hard_clean: STRING
is "hard_clean"
constant attribute
{}