The end of the position's range, error if not a range position
The end of the position's range, error if not a range position
The end of the position's range, or point if not a range position
The end of the position's range, or point if not a range position
If this is a range position, the offset position of its point.
If this is a range position, the offset position of its point. Otherwise the position itself
If this is a range position, the offset position of its end.
If this is a range position, the offset position of its end. Otherwise the position itself
If this is a range position, the offset position of its start.
If this is a range position, the offset position of its start. Otherwise the position itself
Map this position to a position in an original source file.
Map this position to a position in an original source file. If the SourceFile is a normal SourceFile, simply return this.
Does this position include the given position pos
.
Does this position include the given position pos
.
This holds if this
is a range position and its range [start..end]
is the same or covers the range of the given position, which may or may not be a range position.
Is this position neither a NoPosition nor a FakePosition? If isDefined is true, offset and source are both defined.
Is this position neither a NoPosition nor a FakePosition? If isDefined is true, offset and source are both defined.
Is this position a non-transparent range position?
Is this position a non-transparent range position?
Is this position a range position?
Is this position a range position?
Is this position a transparent position?
Is this position a transparent position?
if opaque range, make this position transparent
if opaque range, make this position transparent
Does this position overlap with that position? This holds if both positions are ranges and there is an interval of non-zero length that is shared by both position ranges.
Does this position overlap with that position? This holds if both positions are ranges and there is an interval of non-zero length that is shared by both position ranges.
The point (where the ^ is) of the position
The point (where the ^ is) of the position
The point (where the ^ is) of the position, or else default' if undefined
The point (where the ^ is) of the position, or else default' if undefined
Does this position precede that position? This holds if both positions are defined and the end point of this position is not larger than the start point of the given position.
Does this position precede that position? This holds if both positions are defined and the end point of this position is not larger than the start point of the given position.
Does this position properly include the given position pos
("properly" meaning their
ranges are not the same)?
Does this position properly include the given position pos
("properly" meaning their
ranges are not the same)?
Does this position properly precede the given position pos
("properly" meaning their ranges
do not share a common point).
Does this position properly precede the given position pos
("properly" meaning their ranges
do not share a common point).
Does this position cover the same range as that position? Holds only if both position are ranges
Does this position cover the same range as that position? Holds only if both position are ranges
An optional value containing the source file referred to by this position, or None if not defined.
An optional value containing the source file referred to by this position, or None if not defined.
The start of the position's range, error if not a range position
The start of the position's range, error if not a range position
The start of the position's range, or point if not a range position
The start of the position's range, or point if not a range position
Convert this to a position around point
that spans a single source line
Convert this to a position around point
that spans a single source line
If this is a range, the union with the other range, with the point of this position.
If this is a range, the union with the other range, with the point of this position. Otherwise, this position
The same position with a different end value (if a range)
The same position with a different end value (if a range)
The same position with a different point value (if a range or offset)
The same position with a different point value (if a range or offset)
The same position with a different source value, and its values shifted by given offset
The same position with a different source value, and its values shifted by given offset
The same position with a different start value (if a range)
The same position with a different start value (if a range)
use point instead
use productIterator instead