class TptpParser extends Parser
Ordering
- Alphabetic
- By Inheritance
Inherited
- TptpParser
- Parser
- ParserMacroMethods
- RuleDSL
- RuleDSLActions
- RuleDSLCombinators
- RuleDSLBasics
- AnyRef
- Any
Implicitly
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
Visibility
- Public
- Protected
Instance Constructors
- new TptpParser(input: ParserInput)
Type Members
- sealed trait ActionOperator[I <: HList, O <: HList, Ops] extends AnyRef
- Definition Classes
- RuleDSLActions
- sealed trait CharRangeSupport extends AnyRef
- Definition Classes
- RuleDSLBasics
- sealed trait NTimes extends AnyRef
- Definition Classes
- RuleDSLCombinators
- class TracingBubbleException extends RuntimeException with NoStackTrace
- Definition Classes
- Parser
- trait WithSeparatedBy[I <: HList, O <: HList] extends AnyRef
- Definition Classes
- RuleDSLCombinators
- class __SubParserInput extends ParserInput
- Attributes
- protected
- Definition Classes
- Parser
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- def &(r: Rule[_, _]): Rule0
- Definition Classes
- RuleDSLCombinators
- Annotations
- @compileTimeOnly("Calls to `&` must be inside `rule` macro")
- def +(other: String): String
- Implicit
- This member is added by an implicit conversion from TptpParser toany2stringadd[TptpParser] performed by method any2stringadd in scala.Predef.
- Definition Classes
- any2stringadd
- def ->[B](y: B): (TptpParser, B)
- Implicit
- This member is added by an implicit conversion from TptpParser toArrowAssoc[TptpParser] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @inline()
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def ANY: Rule0
- Definition Classes
- RuleDSLBasics
- Annotations
- @compileTimeOnly("Calls to `ANY` must be inside `rule` macro")
- def EOI: Char
- Definition Classes
- RuleDSLBasics
- def MATCH: Rule0
- Definition Classes
- RuleDSLBasics
- def MISMATCH[I <: HList, O <: HList]: Rule[I, O]
- Definition Classes
- RuleDSLBasics
- def MISMATCH0: Rule0
- Definition Classes
- RuleDSLBasics
- def TPTP_file: Rule1[TptpFile]
- def __advance(): Boolean
- Definition Classes
- Parser
- def __bubbleUp(prefix: List[NonTerminal], terminal: Terminal): Nothing
- Definition Classes
- Parser
- def __bubbleUp(terminal: Terminal): Nothing
- Definition Classes
- Parser
- def __enterAtomic(start: Int): Boolean
- Definition Classes
- Parser
- def __enterNotPredicate(): AnyRef
- Definition Classes
- Parser
- def __enterQuiet(): Int
- Definition Classes
- Parser
- def __exitAtomic(saved: Boolean): Unit
- Definition Classes
- Parser
- def __exitNotPredicate(saved: AnyRef): Unit
- Definition Classes
- Parser
- def __exitQuiet(saved: Int): Unit
- Definition Classes
- Parser
- def __hardFail(expected: String): Nothing
- Definition Classes
- Parser
- def __inErrorAnalysis: Boolean
- Definition Classes
- Parser
- final def __matchAnyOf(string: String, ix: Int): Boolean
- Definition Classes
- Parser
- Annotations
- @tailrec()
- final def __matchIgnoreCaseString(string: String, ix: Int): Boolean
- Definition Classes
- Parser
- Annotations
- @tailrec()
- final def __matchIgnoreCaseStringWrapped(string: String, ix: Int): Boolean
- Definition Classes
- Parser
- Annotations
- @tailrec()
- def __matchMap(m: Map[String, Any], ignoreCase: Boolean): Boolean
- Definition Classes
- Parser
- def __matchMapWrapped(m: Map[String, Any], ignoreCase: Boolean): Boolean
- Definition Classes
- Parser
- final def __matchNoneOf(string: String, ix: Int): Boolean
- Definition Classes
- Parser
- Annotations
- @tailrec()
- final def __matchString(string: String, ix: Int): Boolean
- Definition Classes
- Parser
- Annotations
- @tailrec()
- final def __matchStringWrapped(string: String, ix: Int): Boolean
- Definition Classes
- Parser
- Annotations
- @tailrec()
- def __push(value: Any): Boolean
- Definition Classes
- Parser
- def __registerMismatch(): Boolean
- Definition Classes
- Parser
- def __restoreState(mark: Mark): Unit
- Definition Classes
- Parser
- def __run[L <: HList](rule: => RuleN[L])(implicit scheme: DeliveryScheme[L]): Result
- Definition Classes
- Parser
- def __saveState: Mark
- Definition Classes
- Parser
- def __subParserInput: __SubParserInput
- Definition Classes
- Parser
- def __updateMaxCursor(): Boolean
- Definition Classes
- Parser
- def anyOf(chars: String): Rule0
- Definition Classes
- RuleDSLBasics
- Annotations
- @compileTimeOnly("Calls to `anyOf` must be inside `rule` macro")
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def atomic[I <: HList, O <: HList](r: Rule[I, O]): Rule[I, O]
- Definition Classes
- RuleDSLCombinators
- Annotations
- @compileTimeOnly("Calls to `atomic` must be inside `rule` macro")
- def capture[I <: HList, O <: HList](r: Rule[I, O])(implicit p: Prepend[O, ::[String, HNil]]): Rule[I, Out]
- Definition Classes
- RuleDSLActions
- Annotations
- @compileTimeOnly("Calls to `capture` must be inside `rule` macro")
- implicit def ch(c: Char): Rule0
- Definition Classes
- RuleDSLBasics
- Annotations
- @compileTimeOnly("Calls to `ch` must be inside `rule` macro")
- def charAt(offset: Int): Char
- Definition Classes
- Parser
- def charAtRC(offset: Int): Char
- Definition Classes
- Parser
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
- def copyStateFrom(other: Parser, offset: Int): Unit
- Definition Classes
- Parser
- def cursor: Int
- Definition Classes
- Parser
- def cursorChar: Char
- Definition Classes
- Parser
- def drop[T](implicit h: HListable[T]): PopRule[Out]
- Definition Classes
- RuleDSLActions
- Annotations
- @compileTimeOnly("Calls to `drop` must be inside `rule` macro")
- def ensuring(cond: (TptpParser) => Boolean, msg: => Any): TptpParser
- Implicit
- This member is added by an implicit conversion from TptpParser toEnsuring[TptpParser] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: (TptpParser) => Boolean): TptpParser
- Implicit
- This member is added by an implicit conversion from TptpParser toEnsuring[TptpParser] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: Boolean, msg: => Any): TptpParser
- Implicit
- This member is added by an implicit conversion from TptpParser toEnsuring[TptpParser] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: Boolean): TptpParser
- Implicit
- This member is added by an implicit conversion from TptpParser toEnsuring[TptpParser] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def errorTraceCollectionLimit: Int
- Definition Classes
- Parser
- def fail(expected: String): Rule0
- Definition Classes
- RuleDSLBasics
- def failX[I <: HList, O <: HList](expected: String): Rule[I, O]
- Definition Classes
- RuleDSLBasics
- def formatError(error: ParseError, formatter: ErrorFormatter): String
- Definition Classes
- Parser
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- def ignoreCase(s: String): Rule0
- Definition Classes
- RuleDSLBasics
- Annotations
- @compileTimeOnly("Calls to `ignoreCase` must be inside `rule` macro")
- def ignoreCase(c: Char): Rule0
- Definition Classes
- RuleDSLBasics
- Annotations
- @compileTimeOnly("Calls to `ignoreCase` must be inside `rule` macro")
- val input: ParserInput
- Definition Classes
- TptpParser → Parser
- implicit def int2NTimes(i: Int): NTimes
- Definition Classes
- RuleDSLCombinators
- Annotations
- @compileTimeOnly("Calls to `int2NTimes` must be inside `rule` macro")
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def lastChar: Char
- Definition Classes
- Parser
- macro def namedRule[I <: HList, O <: HList](name: String)(r: Rule[I, O]): Rule[I, O]
- Definition Classes
- ParserMacroMethods
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def noneOf(chars: String): Rule0
- Definition Classes
- RuleDSLBasics
- Annotations
- @compileTimeOnly("Calls to `noneOf` must be inside `rule` macro")
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
- 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("Calls to `oneOrMore` must be inside `rule` macro")
- def optional[I <: HList, O <: HList](r: Rule[I, O])(implicit l: Lifter[Option, I, O]): Rule[In, OptionalOut]
- Definition Classes
- RuleDSLCombinators
- Annotations
- @compileTimeOnly("Calls to `optional` must be inside `rule` macro")
- implicit def predicate(p: CharPredicate): Rule0
- Definition Classes
- RuleDSLBasics
- Annotations
- @compileTimeOnly("Calls to `predicate` must be inside `rule` macro")
- def push[T](value: T)(implicit h: HListable[T]): RuleN[Out]
- Definition Classes
- RuleDSLActions
- Annotations
- @compileTimeOnly("Calls to `push` must be inside `rule` macro")
- def quiet[I <: HList, O <: HList](r: Rule[I, O]): Rule[I, O]
- Definition Classes
- RuleDSLCombinators
- Annotations
- @compileTimeOnly("Calls to `atomic` must be inside `rule` macro")
- implicit def range2NTimes(range: Range): NTimes
- Definition Classes
- RuleDSLCombinators
- Annotations
- @compileTimeOnly("Calls to `range2NTimes` must be inside `rule` macro")
- macro def rule[I <: HList, O <: HList](r: Rule[I, O]): Rule[I, O]
- Definition Classes
- ParserMacroMethods
- 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("Calls to `rule2ActionOperator` must be inside `rule` macro")
- implicit def rule2WithSeparatedBy[I <: HList, O <: HList](r: Rule[I, O] with Repeated): WithSeparatedBy[I, O]
- Definition Classes
- RuleDSLCombinators
- Annotations
- @compileTimeOnly("Calls to `rule2WithSeparatedBy` constructor must be inside `rule` macro")
- def run[T](arg: T)(implicit rr: RunResult[T]): Out
- Definition Classes
- RuleDSLActions
- Annotations
- @compileTimeOnly("Calls to `run` must be inside `rule` macro")
- def runSubParser[I <: HList, O <: HList](f: (ParserInput) => Rule[I, O]): Rule[I, O]
- Definition Classes
- RuleDSLCombinators
- Annotations
- @compileTimeOnly("Calls to `runSubParser` must be inside `rule` macro")
- implicit def str(s: String): Rule0
- Definition Classes
- RuleDSLBasics
- Annotations
- @compileTimeOnly("Calls to `str` must be inside `rule` macro")
- implicit def str2CharRangeSupport(s: String): CharRangeSupport
- Definition Classes
- RuleDSLBasics
- Annotations
- @compileTimeOnly("Calls to `str2CharRangeSupport` must be inside `rule` macro")
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def test(condition: Boolean): Rule0
- Definition Classes
- RuleDSLActions
- Annotations
- @compileTimeOnly("Calls to `test` must be inside `rule` macro")
- def toString(): String
- Definition Classes
- AnyRef → Any
- def valueMap[T](m: Map[String, T], ignoreCase: Boolean)(implicit h: HListable[T]): RuleN[Out]
- Definition Classes
- RuleDSLBasics
- Annotations
- @compileTimeOnly("Calls to `valueMap` must be inside `rule` macro")
- implicit def valueMap[T](m: Map[String, T])(implicit h: HListable[T]): RuleN[Out]
- Definition Classes
- RuleDSLBasics
- Annotations
- @compileTimeOnly("Calls to `valueMap` must be inside `rule` macro")
- def valueStack: ValueStack
- Definition Classes
- Parser
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- 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("Calls to `zeroOrMore` must be inside `rule` macro")
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated
- def formatted(fmtstr: String): String
- Implicit
- This member is added by an implicit conversion from TptpParser toStringFormat[TptpParser] performed by method StringFormat in scala.Predef.
- Definition Classes
- StringFormat
- Annotations
- @deprecated @inline()
- Deprecated
(Since version 2.12.16) Use
formatString.format(value)
instead ofvalue.formatted(formatString)
, or use thef""
string interpolator. In Java 15 and later,formatted
resolves to the new method in String which has reversed parameters.
- def →[B](y: B): (TptpParser, B)
- Implicit
- This member is added by an implicit conversion from TptpParser toArrowAssoc[TptpParser] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @deprecated
- Deprecated
(Since version 2.13.0) Use
->
instead. If you still wish to display it as one character, consider using a font with programming ligatures such as Fira Code.
This is the API documentation for GAPT.
The main package is gapt.