Class

inox.utils

RangePosition

Related Doc: package utils

Permalink

case class RangePosition(lineFrom: Int, colFrom: Int, pointFrom: Int, lineTo: Int, colTo: Int, pointTo: Int, file: File) extends DefinedPosition with Product with Serializable

Linear Supertypes
Serializable, Serializable, Product, Equals, DefinedPosition, Position, Ordered[Position], Comparable[Position], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. RangePosition
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. DefinedPosition
  7. Position
  8. Ordered
  9. Comparable
  10. AnyRef
  11. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new RangePosition(lineFrom: Int, colFrom: Int, pointFrom: Int, lineTo: Int, colTo: Int, pointTo: Int, file: File)

    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 <(that: Position): Boolean

    Permalink
    Definition Classes
    Ordered

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

    Permalink
    Definition Classes
    Ordered

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

    Permalink
    Definition Classes
    AnyRef → Any

  6. def >(that: Position): Boolean

    Permalink
    Definition Classes
    Ordered

  7. def >=(that: Position): Boolean

    Permalink
    Definition Classes
    Ordered

  8. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  9. def clone(): AnyRef

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

  10. val col: Int

    Permalink
    Definition Classes
    RangePosition → Position

  11. val colFrom: Int

    Permalink

  12. val colTo: Int

    Permalink

  13. def compare(that: Position): Int

    Permalink
    Definition Classes
    Position → Ordered

  14. def compareTo(that: Position): Int

    Permalink
    Definition Classes
    Ordered → Comparable

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

    Permalink
    Definition Classes
    AnyRef

  16. val file: File

    Permalink
    Definition Classes
    RangePosition → Position

  17. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  18. def focusBegin: OffsetPosition

    Permalink
    Definition Classes
    RangePosition → DefinedPosition

  19. def focusEnd: OffsetPosition

    Permalink
    Definition Classes
    RangePosition → DefinedPosition

  20. def fullString: String

    Permalink
    Definition Classes
    DefinedPosition → Position

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

    Permalink
    Definition Classes
    AnyRef → Any

  22. def isDefined: Boolean

    Permalink
    Definition Classes
    DefinedPosition → Position

  23. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  24. val line: Int

    Permalink
    Definition Classes
    RangePosition → Position

  25. val lineFrom: Int

    Permalink

  26. val lineTo: Int

    Permalink

  27. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  28. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  29. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  30. val pointFrom: Int

    Permalink

  31. val pointTo: Int

    Permalink

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

    Permalink
    Definition Classes
    AnyRef

  33. def toString(): String

    Permalink
    Definition Classes
    DefinedPosition → AnyRef → Any

  34. final def wait(): Unit

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

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

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

  36. 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 DefinedPosition

Inherited from Position

Inherited from Ordered[Position]

Inherited from Comparable[Position]

Inherited from AnyRef

Inherited from Any

Ungrouped