NoPosition
Undefined position.
Attributes
- Graph
-
- Supertypes
- Self type
-
NoPosition.type
Members list
Value members
Concrete methods
The column number referred to by the position; column numbers start at 1.
The column number referred to by the position; column numbers start at 1.
Attributes
The line number referred to by the position; line numbers start at 1.
The line number referred to by the position; line numbers start at 1.
Attributes
The contents of the line at this position. (must not contain a new-line character).
The contents of the line at this position. (must not contain a new-line character).
Attributes
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
- a caret indicating the column
Example:
List(this, is, a, line, from, the, document)
^
Attributes
- Definition Classes
Inherited methods
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.
Value parameters
- `that`
-
a
Positionto compare to thisPosition
Attributes
- Returns
-
true if this position's line number or (in case of equal line numbers) column is smaller than the corresponding components of
that - Inherited from:
- Position
Compare this position to another, checking for equality.