trait Position extends AnyRef
Position
is the base trait for objects describing a position in a document
.
It provides functionality for:
- 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.
- Source
- Position.scala
- Alphabetic
- By Inheritance
- Position
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Abstract Value Members
Concrete Value Members
-
def
<(that: Position): Boolean
Compare this position to another, by first comparing their line numbers, and then -- if necessary -- using the columns to break a tie.
Compare this position to another, by first comparing their line numbers, and then -- if necessary -- using the columns to break a tie.
- returns
true if this position's line number or (in case of equal line numbers) column is smaller than the corresponding components of
that
-
def
longString: String
Returns a more
visual representation of this position. More precisely, the resulting string consists of two lines:
Returns a more
visual representation of this position. More precisely, the resulting string consists of two lines:
- 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) ^
-
def
toString(): String
Returns a string representation of the
Position
, of the formline.column
.Returns a string representation of the
Position
, of the formline.column
.- Definition Classes
- Position → AnyRef → Any