class PRECURSOR_INSTRUCTION
Summary
Class invariant
Overview
creation features
features
  • accept (visitor: PRECURSOR_INSTRUCTION_VISITOR)
    Accept to be visited by the visitor.
  • collect (t: TYPE)
    (See comment of {EXPRESSION}.collect.)
  • side_effect_free (type: TYPE): BOOLEAN
    True when the evaluation of Current has no side effect at all (i.e. no memory allocated, no modification in the _heap_ memory, no external code with possible side effect).
  • pretty (indent_level: INTEGER_32)
    • start_position: POSITION
      Of the left-most character of Current.
    • specialize_in (type: TYPE): PRECURSOR_INSTRUCTION
      Specialize Current knowing that the corresponding source code was written in type.
    • has_been_specialized: BOOLEAN
      Used both for specialize_in and specialize_thru to indicate that we have all FEATURE_STAMPs ready for use and that FEATURE_NAMEs are no longer used (except for calls on non-current target who are available after specialize_2 -- step).
    • specialize_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE): PRECURSOR_INSTRUCTION
      Assuming that Current is already specialized in parent_type, now specialize Current for the new_type knowing that this source code is inherited thru parent_edge.
    • specialize_2_without_checks (type: TYPE): CODE
      Perform specialize_2 without checking the validity (export violations, ...)
    • use_current (type: TYPE): BOOLEAN
      Is Current used?
    • safety_check (type: TYPE)
    • compile_to_c (type: TYPE)
      For an INSTRUCTION, produce the corresponding C code.
    • 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)
    Hard-coded class names:
    The keywords section:
    Most of them are message parts:
    Some other names:
    The known keys of the INI file:
    end_mark_comment: BOOLEAN
    constant attribute
    True for instructions which may have a possible "end" mark comment.
    specialize_2 (type: TYPE): PRECURSOR_INSTRUCTION
    effective function
    simplify (type: TYPE): PRECURSOR_INSTRUCTION
    effective function
    effective procedure
    Accept to be visited by the visitor.
    collect (t: TYPE)
    effective procedure
    (See comment of {EXPRESSION}.collect.)
    side_effect_free (type: TYPE): BOOLEAN
    effective function
    True when the evaluation of Current has no side effect at all (i.e. no memory allocated, no modification in the _heap_ memory, no external code with possible side effect).
    pretty (indent_level: INTEGER_32)
    effective procedure
    adapt_for (t: TYPE): PRECURSOR_INSTRUCTION
    deferred function
    (See comment of {EXPRESSION}.adapt_for.)
    compile_to_jvm (type: TYPE)
    deferred procedure
    is_not_a_compound: BOOLEAN
    frozen
    effective function
    Mostly for assertion checks.
    simplify_routine_body_first (type: TYPE, return_type: TYPE): INSTRUCTION
    effective function
    Try to simplify Current knowing that Current is the first statement of some routine body with _no_ rescue clause.
    start_position: POSITION
    deferred function
    Of the left-most character of Current.
    specialize_in (type: TYPE): PRECURSOR_INSTRUCTION
    deferred function
    Specialize Current knowing that the corresponding source code was written in type.
    has_been_specialized: BOOLEAN
    deferred function
    Used both for specialize_in and specialize_thru to indicate that we have all FEATURE_STAMPs ready for use and that FEATURE_NAMEs are no longer used (except for calls on non-current target who are available after specialize_2 -- step).
    specialize_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE): PRECURSOR_INSTRUCTION
    deferred function
    Assuming that Current is already specialized in parent_type, now specialize Current for the new_type knowing that this source code is inherited thru parent_edge.
    specialize_2_without_checks (type: TYPE): CODE
    effective function
    Perform specialize_2 without checking the validity (export violations, ...)
    use_current (type: TYPE): BOOLEAN
    deferred function
    Is Current used?
    safety_check (type: TYPE)
    deferred procedure
    compile_to_c (type: TYPE)
    deferred procedure
    For an INSTRUCTION, produce the corresponding C code.
    compile_to_c_with_internal_c_local_saving (type: TYPE)
    effective procedure
    Basically, performs compile_to_c plus the extra unlock of INTERNAL_C_LOCAL variables.
    smart_eiffel: SMART_EIFFEL
    frozen
    once function
    eiffel_parser: EIFFEL_PARSER
    frozen
    once function
    ace: ACE
    frozen
    once function
    ini_parser: INI_PARSER
    frozen
    once function
    plugin_config: INI_PARSER
    frozen
    once function
    error_handler: ERROR_HANDLER
    frozen
    once function
    string_aliaser: STRING_ALIASER
    frozen
    once function
    frozen
    once function
    pretty_printer: PRETTY_PRINTER
    frozen
    once function
    jvm: JVM
    frozen
    once function
    constant_pool: CONSTANT_POOL
    frozen
    once function
    mini_buffer: MINI_BUFFER
    frozen
    once function
    nb_errors: INTEGER_32
    effective function
    gc_handler: GC_HANDLER
    frozen
    once function
    system_tools: SYSTEM_TOOLS
    frozen
    once function
    introspection_handler: INTROSPECTION_HANDLER
    frozen
    once function
    install: INSTALL
    frozen
    effective function
    assignment_test_pool: ASSIGNMENT_TEST_POOL
    frozen
    once function
    precomputable_routine_detector: PRECOMPUTABLE_ROUTINE_DETECTOR
    frozen
    once function
    jvm_tools: JVM_TOOLS
    frozen
    once function
    feature_accumulator: FEATURE_ACCUMULATOR
    frozen
    once function
    is_launcher: BOOLEAN
    effective function
    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
    is_launcher_memory: REFERENCE[BOOLEAN]
    once function
    install_memory: REFERENCE[INSTALL]
    once function
    parser_buffer: PARSER_BUFFER
    frozen
    once function
    interface_info: INTERFACE_INFO
    frozen
    once function
    id_provider: ID_PROVIDER
    frozen
    once function
    manifest_string_pool: MANIFEST_STRING_POOL
    frozen
    once function
    manifest_generic_pool: MANIFEST_GENERIC_POOL
    frozen
    once function
    once_routine_pool: ONCE_ROUTINE_POOL
    frozen
    once function
    agent_pool: AGENT_POOL
    frozen
    once function
    cecil_pool: CECIL_POOL
    frozen
    effective function
    cecil_pool_memory: REFERENCE[CECIL_POOL]
    frozen
    once function
    set_cecil_pool
    frozen
    once procedure
    address_of_pool: ADDRESS_OF_POOL
    frozen
    once function
    short_printer: SHORT_PRINTER
    frozen
    once function
    echo: ECHO
    frozen
    once function
    assignment_handler: ASSIGNMENT_HANDLER
    frozen
    once function
    switch_collection: SWITCH_COLLECTION
    frozen
    once function
    exceptions_handler: EXCEPTIONS_HANDLER
    frozen
    once function
    classfile_attribute: CLASSFILE_ATTRIBUTE
    frozen
    once function
    line_number_table: LINE_NUMBER_TABLE
    frozen
    once function
    field_info: FIELD_INFO
    frozen
    once function
    code_attribute: CODE_ATTRIBUTE
    frozen
    once function
    method_info: METHOD_INFO
    frozen
    once function
    nb_warnings: INTEGER_32
    effective function
    tmp_path: STRING
    once function
    tmp_file_read: TEXT_FILE_READ
    once function
    class_any: CLASS_TEXT
    once function
    omitted_client_list: CLIENT_LIST
    frozen
    once function
    (To avoid multiple creation(s).)
    any_default_create_fs: FEATURE_STAMP
    once function
    any_default_rescue_fs: FEATURE_STAMP
    once function
    any_copy_fs: FEATURE_STAMP
    once function
    any_deep_twin_fs: FEATURE_STAMP
    once function
    any_is_deep_equal_fs: FEATURE_STAMP
    once function
    boolean_and_then_fs: FEATURE_STAMP
    once function
    manifest_make_name: HASHED_STRING
    once function
    manifest_put_name: HASHED_STRING
    once function
    manifest_semicolon_check_name: HASHED_STRING
    once function
    manifest_initialize_name: HASHED_STRING
    once function
    calloc_name: HASHED_STRING
    once function
    put_name: HASHED_STRING
    once function
    item_name: HASHED_STRING
    once function
    make_name: HASHED_STRING
    once function
    count_name: HASHED_STRING
    once function
    storage_name: HASHED_STRING
    once function
    capacity_name: HASHED_STRING
    once function
    mark_item_name: HASHED_STRING
    once function
    mark_native_arrays_name: HASHED_STRING
    once function
    and_then_name: HASHED_STRING
    once function
    or_else_name: HASHED_STRING
    once function
    twin_name: HASHED_STRING
    once function
    copy_name: HASHED_STRING
    once function
    deep_twin_name: HASHED_STRING
    once function
    deep_twin_from_name: HASHED_STRING
    once function
    is_deep_equal_name: HASHED_STRING
    once function
    deep_memcmp_name: HASHED_STRING
    once function
    se_atexit_name: HASHED_STRING
    once function
    default_rescue_name: HASHED_STRING
    once function
    default_create_name: HASHED_STRING
    once function
    flush_name: HASHED_STRING
    once function
    clear_all_name: HASHED_STRING
    once function
    from_pointer_name: HASHED_STRING
    once function
    no_errors: BOOLEAN
    effective function
    character_coding (c: CHARACTER, str: STRING)
    effective procedure
    Append in str the Eiffel coding of the character (Table in chapter 25 of ETL, page 423).%%%%%%%%
    eiffel_suffix: STRING
    constant attribute
    Eiffel Source file suffix.
    c_suffix: STRING
    constant attribute
    C files suffix.
    h_suffix: STRING
    constant attribute
    Heading C files suffix.
    c_plus_plus_suffix: STRING
    constant attribute
    C++ files suffix.
    backup_suffix: STRING
    constant attribute
    Backup suffix for command pretty.
    class_suffix: STRING
    constant attribute
    dot_precedence: INTEGER_32
    constant attribute
    The highest precedence value according to ETL.
    atomic_precedence: INTEGER_32
    constant attribute
    Used for atomic elements.
    jvm_root_class: STRING
    once function
    Fully qualified name for the jvm SmartEiffel object's added root : "<Package>/_any".
    jvm_root_descriptor: STRING
    once function
    Descriptor for jvm_root_class: "L<jvm_root_class>;"
    append_u1 (str: STRING, u1: INTEGER_32)
    effective procedure
    append_u2 (str: STRING, u2: INTEGER_32)
    effective procedure
    append_u4 (str: STRING, u4: INTEGER_32)
    effective procedure
    is_install: BOOLEAN
    effective function
    unrelated_code: INTEGER_8
    constant attribute
    inserts_code: INTEGER_8
    constant attribute
    inherits_code: INTEGER_8
    constant attribute
    as_any: STRING
    constant attribute
    as_array: STRING
    constant attribute
    as_boolean: STRING
    constant attribute
    as_character: STRING
    constant attribute
    as_disposable: STRING
    constant attribute
    as_exceptions: STRING
    constant attribute
    as_for_object: STRING
    constant attribute
    as_force_to_integer_16: STRING
    constant attribute
    as_force_to_integer_32: STRING
    constant attribute
    as_force_to_integer_64: STRING
    constant attribute
    as_force_to_real_32: STRING
    constant attribute
    as_force_to_real_64: STRING
    constant attribute
    as_fixed_array: STRING
    constant attribute
    as_function: STRING
    constant attribute
    as_integer_general: STRING
    constant attribute
    as_integer_8: STRING
    constant attribute
    as_integer_16: STRING
    constant attribute
    as_integer_32: STRING
    constant attribute
    as_integer: STRING
    constant attribute
    as_integer_64: STRING
    constant attribute
    as_internals: STRING
    constant attribute
    as_internals_handler: STRING
    constant attribute
    as_native_array: STRING
    constant attribute
    as_native_array_collector: STRING
    constant attribute
    as_native_array_internals: STRING
    constant attribute
    as_pointer: STRING
    constant attribute
    as_predicate: STRING
    constant attribute
    as_procedure: STRING
    constant attribute
    as_real_general: STRING
    constant attribute
    as_real_32: STRING
    constant attribute
    as_real: STRING
    constant attribute
    as_real_64: STRING
    constant attribute
    as_real_80: STRING
    constant attribute
    as_real_128: STRING
    constant attribute
    as_real_extended: STRING
    constant attribute
    as_routine: STRING
    constant attribute
    as_set: STRING
    constant attribute
    as_string: STRING
    constant attribute
    as_text_file_read: STRING
    constant attribute
    as_text_file_write: STRING
    constant attribute
    as_tuple: STRING
    constant attribute
    as_type: STRING
    constant attribute
    as_typed_internals: STRING
    constant attribute
    as_unicode_string: STRING
    constant attribute
    as_weak_reference: STRING
    constant attribute
    Operator/Infix/Prefix list:
    as_and: STRING
    constant attribute
    as_and_then: STRING
    constant attribute
    as_at: STRING
    constant attribute
    as_backslash_backslash: STRING
    constant attribute
    as_bit_and: STRING
    constant attribute
    as_bit_clear: STRING
    constant attribute
    as_bit_not: STRING
    constant attribute
    as_bit_or: STRING
    constant attribute
    as_bit_put: STRING
    constant attribute
    as_bit_rotate: STRING
    constant attribute
    as_bit_rotate_left: STRING
    constant attribute
    as_bit_rotate_right: STRING
    constant attribute
    as_bit_set: STRING
    constant attribute
    as_bit_shift_right_unsigned: STRING
    constant attribute
    as_bit_xor: STRING
    constant attribute
    as_eq: STRING
    constant attribute
    as_ge: STRING
    constant attribute
    as_gt: STRING
    constant attribute
    as_implies: STRING
    constant attribute
    as_le: STRING
    constant attribute
    as_lt: STRING
    constant attribute
    as_minus: STRING
    constant attribute
    as_muls: STRING
    constant attribute
    as_neq: STRING
    constant attribute
    as_not: STRING
    constant attribute
    as_or: STRING
    constant attribute
    as_or_else: STRING
    constant attribute
    as_plus: STRING
    constant attribute
    as_pow: STRING
    constant attribute
    as_sharp_backslash_backslash: STRING
    constant attribute
    as_sharp_minus: STRING
    constant attribute
    as_sharp_muls: STRING
    constant attribute
    as_sharp_plus: STRING
    constant attribute
    as_sharp_slash_slash: STRING
    constant attribute
    as_shift_left: STRING
    constant attribute
    as_shift_right: STRING
    constant attribute
    as_slash: STRING
    constant attribute
    as_slash_slash: STRING
    constant attribute
    as_xor: STRING
    constant attribute
    Hard coded feature names:
    as_a1: STRING
    constant attribute
    as_add_last: STRING
    constant attribute
    as_agent: STRING
    constant attribute
    as_as_16_ne: STRING
    constant attribute
    as_as_32_ne: STRING
    constant attribute
    as_atan2: STRING
    constant attribute
    as_blank: STRING
    constant attribute
    as_boolean_bits: STRING
    constant attribute
    as_call: STRING
    constant attribute
    as_calloc: STRING
    constant attribute
    as_capacity: STRING
    constant attribute
    as_ceiling: STRING
    constant attribute
    as_character_bits: STRING
    constant attribute
    as_clear_all: STRING
    constant attribute
    as_count: STRING
    constant attribute
    as_code: STRING
    constant attribute
    as_collecting: STRING
    constant attribute
    as_collection_off: STRING
    constant attribute
    as_collection_on: STRING
    constant attribute
    as_collector_counter: STRING
    constant attribute
    as_copy: STRING
    constant attribute
    as_c_inline_c: STRING
    constant attribute
    as_c_inline_h: STRING
    constant attribute
    as_default_create: STRING
    constant attribute
    as_default_rescue: STRING
    constant attribute
    as_deep_memcmp: STRING
    constant attribute
    as_deep_twin: STRING
    constant attribute
    as_deep_twin_from: STRING
    constant attribute
    as_dispose: STRING
    constant attribute
    as_die_with_code: STRING
    constant attribute
    as_element_sizeof: STRING
    constant attribute
    as_exception: STRING
    constant attribute
    as_type_can_be_assigned_to_attribute: STRING
    constant attribute
    as_type_can_be_assigned_to_item: STRING
    constant attribute
    as_type_attribute_count: STRING
    constant attribute
    as_type_attribute_generator: STRING
    constant attribute
    as_type_attribute_generating_type: STRING
    constant attribute
    as_type_attribute_is_expanded: STRING
    constant attribute
    as_type_attribute_name: STRING
    constant attribute
    as_fifth: STRING
    constant attribute
    as_first: STRING
    constant attribute
    as_floor: STRING
    constant attribute
    as_flush: STRING
    constant attribute
    as_fourth: STRING
    constant attribute
    as_from_pointer: STRING
    constant attribute
    as_full_collect: STRING
    constant attribute
    as_generating_type: STRING
    constant attribute
    as_generator: STRING
    constant attribute
    as_io: STRING
    constant attribute
    as_integer_bits: STRING
    constant attribute
    as_internals_from_generating_type: STRING
    constant attribute
    as_is_basic_expanded_type: STRING
    constant attribute
    as_is_deep_equal: STRING
    constant attribute
    as_is_equal: STRING
    constant attribute
    as_is_infinity: STRING
    constant attribute
    as_is_normal: STRING
    constant attribute
    as_is_not_a_number: STRING
    constant attribute
    as_is_not_null: STRING
    constant attribute
    as_is_subnormal: STRING
    constant attribute
    as_item: STRING
    constant attribute
    as_last: STRING
    constant attribute
    as_lower: STRING
    constant attribute
    as_low_8: STRING
    constant attribute
    as_low_16: STRING
    constant attribute
    as_low_32: STRING
    constant attribute
    as_native_array_internals_from_generating_type: STRING
    constant attribute
    as_make: STRING
    constant attribute
    as_make_blank: STRING
    constant attribute
    as_mark_item: STRING
    constant attribute
    as_mark_native_arrays: STRING
    constant attribute
    as_minimum_character_code: STRING
    constant attribute
    as_minimum_double: STRING
    constant attribute
    as_minimum_real: STRING
    constant attribute
    as_manifest_creation: STRING
    constant attribute
    as_manifest_initialize: STRING
    constant attribute
    as_manifest_make: STRING
    constant attribute
    as_manifest_put: STRING
    constant attribute
    as_manifest_semicolon_check: STRING
    constant attribute
    as_maximum_character_code: STRING
    constant attribute
    as_maximum_double: STRING
    constant attribute
    as_maximum_real: STRING
    constant attribute
    as_object_as_pointer: STRING
    constant attribute
    as_object_attribute: STRING
    constant attribute
    as_object_invariant: STRING
    constant attribute
    as_object_memory: STRING
    constant attribute
    as_object_size: STRING
    constant attribute
    as_pointer_bits: STRING
    constant attribute
    as_pow_postfix: STRING
    constant attribute
    as_print: STRING
    constant attribute
    as_print_on: STRING
    constant attribute
    as_print_run_time_stack: STRING
    constant attribute
    as_print_all_run_time_stacks: STRING
    constant attribute
    as_put: STRING
    constant attribute
    as_put_0: STRING
    constant attribute
    as_put_1: STRING
    constant attribute
    as_put_16_be: STRING
    constant attribute
    as_put_16_le: STRING
    constant attribute
    as_put_16_ne: STRING
    constant attribute
    as_put_32_be: STRING
    constant attribute
    as_put_32_le: STRING
    constant attribute
    as_put_32_ne: STRING
    constant attribute
    as_raise_exception: STRING
    constant attribute
    as_real_bits: STRING
    constant attribute
    as_realloc: STRING
    constant attribute
    as_rounded: STRING
    constant attribute
    as_same_dynamic_type: STRING
    constant attribute
    as_second: STRING
    constant attribute
    as_se_argc: STRING
    constant attribute
    as_se_argv: STRING
    constant attribute
    as_se_atexit: STRING
    constant attribute
    as_sedb_breakpoint: STRING
    constant attribute
    as_set_object_attribute: STRING
    constant attribute
    as_signal_number: STRING
    constant attribute
    as_standard_copy: STRING
    constant attribute
    as_standard_is_equal: STRING
    constant attribute
    as_standard_twin: STRING
    constant attribute
    as_std_error: STRING
    constant attribute
    as_std_input: STRING
    constant attribute
    as_std_output: STRING
    constant attribute
    as_stderr: STRING
    constant attribute
    as_stdin: STRING
    constant attribute
    as_stdout: STRING
    constant attribute
    as_storage: STRING
    constant attribute
    as_third: STRING
    constant attribute
    as_to_character: STRING
    constant attribute
    as_to_integer_8: STRING
    constant attribute
    as_to_integer_16: STRING
    constant attribute
    as_to_integer_32: STRING
    constant attribute
    as_to_internals: STRING
    constant attribute
    as_to_pointer: STRING
    constant attribute
    as_trace_switch: STRING
    constant attribute
    as_twin: STRING
    constant attribute
    as_type_generating_type: STRING
    constant attribute
    as_type_generator: STRING
    constant attribute
    as_type_is_expanded: STRING
    constant attribute
    as_type_item_generating_type: STRING
    constant attribute
    as_type_item_generator: STRING
    constant attribute
    as_type_item_is_expanded: STRING
    constant attribute
    as_upper: STRING
    constant attribute
    as_valid_generating_type_for_internals: STRING
    constant attribute
    as_valid_generating_type_for_native_array_internals: STRING
    constant attribute
    as_with_capacity: STRING
    constant attribute
    Other names:
    as_arguments: STRING
    constant attribute
    as_current: STRING
    constant attribute
    as_native_array_character: STRING
    constant attribute
    as_last_result: STRING
    constant attribute
    as_like_current: STRING
    constant attribute
    as_method: STRING
    constant attribute
    as_open_arguments: STRING
    constant attribute
    as_open_argument_indices: STRING
    constant attribute
    as_open_argument_index: STRING
    constant attribute
    as_open_argument_count: STRING
    constant attribute
    as_precursor: STRING
    constant attribute
    as_result: STRING
    constant attribute
    as_target: STRING
    constant attribute
    as_void: STRING
    constant attribute
    fz_adapt: STRING
    constant attribute
    fz_alias: STRING
    constant attribute
    fz_all: STRING
    constant attribute
    fz_as: STRING
    constant attribute
    fz_assertion: STRING
    constant attribute
    fz_assertion_flat_check: STRING
    constant attribute
    fz_begin_c_compile: STRING
    constant attribute
    fz_boost: STRING
    constant attribute
    fz_check: STRING
    constant attribute
    fz_class: STRING
    constant attribute
    fz_cluster: STRING
    constant attribute
    fz_create: STRING
    constant attribute
    fz_creation: STRING
    constant attribute
    fz_debug: STRING
    constant attribute
    fz_default: STRING
    constant attribute
    fz_deferred: STRING
    constant attribute
    fz_do: STRING
    constant attribute
    fz_else: STRING
    constant attribute
    fz_elseif: STRING
    constant attribute
    fz_end: STRING
    constant attribute
    fz_end_c_compile: STRING
    constant attribute
    fz_ensure: STRING
    constant attribute
    fz_exclude: STRING
    constant attribute
    fz_expanded: STRING
    constant attribute
    fz_export: STRING
    constant attribute
    fz_external: STRING
    constant attribute
    fz_false: STRING
    constant attribute
    fz_feature: STRING
    constant attribute
    fz_from: STRING
    constant attribute
    fz_frozen: STRING
    constant attribute
    fz_generate: STRING
    constant attribute
    fz_if: STRING
    constant attribute
    fz_include: STRING
    constant attribute
    fz_indexing: STRING
    constant attribute
    fz_infix: STRING
    constant attribute
    fz_inherit: STRING
    constant attribute
    fz_insert: STRING
    constant attribute
    fz_inline: STRING
    constant attribute
    fz_inspect: STRING
    constant attribute
    fz_invariant: STRING
    constant attribute
    fz_is: STRING
    constant attribute
    fz_like: STRING
    constant attribute
    fz_local: STRING
    constant attribute
    fz_loop: STRING
    constant attribute
    fz_no: STRING
    constant attribute
    fz_obsolete: STRING
    constant attribute
    fz_old: STRING
    constant attribute
    fz_once: STRING
    constant attribute
    fz_option: STRING
    constant attribute
    fz_prefix: STRING
    constant attribute
    fz_redefine: STRING
    constant attribute
    fz_rename: STRING
    constant attribute
    fz_require: STRING
    constant attribute
    fz_rescue: STRING
    constant attribute
    fz_retry: STRING
    constant attribute
    fz_runtime: STRING
    constant attribute
    fz_separate: STRING
    constant attribute
    fz_reference: STRING
    constant attribute
    fz_then: STRING
    constant attribute
    fz_trace: STRING
    constant attribute
    fz_true: STRING
    constant attribute
    fz_undefine: STRING
    constant attribute
    fz_unique: STRING
    constant attribute
    fz_until: STRING
    constant attribute
    fz_use: STRING
    constant attribute
    fz_variant: STRING
    constant attribute
    fz_when: STRING
    constant attribute
    fz_yes: STRING
    constant attribute
    fz_cad: STRING
    constant attribute
    fz_dtideena: STRING
    constant attribute
    fz_error_stars: STRING
    constant attribute
    fz_jvm_error: STRING
    constant attribute
    fz_vuar4: STRING
    constant attribute
    fz_bin: STRING
    constant attribute
    fz_c_shift_left: STRING
    constant attribute
    fz_c_shift_right: STRING
    constant attribute
    fz_install: STRING
    constant attribute
    fz_jobs: STRING
    constant attribute
    fz_no_check: STRING
    constant attribute
    fz_none: STRING
    constant attribute
    fz_smarteiffel: STRING
    constant attribute
    fz_seconf: STRING
    constant attribute
    the environment name pointing on the config file
    fz_se_runtime: STRING
    constant attribute
    fz_system_se: STRING
    constant attribute
    fz_section_java: STRING
    constant attribute
    fz_section_java_jar: STRING
    constant attribute
    fz_section_java_jvm: STRING
    constant attribute
    fz_section_java_java_compiler: STRING
    constant attribute
    fz_section_java_classpath: STRING
    constant attribute
    fz_conf_general: STRING
    constant attribute
    fz_conf_loadpath: STRING
    constant attribute
    fz_conf_environment: STRING
    constant attribute
    since version 2
    fz_conf_se_tools: STRING
    constant attribute
    since version 3
    fz_conf_java: STRING
    constant attribute
    since version 3
    fz_conf_bin: STRING
    constant attribute
    fz_conf_lib: STRING
    constant attribute
    fz_conf_sys: STRING
    constant attribute
    fz_conf_short: STRING
    constant attribute
    fz_conf_tools: STRING
    constant attribute
    fz_conf_os: STRING
    constant attribute
    fz_conf_flavor: STRING
    constant attribute
    fz_conf_jobs: STRING
    constant attribute
    fz_conf_boost: STRING
    constant attribute
    fz_conf_no_check: STRING
    constant attribute
    fz_conf_require_check: STRING
    constant attribute
    fz_conf_ensure_check: STRING
    constant attribute
    fz_conf_invariant_check: STRING
    constant attribute
    fz_conf_loop_check: STRING
    constant attribute
    fz_conf_all_check: STRING
    constant attribute
    fz_conf_debug_check: STRING
    constant attribute
    fz_conf_flat_check: STRING
    constant attribute
    fz_conf_smarteiffel_options: STRING
    constant attribute
    fz_conf_undefined: STRING
    constant attribute
    fz_conf_tag: STRING
    constant attribute
    fz_conf_compiler_type: STRING
    constant attribute
    fz_conf_compiler_path: STRING
    constant attribute
    fz_conf_linker_path: STRING
    constant attribute
    fz_conf_strip_path: STRING
    constant attribute
    fz_conf_compiler_options: STRING
    constant attribute
    fz_conf_linker_options: STRING
    constant attribute
    fz_conf_cpp_compiler_type: STRING
    constant attribute
    fz_conf_cpp_compiler_path: STRING
    constant attribute
    fz_conf_cpp_compiler_options: STRING
    constant attribute
    fz_conf_cpp_linker_path: STRING
    constant attribute
    fz_conf_cpp_strip_path: STRING
    constant attribute
    fz_conf_cpp_linker_options: STRING
    constant attribute
    fz_conf_java_jar_binary: STRING
    constant attribute
    fz_conf_java_jvm_binary: STRING
    constant attribute
    fz_conf_java_java_compiler: STRING
    constant attribute
    arguments: EFFECTIVE_ARG_LIST
    writable attribute
    specialized_anonymous_feature: ANONYMOUS_FEATURE
    writable attribute
    The specialized version of the precursor feature
    specialized_parent: CLASS_TEXT
    writable attribute
    The parent the feature effectively comes from
    parent: TYPE_MARK
    writable attribute
    Used when only when the call looks like: {TYPE_MARK} Precursor...
    set_specialized_parent (sp: CLASS_TEXT)
    effective procedure
    set_arguments (a: EFFECTIVE_ARG_LIST)
    effective procedure
    set_run_feature (rf: RUN_FEATURE)
    effective procedure
    effective procedure
    run_feature: RUN_FEATURE
    writable attribute
    Corresponding super feature.
    make (sp: POSITION, pc: TYPE_MARK, pal: EFFECTIVE_ARG_LIST)
    effective procedure
    current_or_twin_init (af: ANONYMOUS_FEATURE, a: EFFECTIVE_ARG_LIST): PRECURSOR_INSTRUCTION
    effective function
    pretty_ (indent_level: INTEGER_32)
    frozen
    effective procedure