Class

org.bitbucket.inkytonik.kiama.util

Positions

Related Doc: package util

Permalink

class Positions extends Memoiser

Record of source positions that correspond to program elements.

Source
Positions.scala
Linear Supertypes
Memoiser, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Positions
  2. Memoiser
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Positions()

    Permalink

Type Members

  1. trait IdMemoised[T, U] extends MemoisedBase[T, U]

    Permalink

    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
  2. trait Memoised[T, U] extends MemoisedBase[T, U]

    Permalink

    A memoised entity that uses equality to compare keys.

    A memoised entity that uses equality to compare keys.

    Definition Classes
    Memoiser
  3. trait MemoisedBase[T, U] extends AnyRef

    Permalink

    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
  4. class PositionMap extends IdMemoised[Any, Position]

    Permalink

    Map between a value and a source code position.

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  5. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  6. def dupPos[T](a: Any, t: T): T

    Permalink

    Set the start and finish positions of t to the positions of a if it has them.

    Set the start and finish positions of t to the positions of a if it has them. Return t.

  7. def dupRangePos[T](a: Any, b: Any, t: T): T

    Permalink

    Set the start and finish positions of t to the start positions of a and the finish position of b if they have them.

    Set the start and finish positions of t to the start positions of a and the finish position of b if they have them. Return t.

  8. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  9. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  10. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  11. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  12. def getFinish[T](t: T): Option[Position]

    Permalink

    Get the optional finish position of t.

    Get the optional finish position of t. If it doesn't have one, return None.

  13. def getStart[T](t: T): Option[Position]

    Permalink

    Get the optional start position of t.

    Get the optional start position of t. If it doesn't have one, return None.

  14. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  15. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  16. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  17. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  18. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  19. def reset(): Unit

    Permalink

    Reset the position maps to be empty.

  20. def setAllPositions[T](t: T, p: Position): Unit

    Permalink

    Set all positions of t to p.

  21. def setFinish[T](t: T, p: Position): Unit

    Permalink

    Set the finish position of t to p if it has not already been set.

  22. def setStart[T](t: T, p: Position): Unit

    Permalink

    Set the start position of t to p if it has not already been set.

  23. def substring(s: Position, f: Position): Option[String]

    Permalink

    Get the source text associated with the substring of a source between given starting and finishing positions.

    Get the source text associated with the substring of a source between given starting and finishing positions. The two positions are assumed to reference the same source. If either of the positions doesn't refer to a valid offset in the source then None is returned.

  24. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  25. def textOf[T](t: T): Option[String]

    Permalink

    If t has valid start and finish positions, return the source text associated with t.

    If t has valid start and finish positions, return the source text associated with t. Otherwise, return None. It is assumed that the start and finish positions (if present) both refer to the same source.

  26. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  27. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  28. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  29. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Memoiser

Inherited from AnyRef

Inherited from Any

Ungrouped