NoPosition
Undefined position.
Value members
Methods
Inherited methods
Compare this position to another, by first comparing their line numbers,
and then -- if necessary -- using the columns to break a tie.
and then -- if necessary -- using the columns to break a tie.
- Value Params
- `that`
-
a
Position
to compare to thisPosition
- Returns
-
true if this position's line number or (in case of equal line numbers)
column is smaller than the corresponding components ofthat
- Inhertied from
- Position