org.bitbucket.inkytonik.kiama.util

Positions

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
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Positions()

Type Members

  1. type PositionMap = Memoiser[Any, Position]

    Map between a value and a source code position.

Value Members

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

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

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

    Definition Classes
    AnyRef
  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  6. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  7. def clone(): AnyRef

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

    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.

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

    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.

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

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

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

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

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

    Get the optional finish position of t.

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

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

    Get the optional start position of t.

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

  16. def hashCode(): Int

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

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

    Definition Classes
    AnyRef
  19. final def notify(): Unit

    Definition Classes
    AnyRef
  20. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  21. def reset(): Unit

    Reset the position maps to be empty.

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

    Set all positions of t to p.

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

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

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

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

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

    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.

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

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

    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.

  28. def toString(): String

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

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped