class TptpParser extends Parser

Source
TptpParser.scala
Linear Supertypes
Parser, RuleDSL, RuleDSLActions, RuleDSLCombinators, RuleDSLBasics, AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TptpParser
  2. Parser
  3. RuleDSL
  4. RuleDSLActions
  5. RuleDSLCombinators
  6. RuleDSLBasics
  7. AnyRef
  8. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new TptpParser(input: ParserInput)

Type Members

  1. sealed trait ActionOperator[I <: HList, O <: HList, Ops] extends AnyRef
    Definition Classes
    RuleDSLActions
  2. sealed trait CharRangeSupport extends AnyRef
    Definition Classes
    RuleDSLBasics
  3. sealed trait NTimes extends AnyRef
    Definition Classes
    RuleDSLCombinators
  4. class TracingBubbleException extends RuntimeException with NoStackTrace
    Definition Classes
    Parser
  5. trait WithSeparatedBy[I <: HList, O <: HList] extends AnyRef
    Definition Classes
    RuleDSLCombinators
  6. class __SubParserInput extends ParserInput
    Attributes
    protected
    Definition Classes
    Parser

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. def &(r: Rule[_, _]): Rule0
    Definition Classes
    RuleDSLCombinators
    Annotations
    @compileTimeOnly( ... )
  4. def +(other: String): String
    Implicit
    This member is added by an implicit conversion from TptpParser to any2stringadd[TptpParser] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd
  5. def ->[B](y: B): (TptpParser, B)
    Implicit
    This member is added by an implicit conversion from TptpParser to ArrowAssoc[TptpParser] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  6. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  7. def ANY: Rule0
    Definition Classes
    RuleDSLBasics
    Annotations
    @compileTimeOnly( ... )
  8. def Comma: Rule[HNil, HNil]
  9. def EOI: Char
    Definition Classes
    RuleDSLBasics
  10. def MATCH: Rule0
    Definition Classes
    RuleDSLBasics
  11. def MISMATCH[I <: HList, O <: HList]: Rule[I, O]
    Definition Classes
    RuleDSLBasics
  12. def MISMATCH0: Rule0
    Definition Classes
    RuleDSLBasics
  13. def TPTP_file: Rule1[TptpFile]
  14. def TPTP_input: Rule[HNil, ::[Product with Serializable with TptpInput, HNil]]
  15. def Ws: Rule[HNil, HNil]
  16. def __advance(): Boolean
    Definition Classes
    Parser
  17. def __bubbleUp(prefix: List[NonTerminal], terminal: Terminal): Nothing
    Definition Classes
    Parser
  18. def __bubbleUp(terminal: Terminal): Nothing
    Definition Classes
    Parser
  19. def __enterAtomic(start: Int): Boolean
    Definition Classes
    Parser
  20. def __enterNotPredicate(): AnyRef
    Definition Classes
    Parser
  21. def __enterQuiet(): Int
    Definition Classes
    Parser
  22. def __exitAtomic(saved: Boolean): Unit
    Definition Classes
    Parser
  23. def __exitNotPredicate(saved: AnyRef): Unit
    Definition Classes
    Parser
  24. def __exitQuiet(saved: Int): Unit
    Definition Classes
    Parser
  25. def __hardFail(expected: String): Nothing
    Definition Classes
    Parser
  26. def __inErrorAnalysis: Boolean
    Definition Classes
    Parser
  27. final def __matchAnyOf(string: String, ix: Int): Boolean
    Definition Classes
    Parser
    Annotations
    @tailrec()
  28. final def __matchIgnoreCaseString(string: String, ix: Int): Boolean
    Definition Classes
    Parser
    Annotations
    @tailrec()
  29. final def __matchIgnoreCaseStringWrapped(string: String, ix: Int): Boolean
    Definition Classes
    Parser
    Annotations
    @tailrec()
  30. def __matchMap(m: Map[String, Any]): Boolean
    Definition Classes
    Parser
  31. def __matchMapWrapped(m: Map[String, Any]): Boolean
    Definition Classes
    Parser
  32. final def __matchNoneOf(string: String, ix: Int): Boolean
    Definition Classes
    Parser
    Annotations
    @tailrec()
  33. final def __matchString(string: String, ix: Int): Boolean
    Definition Classes
    Parser
    Annotations
    @tailrec()
  34. final def __matchStringWrapped(string: String, ix: Int): Boolean
    Definition Classes
    Parser
    Annotations
    @tailrec()
  35. def __push(value: Any): Boolean
    Definition Classes
    Parser
  36. def __registerMismatch(): Boolean
    Definition Classes
    Parser
  37. def __restoreState(mark: Mark): Unit
    Definition Classes
    Parser
  38. def __run[L <: HList](rule: ⇒ RuleN[L])(implicit scheme: DeliveryScheme[L]): Result
    Definition Classes
    Parser
  39. def __saveState: Mark
    Definition Classes
    Parser
  40. def __updateMaxCursor(): Boolean
    Definition Classes
    Parser
  41. val alpha_numeric: CharPredicate
  42. def and_formula_part: Rule[::[Formula, HNil], ::[Formula, HNil]]
  43. def annotated_formula: Rule[HNil, ::[AnnotatedFormula, HNil]]
  44. def annotations: Rule[HNil, ::[Seq[Expr], HNil]]
  45. def anyOf(chars: String): Rule0
    Definition Classes
    RuleDSLBasics
    Annotations
    @compileTimeOnly( ... )
  46. def arguments: Rule[HNil, ::[Seq[Expr], HNil]]
  47. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  48. def atomic[I <: HList, O <: HList](r: Rule[I, O]): Rule[I, O]
    Definition Classes
    RuleDSLCombinators
    Annotations
    @compileTimeOnly( ... )
  49. def atomic_formula: Rule[HNil, ::[Formula, HNil]]
  50. def atomic_word: Rule[HNil, ::[String, HNil]]
  51. def binary_connective: Rule[HNil, ::[(Expr, Expr) ⇒ Formula, HNil]]
  52. def binary_nonassoc_part: Rule[::[Formula, HNil], ::[Formula, HNil]]
  53. def capture[I <: HList, O <: HList](r: Rule[I, O])(implicit p: Prepend[O, ::[String, HNil]]): Rule[I, Out]
    Definition Classes
    RuleDSLActions
    Annotations
    @compileTimeOnly( ... )
  54. implicit def ch(c: Char): Rule0
    Definition Classes
    RuleDSLBasics
    Annotations
    @compileTimeOnly( ... )
  55. def charAt(offset: Int): Char
    Definition Classes
    Parser
  56. def charAtRC(offset: Int): Char
    Definition Classes
    Parser
  57. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  58. def copyStateFrom(other: Parser, offset: Int): Unit
    Definition Classes
    Parser
  59. def cursor: Int
    Definition Classes
    Parser
  60. def cursorChar: Char
    Definition Classes
    Parser
  61. def decimal: Rule[HNil, HNil]
  62. def defined_prop: Rule[HNil, ::[PropFormula with Const, HNil]]
  63. def distinct_object: Rule[HNil, ::[String, HNil]]
  64. def do_char: Rule[HNil, ::[String, HNil]]
  65. val do_char_pred: CharPredicate
  66. def drop[T](implicit h: HListable[T]): PopRule[Out]
    Definition Classes
    RuleDSLActions
    Annotations
    @compileTimeOnly( ... )
  67. def ensuring(cond: (TptpParser) ⇒ Boolean, msg: ⇒ Any): TptpParser
    Implicit
    This member is added by an implicit conversion from TptpParser to Ensuring[TptpParser] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  68. def ensuring(cond: (TptpParser) ⇒ Boolean): TptpParser
    Implicit
    This member is added by an implicit conversion from TptpParser to Ensuring[TptpParser] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  69. def ensuring(cond: Boolean, msg: ⇒ Any): TptpParser
    Implicit
    This member is added by an implicit conversion from TptpParser to Ensuring[TptpParser] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  70. def ensuring(cond: Boolean): TptpParser
    Implicit
    This member is added by an implicit conversion from TptpParser to Ensuring[TptpParser] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  71. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  72. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  73. def errorTraceCollectionLimit: Int
    Definition Classes
    Parser
  74. def fail(expected: String): Rule0
    Definition Classes
    RuleDSLBasics
  75. def failX[I <: HList, O <: HList](expected: String): Rule[I, O]
    Definition Classes
    RuleDSLBasics
  76. def file_name: Rule[HNil, ::[String, HNil]]
  77. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  78. def fol_quantifier: Rule[HNil, ::[QuantifierHelper, HNil]]
  79. def formatError(error: ParseError, formatter: ErrorFormatter): String
    Definition Classes
    Parser
  80. def formatted(fmtstr: String): String
    Implicit
    This member is added by an implicit conversion from TptpParser to StringFormat[TptpParser] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()
  81. def formula: Rule[HNil, ::[Formula, HNil]]
  82. def formula_data: Rule1[Expr]
  83. def formula_role: Rule[HNil, ::[String, HNil]]
  84. def formula_selection: Rule[HNil, ::[Option[Seq[String]], HNil]]
  85. def function_term: Rule[HNil, ::[Expr, HNil]]
  86. def general_data: Rule1[Expr]
  87. def general_function: Rule[HNil, ::[Expr, HNil]]
  88. def general_list: Rule1[Seq[Expr]]
  89. def general_term: Rule1[Expr]
  90. def general_terms: Rule[HNil, ::[Seq[Expr], HNil]]
  91. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  92. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  93. def ignoreCase(s: String): Rule0
    Definition Classes
    RuleDSLBasics
    Annotations
    @compileTimeOnly( ... )
  94. def ignoreCase(c: Char): Rule0
    Definition Classes
    RuleDSLBasics
    Annotations
    @compileTimeOnly( ... )
  95. def include: Rule[HNil, ::[IncludeDirective, HNil]]
  96. def infix_formula: Rule[HNil, ::[Formula, HNil]]
  97. val input: ParserInput
    Definition Classes
    TptpParser → Parser
  98. implicit def int2NTimes(i: Int): NTimes
    Definition Classes
    RuleDSLCombinators
    Annotations
    @compileTimeOnly( ... )
  99. def integer: Rule[HNil, ::[String, HNil]]
  100. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  101. def lastChar: Char
    Definition Classes
    Parser
  102. def logic_formula: Rule1[Formula]
  103. def lower_word: Rule[HNil, HNil]
  104. def name: Rule1[String]
  105. macro def namedRule[I <: HList, O <: HList](name: String)(r: Rule[I, O]): Rule[I, O]
    Definition Classes
    Parser
  106. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  107. def noneOf(chars: String): Rule0
    Definition Classes
    RuleDSLBasics
    Annotations
    @compileTimeOnly( ... )
  108. def not_star_slash: Rule[HNil, HNil]
  109. final def notify(): Unit
    Definition Classes
    AnyRef
  110. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  111. def number: Rule[HNil, ::[String, HNil]]
  112. def oneOrMore[I <: HList, O <: HList](r: Rule[I, O])(implicit l: Lifter[Seq, I, O]): Rule[In, StrictOut] with Repeated
    Definition Classes
    RuleDSLCombinators
    Annotations
    @compileTimeOnly( ... )
  113. def optional[I <: HList, O <: HList](r: Rule[I, O])(implicit l: Lifter[Option, I, O]): Rule[In, OptionalOut]
    Definition Classes
    RuleDSLCombinators
    Annotations
    @compileTimeOnly( ... )
  114. def or_formula_part: Rule[::[Formula, HNil], ::[Formula, HNil]]
  115. def plain_atomic_formula: Rule[HNil, ::[Atom, HNil]]
  116. def positive_decimal: Rule[HNil, HNil]
  117. implicit def predicate(p: CharPredicate): Rule0
    Definition Classes
    RuleDSLBasics
    Annotations
    @compileTimeOnly( ... )
  118. def push[T](value: T)(implicit h: HListable[T]): RuleN[Out]
    Definition Classes
    RuleDSLActions
    Annotations
    @compileTimeOnly( ... )
  119. def quantified_formula: Rule[HNil, ::[Formula, HNil]]
  120. def quiet[I <: HList, O <: HList](r: Rule[I, O]): Rule[I, O]
    Definition Classes
    RuleDSLCombinators
    Annotations
    @compileTimeOnly( ... )
  121. implicit def range2NTimes(range: Range): NTimes
    Definition Classes
    RuleDSLCombinators
    Annotations
    @compileTimeOnly( ... )
  122. def rational: Rule[HNil, ::[String, HNil]]
  123. def real: Rule[HNil, ::[String, HNil]]
  124. macro def rule[I <: HList, O <: HList](r: Rule[I, O]): Rule[I, O]
    Definition Classes
    Parser
  125. implicit def rule2ActionOperator[I <: HList, O <: HList](r: Rule[I, O])(implicit ops: ActionOps[I, O]): ActionOperator[I, O, Out]
    Definition Classes
    RuleDSLActions
    Annotations
    @compileTimeOnly( ... )
  126. implicit def rule2WithSeparatedBy[I <: HList, O <: HList](r: Rule[I, O] with Repeated): WithSeparatedBy[I, O]
    Definition Classes
    RuleDSLCombinators
    Annotations
    @compileTimeOnly( ... )
  127. def run[T](arg: T)(implicit rr: RunResult[T]): Out
    Definition Classes
    RuleDSLActions
    Annotations
    @compileTimeOnly( ... )
  128. def runSubParser[I <: HList, O <: HList](f: (ParserInput) ⇒ Rule[I, O]): Rule[I, O]
    Definition Classes
    RuleDSLCombinators
    Annotations
    @compileTimeOnly( ... )
  129. def sg_char: Rule[HNil, ::[String, HNil]]
  130. val sg_char_pred: CharPredicate
  131. def single_quoted: Rule[HNil, ::[String, HNil]]
  132. implicit def str(s: String): Rule0
    Definition Classes
    RuleDSLBasics
    Annotations
    @compileTimeOnly( ... )
  133. implicit def str2CharRangeSupport(s: String): CharRangeSupport
    Definition Classes
    RuleDSLBasics
    Annotations
    @compileTimeOnly( ... )
  134. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  135. def term: Rule1[Expr]
  136. def test(condition: Boolean): Rule0
    Definition Classes
    RuleDSLActions
    Annotations
    @compileTimeOnly( ... )
  137. def toString(): String
    Definition Classes
    AnyRef → Any
  138. def unary_formula: Rule[HNil, ::[Formula, HNil]]
  139. def unitary_formula: Rule1[Formula]
  140. def upper_word: Rule[HNil, HNil]
  141. implicit def valueMap[T](m: Map[String, T])(implicit h: HListable[T]): RuleN[Out]
    Definition Classes
    RuleDSLBasics
    Annotations
    @compileTimeOnly( ... )
  142. def valueStack: ValueStack
    Definition Classes
    Parser
  143. def variable: Rule[HNil, ::[FOLVar, HNil]]
  144. def variable_list: Rule[HNil, ::[Seq[FOLVar], HNil]]
  145. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  146. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  147. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  148. def zeroOrMore[I <: HList, O <: HList](r: Rule[I, O])(implicit l: Lifter[Seq, I, O]): Rule[In, OptionalOut] with Repeated
    Definition Classes
    RuleDSLCombinators
    Annotations
    @compileTimeOnly( ... )
  149. def [B](y: B): (TptpParser, B)
    Implicit
    This member is added by an implicit conversion from TptpParser to ArrowAssoc[TptpParser] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc

Inherited from Parser

Inherited from RuleDSL

Inherited from RuleDSLActions

Inherited from RuleDSLCombinators

Inherited from RuleDSLBasics

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from TptpParser to any2stringadd[TptpParser]

Inherited by implicit conversion StringFormat from TptpParser to StringFormat[TptpParser]

Inherited by implicit conversion Ensuring from TptpParser to Ensuring[TptpParser]

Inherited by implicit conversion ArrowAssoc from TptpParser to ArrowAssoc[TptpParser]

Ungrouped