object Main extends SyntaxAnalyser with ParsingREPLWithConfig[Literal, PrologConfig] with PrettyPrinter

Conduct semantic analysis on the Prolog program in the file given as the first command-line argument. If the program is correct, enter an interactive read-eval-print loop (REPL) to read queries. For each query, call the interpreter to evaluate it.

Source
Main.scala
Linear Supertypes
PrettyPrinter, PrettyPrinterBase, ParsingREPLWithConfig[Literal, PrologConfig], ParsingREPLBase[Literal, PrologConfig], REPLBase[PrologConfig], Profiler, Profiler, Values, SyntaxAnalyser, PositionedParserUtilities, ParserUtilities, PackratParsers, RegexParsers, Parsers, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Main
  2. PrettyPrinter
  3. PrettyPrinterBase
  4. ParsingREPLWithConfig
  5. ParsingREPLBase
  6. REPLBase
  7. Profiler
  8. Profiler
  9. Values
  10. SyntaxAnalyser
  11. PositionedParserUtilities
  12. ParserUtilities
  13. PackratParsers
  14. RegexParsers
  15. Parsers
  16. AnyRef
  17. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. case class Child extends Step with Product with Serializable
    Definition Classes
    Profiler
  2. case class Dep extends Product with Serializable
    Definition Classes
    Profiler
  3. class Doc extends ((output.PrettyPrinter.Indent, output.PrettyPrinter.Width)) ⇒ ((Int, Queue[(Int, (Boolean) ⇒ ((Int) ⇒ Trampoline[Seq[String]]) ⇒ Trampoline[(Int) ⇒ Trampoline[Seq[String]]])]) ⇒ Trampoline[(Int) ⇒ Trampoline[Seq[String]]]) ⇒ Trampoline[(Int, Queue[(Int, (Boolean) ⇒ ((Int) ⇒ Trampoline[Seq[String]]) ⇒ Trampoline[(Int) ⇒ Trampoline[Seq[String]]])]) ⇒ Trampoline[(Int) ⇒ Trampoline[Seq[String]]]] with output.PrettyPrinter.DocOps
    Definition Classes
    PrettyPrinter
  4. trait DocOps extends AnyRef
    Definition Classes
    PrettyPrinterBase
  5. type Elem = Char
    Definition Classes
    RegexParsers → Parsers
  6. case class Error extends NoSuccess with Product with Serializable
    Definition Classes
    Parsers
  7. case class Failure extends NoSuccess with Product with Serializable
    Definition Classes
    Parsers
  8. type Indent = Int
    Definition Classes
    PrettyPrinterBase
  9. type Input = Reader[Elem]
    Definition Classes
    Parsers
  10. type Layout = String
    Definition Classes
    PrettyPrinterBase
  11. class Marker extends AnyRef
    Definition Classes
    PositionedParserUtilities
  12. sealed abstract class NoSuccess extends ParseResult[Nothing]
    Definition Classes
    Parsers
  13. trait OnceParser[+T] extends Parser[T]
    Definition Classes
    Parsers
  14. abstract class PackratParser[+T] extends scala.util.parsing.combinator.PackratParsers.Parser[T]
    Definition Classes
    PackratParsers
  15. class PackratReader[+T] extends Reader[T]
    Definition Classes
    PackratParsers
  16. sealed abstract class ParseResult[+T] extends AnyRef
    Definition Classes
    Parsers
  17. abstract class Parser[+T] extends (Input) ⇒ ParseResult[T]
    Definition Classes
    Parsers
  18. trait PrettyPrintable extends AnyRef
    Definition Classes
    PrettyPrinterBase
  19. case class Record extends Product with Serializable
    Definition Classes
    Values
  20. abstract class Step extends AnyRef
    Definition Classes
    Profiler
  21. case class Success[+T] extends ParseResult[T] with Product with Serializable
    Definition Classes
    Parsers
  22. type Width = Int
    Definition Classes
    PrettyPrinterBase
  23. case class ~[+a, +b] extends Product with Serializable
    Definition Classes
    Parsers

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def OnceParser[T](f: (Input) ⇒ ParseResult[T]): Parser[T] with OnceParser[T]
    Definition Classes
    PositionedParserUtilities → Parsers
  5. def Parser[T](f: (Input) ⇒ ParseResult[T]): Parser[T]
    Definition Classes
    PositionedParserUtilities → Parsers
  6. def accept[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]
    Definition Classes
    Parsers
  7. def accept[ES](es: ES)(implicit arg0: (ES) ⇒ List[Elem]): Parser[List[Elem]]
    Definition Classes
    Parsers
  8. implicit def accept(e: Elem): Parser[Elem]
    Definition Classes
    Parsers
  9. def acceptIf(p: (Elem) ⇒ Boolean)(err: (Elem) ⇒ String): Parser[Elem]
    Definition Classes
    Parsers
  10. def acceptMatch[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]
    Definition Classes
    Parsers
  11. def acceptSeq[ES](es: ES)(implicit arg0: (ES) ⇒ Iterable[Elem]): Parser[List[Elem]]
    Definition Classes
    Parsers
  12. def align(d: Doc): Doc
    Definition Classes
    PrettyPrinterBase
  13. def ampersand: Doc
    Definition Classes
    PrettyPrinterBase
  14. def angles(d: Doc): Doc
    Definition Classes
    PrettyPrinterBase
  15. def any(a: Any): Doc
    Definition Classes
    PrettyPrinterBase
  16. def any: PackratParser[Char]
    Definition Classes
    ParserUtilities
  17. implicit def anyToPrettyPrintable(a: Any): PrettyPrintable
    Definition Classes
    PrettyPrinterBase
  18. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  19. def asterisk: Doc
    Definition Classes
    PrettyPrinterBase
  20. lazy val atom: Parser[String]
    Definition Classes
    SyntaxAnalyser
  21. def atsign: Doc
    Definition Classes
    PrettyPrinterBase
  22. def backquote: Doc
    Definition Classes
    PrettyPrinterBase
  23. def backslash: Doc
    Definition Classes
    PrettyPrinterBase
  24. val banner: String
    Definition Classes
    Main → REPLBase
  25. def braces(d: Doc): Doc
    Definition Classes
    PrettyPrinterBase
  26. def brackets(d: Doc): Doc
    Definition Classes
    PrettyPrinterBase
  27. def caret: Doc
    Definition Classes
    PrettyPrinterBase
  28. def cat(ds: Seq[Doc]): Doc
    Definition Classes
    PrettyPrinterBase
  29. def chainl1[T, U](first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]
    Definition Classes
    Parsers
  30. def chainl1[T](p: ⇒ Parser[T], q: ⇒ Parser[(T, T) ⇒ T]): Parser[T]
    Definition Classes
    Parsers
  31. def chainr1[T, U](p: ⇒ Parser[T], q: ⇒ Parser[(T, U) ⇒ U], combine: (T, U) ⇒ U, first: U): Parser[U]
    Definition Classes
    Parsers
  32. implicit def char(c: Char): Doc
    Definition Classes
    PrettyPrinterBase
  33. def checkFor(record: Record, dim: Dimension, eventtype: String, needed: Dimension)(f: (Value) ⇒ Value): Value
    Definition Classes
    Values
  34. lazy val clause: Parser[Clause with Serializable]
    Definition Classes
    SyntaxAnalyser
  35. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  36. def colon: Doc
    Definition Classes
    PrettyPrinterBase
  37. def column(f: (Int) ⇒ Doc): Doc
    Definition Classes
    PrettyPrinter → PrettyPrinterBase
  38. def comma: Doc
    Definition Classes
    PrettyPrinterBase
  39. def commit[T](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  40. implicit def constToTupleFunction2[A, B, R](r: (A, B) ⇒ R): (~[A, B]) ⇒ R
    Definition Classes
    ParserUtilities
  41. implicit def constToTupleFunction3[A, B, C, R](r: (A, B, C) ⇒ R): (~[~[A, B], C]) ⇒ R
    Definition Classes
    ParserUtilities
  42. implicit def constToTupleFunction4[A, B, C, D, R](r: (A, B, C, D) ⇒ R): (~[~[~[A, B], C], D]) ⇒ R
    Definition Classes
    ParserUtilities
  43. implicit def constToTupleFunction5[A, B, C, D, E, R](r: (A, B, C, D, E) ⇒ R): (~[~[~[~[A, B], C], D], E]) ⇒ R
    Definition Classes
    ParserUtilities
  44. 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
    Definition Classes
    ParserUtilities
  45. lazy val constrainedInt: PackratParser[Int]
    Definition Classes
    ParserUtilities
  46. def createConfig(args: Seq[String], output: Emitter = new OutputEmitter, error: Emitter = new ErrorEmitter): PrologConfig
    Definition Classes
    Main → REPLBase
  47. lazy val cut: Parser[Cut]
    Definition Classes
    SyntaxAnalyser
  48. val defaultIndent: Int
    Definition Classes
    PrettyPrinterBase
  49. val defaultWidth: Int
    Definition Classes
    PrettyPrinterBase
  50. def dimValue(record: Record, dim: Dimension): Value
    Definition Classes
    Profiler → Profiler → Values
  51. def dollar: Doc
    Definition Classes
    PrettyPrinterBase
  52. def dot: Doc
    Definition Classes
    PrettyPrinterBase
  53. def dquote: Doc
    Definition Classes
    PrettyPrinterBase
  54. def dquotes(d: Doc): Doc
    Definition Classes
    PrettyPrinterBase
  55. def driver(args: Seq[String]): Unit
    Definition Classes
    REPLBase
  56. def elem(e: Elem): Parser[Elem]
    Definition Classes
    Parsers
  57. def elem(kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]
    Definition Classes
    Parsers
  58. def empty: Doc
    Definition Classes
    PrettyPrinter → PrettyPrinterBase
  59. def enclose(l: Doc, d: Doc, r: Doc): Doc
    Definition Classes
    PrettyPrinterBase
  60. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  61. def equal: Doc
    Definition Classes
    PrettyPrinterBase
  62. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  63. def err(msg: String): Parser[Nothing]
    Definition Classes
    ParserUtilities → Parsers
  64. def exclamation: Doc
    Definition Classes
    PrettyPrinterBase
  65. def failure(msg: String): Parser[Nothing]
    Definition Classes
    ParserUtilities → Parsers
  66. def fillcat(ds: Seq[Doc]): Doc
    Definition Classes
    PrettyPrinterBase
  67. def fillsep(ds: Seq[Doc], sep: Doc): Doc
    Definition Classes
    PrettyPrinterBase
  68. def fillsep(ds: Seq[Doc]): Doc
    Definition Classes
    PrettyPrinterBase
  69. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  70. def finishReport(): Unit
    Definition Classes
    Values
  71. def folddoc(ds: Seq[Doc], f: (Doc, Doc) ⇒ Doc): Doc
    Definition Classes
    PrettyPrinterBase
  72. def forwslash: Doc
    Definition Classes
    PrettyPrinterBase
  73. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  74. def group(d: Doc): Doc
    Definition Classes
    PrettyPrinter → PrettyPrinterBase
  75. def guard[T](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  76. def handleWhiteSpace(in: Input): Int
    Definition Classes
    ParserUtilities
  77. def handleWhiteSpace(source: CharSequence, offset: Int): Int
    Attributes
    protected
    Definition Classes
    RegexParsers
  78. def hang(d: Doc, i: Indent): Doc
    Definition Classes
    PrettyPrinterBase
  79. def hash: Doc
    Definition Classes
    PrettyPrinterBase
  80. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  81. def hcat(ds: Seq[Doc]): Doc
    Definition Classes
    PrettyPrinterBase
  82. def hsep(ds: Seq[Doc], sep: Doc): Doc
    Definition Classes
    PrettyPrinterBase
  83. def hsep(ds: Seq[Doc]): Doc
    Definition Classes
    PrettyPrinterBase
  84. def includeTimings: Boolean
    Definition Classes
    Profiler
  85. def indent(d: Doc, i: Indent): Doc
    Definition Classes
    PrettyPrinterBase
  86. lazy val integer: Parser[Integer]
    Definition Classes
    SyntaxAnalyser
  87. val interpreter: Interpreter

    The interpreter to use to evaluate queries.

  88. def isEventType(record: Record, eventtype: String): Boolean
    Definition Classes
    Values
  89. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  90. def keywords(ext: Regex, kws: Seq[String]): Parser[String]
    Definition Classes
    ParserUtilities
  91. def langle: Doc
    Definition Classes
    PrettyPrinterBase
  92. def lbrace: Doc
    Definition Classes
    PrettyPrinterBase
  93. def lbracket: Doc
    Definition Classes
    PrettyPrinterBase
  94. def line: Doc
    Definition Classes
    PrettyPrinter → PrettyPrinterBase
  95. def line(repl: Layout): Doc
    Definition Classes
    PrettyPrinter → PrettyPrinterBase
  96. def linebreak: Doc
    Definition Classes
    PrettyPrinter → PrettyPrinterBase
  97. def list[T](l: Seq[T], prefix: String, elemToDoc: (T) ⇒ Doc, sep: Doc, sepfn: (Seq[Doc], Doc) ⇒ Doc): Doc
    Definition Classes
    PrettyPrinterBase
  98. lazy val list: Parser[Literal]
    Definition Classes
    SyntaxAnalyser
  99. lazy val listterms: PackratParser[Literal]
    Definition Classes
    SyntaxAnalyser
  100. implicit def literal(s: String): Parser[String]
    Definition Classes
    RegexParsers
  101. lazy val literal: PackratParser[Literal]
    Definition Classes
    SyntaxAnalyser
  102. lazy val literals: Parser[List[Literal]]
    Definition Classes
    SyntaxAnalyser
  103. def log[T](p: ⇒ Parser[T])(name: String): Parser[T]
    Definition Classes
    Parsers
  104. def lparen: Doc
    Definition Classes
    PrettyPrinterBase
  105. def lsep(ds: Seq[Doc], sep: Doc): Doc
    Definition Classes
    PrettyPrinterBase
  106. def lsep2(ds: Seq[Doc], sep: Doc): Doc
    Definition Classes
    PrettyPrinterBase
  107. def lterm(ds: Seq[Doc], term: Doc): Doc
    Definition Classes
    PrettyPrinterBase
  108. def main(args: Array[String]): Unit
    Definition Classes
    REPLBase
  109. def makeDatabase(filename: String): Either[String, Option[Program]]

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

  110. def mark[T](p: Parser[String]): Parser[Marker]
    Definition Classes
    PositionedParserUtilities
  111. def memo[T](p: Parser[T]): PackratParser[T]
    Definition Classes
    PackratParsers
  112. def minus: Doc
    Definition Classes
    PrettyPrinterBase
  113. def mkList[T]: (~[T, List[T]]) ⇒ List[T]
    Definition Classes
    Parsers
  114. def nanoToMs(nano: Long): Long
    Definition Classes
    Profiler
  115. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  116. def nest(d: Doc, j: Indent): Doc
    Definition Classes
    PrettyPrinter → PrettyPrinterBase
  117. def nesting(f: (Int) ⇒ Doc): Doc
    Definition Classes
    PrettyPrinter → PrettyPrinterBase
  118. def not[T](p: ⇒ Parser[T]): Parser[Unit]
    Definition Classes
    Parsers
  119. final def notify(): Unit
    Definition Classes
    AnyRef
  120. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  121. def opt[T](p: ⇒ Parser[T]): Parser[Option[T]]
    Definition Classes
    Parsers
  122. def output(str: String): Unit
    Definition Classes
    Values
  123. def outputln(str: String): Unit
    Definition Classes
    Values
  124. def padto(p: Int, d: Doc): Doc
    Definition Classes
    PrettyPrinterBase
  125. def padtobreak(p: Int, d: Doc): Doc
    Definition Classes
    PrettyPrinterBase
  126. def parens(d: Doc): Doc
    Definition Classes
    PrettyPrinterBase
  127. def parse[T](p: Parser[T], in: Reader): ParseResult[T]
    Definition Classes
    RegexParsers
  128. def parse[T](p: Parser[T], in: CharSequence): ParseResult[T]
    Definition Classes
    RegexParsers
  129. def parse[T](p: Parser[T], in: Reader[Char]): ParseResult[T]
    Definition Classes
    RegexParsers
  130. def parseAll[T](p: Parser[T], in: CharSequence): ParseResult[T]
    Definition Classes
    RegexParsers
  131. def parseAll[T](p: Parser[T], in: Reader): ParseResult[T]
    Definition Classes
    RegexParsers
  132. def parseAll[T](p: Parser[T], in: Reader[Char]): ParseResult[T]
    Definition Classes
    RegexParsers
  133. def parseAndPosition[T](f: (Input) ⇒ ParseResult[T], in: Input): ParseResult[T]
    Definition Classes
    PositionedParserUtilities
  134. def parseProfileOption(value: String): Seq[Dimension]
    Definition Classes
    Profiler
  135. implicit def parseResultToTuple2[A, B](p: Parser[~[A, B]]): PackratParser[(A, B)]
    Definition Classes
    ParserUtilities
  136. implicit def parseResultToTuple3[A, B, C](p: Parser[~[~[A, B], C]]): PackratParser[(A, B, C)]
    Definition Classes
    ParserUtilities
  137. implicit def parseResultToTuple4[A, B, C, D](p: Parser[~[~[~[A, B], C], D]]): PackratParser[(A, B, C, D)]
    Definition Classes
    ParserUtilities
  138. implicit def parseResultToTuple5[A, B, C, D, E](p: Parser[~[~[~[~[A, B], C], D], E]]): PackratParser[(A, B, C, D, E)]
    Definition Classes
    ParserUtilities
  139. implicit def parseResultToTuple6[A, B, C, D, E, F](p: Parser[~[~[~[~[~[A, B], C], D], E], F]]): PackratParser[(A, B, C, D, E, F)]
    Definition Classes
    ParserUtilities
  140. def parseString[T](parser: Parser[T], str: String): Either[T, String]
    Definition Classes
    ParserUtilities
  141. val parser: PackratParser[Literal]

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

    The parser to use to parse each line of interactive input. We will read queries, which are just literals followed by a period.

    Definition Classes
    Main → ParsingREPLBase
  142. implicit def parser2packrat[T](p: ⇒ Parser[T]): PackratParser[T]
    Definition Classes
    PackratParsers
  143. def percent: Doc
    Definition Classes
    PrettyPrinterBase
  144. def percent(v: Long, total: Long): String
    Definition Classes
    Profiler
  145. def phrase[T](p: Parser[T]): PackratParser[T]
    Definition Classes
    PackratParsers → Parsers
  146. def plist(l: List[PrettyPrintable], prefix: String, elemToDoc: (PrettyPrintable) ⇒ Doc, sep: Doc, sepfn: (Seq[Doc], Doc) ⇒ Doc): Doc
    Definition Classes
    PrettyPrinterBase
  147. def plus: Doc
    Definition Classes
    PrettyPrinterBase
  148. def positioned[T <: Positional](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    RegexParsers → Parsers
  149. def pretty(d: Doc, w: Width): Layout
    Definition Classes
    PrettyPrinter → PrettyPrinterBase
  150. def pretty(p: PrettyPrintable): Layout
    Definition Classes
    PrettyPrinterBase
  151. def pretty_any(a: Any): Layout
    Definition Classes
    PrettyPrinterBase
  152. def printDependencyGraph(record: Record, dim: Dimension): Unit
    Definition Classes
    Profiler
  153. def printReports(totalTime: Long, dimensionNames: Seq[Dimension], records: List[Record]): Unit
    Definition Classes
    Profiler
  154. val printTables: Boolean
    Definition Classes
    Values
  155. def process(querytree: Literal, config: PrologConfig): Unit

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

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

    Definition Classes
    Main → ParsingREPLBase
  156. def processline(line: String, config: PrologConfig): PrologConfig
    Definition Classes
    ParsingREPLBase → REPLBase
  157. final def processlines(config: PrologConfig): Unit
    Definition Classes
    REPLBase
    Annotations
    @tailrec()
  158. def profile[T](computation: ⇒ T, dimensionNames: Seq[Dimension], logging: Boolean): T
    Definition Classes
    Profiler
  159. def profileStart(logging: Boolean): Unit
    Definition Classes
    Profiler
  160. def profileStop(): (Seq[Dimension]) ⇒ Unit
    Definition Classes
    Profiler
  161. def profileStop(dimensionNames: Seq[Dimension]): Unit
    Definition Classes
    Profiler
  162. def profileStopInteractive(): Unit
    Definition Classes
    Profiler
  163. lazy val program: PackratParser[Program]
    Definition Classes
    SyntaxAnalyser
  164. val prompt: String

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

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

    Definition Classes
    Main → REPLBase
  165. def pseq(l: Seq[PrettyPrintable], prefix: String, elemToDoc: (PrettyPrintable) ⇒ Doc, sep: Doc, sepfn: (Seq[Doc], Doc) ⇒ Doc): Doc
    Definition Classes
    PrettyPrinterBase
  166. lazy val query: PackratParser[Literal]
    Definition Classes
    SyntaxAnalyser
  167. def question: Doc
    Definition Classes
    PrettyPrinterBase
  168. def rangle: Doc
    Definition Classes
    PrettyPrinterBase
  169. def rbrace: Doc
    Definition Classes
    PrettyPrinterBase
  170. def rbracket: Doc
    Definition Classes
    PrettyPrinterBase
  171. implicit def regex(r: Regex): Parser[String]
    Definition Classes
    RegexParsers
  172. def rep[T](p: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
  173. def rep1[T](first: ⇒ Parser[T], p0: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
    Annotations
    @migration
    Migration

    (Changed in version 2.9.0) The p0 call-by-name arguments is evaluated at most once per constructed Parser object, instead of on every need that arises during parsing.

  174. def rep1[T](p: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
  175. def rep1sep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]
    Definition Classes
    Parsers
  176. def repN[T](num: Int, p: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
  177. def repsep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]
    Definition Classes
    Parsers
  178. def result[T](v: ⇒ T): Parser[T]
    Definition Classes
    ParserUtilities
  179. def rparen: Doc
    Definition Classes
    PrettyPrinterBase
  180. def semi: Doc
    Definition Classes
    PrettyPrinterBase
  181. def sep(ds: Seq[Doc]): Doc
    Definition Classes
    PrettyPrinterBase
  182. def seq[T](l: Seq[T], prefix: String, elemToDoc: (T) ⇒ Doc, sep: Doc, sepfn: (Seq[Doc], Doc) ⇒ Doc): Doc
    Definition Classes
    PrettyPrinterBase
  183. def skipWhitespace: Boolean
    Definition Classes
    RegexParsers
  184. def softbreak: Doc
    Definition Classes
    PrettyPrinterBase
  185. def softline: Doc
    Definition Classes
    PrettyPrinterBase
  186. def space: Doc
    Definition Classes
    PrettyPrinterBase
  187. def spaces(n: Int): Doc
    Definition Classes
    PrettyPrinterBase
  188. def squote: Doc
    Definition Classes
    PrettyPrinterBase
  189. def squotes(d: Doc): Doc
    Definition Classes
    PrettyPrinterBase
  190. def ssep(ds: Seq[Doc], sep: Doc): Doc
    Definition Classes
    PrettyPrinterBase
  191. def startReport(dimensionNames: Seq[Dimension]): Unit
    Definition Classes
    Profiler → Values
  192. val startTime: Long
    Definition Classes
    Profiler
  193. def sterm(ds: Seq[Doc], term: Doc): Doc
    Definition Classes
    PrettyPrinterBase
  194. def string(s: String): Doc
    Definition Classes
    PrettyPrinterBase
  195. def stringToInt(s: String): Either[Int, String]
    Definition Classes
    ParserUtilities
  196. def subjectsToStep(src: Any, dst: Any): Step
    Definition Classes
    Profiler
  197. def success[T](v: T): Parser[T]
    Definition Classes
    Parsers
  198. def summariseAlongDims(dimensionNames: Seq[Dimension], records: List[Record], nrecords: Int, profiledTime: Long): Unit
    Definition Classes
    Profiler
  199. def surround(d: Doc, b: Doc): Doc
    Definition Classes
    PrettyPrinterBase
  200. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  201. lazy val term: Parser[Term]
    Definition Classes
    SyntaxAnalyser
  202. lazy val terms: Parser[List[Term]]
    Definition Classes
    SyntaxAnalyser
  203. implicit def text(t: String): Doc
    Definition Classes
    PrettyPrinter → PrettyPrinterBase
  204. def textOf[T](t: T, includeWhiteSpace: Boolean): Option[String]
    Definition Classes
    PositionedParserUtilities
  205. def tilde: Doc
    Definition Classes
    PrettyPrinterBase
  206. def time[T](computation: ⇒ T, warmup: Int, n: Int, discard: Int): Unit
    Definition Classes
    Profiler
  207. def toString(): String
    Definition Classes
    AnyRef → Any
  208. def trace(predicate: (Event) ⇒ Boolean): Unit
    Definition Classes
    Profiler
  209. def underscore: Doc
    Definition Classes
    PrettyPrinterBase
  210. def value(v: Any): Doc
    Definition Classes
    PrettyPrinterBase
  211. def valueToString(a: Value): String
    Definition Classes
    Values
  212. lazy val varr: Parser[String]
    Definition Classes
    SyntaxAnalyser
  213. def vcat(ds: Seq[Doc]): Doc
    Definition Classes
    PrettyPrinterBase
  214. def verticalbar: Doc
    Definition Classes
    PrettyPrinterBase
  215. def vsep(ds: Seq[Doc], sep: Doc): Doc
    Definition Classes
    PrettyPrinterBase
  216. def vsep(ds: Seq[Doc]): Doc
    Definition Classes
    PrettyPrinterBase
  217. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  218. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  219. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  220. val whiteSpace: Regex
    Attributes
    protected
    Definition Classes
    RegexParsers
  221. def width(d: Doc, f: (Int) ⇒ Doc): Doc
    Definition Classes
    PrettyPrinterBase
  222. def wrap[T, U](p: ⇒ Parser[T], f: (T) ⇒ Either[U, String]): Parser[U]
    Definition Classes
    ParserUtilities

Deprecated Value Members

  1. def product(p: Any): Doc
    Definition Classes
    PrettyPrinterBase
    Annotations
    @deprecated
    Deprecated

    (Since version 1.2.1) Use PrettyPrinter.any instead.

Inherited from PrettyPrinter

Inherited from PrettyPrinterBase

Inherited from ParsingREPLWithConfig[Literal, PrologConfig]

Inherited from ParsingREPLBase[Literal, PrologConfig]

Inherited from REPLBase[PrologConfig]

Inherited from Profiler

Inherited from Profiler

Inherited from Values

Inherited from SyntaxAnalyser

Inherited from PositionedParserUtilities

Inherited from ParserUtilities

Inherited from PackratParsers

Inherited from RegexParsers

Inherited from Parsers

Inherited from AnyRef

Inherited from Any

Ungrouped