term.package

Pos

class Pos extends AnyRef

Represents a position in a term.

A position is a finite sequence of positive integers. The root position is the empty sequence.

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. Pos
  2. AnyRef
  3. Any
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Pos (ps: List[Int])

Value Members

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

    Attributes
    final
    Definition Classes
    AnyRef

  2. def != (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any

  3. def ## (): Int

    Attributes
    final
    Definition Classes
    AnyRef → Any

  4. def ++ (that: Pos): Pos

    Returns this and that position appended.

  5. def < (that: Pos): Boolean

    Returns true if this position is below that position and false otherwise.

  6. def <:: (i: Int): Pos

    Returns this position with i prepended.

  7. def <= (that: Pos): Boolean

    Returns true if this position is below or equal to that position and false otherwise.

  8. def == (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  9. def == (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any

  10. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any

  11. def canEqual (other: Any): Boolean

  12. def clone (): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  13. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  14. def equals (other: Any): Boolean

    Definition Classes
    Pos → AnyRef → Any

  15. def finalize (): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  16. def getClass (): java.lang.Class[_]

    Attributes
    final
    Definition Classes
    AnyRef → Any

  17. def hashCode (): Int

    Definition Classes
    Pos → AnyRef → Any

  18. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

  19. def length : Int

    Returns the number of numbers in this position.

  20. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  21. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  22. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  23. def synchronized [T0] (arg0: ⇒ T0): T0

    Attributes
    final
    Definition Classes
    AnyRef

  24. def toList : List[Int]

    Returns a list containing the numbers from this position.

  25. def toString (): String

    Definition Classes
    Pos → AnyRef → Any

  26. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  27. def wait (arg0: Long, arg1: Int): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  28. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  29. def || (that: Pos): Boolean

    Returns true if this and that position are parallel and false otherwise.

Inherited from AnyRef

Inherited from Any