|
Scala
1.4.0.3 |
|||
Field Summary | |
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 FIRSTPOS: Int
The first position in a source file |
final
|
val LINE_BITS: Int
Number of bits used to encode the line number |
final
|
val LINE_MASK: Int
Mask to decode the line number |
final
|
val NOPOS: Int
The undefined position |
Method Summary | |
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. |
final
|
def line(pos: Int): Int
Returns the line number of the encoded position. |
final
|
def toString(pos: Int): String
Returns a string representation of the encoded position. |
def toString(): String
|
Field Detail |
final val LINE_BITS: Int
final val COLUMN_BITS: Int
final val LINE_MASK: Int
final val COLUMN_MASK: Int
final val NOPOS: Int
final val FIRSTPOS: Int
Method Detail |
final def encode(line: Int, column: Int): Int
final def line(pos: Int): Int
final def column(pos: Int): Int
final def toString(pos: Int): String
def toString(): String
|
Scala
1.4.0.3 |
|||