|
Scala Library
|
|
case
class
OffsetPosition(val source : java.lang.CharSequence, val offset : Int)
extends Position with Product
OffsetPosition is a standard class for positions
represented as offsets into a source ``document''.
source - The source documentoffset - The offset indicating the position| Method Summary | |
override def
|
<
(that : Position) : Boolean
Compare this position to another, by first comparing their line numbers,
and then -- if necessary -- using the columns to break a tie.
|
override def
|
canEqual
(arg0 : Any) : Boolean
A method that should be called from every well-designed equals method
that is open to be overridden in a subclass. See Programming in Scala,
Chapter 28 for discussion and design.
|
def
|
column
: Int
The column number referred to by the position; column numbers start at 1
|
override def
|
equals
(arg0 : Any) : Boolean
The equality method defined in `AnyRef`.
|
override def
|
hashCode
: Int
Returns a hash code value for the object.
|
def
|
line
: Int
The line number referred to by the position; line numbers start at 1
|
def
|
lineContents
: java.lang.String
The contents of the line numbered `lnum' (must not contain a new-line character).
|
override def
|
productArity
: Int
return k for a product
A(x_1,...,x_k) |
override def
|
productElement
(arg0 : Int) : Any
for a product
A(x_1,...,x_k), returns x_(n+1)
for 0 <= n < k |
override def
|
productPrefix
: java.lang.String
By default the empty string. Implementations may override this
method in order to prepend a string prefix to the result of the
toString methods.
|
override def
|
toString
: java.lang.String
Returns a string representation of the `Position', of the form `line.column'
|
| Methods inherited from Product | |
| productIterator, productElements |
| Methods inherited from Position | |
| longString |
| Methods inherited from AnyRef | |
| getClass, clone, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized |
| Methods inherited from Any | |
| ==, !=, isInstanceOf, asInstanceOf |
| Method Details |
def
line : Int
def
column : Int
def
lineContents : java.lang.String
lnum - a 1-based integer index into the `document'override
def
toString : java.lang.String
`that' - a `Position' to compare to this `Position'override
def
hashCode : Int
The default hashing algorithm is platform dependent.
Note that it is allowed for two objects to have identical hash
codes (o1.hashCode.equals(o2.hashCode)) yet not be
equal (o1.equals(o2) returns false). A
degenerate implementation could always return 0.
However, it is required that if two objects are equal
(o1.equals(o2) returns true) that they
have identical hash codes
(o1.hashCode.equals(o2.hashCode)). Therefore, when
overriding this method, be sure to verify that the behavior is
consistent with the equals method.
override
def
productPrefix : java.lang.String
override
def
productArity : Int
A(x_1,...,x_k)A(x_1,...,x_k), returns x_(n+1)
for 0 <= n < kn - the index of the element to returnIndexOutOfBoundsException - n elements after the first element|
Scala Library
|
|