class FEATURE_STAMP
Summary
Class invariant
Overview
creation features
exported features
  • is_equal (other: FEATURE_STAMP): BOOLEAN
    Is other attached to an object considered equal to current object?
The known keys of the INI file:
writable attribute
The corresponding unique one for this name.
has_anonymous_feature_for (a_type: TYPE): BOOLEAN
effective function
has_type (a_type: TYPE): BOOLEAN
effective function
hash_code: INTEGER_32
writable attribute
The hash-code value of Current.
accept (visitor: FEATURE_STAMP_VISITOR)
effective procedure
Accept to be visited by the visitor.
has_root (type: TYPE): BOOLEAN
effective function
anonymous_feature (a_type: TYPE): ANONYMOUS_FEATURE
effective function
resolve_static_binding_for (declaration_type: TYPE, new_type: TYPE): FEATURE_STAMP
effective function
Assuming that name is the feature called in declaration_type, looks for the corresponding one to be called in new_type.
no_rename: BOOLEAN
effective function
specialize_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE): FEATURE_STAMP
effective function
is_equal (other: FEATURE_STAMP): BOOLEAN
deferred function
Is other attached to an object considered equal to current object?
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