Scala Library
|
|
class
CharArrayPosition(val
source : Array[Char], val
line : Int, val
column : Int)
extends
PositionCharArrayPosition
implements the general Position
class for documents represented by an Array
of `char's.source -
The contents of the document in which this position is containedline -
The line number of the position (1-based)columm -
The column number of the position (1-based)Method Summary | |
protected def
|
lineContents
: java.lang.String
The contents of the line numbered `lnum' (must not contain a new-line character).
|
Methods inherited from Position | |
toString, longString, < |
Methods inherited from AnyRef | |
getClass, hashCode, equals, clone, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized |
Methods inherited from Any | |
==, !=, isInstanceOf, asInstanceOf |
Method Details |
protected
def
lineContents : java.lang.String
lnum -
a 1-based integer index into the `document'
Scala Library
|
|