SourceFile

abstract def content: Array[Char]

abstract def file: AbstractFile

abstract def isLineBreak(idx: Int): Boolean

abstract def isSelfContained: Boolean

abstract def length: Int

abstract def lineToOffset(index: Int): Int

abstract def offsetToLine(offset: Int): Int

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def beginsWith(offset: Int, text: String): Boolean

def clone(): AnyRef

def dbg(offset: Int): String

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

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

def hashCode(): Int

def identifier(pos: Position): Option[String]

final def isInstanceOf[T0]: Boolean

def lineToString(index: Int): String

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def path: String

def position(line: Int, column: Int): Position

def position(offset: Int): Position

def positionInUltimateSource(position: Position): Position

Map a position to a position in the underlying source file.

final def skipWhitespace(offset: Int): Int

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

def toString(): String

final def wait(): Unit

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

final def wait(arg0: Long): Unit