Class

net.sansa_stack.owl.common.parsing

ManchesterParsing

Related Doc: package parsing

Permalink

class ManchesterParsing extends IRIParsing

Linear Supertypes
IRIParsing, RegexParsers, Parsers, AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ManchesterParsing
  2. IRIParsing
  3. RegexParsers
  4. Parsers
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ManchesterParsing()

    Permalink

Type Members

  1. type Elem = Char

    Permalink
    Definition Classes
    RegexParsers → Parsers
  2. case class Error extends NoSuccess with Product with Serializable

    Permalink
    Definition Classes
    Parsers
  3. case class Failure extends NoSuccess with Product with Serializable

    Permalink
    Definition Classes
    Parsers
  4. type Input = Reader[Elem]

    Permalink
    Definition Classes
    Parsers
  5. sealed abstract class NoSuccess extends ParseResult[Nothing]

    Permalink
    Definition Classes
    Parsers
  6. trait OnceParser[+T] extends Parser[T]

    Permalink
    Definition Classes
    Parsers
  7. sealed abstract class ParseResult[+T] extends AnyRef

    Permalink
    Definition Classes
    Parsers
  8. abstract class Parser[+T] extends (Input) ⇒ ParseResult[T]

    Permalink
    Definition Classes
    Parsers
  9. case class Success[+T] extends ParseResult[T] with Product with Serializable

    Permalink
    Definition Classes
    Parsers
  10. case class ~[+a, +b] extends Product with Serializable

    Permalink
    Definition Classes
    Parsers

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. def OnceParser[T](f: (Input) ⇒ ParseResult[T]): Parser[T] with OnceParser[T]

    Permalink
    Definition Classes
    Parsers
  5. def Parser[T](f: (Input) ⇒ ParseResult[T]): Parser[T]

    Permalink
    Definition Classes
    Parsers
  6. def abbreviatedIRI: Parser[IRI]

    Permalink
    Definition Classes
    IRIParsing
  7. def accept[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]

    Permalink
    Definition Classes
    Parsers
  8. def accept[ES](es: ES)(implicit arg0: (ES) ⇒ List[Elem]): Parser[List[Elem]]

    Permalink
    Definition Classes
    Parsers
  9. implicit def accept(e: Elem): Parser[Elem]

    Permalink
    Definition Classes
    Parsers
  10. def acceptIf(p: (Elem) ⇒ Boolean)(err: (Elem) ⇒ String): Parser[Elem]

    Permalink
    Definition Classes
    Parsers
  11. def acceptMatch[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]

    Permalink
    Definition Classes
    Parsers
  12. def acceptSeq[ES](es: ES)(implicit arg0: (ES) ⇒ Iterable[Elem]): Parser[List[Elem]]

    Permalink
    Definition Classes
    Parsers
  13. def alpha: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  14. def ampersand: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  15. def annotation: Parser[(OWLAnnotationProperty, OWLAnnotationValue)]

    Permalink
  16. def annotationAnnotatedList: Parser[List[OWLAnnotation]]

    Permalink
  17. def annotationPropertyDecl: Parser[OWLAnnotationProperty]

    Permalink
  18. def annotationPropertyDomain: Parser[List[(IRI, List[OWLAnnotation])]]

    Permalink
  19. def annotationPropertyFrame: Parser[List[OWLAxiom]]

    Permalink

    Since the specs (https://www.w3.org/TR/owl2-manchester-syntax/#annotationPropertyFrame) say an annotation property frame should look like this

    Since the specs (https://www.w3.org/TR/owl2-manchester-syntax/#annotationPropertyFrame) say an annotation property frame should look like this

    annotationPropertyFrame ::= 'AnnotationProperty:' annotationPropertyIRI { 'Annotations:' annotationAnnotatedList } | 'Domain:' IRIAnnotatedList | 'Range:' IRIAnnotatedList | 'SubPropertyOf:' annotationPropertyIRIAnnotatedList

    (which means either annotations, or one domain, or one range, or one subproperty of part) but give an example that violates this rule:

    AnnotationProperty: creator Annotations: ... Domain: Person ,... Range: integer ,... SubPropertyOf: initialCreator ,...

    I assume spec should be

    annotationPropertyFrame ::= 'AnnotationProperty:' annotationPropertyIRI { 'Annotations:' annotationAnnotatedList | 'Domain:' IRIAnnotatedList | 'Range:' IRIAnnotatedList | 'SubPropertyOf:' annotationPropertyIRIAnnotatedList }

  20. def annotationPropertyIRI: Parser[OWLAnnotationProperty]

    Permalink
  21. def annotationPropertyIRIAnnotatedList: Parser[List[(OWLAnnotationProperty, List[OWLAnnotation])]]

    Permalink
  22. def annotationPropertyRange: Parser[List[(IRI, List[OWLAnnotation])]]

    Permalink
  23. def annotationPropertySubPropertyOf: Parser[List[(OWLAnnotationProperty, List[OWLAnnotation])]]

    Permalink
  24. def annotationTarget: Parser[OWLAnnotationValue]

    Permalink
  25. def annotations: Parser[List[OWLAnnotation]]

    Permalink
  26. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  27. def asterisk: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  28. def at: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  29. def atomic: Parser[OWLClassExpression]

    Permalink
  30. def chainl1[T, U](first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]

    Permalink
    Definition Classes
    Parsers
  31. def chainl1[T](p: ⇒ Parser[T], q: ⇒ Parser[(T, T) ⇒ T]): Parser[T]

    Permalink
    Definition Classes
    Parsers
  32. def chainr1[T, U](p: ⇒ Parser[T], q: ⇒ Parser[(T, U) ⇒ U], combine: (T, U) ⇒ U, first: U): Parser[U]

    Permalink
    Definition Classes
    Parsers
  33. def characteristics: Parser[List[(PropertyCharacteristic.Value, List[OWLAnnotation])]]

    Permalink
  34. def circumflex: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  35. def classDecl: Parser[OWLClass]

    Permalink
  36. def classFrame: Parser[List[OWLAxiom]]

    Permalink
  37. def classIRI: Parser[OWLClass]

    Permalink
  38. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  39. def closingAngleBracket: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  40. def closingBracket: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  41. def closingCurlyBrace: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  42. def closingParen: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  43. def collectClassDetails(cls: OWLClass, details: ClassDetails): List[OWLAxiom]

    Permalink
  44. def colon: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  45. def comma: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  46. def commit[T](p: ⇒ Parser[T]): Parser[T]

    Permalink
    Definition Classes
    Parsers
  47. def conjunction: Parser[OWLClassExpression]

    Permalink
  48. def dash: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  49. def dataAllValuesFrom_restriction: Parser[OWLClassExpression]

    Permalink
  50. def dataAtomic: Parser[OWLDataRange]

    Permalink
  51. def dataConjunction: Parser[OWLDataRange]

    Permalink
  52. def dataExactCardinality_restriction: Parser[OWLClassExpression]

    Permalink
  53. val dataFactory: OWLDataFactory

    Permalink
    Definition Classes
    IRIParsing
  54. def dataHasValue_restriction: Parser[OWLClassExpression]

    Permalink
  55. def dataMaxCardinality_restriction: Parser[OWLClassExpression]

    Permalink
  56. def dataMinCardinality_restriction: Parser[OWLClassExpression]

    Permalink
  57. def dataPrimary: Parser[OWLDataRange]

    Permalink
  58. def dataProperty2List: Parser[List[OWLDataPropertyExpression]]

    Permalink
  59. def dataPropertyCharacteristics: Parser[List[OWLAnnotation]]

    Permalink
  60. def dataPropertyDecl: Parser[OWLDataProperty]

    Permalink
  61. def dataPropertyDisjointWith: Parser[List[(OWLDataPropertyExpression, List[OWLAnnotation])]]

    Permalink
  62. def dataPropertyDomain: Parser[List[(OWLClassExpression, List[OWLAnnotation])]]

    Permalink
  63. def dataPropertyEquivalentTo: Parser[List[(OWLDataPropertyExpression, List[OWLAnnotation])]]

    Permalink
  64. def dataPropertyExpression: Parser[OWLDataPropertyExpression]

    Permalink
  65. def dataPropertyExpressionAnnotatedList: Parser[List[(OWLDataPropertyExpression, List[OWLAnnotation])]]

    Permalink
  66. def dataPropertyExpressionList: Parser[List[OWLDataPropertyExpression]]

    Permalink
  67. def dataPropertyFact: Parser[(OWLDataProperty, OWLLiteral)]

    Permalink
  68. def dataPropertyFrame: Parser[List[OWLAxiom]]

    Permalink
  69. def dataPropertyIRI: Parser[OWLDataProperty]

    Permalink
  70. def dataPropertyRange: Parser[List[(OWLDataRange, List[OWLAnnotation])]]

    Permalink
  71. def dataPropertySubPropertyOf: Parser[List[(OWLDataPropertyExpression, List[OWLAnnotation])]]

    Permalink
  72. def dataRange: Parser[OWLDataRange]

    Permalink
  73. def dataRangeAnnotatedList: Parser[List[(OWLDataRange, List[OWLAnnotation])]]

    Permalink
  74. def dataSomeValuesFrom_restriction: Parser[OWLClassExpression]

    Permalink
  75. def datatype: Parser[OWLDatatype]

    Permalink
  76. def datatypeDecl: Parser[OWLDatatype]

    Permalink
  77. def datatypeFrame: Parser[List[OWLAxiom]]

    Permalink
  78. def datatypeRestriction: Parser[OWLDatatypeRestriction]

    Permalink
  79. def decOctet: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  80. def decimalLiteral: Parser[OWLLiteral]

    Permalink
  81. def description: Parser[OWLClassExpression]

    Permalink
  82. def description2List: Parser[(OWLClassExpression, List[OWLClassExpression])]

    Permalink
  83. def descriptionAnnotatedList: Parser[List[(OWLClassExpression, List[OWLAnnotation])]]

    Permalink
  84. def descriptionList: Parser[List[OWLClassExpression]]

    Permalink
  85. def differentIndividuals: Parser[List[OWLAxiom]]

    Permalink
  86. def digit: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  87. def disjointClasses: Parser[List[OWLAxiom]]

    Permalink
  88. def disjointDataProperties: Parser[List[OWLAxiom]]

    Permalink
  89. def disjointObjectProperties: Parser[List[OWLAxiom]]

    Permalink
  90. def disjointUnionOf: Parser[(List[OWLAnnotation], List[OWLClassExpression])]

    Permalink
  91. def disjointWith: Parser[List[(OWLClassExpression, List[OWLAnnotation])]]

    Permalink
  92. def dollar: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  93. def domain: Parser[List[(OWLClassExpression, List[OWLAnnotation])]]

    Permalink
  94. def dot: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  95. def doubleQuote: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  96. def doubleSlash: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  97. def elem(e: Elem): Parser[Elem]

    Permalink
    Definition Classes
    Parsers
  98. def elem(kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]

    Permalink
    Definition Classes
    Parsers
  99. def entity: Parser[OWLEntity]

    Permalink
  100. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  101. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  102. def equalsSign: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  103. def equivalentClasses: Parser[List[OWLAxiom]]

    Permalink
  104. def equivalentDataProperties: Parser[List[OWLAxiom]]

    Permalink
  105. def equivalentObjectProperties: Parser[List[OWLAxiom]]

    Permalink
  106. def equivalentTo: Parser[List[(OWLClassExpression, List[OWLAnnotation])]]

    Permalink
  107. def err(msg: String): Parser[Nothing]

    Permalink
    Definition Classes
    Parsers
  108. def exclamationMark: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  109. def exponent: Parser[String]

    Permalink

    ('e' | 'E') ['+' | '-'] digits

  110. def facet: Parser[OWLFacet]

    Permalink
  111. def fact: Parser[(Boolean, OWLProperty, OWLPropertyAssertionObject)]

    Permalink
  112. def factAnnotatedList: Parser[List[((Boolean, OWLProperty, OWLPropertyAssertionObject), List[OWLAnnotation])]]

    Permalink
  113. def failure(msg: String): Parser[Nothing]

    Permalink
    Definition Classes
    Parsers
  114. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  115. def floatingPointLiteral: Parser[OWLLiteral]

    Permalink
  116. def frame: Parser[List[OWLAxiom]]

    Permalink
  117. def fullIRI: Parser[IRI]

    Permalink
    Definition Classes
    IRIParsing
  118. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  119. def guard[T](p: ⇒ Parser[T]): Parser[T]

    Permalink
    Definition Classes
    Parsers
  120. def handleWhiteSpace(source: CharSequence, offset: Int): Int

    Permalink
    Attributes
    protected
    Definition Classes
    RegexParsers
  121. def hasKey: Parser[(List[OWLAnnotation], List[OWLPropertyExpression])]

    Permalink
  122. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  123. def hashSign: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  124. def hexDigit: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  125. def iauthorty: Parser[String]

    Permalink

    [ iuserinfo "@" ] ihost [ ":" port ]

    [ iuserinfo "@" ] ihost [ ":" port ]

    Definition Classes
    IRIParsing
  126. def ifragment: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  127. def ihierPart: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  128. def ihost: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  129. def imp0rt: Parser[IRI]

    Permalink
  130. def individual: Parser[OWLIndividual]

    Permalink
  131. def individual2List: Parser[List[OWLIndividual]]

    Permalink
  132. def individualAnnotatedList: Parser[List[(OWLIndividual, List[OWLAnnotation])]]

    Permalink
  133. def individualAnnotations: Parser[List[OWLAnnotation]]

    Permalink
  134. def individualDifferentFrom: Parser[List[(OWLIndividual, List[OWLAnnotation])]]

    Permalink
  135. def individualFacts: Parser[List[((Boolean, OWLProperty, OWLPropertyAssertionObject), List[OWLAnnotation])]]

    Permalink
  136. def individualFrame: Parser[List[OWLAxiom]]

    Permalink
  137. def individualIRI: Parser[OWLNamedIndividual]

    Permalink
  138. def individualList: Parser[List[OWLIndividual]]

    Permalink
  139. def individualSameAs: Parser[List[(OWLIndividual, List[OWLAnnotation])]]

    Permalink
  140. def individualTypes: Parser[List[(OWLClassExpression, List[OWLAnnotation])]]

    Permalink
  141. def integerLiteral: Parser[OWLLiteral]

    Permalink
  142. def inverseObjectProperty: Parser[OWLObjectInverseOf]

    Permalink
  143. def inverseOf: Parser[List[(OWLObjectPropertyExpression, List[OWLAnnotation])]]

    Permalink
  144. def ipLiteral: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  145. def ipathAbempty: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  146. def ipathAbsolute: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  147. def ipathEmpty: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  148. def ipathRootless: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  149. def ipchar: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  150. def iprivate: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  151. def ipv4address: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  152. def ipv6Block: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  153. def ipv6address: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  154. def iquery: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  155. def iregName: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  156. def iri: Parser[IRI]

    Permalink
    Definition Classes
    IRIParsing
  157. def iriAnnotatedList: Parser[List[(IRI, List[OWLAnnotation])]]

    Permalink
  158. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  159. def isegment: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  160. def isegmentNz: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  161. def iunreserved: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  162. def iuserinfo: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  163. val keywords: List[String]

    Permalink
    Definition Classes
    IRIParsing
  164. def languageTag: Parser[String]

    Permalink

    @ (U+40) followed a nonempty sequence of characters matching the langtag production from [BCP 47]

  165. def lexicalValue: Parser[String]

    Permalink
  166. def literal: Parser[OWLLiteral]

    Permalink
  167. implicit def literal(s: String): Parser[String]

    Permalink
    Definition Classes
    RegexParsers
  168. def literalList: Parser[List[OWLLiteral]]

    Permalink
  169. def log[T](p: ⇒ Parser[T])(name: String): Parser[T]

    Permalink
    Definition Classes
    Parsers
  170. def minus: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  171. def misc: Parser[List[OWLAxiom]]

    Permalink
  172. def mkList[T]: (~[T, List[T]]) ⇒ List[T]

    Permalink
    Definition Classes
    Parsers
  173. def namedIndividualDecl: Parser[OWLNamedIndividual]

    Permalink
  174. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  175. def nodeID: Parser[String]

    Permalink
  176. def nonNegativeInteger: Parser[Int]

    Permalink
  177. def nonZero: Parser[String]

    Permalink
  178. def not[T](p: ⇒ Parser[T]): Parser[Unit]

    Permalink
    Definition Classes
    Parsers
  179. def notAManchesterOWLKeyword: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  180. def notAnXSDDatatypeURI: Parser[IRI]

    Permalink
  181. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  182. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  183. def objectAllValuesFrom_restriction: Parser[OWLClassExpression]

    Permalink
  184. def objectExactCardinality_restriction: Parser[OWLClassExpression]

    Permalink
  185. def objectHasSelf_restriction: Parser[OWLClassExpression]

    Permalink
  186. def objectHasValue_restriction: Parser[OWLClassExpression]

    Permalink
  187. def objectMaxCardinality_restriction: Parser[OWLClassExpression]

    Permalink
  188. def objectMinCardinality_restriction: Parser[OWLClassExpression]

    Permalink
  189. def objectPropertyCharacteristic: Parser[PropertyCharacteristic.Value]

    Permalink
  190. def objectPropertyCharacteristicAnnotatedList: Parser[List[(PropertyCharacteristic.Value, List[OWLAnnotation])]]

    Permalink
  191. def objectPropertyDecl: Parser[OWLObjectProperty]

    Permalink
  192. def objectPropertyDisjointWith: Parser[List[(OWLObjectPropertyExpression, List[OWLAnnotation])]]

    Permalink
  193. def objectPropertyEquivalentTo: Parser[List[(OWLObjectPropertyExpression, List[OWLAnnotation])]]

    Permalink
  194. def objectPropertyExpression: Parser[OWLObjectPropertyExpression]

    Permalink
  195. def objectPropertyExpression2List: Parser[List[OWLObjectPropertyExpression]]

    Permalink
  196. def objectPropertyExpressionAnnotatedList: Parser[List[(OWLObjectPropertyExpression, List[OWLAnnotation])]]

    Permalink
  197. def objectPropertyExpressionList: Parser[List[OWLObjectPropertyExpression]]

    Permalink
  198. def objectPropertyFact: Parser[(OWLObjectProperty, OWLIndividual)]

    Permalink
  199. def objectPropertyFrame: Parser[List[OWLAxiom]]

    Permalink
  200. def objectPropertyIRI: Parser[OWLObjectProperty]

    Permalink
  201. def objectSomeValuesFrom_restriction: Parser[OWLClassExpression]

    Permalink
  202. def onehundredToOnehundredninetynine: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  203. def ontologyIRI: Parser[IRI]

    Permalink
  204. def openingAngleBracket: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  205. def openingBracket: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  206. def openingCurlyBrace: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  207. def openingParen: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  208. def opt[T](p: ⇒ Parser[T]): Parser[Option[T]]

    Permalink
    Definition Classes
    Parsers
  209. def parse[T](p: Parser[T], in: Reader): ParseResult[T]

    Permalink
    Definition Classes
    RegexParsers
  210. def parse[T](p: Parser[T], in: CharSequence): ParseResult[T]

    Permalink
    Definition Classes
    RegexParsers
  211. def parse[T](p: Parser[T], in: Reader[Char]): ParseResult[T]

    Permalink
    Definition Classes
    RegexParsers
  212. def parseAll[T](p: Parser[T], in: CharSequence): ParseResult[T]

    Permalink
    Definition Classes
    RegexParsers
  213. def parseAll[T](p: Parser[T], in: Reader): ParseResult[T]

    Permalink
    Definition Classes
    RegexParsers
  214. def parseAll[T](p: Parser[T], in: Reader[Char]): ParseResult[T]

    Permalink
    Definition Classes
    RegexParsers
  215. def pctEncoded: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  216. def percent: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  217. def phrase[T](p: Parser[T]): Parser[T]

    Permalink
    Definition Classes
    RegexParsers → Parsers
  218. def plus: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  219. def pn_chars: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  220. def pn_chars_base: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  221. def pn_chars_u: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  222. def pn_local: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  223. def pn_local_at_least_one_non_digit_char: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  224. def pn_local_non_digit_start: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  225. def pn_prefix: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  226. def pname_ns: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  227. def port: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  228. def positioned[T <: Positional](p: ⇒ Parser[T]): Parser[T]

    Permalink
    Definition Classes
    RegexParsers → Parsers
  229. def positiveInteger: Parser[Int]

    Permalink
  230. def prefixDeclaration: Parser[(String, String)]

    Permalink
  231. def prefixName: Parser[String]

    Permalink

    a finite sequence of characters matching the PNAME_NS production of [SPARQL] and not matching any of the keyword terminals of the syntax

  232. val prefixes: Map[String, String]

    Permalink
    Definition Classes
    IRIParsing
  233. def primary: Parser[OWLClassExpression]

    Permalink
  234. def questionmark: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  235. def quote: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  236. def quotedString: Parser[String]

    Permalink

    a finite sequence of characters in which " (U+22) and \ (U+5C) occur only in pairs of the form \" (U+5C, U+22) and \\ (U+5C, U+5C), enclosed in a pair of " (U+22) characters

  237. def range: Parser[List[(OWLClassExpression, List[OWLAnnotation])]]

    Permalink
  238. implicit def regex(r: Regex): Parser[String]

    Permalink
    Definition Classes
    RegexParsers
  239. def rep[T](p: ⇒ Parser[T]): Parser[List[T]]

    Permalink
    Definition Classes
    Parsers
  240. def rep1[T](first: ⇒ Parser[T], p0: ⇒ Parser[T]): Parser[List[T]]

    Permalink
    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.

  241. def rep1[T](p: ⇒ Parser[T]): Parser[List[T]]

    Permalink
    Definition Classes
    Parsers
  242. def rep1sep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

    Permalink
    Definition Classes
    Parsers
  243. def repN[T](num: Int, p: ⇒ Parser[T]): Parser[List[T]]

    Permalink
    Definition Classes
    Parsers
  244. def repsep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

    Permalink
    Definition Classes
    Parsers
  245. def restriction: Parser[OWLClassExpression]

    Permalink
  246. def restrictionValue: Parser[OWLLiteral]

    Permalink
  247. def sameIndividual: Parser[List[OWLAxiom]]

    Permalink
  248. def scheme: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  249. def semicolon: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  250. def simpleIRI: Parser[IRI]

    Permalink
    Definition Classes
    IRIParsing
  251. def skipWhitespace: Boolean

    Permalink
    Definition Classes
    IRIParsing → RegexParsers
  252. def slash: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  253. def stringLiteralNoLanguage: Parser[OWLLiteral]

    Permalink
  254. def stringLiteralWithLanguage: Parser[OWLLiteral]

    Permalink
  255. def subClassOf: Parser[List[(OWLClassExpression, List[OWLAnnotation])]]

    Permalink
  256. def subDelims: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  257. def subPropertyChain: Parser[(List[OWLObjectPropertyExpression], List[OWLAnnotation])]

    Permalink
  258. def subPropertyOf: Parser[List[(OWLObjectPropertyExpression, List[OWLAnnotation])]]

    Permalink
  259. def success[T](v: T): Parser[T]

    Permalink
    Definition Classes
    Parsers
  260. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  261. def tenToNinentynine: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  262. def tilde: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  263. def toString(input: Any): String

    Permalink
    Definition Classes
    IRIParsing
  264. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  265. def twohundredToTwohundredfourtynine: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  266. def twohundredfiftyToTwohundredfiftyfive: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  267. def typedLiteral: Parser[OWLLiteral]

    Permalink
  268. def ucschar: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  269. def underscore: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  270. def unravel[U](acc: List[U], parsResults: List[~[~[~[Option[String], String], Option[String]], U]]): List[U]

    Permalink

    For cases where there is a comma-separated list with an arbitrary number of items, but we're only interested in the items.

    For cases where there is a comma-separated list with an arbitrary number of items, but we're only interested in the items. Converts a parsed sequence like

    , item1 , item2 , item3

    (with optional white space around the commas) to a Scala list appended to the accumulator list given as first argument.

    U

    Determines the kind of items that are considered, e.g. OWLLiteral, IRI, ...

    acc

    Accumulator list

    parsResults

    Parsed results that follow the pattern { whiteSpace.? ~ comma ~ whiteSpace.? ~ value }.*

    returns

    A Scala list containing just the parsed items (without commas)

  271. def unravelAnnotatedList[U](resultList: List[(U, List[OWLAnnotation])], annotationsOption: Option[~[List[OWLAnnotation], String]], entry: U, remainingParseResults: List[~[~[~[~[Option[String], String], Option[String]], Option[~[List[OWLAnnotation], String]]], U]]): List[(U, List[OWLAnnotation])]

    Permalink

    Does the same like unravel but considering optional annotations.

    Does the same like unravel but considering optional annotations. The pattern is

    <U>AnnotatedList ::= [annotations] <U> { ',' [annotations] <U> }

    U

    What kind of OWL entity is considered here; e.g. OWLClass, OWLIndividual etc

    resultList

    A list of pairs of U's and corresponding (possibly empty) annotation lists

    annotationsOption

    The first parsed, optional annotations block

    entry

    The first parsed U entry

    remainingParseResults

    Everything parsed after the first annotation block and first U entry

    returns

    The filled resultList

  272. def unravelAnnotationAnnotatedList(annotationsResultList: List[OWLAnnotation], annsOption: Option[~[List[OWLAnnotation], String]], annProperty: OWLAnnotationProperty, annValue: OWLAnnotationValue, remainingParseResults: List[~[~[~[~[Option[String], String], Option[String]], Option[~[List[OWLAnnotation], String]]], (OWLAnnotationProperty, OWLAnnotationValue)]]): List[OWLAnnotation]

    Permalink

    Converts parser results of a list of annotations which themselves can be annotated into a list of OWLAnnotation instances.

    Converts parser results of a list of annotations which themselves can be annotated into a list of OWLAnnotation instances. The pattern looks like this:

    AnnotationAnnotatedList ::= [annotations] annotation { ',' [annotations] annotation }

    annotationsResultList

    The result list containing OWLAnnotation objects

    annsOption

    The left-most (optional) annotation block

    annProperty

    The annotation property of the left-most annotation

    annValue

    The annotation value of the left-most annotation

    remainingParseResults

    The parser results coming after the left-most annotation block

    returns

    annotationsResultList

  273. def unravelConjunctionWithOptional(resultList: List[OWLClassExpression], remainingParseResults: List[~[~[~[String, String], Option[~[String, String]]], OWLClassExpression]]): List[OWLClassExpression]

    Permalink

    Converts a parsed, 'and'-separated sequence of class expressions with optional 'not' determining an expression's complement.

    Converts a parsed, 'and'-separated sequence of class expressions with optional 'not' determining an expression's complement. The pattern looks like this:

    [ 'not' ] expression { 'and' [ 'not' ] expression }

    resultList

    The list containing the parsed OWLClassExpressions

    remainingParseResults

    Holds everything after the first optional 'not' and the first class expression

    returns

    The resultList

  274. def unravelTwo[U, V](acc: List[(U, V)], parsResults: List[~[~[~[~[~[Option[String], String], Option[String]], U], String], V]]): List[(U, V)]

    Permalink

    For cases where there is a comma-separated list with an arbitrary number of item pairs, but we're only interested in the item pairs.

    For cases where there is a comma-separated list with an arbitrary number of item pairs, but we're only interested in the item pairs. Converts a parsed sequence like

    , item1_1 item1_2 , item2_1 item2_2 , item3_1 item3_2

    to a Scala list of pairs, appended to the accumulator list given as first argument.

    U

    Determines the kind of items that are considered, e.g. OWLLiteral, IRI, ...

    V

    Determines the kind of items that are considered, e.g. OWLLiteral, IRI, ...

    acc

    Accumulator list

    parsResults

    Parsed results that follow the pattern { comma ~ value ~ value }.*

    returns

    A Scala list containing just the parsed items (without commas)

  275. def unravelWithFixedWhiteSpace[U](results: List[U], remainingParseResults: List[~[~[~[String, String], String], U]]): List[U]

    Permalink

    Converts parser results of a token separated sequence (with whitespaces around the token) into a list.

    Converts parser results of a token separated sequence (with whitespaces around the token) into a list. The pattern looks like this:

    <U> token <U> { token <U> }

  276. def versionIRI: Parser[IRI]

    Permalink
  277. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  278. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  279. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  280. val whiteSpace: Regex

    Permalink
    Definition Classes
    IRIParsing → RegexParsers
  281. def zero: Parser[Int]

    Permalink

Inherited from IRIParsing

Inherited from RegexParsers

Inherited from Parsers

Inherited from AnyRef

Inherited from Any

Ungrouped