A position indicates a range between a start offset and an end offset. Positions can be synthetic or source-derived. A source-derived position has in addition a point lies somewhere between start and end. The point is roughly where the ^ would go if an error was diagnosed at that position. All quantities are encoded opaquely in a Long.
Constructors
Members
The column of the position, starting at 0
The column of the position, starting at 0
Does the range of this position contain the one of that position?
Does the range of this position contain the one of that position?
The end of this position
The end of this position
The zero-extent position with start and end at the end of this position
The zero-extent position with start and end at the end of this position
Is this position different from NoPosition?
Is this position different from NoPosition?
The zero-extent position with start and end at the point of this position
The zero-extent position with start and end at the point of this position
Is this position source-derived?
Is this position source-derived?
Is this position synthetic?
Is this position synthetic?
The line of the position, starting at 0
The line of the position, starting at 0
The lines of the position
The lines of the position
Extracts the lines from the underlying source file as Array[Char]
Extracts the lines from the underlying source file as Array[Char]
The point of this position, returns start for synthetic positions
The point of this position, returns start for synthetic positions
The difference between point and start in this position
The difference between point and start in this position
A position where all components are shifted by a given offset
relative to this position.
A position where all components are shifted by a given offset
relative to this position.
The start of this position.
The start of this position.
The zero-extent position with start and end at the start of this position
The zero-extent position with start and end at the start of this position
A synthetic copy of this position
A synthetic copy of this position
The union of two positions. This is the least range that encloses both positions. It is always a synthetic position.
The union of two positions. This is the least range that encloses both positions. It is always a synthetic position.
A copy of this position with a different end
A copy of this position with a different end
A copy of this position with a different point
A copy of this position with a different point
A copy of this position with a different start
A copy of this position with a different start