Position
trait Position
Position is the base trait for objects describing a position in a document.It provides functionality for:
- generating a visual representation of this position (
- comparing two positions (
- generating a visual representation of this position (
longString);- comparing two positions (
<).To use this class for a concrete kind of
document, implement the lineContents method.Value members
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)
^
}}}
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
Positionto 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