OffsetPosition
OffsetPosition
is a standard class for positionsrepresented as offsets into a source
document
.- Value Params
- offset
-
The offset indicating the position
- source
-
The source document
- Companion
- object
Value members
Methods
The contents of the line numbered at the current offset.
- Returns
-
the line at
offset
(not including a newline)
Returns a string representation of the
Position
, of the form line.column
.- Definition Classes
- Position -> Any
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
- Definition Classes
Inherited methods
Returns a more
More precisely, the resulting string consists of two lines:
1. the line in the document referred to by this position
2. a caret indicating the column
visual
representation of this position.More precisely, the resulting string consists of two lines:
1. the line in the document referred to by this position
2. a caret indicating the column
Example:
{{{
List(this, is, a, line, from, the, document)
^
}}}
{{{
List(this, is, a, line, from, the, document)
^
}}}
- Inhertied from
- Position