Class

org.bitbucket.inkytonik.kiama.util

Positions

Related Doc: package util

Permalink

class Positions extends AnyRef

Record of source positions that correspond to program elements.

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

Instance Constructors

  1. new Positions()

    Permalink

Type Members

  1. type PositionMap = Memoiser[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 AnyRef

Inherited from Any

Ungrouped