SourceFile

def content : Array[Char]

def file : AbstractFile

def isLineBreak (idx: Int): Boolean

def isSelfContained : Boolean

def length : Int

def lineToOffset (index: Int): Int

def offsetToLine (offset: Int): Int

def != (arg0: AnyRef): Boolean

def != (arg0: Any): Boolean

def ## (): Int

def == (arg0: AnyRef): Boolean

def == (arg0: Any): Boolean

def asInstanceOf [T0] : T0

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

def clone (): AnyRef

def dbg (offset: Int): String

def eq (arg0: AnyRef): Boolean

def equals (arg0: Any): Boolean

def finalize (): Unit

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

def hashCode (): Int

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

def isInstanceOf [T0] : Boolean

def lineToString (index: Int): String

def ne (arg0: AnyRef): Boolean

def notify (): Unit

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.

def skipWhitespace (offset: Int): Int

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

def toString (): String

def wait (): Unit

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

def wait (arg0: Long): Unit