The column number referred to by the position; column numbers start at 1.
The line number referred to by the position; line numbers start at 1.
The contents of the line at this position.
The contents of the line at this position. (must not contain a new-line character).
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.
true if this position's line number or (in case of equal line numbers)
column is smaller than the corresponding components of that
Returns string formatted according to given format
string.
Returns string formatted according to given format
string.
Format strings are as for String.format
(@see java.lang.String.format).
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:
Example:
List(this, is, a, line, from, the, document) ^
Returns a string representation of the Position
, of the form line.column
.
Returns a string representation of the Position
, of the form line.column
.
Position
is the base trait for objects describing a position in adocument
.It provides functionality for:
longString
);<
).To use this class for a concrete kind of
document
, implement thelineContents
method.