class E_ENSURE
Summary
Overview
creation features
exported features
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.
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
install_memory: REFERENCE[INSTALL]
once function
parser_buffer: PARSER_BUFFER
frozen
once function
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