object Positions extends Memoiser
Record of source positions that correspond to program elements.
- Source
- Positions.scala
- Alphabetic
- By Inheritance
- Positions
- Memoiser
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
-
trait
IdMemoised
[T, U] extends MemoisedBase[T, U]
A memoised entity that weakly holds onto its keys and uses identity to compare them.
A memoised entity that weakly holds onto its keys and uses identity to compare them.
- Definition Classes
- Memoiser
-
trait
Memoised
[T, U] extends MemoisedBase[T, U]
A memoised entity that uses equality to compare keys.
A memoised entity that uses equality to compare keys.
- Definition Classes
- Memoiser
-
trait
MemoisedBase
[T, U] extends AnyRef
Common interface for encapsulation of memoisation for a single memoised entity backed by a configurable cache.
Common interface for encapsulation of memoisation for a single memoised entity backed by a configurable cache.
- Definition Classes
- Memoiser
-
class
PositionMap
extends IdMemoised[Any, Position]
Map between a value and a source code position.
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
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
dupPos[T](a: Any, t: T): T
Set the start and finish positions of
tto the positions ofaif it has them.Set the start and finish positions of
tto the positions ofaif it has them. Returnt. -
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
-
def
getFinish[T](t: T): Position
Get the finish position of
t.Get the finish position of
t. If it doesn't have one, returnNoPosition. -
def
getStart[T](t: T): Position
Get the start position of
t.Get the start position of
t. If it doesn't have one, returnNoPosition. -
def
getStartWhite[T](t: T): Position
Get the start whitespace position of
t.Get the start whitespace position of
t. If it doesn't have one, returnNoPosition. -
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
-
def
positionAt(l: Int, c: Int): Position
Return a position value with starting position given by line
l, columncand empty line contents.Return a position value with starting position given by line
l, columncand empty line contents. This method is most useful for testing low-level messages and is not normally be needed in application code. -
def
resetMemo(): Unit
Lazily reset all memoisation tables.
Lazily reset all memoisation tables. The actual resets will only happen the next time the value of each attribute is accessed.
- Definition Classes
- Memoiser
-
def
setFinish[T](t: T, p: Position): Unit
Set the
finishposition ofttopif it has not already been set. -
def
setStart[T](t: T, p: Position): Unit
Set the start position of
ttopif it has not already been set. -
def
setStartWhite[T](t: T, p: Position): Unit
Set the start whitespace position of
ttopif it has not already been set. -
def
subSource(s: OffsetPosition, f: OffsetPosition): CharSequence
Get the source text associated with the subsequence of a source between given starting and finishing offset positions.
Get the source text associated with the subsequence of a source between given starting and finishing offset positions. The two positions are assumed to reference the same source.
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- 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( ... )