expanded class POSITION
Summary
Overview
exported features
  • infix "<=" (other: POSITION): BOOLEAN
    Is Current less than or equal other?
  • infix ">" (other: POSITION): BOOLEAN
    Is Current strictly greater than other?
  • infix ">=" (other: POSITION): BOOLEAN
    Is Current greater than or equal than other?
  • in_range (lower: POSITION, upper: POSITION): BOOLEAN
    Return True if Current is in range [lower..upper]
    See also min, max, compare.
  • compare (other: POSITION): INTEGER_32
    If current object equal to other, 0 if smaller, -1; if greater, 1.
  • three_way_comparison (other: POSITION): INTEGER_32
    If current object equal to other, 0 if smaller, -1; if greater, 1.
  • min (other: POSITION): POSITION
    Minimum of Current and other.
  • max (other: POSITION): POSITION
    Maximum of Current and other.
The known keys of the INI file:
class_text: CLASS_TEXT
effective function
The corresponding one which may be Void for example when is_unknown or when parsing a -cecil file or the ACE file.
line: INTEGER_32
effective function
The corresponding line number in the source file or 0 when is_unknown.
column: INTEGER_32
effective function
The column number in the source file or 0 when is_unknown or when there is not enough space in mangling for the column.
class_text_name: CLASS_NAME
effective function
The corresponding one when already loaded by the eiffel_parser.
path: STRING
effective function
The corresponding file path or Void when is_unknown.
is_unknown: BOOLEAN
effective function
True when the Current as the default value (not set).
before (other: POSITION): BOOLEAN
effective function
Is Current position strictly before other (which is in the same source text file).
sedb_trace: BOOLEAN
effective function
Is the run-time trace mechanism activated for this position?
append_in (buffer: STRING)
effective procedure
set_class_text (ct: CLASS_TEXT)
effective procedure
Note: this routine may be used to create implicit Eiffel code (code which does not exists).
infix "<" (other: POSITION): BOOLEAN
effective function
Is Current strictly less than other?
is_equal (other: POSITION): BOOLEAN
effective function
Is other attached to an object considered equal to current object?
same_line_as (other: POSITION): BOOLEAN
effective function
infix "<=" (other: POSITION): BOOLEAN
effective function
Is Current less than or equal other?
infix ">" (other: POSITION): BOOLEAN
effective function
Is Current strictly greater than other?
infix ">=" (other: POSITION): BOOLEAN
effective function
Is Current greater than or equal than other?
in_range (lower: POSITION, upper: POSITION): BOOLEAN
effective function
Return True if Current is in range [lower..upper]
See also min, max, compare.
compare (other: POSITION): INTEGER_32
effective function
If current object equal to other, 0 if smaller, -1; if greater, 1.
three_way_comparison (other: POSITION): INTEGER_32
effective function
If current object equal to other, 0 if smaller, -1; if greater, 1.
min (other: POSITION): POSITION
effective function
Minimum of Current and other.
max (other: POSITION): POSITION
effective function
Maximum of Current and other.
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