Class

org.bitbucket.inkytonik.kiama.util

Position

Related Doc: package util

Permalink

case class Position(line: Int, column: Int, source: Source) extends Product with Serializable

Record of a source position at a particular line and column relative to a given source. The line and column numbers are one-indexed.

Source
Positions.scala
Linear Supertypes
Serializable, Serializable, Product, Equals, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Position
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Position(line: Int, column: Int, source: Source)

    Permalink

Value Members

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  3. def <(p: Position): Boolean

    Permalink

    Does this position occur before p? The two positions are assumed to refer to the same source.

    Does this position occur before p? The two positions are assumed to refer to the same source. False is returned if one of the positions is invalid.

  4. def <=(p: Position): Boolean

    Permalink

    Does this position occur no later than p? The two positions are assumed to refer to the same source.

    Does this position occur no later than p? The two positions are assumed to refer to the same source. False is returned if one of the positions is invalid.

  5. final def ==(arg0: Any): Boolean

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

    Permalink
    Definition Classes
    Any
  7. def between(start: Position, finish: Position): Boolean

    Permalink

    Does this position occur between two other positions, in the same source, inclusive of start position and exclusive of finish position?

  8. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  9. val column: Int

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

    Permalink
    Definition Classes
    AnyRef
  11. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  12. lazy val format: String

    Permalink

    Format this position.

    Format this position. The result is of the form /foo/bar.txt:2:10: if a source is associated with the position and the source has a name, or of the form 2:10: otherwise. In each case the numbers are line followed by column.

  13. final def getClass(): Class[_]

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

    Permalink
    Definition Classes
    Any
  15. val line: Int

    Permalink
  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 op2(op: (Int, Int) ⇒ Boolean, p: Position): Boolean

    Permalink

    Apply a binary Boolean operation to this position and another one, as offsets, return the result.

  20. lazy val optContext: Option[String]

    Permalink

    Turn this position into a string that summarises the context of the input referred to by the position.

    Turn this position into a string that summarises the context of the input referred to by the position. If the position has a source that provides access to its lines then the context is the line containing the position followed by a line containing a caret pointer. Otherwise, return None.

  21. lazy val optOffset: Option[Int]

    Permalink

    Return the offset that this position refers to in its source.

    Return the offset that this position refers to in its source. None is returned if the position is not valid for its source.

  22. val source: Source

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

    Permalink
    Definition Classes
    AnyRef
  24. final def wait(): Unit

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

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

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

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped