class ProvQLParser extends Parser with PQLParser
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- ProvQLParser
- PQLParser
- ProvnNamespaces
- ProvnCore
- Parser
- ParserMacroMethods
- RuleDSL
- RuleDSLActions
- RuleDSLCombinators
- RuleDSLBasics
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Instance Constructors
- new ProvQLParser(input: ParserInput, ns: Namespace)
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")
- 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 WS: Rule[HNil, HNil]
- Definition Classes
- ProvnCore
- 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")
- def approx_qualified_name: Rule1[QualifiedName]
- Definition Classes
- ProvnCore
- 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]) @IntrinsicCandidate() @native()
- def copyStateFrom(other: Parser, offset: Int): Unit
- Definition Classes
- Parser
- def cursor: Int
- Definition Classes
- Parser
- def cursorChar: Char
- Definition Classes
- Parser
- def defaultNamespaceDeclaration: Rule[HNil, HNil]
- Definition Classes
- ProvnNamespaces
- def drop[T](implicit h: HListable[T]): PopRule[Out]
- Definition Classes
- RuleDSLActions
- Annotations
- @compileTimeOnly("Calls to `drop` must be inside `rule` macro")
- 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 fieldIdList: Rule[HNil, ::[Seq[String], HNil]]
- Definition Classes
- PQLParser
- def fieldIdent: Rule[HNil, ::[String, HNil]]
- Definition Classes
- PQLParser
- def fieldList: Rule[HNil, ::[Seq[(String, Option[String])], HNil]]
- Definition Classes
- PQLParser
- def formatError(error: ParseError, formatter: ErrorFormatter): String
- Definition Classes
- Parser
- def fromClause: Rule[HNil, ::[Operator, HNil]]
- Definition Classes
- PQLParser
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @IntrinsicCandidate() @native()
- def groupClause: Rule[::[Operator, HNil], ::[Operator, HNil]]
- Definition Classes
- PQLParser
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @IntrinsicCandidate() @native()
- def identifier: Rule[HNil, ::[QualifiedName, HNil]]
- Definition Classes
- PQLParser
- 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
- ProvQLParser → ProvnCore → Parser
- implicit def int2NTimes(i: Int): NTimes
- Definition Classes
- RuleDSLCombinators
- Annotations
- @compileTimeOnly("Calls to `int2NTimes` must be inside `rule` macro")
- def int_literal: Rule[HNil, ::[String, HNil]]
- Definition Classes
- PQLParser
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def joinClause1: Rule[::[Operator, HNil], ::[Operator, HNil]]
- Definition Classes
- PQLParser
- def joinClause2: Rule[HNil, ::[(Ref, Ref), HNil]]
- Definition Classes
- PQLParser
- def lastChar: Char
- Definition Classes
- Parser
- val makeApproxQualifiedName: (String) => QualifiedName
- Definition Classes
- ProvnCore
- def makeEmptyList: () => Seq[(String, Option[String])]
- Definition Classes
- PQLParser
- def makeEq: (Ref, Ref) => Predicate
- Definition Classes
- ProvQLParser → PQLParser
- def makeEqL: (Ref, String) => Predicate
- Definition Classes
- ProvQLParser → PQLParser
- def makeExists: (Ref) => Predicate
- Definition Classes
- ProvQLParser → PQLParser
- def makeField: (String, String) => Ref
- Definition Classes
- ProvQLParser → PQLParser
- def makeFieldIdentPair: (String, Option[String]) => (String, Option[String])
- Definition Classes
- PQLParser
- def makeGroup: (Operator, Seq[String], Seq[String], String, Option[Ref]) => Operator
- Definition Classes
- ProvQLParser → PQLParser
- def makeIncludes: (Ref, Ref) => Predicate
- Definition Classes
- ProvQLParser → PQLParser
- def makeIncludesNot: (Ref, Ref) => Predicate
- Definition Classes
- ProvQLParser → PQLParser
- def makeJoin1: (Operator, Seq[Operator]) => Operator
- Definition Classes
- ProvQLParser → PQLParser
- def makeJoinPair: (Ref, Ref) => (Ref, Ref)
- Definition Classes
- ProvQLParser → PQLParser
- def makeOr: (Predicate, Predicate) => Predicate
- Definition Classes
- PQLParser
- def makeProperty: (String, QualifiedName) => Ref
- Definition Classes
- ProvQLParser → PQLParser
- val makeQualifiedName: (String) => QualifiedName
- Definition Classes
- ProvQLParser → ProvnCore
- def makeScan: (String, QualifiedName, Option[String]) => Operator
- Definition Classes
- ProvQLParser → PQLParser
- def makeSelect: (Seq[(String, Option[String])], Operator) => Operator
- Definition Classes
- ProvQLParser → PQLParser
- def makeTableJoin: (Operator, Operator, (Ref, Ref)) => Operator
- Definition Classes
- ProvQLParser → PQLParser
- def makeTableLJoin: (Operator, Operator, (Ref, Ref)) => Operator
- Definition Classes
- ProvQLParser → PQLParser
- val makeText: (String) => String
- Definition Classes
- ProvQLParser → ProvnCore
- def makeValue: (QualifiedName) => Ref
- Definition Classes
- ProvQLParser → PQLParser
- def makeWhere: (Operator, Option[Seq[Predicate]]) => Operator
- Definition Classes
- ProvQLParser → PQLParser
- macro def namedRule[I <: HList, O <: HList](name: String)(r: Rule[I, O]): Rule[I, O]
- Definition Classes
- ParserMacroMethods
- def namespace: Rule[HNil, ::[String, HNil]]
- Definition Classes
- ProvnNamespaces
- def namespaceDeclaration: Rule[HNil, HNil]
- Definition Classes
- ProvnNamespaces
- def namespaceDeclarations: Rule[HNil, HNil]
- Definition Classes
- PQLParser → ProvnNamespaces
- 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
- @IntrinsicCandidate() @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @IntrinsicCandidate() @native()
- val ns: Namespace
- 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")
- def orig_qualified_name: Rule1[QualifiedName]
- Definition Classes
- ProvnCore
- def pn_local_no_dot: Rule[HNil, HNil]
- Definition Classes
- ProvnCore
- def pn_prefix: Rule[HNil, HNil]
- Definition Classes
- ProvnCore
- def pred: Rule[HNil, ::[Predicate, HNil]]
- Definition Classes
- PQLParser
- 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 qualified_name: Rule1[QualifiedName]
- Definition Classes
- ProvnCore
- def qualified_nameAsString: Rule1[String]
- Definition Classes
- ProvnCore
- def query: Rule[HNil, ::[Operator, HNil]]
- Definition Classes
- PQLParser
- 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")
- def ref: Rule[HNil, ::[Ref, HNil]]
- Definition Classes
- PQLParser
- def registerDefaultNamespace: (String) => Unit
- Definition Classes
- ProvnNamespaces
- def registerNamespace: (String, String) => Unit
- Definition Classes
- ProvnNamespaces
- 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")
- def selectClause: Rule[HNil, ::[Operator, HNil]]
- Definition Classes
- PQLParser
- 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 tableClause: Rule[HNil, ::[Operator, HNil]]
- Definition Classes
- PQLParser
- def tableJoinClause: Rule[::[Operator, HNil], ::[Operator, HNil]]
- Definition Classes
- PQLParser
- def test(condition: Boolean): Rule0
- Definition Classes
- RuleDSLActions
- Annotations
- @compileTimeOnly("Calls to `test` must be inside `rule` macro")
- def theNamespace: () => Namespace
- Definition Classes
- ProvQLParser → ProvnNamespaces
- 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])
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- def whereClause: Rule[::[Operator, HNil], ::[Operator, HNil]]
- Definition Classes
- PQLParser
- 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
(Since version 9)