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