Packages

class InferenceParser extends Parser

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

Instance Constructors

  1. new InferenceParser(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("Calls to `&` must be inside `rule` macro")
  4. def +(other: String): String
    Implicit
    This member is added by an implicit conversion from InferenceParser toany2stringadd[InferenceParser] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd
  5. def ->[B](y: B): (InferenceParser, B)
    Implicit
    This member is added by an implicit conversion from InferenceParser toArrowAssoc[InferenceParser] 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("Calls to `ANY` must be inside `rule` macro")
  8. def Atom: Rule[HNil, ::[FOLAtom, HNil]]
  9. def Backreference: Rule[HNil, ::[Int, HNil]]
  10. def Clause: Rule1[FOLClause]
  11. def EOI: Char
    Definition Classes
    RuleDSLBasics
  12. def Inference: Rule1[(Int, Int, String, Seq[Int], FOLClause)]
  13. def Justification: Rule1[(Int, String, Seq[Int])]
  14. def MATCH: Rule0
    Definition Classes
    RuleDSLBasics
  15. def MISMATCH[I <: HList, O <: HList]: Rule[I, O]
    Definition Classes
    RuleDSLBasics
  16. def MISMATCH0: Rule0
    Definition Classes
    RuleDSLBasics
  17. def Name: Rule[HNil, ::[String, HNil]]
  18. def Num: Rule[HNil, ::[Int, HNil]]
  19. def Term: Rule1[FOLTerm]
  20. def Ws: Rule[HNil, HNil]
  21. def __advance(): Boolean
    Definition Classes
    Parser
  22. def __bubbleUp(prefix: List[NonTerminal], terminal: Terminal): Nothing
    Definition Classes
    Parser
  23. def __bubbleUp(terminal: Terminal): Nothing
    Definition Classes
    Parser
  24. def __enterAtomic(start: Int): Boolean
    Definition Classes
    Parser
  25. def __enterNotPredicate(): AnyRef
    Definition Classes
    Parser
  26. def __enterQuiet(): Int
    Definition Classes
    Parser
  27. def __exitAtomic(saved: Boolean): Unit
    Definition Classes
    Parser
  28. def __exitNotPredicate(saved: AnyRef): Unit
    Definition Classes
    Parser
  29. def __exitQuiet(saved: Int): Unit
    Definition Classes
    Parser
  30. def __hardFail(expected: String): Nothing
    Definition Classes
    Parser
  31. def __inErrorAnalysis: Boolean
    Definition Classes
    Parser
  32. final def __matchAnyOf(string: String, ix: Int): Boolean
    Definition Classes
    Parser
    Annotations
    @tailrec()
  33. final def __matchIgnoreCaseString(string: String, ix: Int): Boolean
    Definition Classes
    Parser
    Annotations
    @tailrec()
  34. final def __matchIgnoreCaseStringWrapped(string: String, ix: Int): Boolean
    Definition Classes
    Parser
    Annotations
    @tailrec()
  35. def __matchMap(m: Map[String, Any], ignoreCase: Boolean): Boolean
    Definition Classes
    Parser
  36. def __matchMapWrapped(m: Map[String, Any], ignoreCase: Boolean): Boolean
    Definition Classes
    Parser
  37. final def __matchNoneOf(string: String, ix: Int): Boolean
    Definition Classes
    Parser
    Annotations
    @tailrec()
  38. final def __matchString(string: String, ix: Int): Boolean
    Definition Classes
    Parser
    Annotations
    @tailrec()
  39. final def __matchStringWrapped(string: String, ix: Int): Boolean
    Definition Classes
    Parser
    Annotations
    @tailrec()
  40. def __push(value: Any): Boolean
    Definition Classes
    Parser
  41. def __registerMismatch(): Boolean
    Definition Classes
    Parser
  42. def __restoreState(mark: Mark): Unit
    Definition Classes
    Parser
  43. def __run[L <: HList](rule: => RuleN[L])(implicit scheme: DeliveryScheme[L]): Result
    Definition Classes
    Parser
  44. def __saveState: Mark
    Definition Classes
    Parser
  45. def __subParserInput: __SubParserInput
    Definition Classes
    Parser
  46. def __updateMaxCursor(): Boolean
    Definition Classes
    Parser
  47. def anyOf(chars: String): Rule0
    Definition Classes
    RuleDSLBasics
    Annotations
    @compileTimeOnly("Calls to `anyOf` must be inside `rule` macro")
  48. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  49. 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")
  50. 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")
  51. implicit def ch(c: Char): Rule0
    Definition Classes
    RuleDSLBasics
    Annotations
    @compileTimeOnly("Calls to `ch` must be inside `rule` macro")
  52. def charAt(offset: Int): Char
    Definition Classes
    Parser
  53. def charAtRC(offset: Int): Char
    Definition Classes
    Parser
  54. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
  55. def copyStateFrom(other: Parser, offset: Int): Unit
    Definition Classes
    Parser
  56. def cursor: Int
    Definition Classes
    Parser
  57. def cursorChar: Char
    Definition Classes
    Parser
  58. def drop[T](implicit h: HListable[T]): PopRule[Out]
    Definition Classes
    RuleDSLActions
    Annotations
    @compileTimeOnly("Calls to `drop` must be inside `rule` macro")
  59. def ensuring(cond: (InferenceParser) => Boolean, msg: => Any): InferenceParser
    Implicit
    This member is added by an implicit conversion from InferenceParser toEnsuring[InferenceParser] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  60. def ensuring(cond: (InferenceParser) => Boolean): InferenceParser
    Implicit
    This member is added by an implicit conversion from InferenceParser toEnsuring[InferenceParser] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  61. def ensuring(cond: Boolean, msg: => Any): InferenceParser
    Implicit
    This member is added by an implicit conversion from InferenceParser toEnsuring[InferenceParser] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  62. def ensuring(cond: Boolean): InferenceParser
    Implicit
    This member is added by an implicit conversion from InferenceParser toEnsuring[InferenceParser] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  63. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  64. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  65. def errorTraceCollectionLimit: Int
    Definition Classes
    Parser
  66. def fail(expected: String): Rule0
    Definition Classes
    RuleDSLBasics
  67. def failX[I <: HList, O <: HList](expected: String): Rule[I, O]
    Definition Classes
    RuleDSLBasics
  68. def formatError(error: ParseError, formatter: ErrorFormatter): String
    Definition Classes
    Parser
  69. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  70. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  71. def ignoreCase(s: String): Rule0
    Definition Classes
    RuleDSLBasics
    Annotations
    @compileTimeOnly("Calls to `ignoreCase` must be inside `rule` macro")
  72. def ignoreCase(c: Char): Rule0
    Definition Classes
    RuleDSLBasics
    Annotations
    @compileTimeOnly("Calls to `ignoreCase` must be inside `rule` macro")
  73. val input: ParserInput
    Definition Classes
    InferenceParser → Parser
  74. implicit def int2NTimes(i: Int): NTimes
    Definition Classes
    RuleDSLCombinators
    Annotations
    @compileTimeOnly("Calls to `int2NTimes` must be inside `rule` macro")
  75. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  76. def isVar(n: String): Boolean
  77. def lastChar: Char
    Definition Classes
    Parser
  78. macro def namedRule[I <: HList, O <: HList](name: String)(r: Rule[I, O]): Rule[I, O]
    Definition Classes
    ParserMacroMethods
  79. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  80. def noneOf(chars: String): Rule0
    Definition Classes
    RuleDSLBasics
    Annotations
    @compileTimeOnly("Calls to `noneOf` must be inside `rule` macro")
  81. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  82. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  83. 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")
  84. 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")
  85. implicit def predicate(p: CharPredicate): Rule0
    Definition Classes
    RuleDSLBasics
    Annotations
    @compileTimeOnly("Calls to `predicate` must be inside `rule` macro")
  86. def push[T](value: T)(implicit h: HListable[T]): RuleN[Out]
    Definition Classes
    RuleDSLActions
    Annotations
    @compileTimeOnly("Calls to `push` must be inside `rule` macro")
  87. 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")
  88. implicit def range2NTimes(range: Range): NTimes
    Definition Classes
    RuleDSLCombinators
    Annotations
    @compileTimeOnly("Calls to `range2NTimes` must be inside `rule` macro")
  89. macro def rule[I <: HList, O <: HList](r: Rule[I, O]): Rule[I, O]
    Definition Classes
    ParserMacroMethods
  90. 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")
  91. 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")
  92. def run[T](arg: T)(implicit rr: RunResult[T]): Out
    Definition Classes
    RuleDSLActions
    Annotations
    @compileTimeOnly("Calls to `run` must be inside `rule` macro")
  93. 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")
  94. implicit def str(s: String): Rule0
    Definition Classes
    RuleDSLBasics
    Annotations
    @compileTimeOnly("Calls to `str` must be inside `rule` macro")
  95. implicit def str2CharRangeSupport(s: String): CharRangeSupport
    Definition Classes
    RuleDSLBasics
    Annotations
    @compileTimeOnly("Calls to `str2CharRangeSupport` must be inside `rule` macro")
  96. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  97. def test(condition: Boolean): Rule0
    Definition Classes
    RuleDSLActions
    Annotations
    @compileTimeOnly("Calls to `test` must be inside `rule` macro")
  98. def toString(): String
    Definition Classes
    AnyRef → Any
  99. 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")
  100. 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")
  101. def valueStack: ValueStack
    Definition Classes
    Parser
  102. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  103. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  104. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  105. 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

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated
  2. def formatted(fmtstr: String): String
    Implicit
    This member is added by an implicit conversion from InferenceParser toStringFormat[InferenceParser] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @deprecated @inline()
    Deprecated

    (Since version 2.12.16) Use formatString.format(value) instead of value.formatted(formatString), or use the f"" string interpolator. In Java 15 and later, formatted resolves to the new method in String which has reversed parameters.

  3. def [B](y: B): (InferenceParser, B)
    Implicit
    This member is added by an implicit conversion from InferenceParser toArrowAssoc[InferenceParser] 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.

Inherited from Parser

Inherited from ParserMacroMethods

Inherited from RuleDSL

Inherited from RuleDSLActions

Inherited from RuleDSLCombinators

Inherited from RuleDSLBasics

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd fromInferenceParser to any2stringadd[InferenceParser]

Inherited by implicit conversion StringFormat fromInferenceParser to StringFormat[InferenceParser]

Inherited by implicit conversion Ensuring fromInferenceParser to Ensuring[InferenceParser]

Inherited by implicit conversion ArrowAssoc fromInferenceParser to ArrowAssoc[InferenceParser]

Ungrouped