class WRITABLE_ATTRIBUTE
Summary
Class invariant
Overview
creation features
exported features
The known keys of the INI file:
specialized_feature_stamp: FEATURE_STAMP
writable attribute
The good feature_stamp for the feature in some type (unrelated to like_what due to renamings).
has_been_specialized: BOOLEAN
effective function
side_effect_free (target_type: TYPE): BOOLEAN
effective function
Assuming that it is a final call (See comment in code.)
use_current (type: TYPE): BOOLEAN
effective function
accept (visitor: WRITABLE_ATTRIBUTE_VISITOR)
effective procedure
Accept to be visited by the visitor.
pretty
effective procedure
end_comment: COMMENT
writable attribute
result_type: TYPE_MARK
writable attribute
Result type if any.
is_deferred: BOOLEAN
constant attribute
Is it a deferred feature ?
is_attribute: BOOLEAN
constant attribute
obsolete_mark: MANIFEST_STRING
writable attribute
The obsolete mark if any.
rescue_compound: INSTRUCTION
frozen
effective function
Not Void if any.
set_rescue_compound (instruction: INSTRUCTION)
frozen
effective procedure
set_ensure_assertion (e_ensure: E_ENSURE)
frozen
effective procedure
arguments: FORMAL_ARG_LIST
frozen
effective function
Arguments if any.
feature_text: FEATURE_TEXT
writable attribute
Back-link to the corresponding written one.
class_text: CLASS_TEXT
effective function
The class where the feature is really written.
clients: CLIENT_LIST
effective function
Authorized clients list of the corresponding feature clause in the base definition class.
effective function
All the names of the feature.
header_comment: COMMENT
writable attribute
Header comment for a routine or following comment for an attribute.
require_assertion: E_REQUIRE
writable attribute
Not Void if any.
ensure_assertion: E_ENSURE
writable attribute
Not Void if any.
sedb_trace_before_exit: POSITION
frozen
effective function
class_text_name: CLASS_NAME
frozen
effective function
Name of the class where the feature is really written.
first_name: FEATURE_NAME
frozen
effective function
start_position: POSITION
frozen
effective function
obsolete_warning_check (type: TYPE, caller: POSITION)
frozen
effective procedure
set_header_comment (hc: COMMENT)
frozen
effective procedure
is_once_function: BOOLEAN
frozen
effective function
(Just to be able to write assertions.)
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