class PROC_CALL_0
Summary
Class invariant
Overview
creation features
exported features
The known keys of the INI file:
arg_count: INTEGER_32
constant attribute
The arguments count or 0.
arguments: EFFECTIVE_ARG_LIST
effective function
Arguments of the call if any.
set_arguments (a: EFFECTIVE_ARG_LIST)
effective procedure
specialize_in (type: TYPE): PROC_CALL_0
effective function
--------- Duplicate code call_0/proc_call_0 -----------
specialize_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE): PROC_CALL_0
effective function
--------- Duplicate code call_0/proc_call_0 -----------
specialize_2 (type: TYPE): PROC_CALL_0
effective function
--------- Duplicate code call_0/proc_call_0 -----------
simplify (type: TYPE): INSTRUCTION
frozen
effective function
May return Current, Void or a simplified version of Current.
compile_to_jvm (type: TYPE)
effective procedure
accept (visitor: PROC_CALL_0_VISITOR)
effective procedure
Accept to be visited by the visitor.
pretty (indent_level: INTEGER_32)
frozen
effective procedure
collect (type: TYPE)
frozen
effective procedure
(See comment of {EXPRESSION}.collect.)
has_been_specialized: BOOLEAN
frozen
effective 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).
compile_to_c (type: TYPE)
frozen
effective procedure
For an INSTRUCTION, produce the corresponding C code.
end_mark_comment: BOOLEAN
constant attribute
True for instructions which may have a possible "end" mark comment.
adapt_for (t: TYPE): PROC_CALL_0
deferred function
(See comment of {EXPRESSION}.adapt_for.)
is_not_a_compound: BOOLEAN
frozen
effective function
Mostly for assertion checks.
start_position: POSITION
deferred function
Of the left-most character of Current.
specialize_2_without_checks (type: TYPE): CODE
effective function
Perform specialize_2 without checking the validity (export violations, ...)
side_effect_free (type: TYPE): BOOLEAN
deferred 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).
use_current (type: TYPE): BOOLEAN
deferred function
Is Current used?
safety_check (type: TYPE)
deferred 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
feature_stamp: FEATURE_STAMP
writable attribute
The good feature_stamp for the feature in some type (unrelated to like_what due to renamings).
target: EXPRESSION
writable attribute
Target of the call.
feature_name: FEATURE_NAME
writable attribute
Written selector name of the call.