Position

The object Position provides convenience methods to encode line and column number in one single integer. The encoded line (column) numbers range from 0 to LINE_MASK (COLUMN_MASK), where 0 indicates that the line (column) is undefined and 1 represents the first line (column).

Line (Column) numbers greater than LINE_MASK (COLUMN_MASK) are replaced by LINE_MASK (COLUMN_MASK). Furthermore, if the encoded line number is LINE_MASK, the column number is always set to 0.

The following properties hold:

the undefined position is 0: encode(0,0) == 0 encodings are non-negative : encode(line,column) >= 0 position order is preserved:

(line1 <= line2) || (line1 == line2 && column1 <= column2)

implies

encode(line1,column1) <= encode(line2,column2)

Annotations: @deprecated
Deprecated: (Since version 2.10.0) This class will be removed.
Source: Position.scala

Linear Supertypes

AnyRef, Any

Known Subclasses

Position, RelaxedPosition

Type Hierarchy Learn more about scaladoc diagrams

Instance Constructors

new Position()

Abstract Value Members

abstract def checkInput(line: Int, column: Int): Unit

Definable behavior for overflow conditions.

Concrete 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 +(other: String): String

Implicit information
This member is added by an implicit conversion from Position to StringAdd[Position] performed by method StringAdd in scala.Predef.
Definition Classes
StringAdd
def ->[B](y: B): (Position, B)

Implicit information
This member is added by an implicit conversion from Position to ArrowAssoc[Position] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
final def ==(arg0: AnyRef): Boolean

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

Definition Classes
Any
final val COLUMN_BITS: Int

Number of bits used to encode the column number
final val COLUMN_MASK: Int

Mask to decode the column number
final val LINE_BITS: Int(20)

Number of bits used to encode the line number
final val LINE_MASK: Int

Mask to decode the line number
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

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

Returns the column number of the encoded position.
final def encode(line: Int, column: Int): Int

Encodes a position into a single integer.
def ensuring(cond: (Position) ⇒ Boolean, msg: ⇒ Any): Position

Implicit information
This member is added by an implicit conversion from Position to Ensuring[Position] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: (Position) ⇒ Boolean): Position

Implicit information
This member is added by an implicit conversion from Position to Ensuring[Position] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean, msg: ⇒ Any): Position

Implicit information
This member is added by an implicit conversion from Position to Ensuring[Position] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean): Position

Implicit information
This member is added by an implicit conversion from Position to Ensuring[Position] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws()
def formatted(fmtstr: String): String

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).

Implicit information
This member is added by an implicit conversion from Position to StringFormat[Position] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

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

Definition Classes
Any
final def line(pos: Int): Int

Returns the line number of the encoded position.
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(pos: Int): String

Returns a string representation of the encoded position.
def toString(): String

Definition Classes
AnyRef → Any
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()
def →[B](y: B): (Position, B)

Implicit information
This member is added by an implicit conversion from Position to ArrowAssoc[Position] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc

abstract class Position extends AnyRef

Instance Constructors

new Position()

Abstract Value Members

abstract def checkInput(line: Int, column: Int): Unit

Concrete Value Members

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

final val COLUMN_BITS: Int

final val COLUMN_MASK: Int

final val LINE_BITS: Int(20)

final val LINE_MASK: Int

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def column(pos: Int): Int

final def encode(line: Int, column: Int): Int

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

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def line(pos: Int): Int

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

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

def toString(pos: Int): String

def toString(): String

final def wait(): Unit

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

final def wait(arg0: Long): Unit

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

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion StringAdd from Position to StringAdd[Position]

Inherited by implicit conversion StringFormat from Position to StringFormat[Position]

Inherited by implicit conversion Ensuring from Position to Ensuring[Position]

Inherited by implicit conversion ArrowAssoc from Position to ArrowAssoc[Position]

Ungrouped