BatchSourceFile

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

def ->[B](y: B): (BatchSourceFile, B)

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

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

def calculateLineIndices(cs: Array[Char]): Array[Int]

def clone(): AnyRef

val content: Array[Char]

def dbg(offset: Int): String

def ensuring(cond: (BatchSourceFile) ⇒ Boolean, msg: ⇒ Any): BatchSourceFile

def ensuring(cond: (BatchSourceFile) ⇒ Boolean): BatchSourceFile

def ensuring(cond: Boolean, msg: ⇒ Any): BatchSourceFile

def ensuring(cond: Boolean): BatchSourceFile

final def eq(arg0: AnyRef): Boolean

def equals(that: Any): Boolean

val file: AbstractFile

def finalize(): Unit

def formatted(fmtstr: String): String

final def getClass(): Class[_]

def hashCode(): Int

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

final def isInstanceOf[T0]: Boolean

def isLineBreak(idx: Int): Boolean

def isSelfContained: Boolean

val length: Int

def lineToOffset(index: Int): Int

def lineToString(index: Int): String

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def offsetToLine(offset: Int): Int

Convert offset to line in this source file Lines are numbered from 0

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.

val self: Any

val self: Any

final def skipWhitespace(offset: Int): Int

def start: 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

def →[B](y: B): (BatchSourceFile, B)

def x: BatchSourceFile

def x: BatchSourceFile