class E_ENSURE
Summary
Class invariant
Overview
creation features
features
  • add_parent_ensure (parent_ensure: E_ENSURE): E_ENSURE
    Add parent_ensure to Current only if it is really new code (i.e. using start_position to decide.).
  • run_feature: RUN_FEATURE
    Corresponding one (if any) when runnable.
  • compile_to_c_ (type: TYPE, protect_against_infinite_recursion_flag: BOOLEAN, inside_feature_flag: BOOLEAN)
    Note: inside_feature_flag is meaningful only when protect_against_infinite_recursion_flag is set.
  • 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:
is_ensure_then: BOOLEAN
writable attribute
compile_to_c (type: TYPE)
effective procedure
pretty_print
effective procedure
short (type: TYPE, client: CLASS_NAME)
effective procedure
accept (visitor: E_ENSURE_VISITOR)
effective procedure
Accept to be visited by the visitor.
add_parent_ensure (parent_ensure: E_ENSURE): E_ENSURE
effective function
Add parent_ensure to Current only if it is really new code (i.e. using start_position to decide.).
new: E_ENSURE
effective function
make (sp: POSITION, then_flag: BOOLEAN, hc: COMMENT, l: FAST_ARRAY[ASSERTION])
effective procedure
check_assertion_mode: STRING
constant attribute
start_position: POSITION
writable attribute
The position of the first letter of name.
header_comment: COMMENT
writable attribute
specialize_in (type: TYPE): E_ENSURE
frozen
effective function
specialize_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE): E_ENSURE
frozen
effective function
specialize_2 (type: TYPE): E_ENSURE
frozen
effective function
has_been_specialized: BOOLEAN
frozen
effective function
side_effect_free (type: TYPE): BOOLEAN
frozen
effective function
is_always_true: BOOLEAN
frozen
effective function
collect (type: TYPE)
frozen
effective procedure
safety_check (type: TYPE)
frozen
effective procedure
simplify (type: TYPE): E_ENSURE
frozen
effective function
This function should never be called (compile_to_* never gets called for assertions that are not used in the current check mode, and assertions that are usedothers should not get simplified).
adapt_for (type: TYPE): E_ENSURE
frozen
effective function
compile_to_jvm (type: TYPE, last_chance: BOOLEAN)
frozen
effective procedure
If last_chance is True, an error message is printed at run-time.
use_current (type: TYPE): BOOLEAN
frozen
effective function
is_empty: BOOLEAN
effective function
set_header_comment (hc: COMMENT)
effective procedure
writable attribute
has_assertion_located_at (sp: POSITION): BOOLEAN
effective function
Is there already the source code of the assertion located at sp ?
run_feature: RUN_FEATURE
writable attribute
Corresponding one (if any) when runnable.
compile_to_c_ (type: TYPE, protect_against_infinite_recursion_flag: BOOLEAN, inside_feature_flag: BOOLEAN)
effective procedure
Note: inside_feature_flag is meaningful only when protect_against_infinite_recursion_flag is set.
pretty_print_ (indent_level: INTEGER_32, name: STRING)
effective procedure
Where name can be "require", "require else", "ensure", "ensure then" or "check" as well.
c_compile_assertion (assertion: ASSERTION, type: TYPE)
effective procedure
once function
clear_run_feature
effective procedure
set_list (l: FAST_ARRAY[ASSERTION])
effective procedure
append (other: ASSERTION_LIST)
effective procedure
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
hidden_expression_detector: HIDDEN_EXPRESSION_DETECTOR
once function
tmp_assertion_list: FAST_ARRAY[ASSERTION]
once function