Position

Instance Constructors

new Position(line: Int, column: Int, source: Source)

Value Members

final def !=(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def !=(arg0: Any): Boolean

Definition Classes
Any
final def ##(): Int

Definition Classes
AnyRef → Any
def <=(p: Position): Boolean

Does this position occur at least as late as p? The two positions are assumed to refer to the same source.
Does this position occur at least as late as p? The two positions are assumed to refer to the same source. False is returned if one of the positions is invalid.
final def ==(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def ==(arg0: Any): Boolean

Definition Classes
Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
val column: Int
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
lazy val format: String

Format this position.
Format this position. The result is of the form /foo/bar.txt:2:10: if a source is associated with the position and the source has a name, or of the form 2:10: otherwise. In each case the numbers are line followed by column.
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
val line: Int
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
lazy val optContext: Option[String]

Turn this position into a string that summarises the context of the input referred to by the position.
Turn this position into a string that summarises the context of the input referred to by the position. If the position has a source that provides access to its lines then the context is the line containing the position followed by a line containing a caret pointer. Otherwise, return None.
lazy val optOffset: Option[Int]

Return the offset that this position refers to in its source.
Return the offset that this position refers to in its source. None is returned if the position is not valid for its source.
val source: Source
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

case class Position(line: Int, column: Int, source: Source) extends Product with Serializable

Instance Constructors

new Position(line: Int, column: Int, source: Source)

Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

def <=(p: Position): Boolean

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

val column: Int

final def eq(arg0: AnyRef): Boolean

def finalize(): Unit

lazy val format: String

final def getClass(): Class[_]

final def isInstanceOf[T0]: Boolean

val line: Int

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

lazy val optContext: Option[String]

lazy val optOffset: Option[Int]

val source: Source

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

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped