Main

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

def OnceParser[T](f: (Input) ⇒ ParseResult[T]): Parser[T] with OnceParser[T]

def Parser[T](f: (Input) ⇒ ParseResult[T]): Parser[T]

def accept[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]

def accept[ES](es: ES)(implicit arg0: (ES) ⇒ List[Elem]): Parser[List[Elem]]

implicit def accept(e: Elem): Parser[Elem]

def acceptIf(p: (Elem) ⇒ Boolean)(err: (Elem) ⇒ String): Parser[Elem]

def acceptMatch[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]

def acceptSeq[ES](es: ES)(implicit arg0: (ES) ⇒ Iterable[Elem]): Parser[List[Elem]]

def align(d: Doc): Doc

def ampersand: Doc

def angles(d: Doc): Doc

def any(a: Any): Doc

def any: PackratParser[Char]

implicit def anyToPrettyPrintable(a: Any): PrettyPrintable

final def asInstanceOf[T0]: T0

def asterisk: Doc

lazy val atom: Parser[String]

def atsign: Doc

def backquote: Doc

def backslash: Doc

val banner: String

def braces(d: Doc): Doc

def brackets(d: Doc): Doc

def caret: Doc

def cat(ds: Seq[Doc]): Doc

def chainl1[T, U](first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]

def chainl1[T](p: ⇒ Parser[T], q: ⇒ Parser[(T, T) ⇒ T]): Parser[T]

def chainr1[T, U](p: ⇒ Parser[T], q: ⇒ Parser[(T, U) ⇒ U], combine: (T, U) ⇒ U, first: U): Parser[U]

implicit def char(c: Char): Doc

def checkFor(record: Record, dim: Dimension, eventtype: String, needed: Dimension)(f: (Value) ⇒ Value): Value

lazy val clause: Parser[Clause with Serializable]

def clone(): AnyRef

def colon: Doc

def column(f: (Int) ⇒ Doc): Doc

def comma: Doc

def commit[T](p: ⇒ Parser[T]): Parser[T]

implicit def constToTupleFunction2[A, B, R](r: (A, B) ⇒ R): (~[A, B]) ⇒ R

implicit def constToTupleFunction3[A, B, C, R](r: (A, B, C) ⇒ R): (~[~[A, B], C]) ⇒ R

implicit def constToTupleFunction4[A, B, C, D, R](r: (A, B, C, D) ⇒ R): (~[~[~[A, B], C], D]) ⇒ R

implicit def constToTupleFunction5[A, B, C, D, E, R](r: (A, B, C, D, E) ⇒ R): (~[~[~[~[A, B], C], D], E]) ⇒ R

implicit def constToTupleFunction6[A, B, C, D, E, F, R](r: (A, B, C, D, E, F) ⇒ R): (~[~[~[~[~[A, B], C], D], E], F]) ⇒ R

lazy val constrainedInt: PackratParser[Int]

def createConfig(args: Seq[String], output: Emitter = new OutputEmitter, error: Emitter = new ErrorEmitter): PrologConfig

lazy val cut: Parser[Cut]

val defaultIndent: Int

val defaultWidth: Int

def dimValue(record: Record, dim: Dimension): Value

def dollar: Doc

def dot: Doc

def dquote: Doc

def dquotes(d: Doc): Doc

def driver(args: Seq[String]): Unit

def elem(e: Elem): Parser[Elem]

def elem(kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]

def empty: Doc

def enclose(l: Doc, d: Doc, r: Doc): Doc

final def eq(arg0: AnyRef): Boolean

def equal: Doc

def equals(arg0: Any): Boolean

def err(msg: String): Parser[Nothing]

def exclamation: Doc

def failure(msg: String): Parser[Nothing]

def fillcat(ds: Seq[Doc]): Doc

def fillsep(ds: Seq[Doc], sep: Doc): Doc

def fillsep(ds: Seq[Doc]): Doc

def finalize(): Unit

def finishReport(): Unit

def folddoc(ds: Seq[Doc], f: (Doc, Doc) ⇒ Doc): Doc

def forwslash: Doc

final def getClass(): Class[_]

def group(d: Doc): Doc

def guard[T](p: ⇒ Parser[T]): Parser[T]

def handleWhiteSpace(in: Input): Int

def handleWhiteSpace(source: CharSequence, offset: Int): Int

def hang(d: Doc, i: Indent): Doc

def hash: Doc

def hashCode(): Int

def hcat(ds: Seq[Doc]): Doc

def hsep(ds: Seq[Doc], sep: Doc): Doc

def hsep(ds: Seq[Doc]): Doc

def includeTimings: Boolean

def indent(d: Doc, i: Indent): Doc

lazy val integer: Parser[Integer]

val interpreter: Interpreter

The interpreter to use to evaluate queries.

def isEventType(record: Record, eventtype: String): Boolean

final def isInstanceOf[T0]: Boolean

def keywords(ext: Regex, kws: Seq[String]): Parser[String]

def langle: Doc

def lbrace: Doc

def lbracket: Doc

def line: Doc

def line(repl: Layout): Doc

def linebreak: Doc

def list[T](l: Seq[T], prefix: String, elemToDoc: (T) ⇒ Doc, sep: Doc, sepfn: (Seq[Doc], Doc) ⇒ Doc): Doc

lazy val list: Parser[Literal]

lazy val listterms: PackratParser[Literal]

implicit def literal(s: String): Parser[String]

lazy val literal: PackratParser[Literal]

lazy val literals: Parser[List[Literal]]

def log[T](p: ⇒ Parser[T])(name: String): Parser[T]

def lparen: Doc

def lsep(ds: Seq[Doc], sep: Doc): Doc

def lsep2(ds: Seq[Doc], sep: Doc): Doc

def lterm(ds: Seq[Doc], term: Doc): Doc

def main(args: Array[String]): Unit

def makeDatabase(filename: String): Either[String, Option[Program]]

Helper function to create the database from the given filename or return a command-line error.

def mark[T](p: Parser[String]): Parser[Marker]

def memo[T](p: Parser[T]): PackratParser[T]

def minus: Doc

def mkList[T]: (~[T, List[T]]) ⇒ List[T]

def nanoToMs(nano: Long): Long

final def ne(arg0: AnyRef): Boolean

def nest(d: Doc, j: Indent): Doc

def nesting(f: (Int) ⇒ Doc): Doc

def not[T](p: ⇒ Parser[T]): Parser[Unit]

final def notify(): Unit

final def notifyAll(): Unit

def opt[T](p: ⇒ Parser[T]): Parser[Option[T]]

def output(str: String): Unit

def outputln(str: String): Unit

def padto(p: Int, d: Doc): Doc

def padtobreak(p: Int, d: Doc): Doc

def parens(d: Doc): Doc

def parse[T](p: Parser[T], in: Reader): ParseResult[T]

def parse[T](p: Parser[T], in: CharSequence): ParseResult[T]

def parse[T](p: Parser[T], in: Reader[Char]): ParseResult[T]

def parseAll[T](p: Parser[T], in: CharSequence): ParseResult[T]

def parseAll[T](p: Parser[T], in: Reader): ParseResult[T]

def parseAll[T](p: Parser[T], in: Reader[Char]): ParseResult[T]

def parseAndPosition[T](f: (Input) ⇒ ParseResult[T], in: Input): ParseResult[T]

def parseProfileOption(value: String): Seq[Dimension]

implicit def parseResultToTuple2[A, B](p: Parser[~[A, B]]): PackratParser[(A, B)]

implicit def parseResultToTuple3[A, B, C](p: Parser[~[~[A, B], C]]): PackratParser[(A, B, C)]

implicit def parseResultToTuple4[A, B, C, D](p: Parser[~[~[~[A, B], C], D]]): PackratParser[(A, B, C, D)]

implicit def parseResultToTuple5[A, B, C, D, E](p: Parser[~[~[~[~[A, B], C], D], E]]): PackratParser[(A, B, C, D, E)]

implicit def parseResultToTuple6[A, B, C, D, E, F](p: Parser[~[~[~[~[~[A, B], C], D], E], F]]): PackratParser[(A, B, C, D, E, F)]

def parseString[T](parser: Parser[T], str: String): Either[T, String]

val parser: PackratParser[Literal]

The parser to use to parse each line of interactive input.

implicit def parser2packrat[T](p: ⇒ Parser[T]): PackratParser[T]

def percent: Doc

def percent(v: Long, total: Long): String

def phrase[T](p: Parser[T]): PackratParser[T]

def plist(l: List[PrettyPrintable], prefix: String, elemToDoc: (PrettyPrintable) ⇒ Doc, sep: Doc, sepfn: (Seq[Doc], Doc) ⇒ Doc): Doc

def plus: Doc

def positioned[T <: Positional](p: ⇒ Parser[T]): Parser[T]

def pretty(d: Doc, w: Width): Layout

def pretty(p: PrettyPrintable): Layout

def pretty_any(a: Any): Layout

def printDependencyGraph(record: Record, dim: Dimension): Unit

def printReports(totalTime: Long, dimensionNames: Seq[Dimension], records: List[Record]): Unit

var printTables: Boolean

def process(querytree: Literal, config: PrologConfig): Unit

Process a query by passing it and the program to the interpreter.

def processline(line: String, config: PrologConfig): PrologConfig

final def processlines(config: PrologConfig): Unit

def profile[T](computation: ⇒ T, dimensionNames: Seq[Dimension], logging: Boolean): T

def profileStart(logging: Boolean): Unit

def profileStop(): (Seq[Dimension]) ⇒ Unit

def profileStop(dimensionNames: Seq[Dimension]): Unit

def profileStopInteractive(): Unit

lazy val program: PackratParser[Program]

val prompt: String

The prompt to print before each line of input is read.

def pseq(l: Seq[PrettyPrintable], prefix: String, elemToDoc: (PrettyPrintable) ⇒ Doc, sep: Doc, sepfn: (Seq[Doc], Doc) ⇒ Doc): Doc

lazy val query: PackratParser[Literal]

def question: Doc

def rangle: Doc

def rbrace: Doc

def rbracket: Doc

implicit def regex(r: Regex): Parser[String]

def rep[T](p: ⇒ Parser[T]): Parser[List[T]]

def rep1[T](first: ⇒ Parser[T], p0: ⇒ Parser[T]): Parser[List[T]]

def rep1[T](p: ⇒ Parser[T]): Parser[List[T]]

def rep1sep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

def repN[T](num: Int, p: ⇒ Parser[T]): Parser[List[T]]

def repsep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

def result[T](v: ⇒ T): Parser[T]

def rparen: Doc

def semi: Doc

def sep(ds: Seq[Doc]): Doc

def seq[T](l: Seq[T], prefix: String, elemToDoc: (T) ⇒ Doc, sep: Doc, sepfn: (Seq[Doc], Doc) ⇒ Doc): Doc

def skipWhitespace: Boolean

def softbreak: Doc

def softline: Doc

def space: Doc

def spaces(n: Int): Doc

def squote: Doc

def squotes(d: Doc): Doc

def ssep(ds: Seq[Doc], sep: Doc): Doc

def startReport(dimensionNames: Seq[Dimension]): Unit

var startTime: Long

def sterm(ds: Seq[Doc], term: Doc): Doc

def string(s: String): Doc

def stringToInt(s: String): Either[Int, String]

def subjectsToStep(src: Any, dst: Any): Step

def success[T](v: T): Parser[T]

def summariseAlongDims(dimensionNames: Seq[Dimension], records: List[Record], nrecords: Int, profiledTime: Long): Unit

def surround(d: Doc, b: Doc): Doc

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

lazy val term: Parser[Term]

lazy val terms: Parser[List[Term]]

implicit def text(t: String): Doc

def tilde: Doc

def time[T](computation: ⇒ T, warmup: Int, n: Int, discard: Int): Unit

def toString(): String

def trace(predicate: (Event) ⇒ Boolean): Unit

def underscore: Doc

def value(v: Any): Doc

def valueToString(a: Value): String

lazy val varr: Parser[String]

def vcat(ds: Seq[Doc]): Doc

def verticalbar: Doc

def vsep(ds: Seq[Doc], sep: Doc): Doc

def vsep(ds: Seq[Doc]): Doc

final def wait(): Unit

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

final def wait(arg0: Long): Unit

val whiteSpace: Regex

def width(d: Doc, f: (Int) ⇒ Doc): Doc

def wrap[T, U](p: ⇒ Parser[T], f: (T) ⇒ Either[U, String]): Parser[U]

def lastNoSuccess: NoSuccess

def lastNoSuccess_=(x: NoSuccess): Unit

def product(p: Any): Doc