class FEATURE_NAME
Summary
Class invariant
Overview
creation features
exported features
  • infix "<=" (other: FEATURE_NAME): BOOLEAN
    Is Current less than or equal other?
  • infix ">" (other: FEATURE_NAME): BOOLEAN
    Is Current strictly greater than other?
  • infix ">=" (other: FEATURE_NAME): BOOLEAN
    Is Current greater than or equal than other?
  • in_range (lower: FEATURE_NAME, upper: FEATURE_NAME): BOOLEAN
    Return True if Current is in range [lower..upper]
    See also min, max, compare.
  • compare (other: FEATURE_NAME): INTEGER_32
    If current object equal to other, 0 if smaller, -1; if greater, 1.
  • three_way_comparison (other: FEATURE_NAME): INTEGER_32
    If current object equal to other, 0 if smaller, -1; if greater, 1.
  • min (other: FEATURE_NAME): FEATURE_NAME
    Minimum of Current and other.
  • max (other: FEATURE_NAME): FEATURE_NAME
    Maximum of Current and other.
The known keys of the INI file:
start_position: POSITION
writable attribute
Of the first character.
writable attribute
The unique corresponding one.
hash_code: INTEGER_32
effective function
The hash-code value of Current.
to_string: STRING
effective function
The corresponding name (alone in a STRING).
is_equal (other: FEATURE_NAME): BOOLEAN
effective function
Is other attached to an object considered equal to current object?
infix "<" (other: FEATURE_NAME): BOOLEAN
effective function
Is Current strictly less than other?
is_frozen: BOOLEAN
effective function
is_simple_feature_name: BOOLEAN
effective function
is_infix_name: BOOLEAN
effective function
is_prefix_name: BOOLEAN
effective function
infix_or_prefix: STRING
effective function
Return "infix" or "prefix" or Void.
complete_name_in (buffer: STRING)
effective procedure
mapping_c_in (buffer: STRING)
effective procedure
is_free_operator: BOOLEAN
effective function
Note: this feature which checks the correctness of free operator notation is not used by the parser but is defined just to make the assertion code clear and nice.
declaration_in (buffer: STRING)
effective procedure
pretty (indent_level: INTEGER_32)
effective procedure
pretty_target (indent_level: INTEGER_32)
effective procedure
short (type: TYPE)
effective procedure
accept (visitor: FEATURE_NAME_VISITOR)
effective procedure
Accept to be visited by the visitor.
infix "<=" (other: FEATURE_NAME): BOOLEAN
effective function
Is Current less than or equal other?
infix ">" (other: FEATURE_NAME): BOOLEAN
effective function
Is Current strictly greater than other?
infix ">=" (other: FEATURE_NAME): BOOLEAN
effective function
Is Current greater than or equal than other?
in_range (lower: FEATURE_NAME, upper: FEATURE_NAME): BOOLEAN
effective function
Return True if Current is in range [lower..upper]
See also min, max, compare.
compare (other: FEATURE_NAME): INTEGER_32
effective function
If current object equal to other, 0 if smaller, -1; if greater, 1.
three_way_comparison (other: FEATURE_NAME): INTEGER_32
effective function
If current object equal to other, 0 if smaller, -1; if greater, 1.
min (other: FEATURE_NAME): FEATURE_NAME
effective function
Minimum of Current and other.
max (other: FEATURE_NAME): FEATURE_NAME
effective function
Maximum of Current and other.
extra_bracket_flag: BOOLEAN
constant attribute
line: INTEGER_32
frozen
effective function
column: INTEGER_32
frozen
effective function
bracketed_pretty (indent_level: INTEGER_32)
frozen
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