|
Scala 2
v2.1.3 |
object
Position
extends
java.lang.Object with
scala.ScalaObjectConstructor Summary | |
def
this
|
Def Summary | |
final
|
def
column
( pos : scala.Int )
: scala.Int
Returns the column number of the encoded position. |
final
|
def
encode
( line : scala.Int , column : scala.Int )
: scala.Int
Encodes a position into a single integer. |
final
|
def
line
( pos : scala.Int )
: scala.Int
Returns the line number of the encoded position. |
def
toString
( pos : scala.Int )
: java.lang.String
Returns a string representation of the encoded position. |
Constructor Detail |
def
this
Def Detail |
def
column
( pos : scala.Int ) : scala.Int
def
encode
( line : scala.Int , column : scala.Int ) : scala.Int
def
line
( pos : scala.Int ) : scala.Int
def
toString
( pos : scala.Int ) : java.lang.String