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 positionMethod 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.
|
def
|
column
: Int
The column number referred to by the position; column numbers start at 1
|
override def
|
equals
(arg0 : Any) : Boolean
This method is used to compare the receiver object (
this )
with the argument object (arg0 ) for equivalence. |
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 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.
this
)
with the argument object (arg0
) for equivalence.
The default implementations of this method is an equivalence relation:
x
of type Any
,
x.equals(x)
should return true
.x
and y
of type
Any
, x.equals(y)
should return true
if and only
if y.equals(x)
returns true
.x
, y
, and z
of type AnyRef
if x.equals(y)
returns true
and
y.equals(z)
returns
true
, then x.equals(z)
should return true
.
If you override this method, you should verify that
your implementation remains an equivalence relation.
Additionally, when overriding this method it is often necessary to
override hashCode
to ensure that objects that are
"equal" (o1.equals(o2)
returns true
)
hash to the same Int
(o1.hashCode.equals(o2.hashCode)
).
arg0 -
the object to compare against this object for equality.true
if the receiver object is equivalent to the argument; false
otherwise. 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 < k
n -
the index of the element to returnIndexOutOfBoundsException -
n
elements after the first element
Scala Library
|
|