+
Point of view
All features
class CHECK_INVARIANT
Summary
top
Class invariant
top
Overview
top
creation features
features
  • 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:
compile_to_c (type: TYPE)
effective procedure
top
accept (visitor: CHECK_INVARIANT_VISITOR)
effective procedure
top
Accept to be visited by the visitor.
pretty (indent_level: INTEGER_32)
effective procedure
top
check_assertion_mode: STRING
constant attribute
top
start_position: POSITION
writable attribute
top
The position of the first letter of name.
header_comment: COMMENT
writable attribute
top
specialize_in (type: TYPE): CHECK_INVARIANT
frozen
effective function
top
specialize_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE): CHECK_INVARIANT
frozen
effective function
top
specialize_2 (type: TYPE): CHECK_INVARIANT
frozen
effective function
top
has_been_specialized: BOOLEAN
frozen
effective function
top
side_effect_free (type: TYPE): BOOLEAN
frozen
effective function
top
is_always_true: BOOLEAN
frozen
effective function
top
collect (type: TYPE)
frozen
effective procedure
top
safety_check (type: TYPE)
frozen
effective procedure
top
simplify (type: TYPE): CHECK_INVARIANT
frozen
effective function
top
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): CHECK_INVARIANT
frozen
effective function
top
compile_to_jvm (type: TYPE, last_chance: BOOLEAN)
frozen
effective procedure
top
If last_chance is True, an error message is printed at run-time.
use_current (type: TYPE): BOOLEAN
frozen
effective function
top
is_empty: BOOLEAN
effective function
top
set_header_comment (hc: COMMENT)
effective procedure
top
writable attribute
top
has_assertion_located_at (sp: POSITION): BOOLEAN
effective function
top
Is there already the source code of the assertion located at sp ?
run_feature: RUN_FEATURE
writable attribute
top
Corresponding one (if any) when runnable.
compile_to_c_ (type: TYPE, protect_against_infinite_recursion_flag: BOOLEAN, inside_feature_flag: BOOLEAN)
effective procedure
top
Note: inside_feature_flag is meaningful only when protect_against_infinite_recursion_flag is set.
make (sp: POSITION, hc: COMMENT, l: FAST_ARRAY[ASSERTION])
effective procedure
top
pretty_print_ (indent_level: INTEGER_32, name: STRING)
effective procedure
top
Where name can be "require", "require else", "ensure", "ensure then" or "check" as well.
c_compile_assertion (assertion: ASSERTION, type: TYPE)
effective procedure
top
once function
top
clear_run_feature
effective procedure
top
set_list (l: FAST_ARRAY[ASSERTION])
effective procedure
top
append (other: ASSERTION_LIST)
effective procedure
top
smart_eiffel: SMART_EIFFEL
frozen
once function
top
eiffel_parser: EIFFEL_PARSER
frozen
once function
top
ace: ACE
frozen
once function
top
ini_parser: INI_PARSER
frozen
once function
top
plugin_config: INI_PARSER
frozen
once function
top
error_handler: ERROR_HANDLER
frozen
once function
top
string_aliaser: STRING_ALIASER
frozen
once function
top
frozen
once function
top
pretty_printer: PRETTY_PRINTER
frozen
once function
top
jvm: JVM
frozen
once function
top
constant_pool: CONSTANT_POOL
frozen
once function
top
mini_buffer: MINI_BUFFER
frozen
once function
top
nb_errors: INTEGER_32
effective function
top
gc_handler: GC_HANDLER
frozen
once function
top
system_tools: SYSTEM_TOOLS
frozen
once function
top
introspection_handler: INTROSPECTION_HANDLER
frozen
once function
top
install: INSTALL
frozen
effective function
top
assignment_test_pool: ASSIGNMENT_TEST_POOL
frozen
once function
top
precomputable_routine_detector: PRECOMPUTABLE_ROUTINE_DETECTOR
frozen
once function
top
jvm_tools: JVM_TOOLS
frozen
once function
top
feature_accumulator: FEATURE_ACCUMULATOR
frozen
once function
top
is_launcher: BOOLEAN
effective function
top
If True, the clusters list will not be retrieved (it means that the tool is only used to start other tools; it does not load classes itself)
set_launcher
effective procedure
top
is_launcher_memory: REFERENCE[BOOLEAN]
once function
top
install_memory: REFERENCE[INSTALL]
once function
top
parser_buffer: PARSER_BUFFER
frozen
once function
top
interface_info: INTERFACE_INFO
frozen
once function
top
id_provider: ID_PROVIDER
frozen
once function
top
manifest_string_pool: MANIFEST_STRING_POOL
frozen
once function
top
manifest_generic_pool: MANIFEST_GENERIC_POOL
frozen
once function
top
once_routine_pool: ONCE_ROUTINE_POOL
frozen
once function
top
agent_pool: AGENT_POOL
frozen
once function
top
cecil_pool: CECIL_POOL
frozen
effective function
top
cecil_pool_memory: REFERENCE[CECIL_POOL]
frozen
once function
top
set_cecil_pool
frozen
once procedure
top
address_of_pool: ADDRESS_OF_POOL
frozen
once function
top
short_printer: SHORT_PRINTER
frozen
once function
top
echo: ECHO
frozen
once function
top
assignment_handler: ASSIGNMENT_HANDLER
frozen
once function
top
switch_collection: SWITCH_COLLECTION
frozen
once function
top
exceptions_handler: EXCEPTIONS_HANDLER
frozen
once function
top
classfile_attribute: CLASSFILE_ATTRIBUTE
frozen
once function
top
line_number_table: LINE_NUMBER_TABLE
frozen
once function
top
field_info: FIELD_INFO
frozen
once function
top
code_attribute: CODE_ATTRIBUTE
frozen
once function
top
method_info: METHOD_INFO
frozen
once function
top
nb_warnings: INTEGER_32
effective function
top
tmp_path: STRING
once function
top
tmp_file_read: TEXT_FILE_READ
once function
top
class_any: CLASS_TEXT
once function
top
omitted_client_list: CLIENT_LIST
frozen
once function
top
(To avoid multiple creation(s).)
any_default_create_fs: FEATURE_STAMP
once function
top
any_default_rescue_fs: FEATURE_STAMP
once function
top
any_copy_fs: FEATURE_STAMP
once function
top
any_deep_twin_fs: FEATURE_STAMP
once function
top
any_is_deep_equal_fs: FEATURE_STAMP
once function
top
boolean_and_then_fs: FEATURE_STAMP
once function
top
manifest_make_name: HASHED_STRING
once function
top
manifest_put_name: HASHED_STRING
once function
top
manifest_semicolon_check_name: HASHED_STRING
once function
top
manifest_initialize_name: HASHED_STRING
once function
top
calloc_name: HASHED_STRING
once function
top
put_name: HASHED_STRING
once function
top
item_name: HASHED_STRING
once function
top
make_name: HASHED_STRING
once function
top
count_name: HASHED_STRING
once function
top
storage_name: HASHED_STRING
once function
top
capacity_name: HASHED_STRING
once function
top
mark_item_name: HASHED_STRING
once function
top
mark_native_arrays_name: HASHED_STRING
once function
top
and_then_name: HASHED_STRING
once function
top
or_else_name: HASHED_STRING
once function
top
twin_name: HASHED_STRING
once function
top
copy_name: HASHED_STRING
once function
top
deep_twin_name: HASHED_STRING
once function
top
deep_twin_from_name: HASHED_STRING
once function
top
is_deep_equal_name: HASHED_STRING
once function
top
deep_memcmp_name: HASHED_STRING
once function
top
se_atexit_name: HASHED_STRING
once function
top
default_rescue_name: HASHED_STRING
once function
top
default_create_name: HASHED_STRING
once function
top
flush_name: HASHED_STRING
once function
top
clear_all_name: HASHED_STRING
once function
top
from_pointer_name: HASHED_STRING
once function
top
no_errors: BOOLEAN
effective function
top
character_coding (c: CHARACTER, str: STRING)
effective procedure
top
Append in str the Eiffel coding of the character (Table in chapter 25 of ETL, page 423).%%%%%%%%
eiffel_suffix: STRING
constant attribute
top
Eiffel Source file suffix.
c_suffix: STRING
constant attribute
top
C files suffix.
h_suffix: STRING
constant attribute
top
Heading C files suffix.
c_plus_plus_suffix: STRING
constant attribute
top
C++ files suffix.
backup_suffix: STRING
constant attribute
top
Backup suffix for command pretty.
class_suffix: STRING
constant attribute
top
dot_precedence: INTEGER_32
constant attribute
top
The highest precedence value according to ETL.
atomic_precedence: INTEGER_32
constant attribute
top
Used for atomic elements.
jvm_root_class: STRING
once function
top
Fully qualified name for the jvm SmartEiffel object's added root : "<Package>/_any".
jvm_root_descriptor: STRING
once function
top
Descriptor for jvm_root_class: "L<jvm_root_class>;"
append_u1 (str: STRING, u1: INTEGER_32)
effective procedure
top
append_u2 (str: STRING, u2: INTEGER_32)
effective procedure
top
append_u4 (str: STRING, u4: INTEGER_32)
effective procedure
top
is_install: BOOLEAN
effective function
top
unrelated_code: INTEGER_8
constant attribute
top
inserts_code: INTEGER_8
constant attribute
top
inherits_code: INTEGER_8
constant attribute
top
as_any: STRING
constant attribute
top
as_array: STRING
constant attribute
top
as_boolean: STRING
constant attribute
top
as_character: STRING
constant attribute
top
as_disposable: STRING
constant attribute
top
as_exceptions: STRING
constant attribute
top
as_for_object: STRING
constant attribute
top
as_force_to_integer_16: STRING
constant attribute
top
as_force_to_integer_32: STRING
constant attribute
top
as_force_to_integer_64: STRING
constant attribute
top
as_force_to_real_32: STRING
constant attribute
top
as_force_to_real_64: STRING
constant attribute
top
as_fixed_array: STRING
constant attribute
top
as_function: STRING
constant attribute
top
as_integer_general: STRING
constant attribute
top
as_integer_8: STRING
constant attribute
top
as_integer_16: STRING
constant attribute
top
as_integer_32: STRING
constant attribute
top
as_integer: STRING
constant attribute
top
as_integer_64: STRING
constant attribute
top
as_internals: STRING
constant attribute
top
as_internals_handler: STRING
constant attribute
top
as_native_array: STRING
constant attribute
top
as_native_array_collector: STRING
constant attribute
top
as_native_array_internals: STRING
constant attribute
top
as_pointer: STRING
constant attribute
top
as_predicate: STRING
constant attribute
top
as_procedure: STRING
constant attribute
top
as_real_general: STRING
constant attribute
top
as_real_32: STRING
constant attribute
top
as_real: STRING
constant attribute
top
as_real_64: STRING
constant attribute
top
as_real_80: STRING
constant attribute
top
as_real_128: STRING
constant attribute
top
as_real_extended: STRING
constant attribute
top
as_routine: STRING
constant attribute
top
as_set: STRING
constant attribute
top
as_string: STRING
constant attribute
top
as_text_file_read: STRING
constant attribute
top
as_text_file_write: STRING
constant attribute
top
as_tuple: STRING
constant attribute
top
as_type: STRING
constant attribute
top
as_typed_internals: STRING
constant attribute
top
as_unicode_string: STRING
constant attribute
top
as_weak_reference: STRING
constant attribute
top
Operator/Infix/Prefix list:
as_and: STRING
constant attribute
top
as_and_then: STRING
constant attribute
top
as_at: STRING
constant attribute
top
as_backslash_backslash: STRING
constant attribute
top
as_bit_and: STRING
constant attribute
top
as_bit_clear: STRING
constant attribute
top
as_bit_not: STRING
constant attribute
top
as_bit_or: STRING
constant attribute
top
as_bit_put: STRING
constant attribute
top
as_bit_rotate: STRING
constant attribute
top
as_bit_rotate_left: STRING
constant attribute
top
as_bit_rotate_right: STRING
constant attribute
top
as_bit_set: STRING
constant attribute
top
as_bit_shift_right_unsigned: STRING
constant attribute
top
as_bit_xor: STRING
constant attribute
top
as_eq: STRING
constant attribute
top
as_ge: STRING
constant attribute
top
as_gt: STRING
constant attribute
top
as_implies: STRING
constant attribute
top
as_le: STRING
constant attribute
top
as_lt: STRING
constant attribute
top
as_minus: STRING
constant attribute
top
as_muls: STRING
constant attribute
top
as_neq: STRING
constant attribute
top
as_not: STRING
constant attribute
top
as_or: STRING
constant attribute
top
as_or_else: STRING
constant attribute
top
as_plus: STRING
constant attribute
top
as_pow: STRING
constant attribute
top
as_sharp_backslash_backslash: STRING
constant attribute
top
as_sharp_minus: STRING
constant attribute
top
as_sharp_muls: STRING
constant attribute
top
as_sharp_plus: STRING
constant attribute
top
as_sharp_slash_slash: STRING
constant attribute
top
as_shift_left: STRING
constant attribute
top
as_shift_right: STRING
constant attribute
top
as_slash: STRING
constant attribute
top
as_slash_slash: STRING
constant attribute
top
as_xor: STRING
constant attribute
top
Hard coded feature names:
as_a1: STRING
constant attribute
top
as_add_last: STRING
constant attribute
top
as_agent: STRING
constant attribute
top
as_as_16_ne: STRING
constant attribute
top
as_as_32_ne: STRING
constant attribute
top
as_atan2: STRING
constant attribute
top
as_blank: STRING
constant attribute
top
as_boolean_bits: STRING
constant attribute
top
as_call: STRING
constant attribute
top
as_calloc: STRING
constant attribute
top
as_capacity: STRING
constant attribute
top
as_ceiling: STRING
constant attribute
top
as_character_bits: STRING
constant attribute
top
as_clear_all: STRING
constant attribute
top
as_count: STRING
constant attribute
top
as_code: STRING
constant attribute
top
as_collecting: STRING
constant attribute
top
as_collection_off: STRING
constant attribute
top
as_collection_on: STRING
constant attribute
top
as_collector_counter: STRING
constant attribute
top
as_copy: STRING
constant attribute
top
as_c_inline_c: STRING
constant attribute
top
as_c_inline_h: STRING
constant attribute
top
as_default_create: STRING
constant attribute
top
as_default_rescue: STRING
constant attribute
top
as_deep_memcmp: STRING
constant attribute
top
as_deep_twin: STRING
constant attribute
top
as_deep_twin_from: STRING
constant attribute
top
as_dispose: STRING
constant attribute
top
as_die_with_code: STRING
constant attribute
top
as_element_sizeof: STRING
constant attribute
top
as_exception: STRING
constant attribute
top
as_type_can_be_assigned_to_attribute: STRING
constant attribute
top
as_type_can_be_assigned_to_item: STRING
constant attribute
top
as_type_attribute_count: STRING
constant attribute
top
as_type_attribute_generator: STRING
constant attribute
top
as_type_attribute_generating_type: STRING
constant attribute
top
as_type_attribute_is_expanded: STRING
constant attribute
top
as_type_attribute_name: STRING
constant attribute
top
as_fifth: STRING
constant attribute
top
as_first: STRING
constant attribute
top
as_floor: STRING
constant attribute
top
as_flush: STRING
constant attribute
top
as_fourth: STRING
constant attribute
top
as_from_pointer: STRING
constant attribute
top
as_full_collect: STRING
constant attribute
top
as_generating_type: STRING
constant attribute
top
as_generator: STRING
constant attribute
top
as_io: STRING
constant attribute
top
as_integer_bits: STRING
constant attribute
top
as_internals_from_generating_type: STRING
constant attribute
top
as_is_basic_expanded_type: STRING
constant attribute
top
as_is_deep_equal: STRING
constant attribute
top
as_is_equal: STRING
constant attribute
top
as_is_infinity: STRING
constant attribute
top
as_is_normal: STRING
constant attribute
top
as_is_not_a_number: STRING
constant attribute
top
as_is_not_null: STRING
constant attribute
top
as_is_subnormal: STRING
constant attribute
top
as_item: STRING
constant attribute
top
as_last: STRING
constant attribute
top
as_lower: STRING
constant attribute
top
as_low_8: STRING
constant attribute
top
as_low_16: STRING
constant attribute
top
as_low_32: STRING
constant attribute
top
as_native_array_internals_from_generating_type: STRING
constant attribute
top
as_make: STRING
constant attribute
top
as_make_blank: STRING
constant attribute
top
as_mark_item: STRING
constant attribute
top
as_mark_native_arrays: STRING
constant attribute
top
as_minimum_character_code: STRING
constant attribute
top
as_minimum_double: STRING
constant attribute
top
as_minimum_real: STRING
constant attribute
top
as_manifest_creation: STRING
constant attribute
top
as_manifest_initialize: STRING
constant attribute
top
as_manifest_make: STRING
constant attribute
top
as_manifest_put: STRING
constant attribute
top
as_manifest_semicolon_check: STRING
constant attribute
top
as_maximum_character_code: STRING
constant attribute
top
as_maximum_double: STRING
constant attribute
top
as_maximum_real: STRING
constant attribute
top
as_object_as_pointer: STRING
constant attribute
top
as_object_attribute: STRING
constant attribute
top
as_object_invariant: STRING
constant attribute
top
as_object_memory: STRING
constant attribute
top
as_object_size: STRING
constant attribute
top
as_pointer_bits: STRING
constant attribute
top
as_pow_postfix: STRING
constant attribute
top
as_print: STRING
constant attribute
top
as_print_on: STRING
constant attribute
top
as_print_run_time_stack: STRING
constant attribute
top
as_print_all_run_time_stacks: STRING
constant attribute
top
as_put: STRING
constant attribute
top
as_put_0: STRING
constant attribute
top
as_put_1: STRING
constant attribute
top
as_put_16_be: STRING
constant attribute
top
as_put_16_le: STRING
constant attribute
top
as_put_16_ne: STRING
constant attribute
top
as_put_32_be: STRING
constant attribute
top
as_put_32_le: STRING
constant attribute
top
as_put_32_ne: STRING
constant attribute
top
as_raise_exception: STRING
constant attribute
top
as_real_bits: STRING
constant attribute
top
as_realloc: STRING
constant attribute
top
as_rounded: STRING
constant attribute
top
as_same_dynamic_type: STRING
constant attribute
top
as_second: STRING
constant attribute
top
as_se_argc: STRING
constant attribute
top
as_se_argv: STRING
constant attribute
top
as_se_atexit: STRING
constant attribute
top
as_sedb_breakpoint: STRING
constant attribute
top
as_set_object_attribute: STRING
constant attribute
top
as_signal_number: STRING
constant attribute
top
as_standard_copy: STRING
constant attribute
top
as_standard_is_equal: STRING
constant attribute
top
as_standard_twin: STRING
constant attribute
top
as_std_error: STRING
constant attribute
top
as_std_input: STRING
constant attribute
top
as_std_output: STRING
constant attribute
top
as_stderr: STRING
constant attribute
top
as_stdin: STRING
constant attribute
top
as_stdout: STRING
constant attribute
top
as_storage: STRING
constant attribute
top
as_third: STRING
constant attribute
top
as_to_character: STRING
constant attribute
top
as_to_integer_8: STRING
constant attribute
top
as_to_integer_16: STRING
constant attribute
top
as_to_integer_32: STRING
constant attribute
top
as_to_internals: STRING
constant attribute
top
as_to_pointer: STRING
constant attribute
top
as_trace_switch: STRING
constant attribute
top
as_twin: STRING
constant attribute
top
as_type_generating_type: STRING
constant attribute
top
as_type_generator: STRING
constant attribute
top
as_type_is_expanded: STRING
constant attribute
top
as_type_item_generating_type: STRING
constant attribute
top
as_type_item_generator: STRING
constant attribute
top
as_type_item_is_expanded: STRING
constant attribute
top
as_upper: STRING
constant attribute
top
as_valid_generating_type_for_internals: STRING
constant attribute
top
as_valid_generating_type_for_native_array_internals: STRING
constant attribute
top
as_with_capacity: STRING
constant attribute
top
Other names:
as_arguments: STRING
constant attribute
top
as_current: STRING
constant attribute
top
as_native_array_character: STRING
constant attribute
top
as_last_result: STRING
constant attribute
top
as_like_current: STRING
constant attribute
top
as_method: STRING
constant attribute
top
as_open_arguments: STRING
constant attribute
top
as_open_argument_indices: STRING
constant attribute
top
as_open_argument_index: STRING
constant attribute
top
as_open_argument_count: STRING
constant attribute
top
as_precursor: STRING
constant attribute
top
as_result: STRING
constant attribute
top
as_target: STRING
constant attribute
top
as_void: STRING
constant attribute
top
fz_adapt: STRING
constant attribute
top
fz_alias: STRING
constant attribute
top
fz_all: STRING
constant attribute
top
fz_as: STRING
constant attribute
top
fz_assertion: STRING
constant attribute
top
fz_assertion_flat_check: STRING
constant attribute
top
fz_begin_c_compile: STRING
constant attribute
top
fz_boost: STRING
constant attribute
top
fz_check: STRING
constant attribute
top
fz_class: STRING
constant attribute
top
fz_cluster: STRING
constant attribute
top
fz_create: STRING
constant attribute
top
fz_creation: STRING
constant attribute
top
fz_debug: STRING
constant attribute
top
fz_default: STRING
constant attribute
top
fz_deferred: STRING
constant attribute
top
fz_do: STRING
constant attribute
top
fz_else: STRING
constant attribute
top
fz_elseif: STRING
constant attribute
top
fz_end: STRING
constant attribute
top
fz_end_c_compile: STRING
constant attribute
top
fz_ensure: STRING
constant attribute
top
fz_exclude: STRING
constant attribute
top
fz_expanded: STRING
constant attribute
top
fz_export: STRING
constant attribute
top
fz_external: STRING
constant attribute
top
fz_false: STRING
constant attribute
top
fz_feature: STRING
constant attribute
top
fz_from: STRING
constant attribute
top
fz_frozen: STRING
constant attribute
top
fz_generate: STRING
constant attribute
top
fz_if: STRING
constant attribute
top
fz_include: STRING
constant attribute
top
fz_indexing: STRING
constant attribute
top
fz_infix: STRING
constant attribute
top
fz_inherit: STRING
constant attribute
top
fz_insert: STRING
constant attribute
top
fz_inline: STRING
constant attribute
top
fz_inspect: STRING
constant attribute
top
fz_invariant: STRING
constant attribute
top
fz_is: STRING
constant attribute
top
fz_like: STRING
constant attribute
top
fz_local: STRING
constant attribute
top
fz_loop: STRING
constant attribute
top
fz_no: STRING
constant attribute
top
fz_obsolete: STRING
constant attribute
top
fz_old: STRING
constant attribute
top
fz_once: STRING
constant attribute
top
fz_option: STRING
constant attribute
top
fz_prefix: STRING
constant attribute
top
fz_redefine: STRING
constant attribute
top
fz_rename: STRING
constant attribute
top
fz_require: STRING
constant attribute
top
fz_rescue: STRING
constant attribute
top
fz_retry: STRING
constant attribute
top
fz_runtime: STRING
constant attribute
top
fz_separate: STRING
constant attribute
top
fz_reference: STRING
constant attribute
top
fz_then: STRING
constant attribute
top
fz_trace: STRING
constant attribute
top
fz_true: STRING
constant attribute
top
fz_undefine: STRING
constant attribute
top
fz_unique: STRING
constant attribute
top
fz_until: STRING
constant attribute
top
fz_use: STRING
constant attribute
top
fz_variant: STRING
constant attribute
top
fz_when: STRING
constant attribute
top
fz_yes: STRING
constant attribute
top
fz_cad: STRING
constant attribute
top
fz_dtideena: STRING
constant attribute
top
fz_error_stars: STRING
constant attribute
top
fz_jvm_error: STRING
constant attribute
top
fz_vuar4: STRING
constant attribute
top
fz_bin: STRING
constant attribute
top
fz_c_shift_left: STRING
constant attribute
top
fz_c_shift_right: STRING
constant attribute
top
fz_install: STRING
constant attribute
top
fz_jobs: STRING
constant attribute
top
fz_no_check: STRING
constant attribute
top
fz_none: STRING
constant attribute
top
fz_smarteiffel: STRING
constant attribute
top
fz_seconf: STRING
constant attribute
top
the environment name pointing on the config file
fz_se_runtime: STRING
constant attribute
top
fz_system_se: STRING
constant attribute
top
fz_section_java: STRING
constant attribute
top
fz_section_java_jar: STRING
constant attribute
top
fz_section_java_jvm: STRING
constant attribute
top
fz_section_java_java_compiler: STRING
constant attribute
top
fz_section_java_classpath: STRING
constant attribute
top
fz_conf_general: STRING
constant attribute
top
fz_conf_loadpath: STRING
constant attribute
top
fz_conf_environment: STRING
constant attribute
top
since version 2
fz_conf_se_tools: STRING
constant attribute
top
since version 3
fz_conf_java: STRING
constant attribute
top
since version 3
fz_conf_bin: STRING
constant attribute
top
fz_conf_lib: STRING
constant attribute
top
fz_conf_sys: STRING
constant attribute
top
fz_conf_short: STRING
constant attribute
top
fz_conf_tools: STRING
constant attribute
top
fz_conf_os: STRING
constant attribute
top
fz_conf_flavor: STRING
constant attribute
top
fz_conf_jobs: STRING
constant attribute
top
fz_conf_boost: STRING
constant attribute
top
fz_conf_no_check: STRING
constant attribute
top
fz_conf_require_check: STRING
constant attribute
top
fz_conf_ensure_check: STRING
constant attribute
top
fz_conf_invariant_check: STRING
constant attribute
top
fz_conf_loop_check: STRING
constant attribute
top
fz_conf_all_check: STRING
constant attribute
top
fz_conf_debug_check: STRING
constant attribute
top
fz_conf_flat_check: STRING
constant attribute
top
fz_conf_smarteiffel_options: STRING
constant attribute
top
fz_conf_undefined: STRING
constant attribute
top
fz_conf_tag: STRING
constant attribute
top
fz_conf_compiler_type: STRING
constant attribute
top
fz_conf_compiler_path: STRING
constant attribute
top
fz_conf_linker_path: STRING
constant attribute
top
fz_conf_strip_path: STRING
constant attribute
top
fz_conf_compiler_options: STRING
constant attribute
top
fz_conf_linker_options: STRING
constant attribute
top
fz_conf_cpp_compiler_type: STRING
constant attribute
top
fz_conf_cpp_compiler_path: STRING
constant attribute
top
fz_conf_cpp_compiler_options: STRING
constant attribute
top
fz_conf_cpp_linker_path: STRING
constant attribute
top
fz_conf_cpp_strip_path: STRING
constant attribute
top
fz_conf_cpp_linker_options: STRING
constant attribute
top
fz_conf_java_jar_binary: STRING
constant attribute
top
fz_conf_java_jvm_binary: STRING
constant attribute
top
fz_conf_java_java_compiler: STRING
constant attribute
top