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.
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.