class SMART_EIFFEL
Summary
Class invariant
Overview
features
To get a TYPE:
  • 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:
copyright: STRING
once function
release_number: STRING
constant attribute
status: STATUS
once function
is_ready: BOOLEAN
effective function
Is all the live code already gathered
short_or_class_check_flag: BOOLEAN
writable attribute
True when command short or command class_check is running.
pretty_flag: BOOLEAN
writable attribute
True when command pretty is running.
no_id: BOOLEAN
writable attribute
True when the ids file has not to be read.
cluster_of (class_name: CLASS_NAME, report_error: BOOLEAN): CLUSTER
effective function
Retrieve the cluster of the class name.
cluster_named (cluster_name: STRING): CLUSTER
effective function
Retrieve the cluster by its name
class_text (class_name: CLASS_NAME, report_error: BOOLEAN): CLASS_TEXT
effective function
Retrieve the corresponding memorized one or launch the eiffel_parser if the class_name class is not yet loaded.
loaded_class_text (class_name: CLASS_NAME): CLASS_TEXT
effective function
Retrieve the corresponding memorized one if already loaded.
class_text_in_cluster (class_name: CLASS_NAME, report_error: BOOLEAN, cluster: CLUSTER): CLASS_TEXT
effective function
Retrieve the corresponding memorized one or launch the eiffel_parser if the class_name class is not yet loaded.
same_base_feature (up_rf: RUN_FEATURE, run_time_set: RUN_TIME_SET): BOOLEAN
effective function
True when all dynamic features of the run_time_set have excately the same final name and refer exactely to the same base_feature.
stupid_switch (t: TYPE_MARK, run_time_set: RUN_TIME_SET): BOOLEAN
effective function
True when t drives exactely to the same t.run_type for all element of the run_time_set.
generating_type_used: BOOLEAN
writable attribute
When ANY generating_type is used.
generator_used: BOOLEAN
writable attribute
When ANY generator is used.
deep_twin_used: BOOLEAN
writable attribute
When deep_twin support is necessary.
accumulating_type: TYPE
effective function
Service provided for debugging purpose only
unknown_feature_fatal_error (target_expression: EXPRESSION, target_type: TYPE, fn: FEATURE_NAME)
effective procedure
(This feature is placed here to standardize all error messages of this kind.)
analyze_class (cn: CLASS_NAME, c: CLUSTER): CLASS_TEXT
effective function
free_inline_memo: FAST_ARRAY[INLINE_MEMO]
once function
get_inline_memo: INLINE_MEMO
effective function
dispose_inline_memo (im: INLINE_MEMO)
effective procedure
vffd7_fatal_error (sp: POSITION)
effective procedure
root_procedure: RUN_FEATURE_3
writable attribute
The root procedure of the system to compile.
class_text_for_pretty (file_path: STRING, class_name: CLASS_NAME): CLASS_TEXT
effective function
remove_loaded_class (ct: CLASS_TEXT)
effective procedure
Removed the already loaded ct in order to allow pretty to parse again the generated file to check that the newly created file is syntactically correct.
find_paths_for (class_name: HASHED_STRING): FAST_ARRAY[CLASS_TEXT]
effective function
Finds the path to any class having the given class_name
effective procedure
set_short_or_class_check_flag
effective procedure
set_pretty_flag
effective procedure
set_no_id
effective procedure
class_text_count: INTEGER_32
effective function
Total number of class text actually loaded.
compile (backend: CODE_PRINTER)
effective procedure
Produce some code for root_class/procedure.
customize_runtime
effective procedure
run_features: FAST_ARRAY[RUN_FEATURE]
writable attribute
All the known features just prior the generation itself
class_invariants: FAST_ARRAY[LIVE_TYPE]
writable attribute
All the known types having an invariant during the generation
agent_creations: FAST_ARRAY[AGENT_CREATION]
writable attribute
All the known agent creations during the generation
agent_switches: FAST_ARRAY[TYPE]
writable attribute
All the known agent switches during the generation
type_dictionary: DICTIONARY[TYPE, HASHED_STRING]
once function
When looking for a TYPE using it's name (ie. FOO[BAR] is stored at key whith name "FOO[BAR]").
magic_count: INTEGER_32
writable attribute
Grow each time a new run class is added, each time a new class is loaded, each time a new feature is checked, each time another expression is optimized, etc.
magic_count_increment
effective procedure
simplify_done: BOOLEAN
writable attribute
After optimizations, some code may be turned into invalid eiffel code.
live_type_map: FAST_ARRAY[LIVE_TYPE]
once function
collect (type: TYPE, fs: FEATURE_STAMP, at_run_time: BOOLEAN): TYPE
effective function
The Result is not Void when fs is actually a function (see ensure).
collect_local_expanded (type: TYPE)
effective procedure
Make live the given type.
collect_constant (type: TYPE)
effective procedure
Make live the given type (of a constant)
collect_external (type: TYPE)
effective procedure
Make live the given type (of an external function)
collect_assertion (type: TYPE)
effective procedure
Make live the given type (of an assertion)
collect_create (type: TYPE)
effective procedure
collect_generic (type: TYPE)
effective procedure
collect_se_atexit (type: TYPE)
effective procedure
se_atexit_stamp: FEATURE_STAMP
writable attribute
se_atexit_id: INTEGER_32
writable attribute
collected_external_functions: FAST_ARRAY[NON_VOID_NO_DISPATCH]
once function
collect_external_function (non_void_no_dispatch: NON_VOID_NO_DISPATCH, fs: FEATURE_STAMP, type: TYPE)
effective procedure
collect_precomputable (type: TYPE, fs: FEATURE_STAMP)
effective procedure
collect_cecil_entry (type: TYPE, fs: FEATURE_STAMP, is_creation: BOOLEAN)
effective procedure
argument_count_check (call_site: POSITION, af: ANONYMOUS_FEATURE, actual_args: EFFECTIVE_ARG_LIST)
effective procedure
Check that the number of arguments of af is compatible with actual_args.
long_type_name (type_name: HASHED_STRING, type_cluster: CLUSTER): HASHED_STRING
effective function
collect_one_type (type: TYPE, at_run_time: BOOLEAN): LIVE_TYPE
effective function
Make live the given type.
context_feature: ANONYMOUS_FEATURE
effective function
push_context (af: ANONYMOUS_FEATURE)
effective procedure
pop_context (af: ANONYMOUS_FEATURE)
effective procedure
context_feature_stack: STACK[ANONYMOUS_FEATURE]
once function
We really need a stack.
is_tagged (lt: LIVE_TYPE): BOOLEAN
effective function
weak_reference_used: BOOLEAN
effective function
Is the WEAK_REFERENCE class used?

specializing_feature_local_var_list: LOCAL_VAR_LIST
writable attribute
set_specializing_feature_variables (lvl: LOCAL_VAR_LIST)
effective procedure
type_to_be_created: HASHED_STRING
writable attribute
create_type (static_type: TYPE_MARK): TYPE
effective function
Create a type.
lock_type_creation (t: HASHED_STRING): BOOLEAN
effective function
type_any_memory: TYPE
writable attribute
type_boolean_memory: TYPE
writable attribute
type_character_memory: TYPE
writable attribute
type_string_memory: TYPE
writable attribute
type_unicode_string_memory: TYPE
writable attribute
type_pointer_memory: TYPE
writable attribute
type_integer_8_memory: TYPE
writable attribute
type_integer_16_memory: TYPE
writable attribute
type_integer_32_memory: TYPE
writable attribute
type_integer_64_memory: TYPE
writable attribute
type_real_32_memory: TYPE
writable attribute
type_real_64_memory: TYPE
writable attribute
type_real_extended_memory: TYPE
writable attribute
type_any: TYPE
effective function
type_boolean: TYPE
effective function
type_character: TYPE
effective function
type_string: TYPE
effective function
type_unicode_string: TYPE
effective function
type_pointer: TYPE
effective function
type_integer_8: TYPE
effective function
type_integer_16: TYPE
effective function
type_integer_32: TYPE
effective function
type_integer_64: TYPE
effective function
type_internals_handler_if_exists: TYPE
effective function
type_real_32: TYPE
effective function
type_real_64: TYPE
effective function
type_real_extended: TYPE
effective function
unlock_type_creation (t: HASHED_STRING): BOOLEAN
effective function
has_type (static_type: TYPE_MARK): BOOLEAN
effective function
get_type (static_type: TYPE_MARK): TYPE
effective function
get_array_type (gen_type: TYPE, pos: POSITION): TYPE
effective function
Returns the ARRAY[gen_type] type
tuple_class_not_found_fatal_error (class_name: CLASS_NAME)
effective procedure
Because there is a special trick for TUPLE related classes.
get_type_for_non_generic (non_generic_static_type: TYPE_MARK): TYPE
effective function
Just an optimized version of get_type.
dispatch_special (type: TYPE, a_feature_stamp: FEATURE_STAMP): STRING
effective function
For some very special cases, we must not use switch.
any_c_inline_c_feature_stamp: FEATURE_STAMP
once function
any_c_inline_h_feature_stamp: FEATURE_STAMP
once function
feature_stamp_of (class_name: STRING, feature_name: STRING): FEATURE_STAMP
effective function
feature_stamp (type: TYPE, feature_name: STRING): FEATURE_STAMP
effective function
memory_dispose_stamp: FEATURE_STAMP
once function
Feature stamp of {DISPOSABLE}.dispose
manifest_creation_name: FEATURE_NAME
once function
feature name of {ANY}.manifest_creation
register_type (t: TYPE)
effective procedure
register_live_type (lt: LIVE_TYPE)
effective procedure
very_last_information
effective procedure
id_extra_information (tfw: TEXT_FILE_WRITE, name: HASHED_STRING, cluster: CLUSTER)
effective procedure
covariance_check (call_site: POSITION, up_rf: RUN_FEATURE, run_time_set: RUN_TIME_SET)
effective procedure
register_old (e_old: E_OLD)
effective procedure
old_list: FAST_ARRAY[E_OLD]
writable attribute
Non Void when some E_OLD have been gathered.
get_and_clear_old_list: FAST_ARRAY[E_OLD]
effective function
local_profile
effective procedure
start_profile (rf: RUN_FEATURE)
effective procedure
start_profile_class_invariant (t: LIVE_TYPE)
effective procedure
start_profile_agent_creation (ac: AGENT_CREATION)
effective procedure
start_profile_agent_switch (t: TYPE)
effective procedure
stop_profile
effective procedure
collected_plug_in: SET[NATIVE_PLUG_IN]
once function
register_plug_in (native_plug_in: NATIVE_PLUG_IN)
effective procedure
set_deep_twin_used
effective procedure
set_generating_type_used
effective procedure
set_generator_used
effective procedure
parse_include (include_name: STRING)
effective procedure
register_run_feature (rf: RUN_FEATURE)
effective procedure
registered (rf: RUN_FEATURE): BOOLEAN
effective function
initialize_any_tuple
once procedure
Some tools have to call this initialize_any_tuple once routine.
register_class_invariant (t: LIVE_TYPE)
effective procedure
register_agent_creation (ac: AGENT_CREATION)
effective procedure
register_agent_switch (t: TYPE)
effective procedure
simplify_integer_infix_power (call_site: POSITION, target: EXPRESSION, exponent: EXPRESSION): INTEGER_CONSTANT
effective function
Static simplification of {INTEGER_GENERAL}.infix "^" is here to be shared for static_simplify and simplify.
is_at_run_time (a_class_name: STRING): BOOLEAN
effective function
Pure query to know if the STRING type is used and is at_run_time?
echo_magic_count (msg: STRING)
effective procedure
get_started (root_class_name: STRING, root_procedure_name: STRING)
effective procedure
Get started to compile using creation procedure root_procedure_name of class text root_class_name.
collect_from_root (root_type: TYPE, root_feature: FEATURE_STAMP)
effective procedure
do_one_collect_cycle
effective procedure
collect_deep_features
effective procedure
safety_check
effective procedure
Start final whole system analysis to decide whether this system is safe or not.
optimize (root_type: TYPE, root_feature: FEATURE_STAMP)
effective procedure
set_simplify_done
effective procedure
simplify
effective procedure
contextual_simplify
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
is_real_singleton: BOOLEAN
effective function
singleton_memory_pool: HASHED_DICTIONARY[POINTER, STRING]
once function
This pool is unique in the whole system.
current_is_not_an_expanded_type: BOOLEAN
effective function
Check that the dynamic type of the SINGLETON is not an expanded type.