case class OffsetPosition(source: CharSequence, offset: Int) extends Position with Product with Serializable
OffsetPosition
is a standard class for positions
represented as offsets into a source document.
- source
The source document
- offset
The offset indicating the position
- Source
- OffsetPosition.scala
- Alphabetic
- By Inheritance
- OffsetPosition
- Serializable
- Serializable
- Product
- Equals
- Position
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
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.
Compare this position to another, by first comparing their line numbers, and then -- if necessary -- using the columns to break a tie.
- that
a
Position
to compare to thisPosition
- returns
true if this position's line number or (in case of equal line numbers) column is smaller than the corresponding components of
that
- Definition Classes
- OffsetPosition → Position
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
def
column: Int
The column number referred to by the position; column numbers start at 1.
The column number referred to by the position; column numbers start at 1.
- Definition Classes
- OffsetPosition → Position
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
line: Int
The line number referred to by the position; line numbers start at 1.
The line number referred to by the position; line numbers start at 1.
- Definition Classes
- OffsetPosition → Position
-
def
lineContents: String
The contents of the line numbered at the current offset.
The contents of the line numbered at the current offset.
- returns
the line at
offset
(not including a newline)
- Definition Classes
- OffsetPosition → Position
-
def
longString: String
Returns a more
visual representation of this position. More precisely, the resulting string consists of two lines:
Returns a more
visual representation of this position. More precisely, the resulting string consists of two lines:
- the line in the document referred to by this position 2. a caret indicating the column
Example:
List(this, is, a, line, from, the, document) ^
- Definition Classes
- Position
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- val offset: Int
- val source: CharSequence
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
Returns a string representation of the
Position
, of the formline.column
.Returns a string representation of the
Position
, of the formline.column
.- Definition Classes
- OffsetPosition → Position → AnyRef → Any
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )