Position

abstract def column: Int

The position indicates a column and the line in the source file.

abstract def end: Int

The end of the position's range, error if not a range position.

abstract def endOrPoint: Int

The end of the position's range, or point if not a range position.

abstract def focus: Pos

If this is a range position, the offset position of its point.

abstract def focusEnd: Pos

If this is a range position, the offset position of its end.

abstract def focusStart: Pos

If this is a range position, the offset position of its start.

abstract def includes(pos: Pos): Boolean

Does this position include the given position pos? This holds if this is a range position and its range [start.

abstract def isDefined: Boolean

Is this position neither a NoPosition nor a FakePosition? If isDefined is true, offset and source are both defined.

abstract def isOpaqueRange: Boolean

Is this position a non-transparent range position?

abstract def isRange: Boolean

Is this position a range position?

abstract def isTransparent: Boolean

Is this position a transparent position?

abstract def line: Int

The position indicates a column and the line in the source file.

abstract def lineContent: String

The content of the line this Position refers to.

abstract def makeTransparent: Pos

If opaque range, make this position transparent.

abstract def overlaps(pos: Pos): Boolean

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.

abstract def point: Int

The point (where the ^ is) of the position, which is easiest to access using the line and column values. The line content is also available.

abstract def pointOrElse(default: Int): Int

The point (where the ^ is) of the position, or else default if undefined.

abstract def pos: Pos

The underlying position

abstract def precedes(pos: Pos): Boolean

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.

abstract def properlyIncludes(pos: Pos): Boolean

Does this position properly include the given position pos ("properly" meaning their ranges are not the same)?

abstract def properlyPrecedes(pos: Pos): Boolean

Does this position properly precede the given position pos ("properly" meaning their ranges do not share a common point).

abstract def sameRange(pos: Pos): Boolean

Does this position cover the same range as that position? Holds only if both position are ranges

abstract def show: String

Show a textual representation of the position.

abstract def source: SourceFile

Java file corresponding to the source file of this position.

abstract def start: Int

The start of the position's range, error if not a range position.

abstract def startOrPoint: Int

The start of the position's range, or point if not a range position.

abstract def toSingleLine: Pos

Convert this to a position around point that spans a single source line

abstract def union(pos: Pos): Pos

If this is a range, the union with the other range, with the point of this position.

abstract def withEnd(off: Int): Pos

The same position with a different end value (if a range).

abstract def withPoint(off: Int): Pos

The same position with a different point value (if a range or offset).

abstract def withPos(newPos: Pos): Attachments { type Pos = Position.this.Pos }

Creates a copy of this attachment with the position replaced by newPos

abstract def withStart(off: Int): Pos

The same position with a different start value (if a range).

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

def ->[B](y: B): (Position, B)

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

def all: Set[Any]

The underlying payload with the guarantee that no two elements have the same type.

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def ensuring(cond: (Position) ⇒ Boolean, msg: ⇒ Any): Position

def ensuring(cond: (Position) ⇒ Boolean): Position

def ensuring(cond: Boolean, msg: ⇒ Any): Position

def ensuring(cond: Boolean): Position

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def formatted(fmtstr: String): String

Returns string formatted according to given format string.

def get[T](implicit arg0: ClassTag[T]): Option[T]

An underlying payload of the given class type T.

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def remove[T](implicit arg0: ClassTag[T]): Attachments { type Pos = Position.this.Pos }

Creates a copy of this attachment with the payload of the given class type T removed.

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

def update[T](attachment: T)(implicit arg0: ClassTag[T]): Attachments { type Pos = Position.this.Pos }

Creates a copy of this attachment with the payload slot of T added/updated with the provided value.

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

def →[B](y: B): (Position, B)