Packages

c

net.sansa_stack.owl.common.parsing

ManchesterParsing

class ManchesterParsing extends IRIParsing

Linear Supertypes
IRIParsing, RegexParsers, Parsers, AnyRef, Any
Known Subclasses
ManchesterParser
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()

Type Members

  1. type Elem = Char
    Definition Classes
    RegexParsers → Parsers
  2. case class Error extends NoSuccess with Product with Serializable
    Definition Classes
    Parsers
  3. case class Failure extends NoSuccess with Product with Serializable
    Definition Classes
    Parsers
  4. type Input = Reader[Elem]
    Definition Classes
    Parsers
  5. sealed abstract class NoSuccess extends ParseResult[Nothing]
    Definition Classes
    Parsers
  6. trait OnceParser[+T] extends Parser[T]
    Definition Classes
    Parsers
  7. sealed abstract class ParseResult[+T] extends AnyRef
    Definition Classes
    Parsers
  8. abstract class Parser[+T] extends (Input) ⇒ ParseResult[T]
    Definition Classes
    Parsers
  9. case class Success[+T] extends ParseResult[T] with Product with Serializable
    Definition Classes
    Parsers
  10. case class ~[+a, +b] extends Product with Serializable
    Definition Classes
    Parsers

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def OnceParser[T](f: (Input) ⇒ ParseResult[T]): Parser[T] with OnceParser[T]
    Definition Classes
    Parsers
  5. def Parser[T](f: (Input) ⇒ ParseResult[T]): Parser[T]
    Definition Classes
    Parsers
  6. def abbreviatedIRI: Parser[IRI]
    Definition Classes
    IRIParsing
  7. def accept[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]
    Definition Classes
    Parsers
  8. def accept[ES](es: ES)(implicit f: (ES) ⇒ List[Elem]): Parser[List[Elem]]
    Definition Classes
    Parsers
  9. implicit def accept(e: Elem): Parser[Elem]
    Definition Classes
    Parsers
  10. def acceptIf(p: (Elem) ⇒ Boolean)(err: (Elem) ⇒ String): Parser[Elem]
    Definition Classes
    Parsers
  11. def acceptMatch[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]
    Definition Classes
    Parsers
  12. def acceptSeq[ES](es: ES)(implicit f: (ES) ⇒ Iterable[Elem]): Parser[List[Elem]]
    Definition Classes
    Parsers
  13. def alpha: Parser[String]
    Definition Classes
    IRIParsing
  14. def ampersand: Parser[String]
    Definition Classes
    IRIParsing
  15. def annotation: Parser[(OWLAnnotationProperty, OWLAnnotationValue)]
  16. def annotationAnnotatedList: Parser[List[OWLAnnotation]]
  17. def annotationPropertyDecl: Parser[OWLAnnotationProperty]
  18. def annotationPropertyDomain: Parser[List[(IRI, List[OWLAnnotation])]]
  19. def annotationPropertyFrame: Parser[List[OWLAxiom]]

    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]
  21. def annotationPropertyIRIAnnotatedList: Parser[List[(OWLAnnotationProperty, List[OWLAnnotation])]]
  22. def annotationPropertyRange: Parser[List[(IRI, List[OWLAnnotation])]]
  23. def annotationPropertySubPropertyOf: Parser[List[(OWLAnnotationProperty, List[OWLAnnotation])]]
  24. def annotationTarget: Parser[OWLAnnotationValue]
  25. def annotations: Parser[List[OWLAnnotation]]
  26. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  27. def asterisk: Parser[String]
    Definition Classes
    IRIParsing
  28. def at: Parser[String]
    Definition Classes
    IRIParsing
  29. def atomic: Parser[OWLClassExpression]
  30. def chainl1[T, U](first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]
    Definition Classes
    Parsers
  31. def chainl1[T](p: ⇒ Parser[T], q: ⇒ Parser[(T, T) ⇒ T]): Parser[T]
    Definition Classes
    Parsers
  32. def chainr1[T, U](p: ⇒ Parser[T], q: ⇒ Parser[(T, U) ⇒ U], combine: (T, U) ⇒ U, first: U): Parser[U]
    Definition Classes
    Parsers
  33. def characteristics: Parser[List[(PropertyCharacteristic.Value, List[OWLAnnotation])]]
  34. def circumflex: Parser[String]
    Definition Classes
    IRIParsing
  35. def classDecl: Parser[OWLClass]
  36. def classFrame: Parser[List[OWLAxiom]]
  37. def classIRI: Parser[OWLClass]
  38. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  39. def closingAngleBracket: Parser[String]
    Definition Classes
    IRIParsing
  40. def closingBracket: Parser[String]
    Definition Classes
    IRIParsing
  41. def closingCurlyBrace: Parser[String]
    Definition Classes
    IRIParsing
  42. def closingParen: Parser[String]
    Definition Classes
    IRIParsing
  43. def collectClassDetails(cls: OWLClass, details: ClassDetails): List[OWLAxiom]
  44. def colon: Parser[String]
    Definition Classes
    IRIParsing
  45. def comma: Parser[String]
    Definition Classes
    IRIParsing
  46. def commit[T](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  47. def conjunction: Parser[OWLClassExpression]
  48. def dash: Parser[String]
    Definition Classes
    IRIParsing
  49. def dataAllValuesFrom_restriction: Parser[OWLClassExpression]
  50. def dataAtomic: Parser[OWLDataRange]
  51. def dataConjunction: Parser[OWLDataRange]
  52. def dataExactCardinality_restriction: Parser[OWLClassExpression]
  53. val dataFactory: OWLDataFactory
    Definition Classes
    IRIParsing
  54. def dataHasValue_restriction: Parser[OWLClassExpression]
  55. def dataMaxCardinality_restriction: Parser[OWLClassExpression]
  56. def dataMinCardinality_restriction: Parser[OWLClassExpression]
  57. def dataPrimary: Parser[OWLDataRange]
  58. def dataProperty2List: Parser[List[OWLDataPropertyExpression]]
  59. def dataPropertyCharacteristics: Parser[List[OWLAnnotation]]
  60. def dataPropertyDecl: Parser[OWLDataProperty]
  61. def dataPropertyDisjointWith: Parser[List[(OWLDataPropertyExpression, List[OWLAnnotation])]]
  62. def dataPropertyDomain: Parser[List[(OWLClassExpression, List[OWLAnnotation])]]
  63. def dataPropertyEquivalentTo: Parser[List[(OWLDataPropertyExpression, List[OWLAnnotation])]]
  64. def dataPropertyExpression: Parser[OWLDataPropertyExpression]
  65. def dataPropertyExpressionAnnotatedList: Parser[List[(OWLDataPropertyExpression, List[OWLAnnotation])]]
  66. def dataPropertyExpressionList: Parser[List[OWLDataPropertyExpression]]
  67. def dataPropertyFact: Parser[(OWLDataProperty, OWLLiteral)]
  68. def dataPropertyFrame: Parser[List[OWLAxiom]]
  69. def dataPropertyIRI: Parser[OWLDataProperty]
  70. def dataPropertyRange: Parser[List[(OWLDataRange, List[OWLAnnotation])]]
  71. def dataPropertySubPropertyOf: Parser[List[(OWLDataPropertyExpression, List[OWLAnnotation])]]
  72. def dataRange: Parser[OWLDataRange]
  73. def dataRangeAnnotatedList: Parser[List[(OWLDataRange, List[OWLAnnotation])]]
  74. def dataSomeValuesFrom_restriction: Parser[OWLClassExpression]
  75. def datatype: Parser[OWLDatatype]
  76. def datatypeDecl: Parser[OWLDatatype]
  77. def datatypeFrame: Parser[List[OWLAxiom]]
  78. def datatypeRestriction: Parser[OWLDatatypeRestriction]
  79. def decOctet: Parser[String]
    Definition Classes
    IRIParsing
  80. def decimalLiteral: Parser[OWLLiteral]
  81. def description: Parser[OWLClassExpression]
  82. def description2List: Parser[(OWLClassExpression, List[OWLClassExpression])]
  83. def descriptionAnnotatedList: Parser[List[(OWLClassExpression, List[OWLAnnotation])]]
  84. def descriptionList: Parser[List[OWLClassExpression]]
  85. def differentIndividuals: Parser[List[OWLAxiom]]
  86. def digit: Parser[String]
    Definition Classes
    IRIParsing
  87. def disjointClasses: Parser[List[OWLAxiom]]
  88. def disjointDataProperties: Parser[List[OWLAxiom]]
  89. def disjointObjectProperties: Parser[List[OWLAxiom]]
  90. def disjointUnionOf: Parser[(List[OWLAnnotation], List[OWLClassExpression])]
  91. def disjointWith: Parser[List[(OWLClassExpression, List[OWLAnnotation])]]
  92. def dollar: Parser[String]
    Definition Classes
    IRIParsing
  93. def domain: Parser[List[(OWLClassExpression, List[OWLAnnotation])]]
  94. def dot: Parser[String]
    Definition Classes
    IRIParsing
  95. def doubleQuote: Parser[String]
    Definition Classes
    IRIParsing
  96. def doubleSlash: Parser[String]
    Definition Classes
    IRIParsing
  97. def elem(e: Elem): Parser[Elem]
    Definition Classes
    Parsers
  98. def elem(kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]
    Definition Classes
    Parsers
  99. def entity: Parser[OWLEntity]
  100. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  101. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  102. def equalsSign: Parser[String]
    Definition Classes
    IRIParsing
  103. def equivalentClasses: Parser[List[OWLAxiom]]
  104. def equivalentDataProperties: Parser[List[OWLAxiom]]
  105. def equivalentObjectProperties: Parser[List[OWLAxiom]]
  106. def equivalentTo: Parser[List[(OWLClassExpression, List[OWLAnnotation])]]
  107. def err(msg: String): Parser[Nothing]
    Definition Classes
    Parsers
  108. def exclamationMark: Parser[String]
    Definition Classes
    IRIParsing
  109. def exponent: Parser[String]

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

  110. def facet: Parser[OWLFacet]
  111. def fact: Parser[(Boolean, OWLProperty, OWLPropertyAssertionObject)]
  112. def factAnnotatedList: Parser[List[((Boolean, OWLProperty, OWLPropertyAssertionObject), List[OWLAnnotation])]]
  113. def failure(msg: String): Parser[Nothing]
    Definition Classes
    Parsers
  114. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  115. def floatingPointLiteral: Parser[OWLLiteral]
  116. def frame: Parser[List[OWLAxiom]]
  117. def fullIRI: Parser[IRI]
    Definition Classes
    IRIParsing
  118. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  119. def guard[T](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  120. def handleWhiteSpace(source: CharSequence, offset: Int): Int
    Attributes
    protected
    Definition Classes
    RegexParsers
  121. def hasKey: Parser[(List[OWLAnnotation], List[OWLPropertyExpression])]
  122. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  123. def hashSign: Parser[String]
    Definition Classes
    IRIParsing
  124. def hexDigit: Parser[String]
    Definition Classes
    IRIParsing
  125. def iauthorty: Parser[String]

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

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

    Definition Classes
    IRIParsing
  126. def ifragment: Parser[String]
    Definition Classes
    IRIParsing
  127. def ihierPart: Parser[String]
    Definition Classes
    IRIParsing
  128. def ihost: Parser[String]
    Definition Classes
    IRIParsing
  129. def imp0rt: Parser[IRI]
  130. def individual: Parser[OWLIndividual]
  131. def individual2List: Parser[List[OWLIndividual]]
  132. def individualAnnotatedList: Parser[List[(OWLIndividual, List[OWLAnnotation])]]
  133. def individualAnnotations: Parser[List[OWLAnnotation]]
  134. def individualDifferentFrom: Parser[List[(OWLIndividual, List[OWLAnnotation])]]
  135. def individualFacts: Parser[List[((Boolean, OWLProperty, OWLPropertyAssertionObject), List[OWLAnnotation])]]
  136. def individualFrame: Parser[List[OWLAxiom]]
  137. def individualIRI: Parser[OWLNamedIndividual]
  138. def individualList: Parser[List[OWLIndividual]]
  139. def individualSameAs: Parser[List[(OWLIndividual, List[OWLAnnotation])]]
  140. def individualTypes: Parser[List[(OWLClassExpression, List[OWLAnnotation])]]
  141. def integerLiteral: Parser[OWLLiteral]
  142. def inverseObjectProperty: Parser[OWLObjectInverseOf]
  143. def inverseOf: Parser[List[(OWLObjectPropertyExpression, List[OWLAnnotation])]]
  144. def ipLiteral: Parser[String]
    Definition Classes
    IRIParsing
  145. def ipathAbempty: Parser[String]
    Definition Classes
    IRIParsing
  146. def ipathAbsolute: Parser[String]
    Definition Classes
    IRIParsing
  147. def ipathEmpty: Parser[String]
    Definition Classes
    IRIParsing
  148. def ipathRootless: Parser[String]
    Definition Classes
    IRIParsing
  149. def ipchar: Parser[String]
    Definition Classes
    IRIParsing
  150. def iprivate: Parser[String]
    Definition Classes
    IRIParsing
  151. def ipv4address: Parser[String]
    Definition Classes
    IRIParsing
  152. def ipv6Block: Parser[String]
    Definition Classes
    IRIParsing
  153. def ipv6address: Parser[String]
    Definition Classes
    IRIParsing
  154. def iquery: Parser[String]
    Definition Classes
    IRIParsing
  155. def iregName: Parser[String]
    Definition Classes
    IRIParsing
  156. def iri: Parser[IRI]
    Definition Classes
    IRIParsing
  157. def iriAnnotatedList: Parser[List[(IRI, List[OWLAnnotation])]]
  158. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  159. def isegment: Parser[String]
    Definition Classes
    IRIParsing
  160. def isegmentNz: Parser[String]
    Definition Classes
    IRIParsing
  161. def iunreserved: Parser[String]
    Definition Classes
    IRIParsing
  162. def iuserinfo: Parser[String]
    Definition Classes
    IRIParsing
  163. val keywords: List[String]
    Definition Classes
    IRIParsing
  164. def languageTag: Parser[String]

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

  165. def lexicalValue: Parser[String]
  166. def literal: Parser[OWLLiteral]
  167. implicit def literal(s: String): Parser[String]
    Definition Classes
    RegexParsers
  168. def literalList: Parser[List[OWLLiteral]]
  169. def log[T](p: ⇒ Parser[T])(name: String): Parser[T]
    Definition Classes
    Parsers
  170. def minus: Parser[String]
    Definition Classes
    IRIParsing
  171. def misc: Parser[List[OWLAxiom]]
  172. def mkList[T]: (~[T, List[T]]) ⇒ List[T]
    Definition Classes
    Parsers
  173. def namedIndividualDecl: Parser[OWLNamedIndividual]
  174. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  175. def nodeID: Parser[String]
  176. def nonNegativeInteger: Parser[Int]
  177. def nonZero: Parser[String]
  178. def not[T](p: ⇒ Parser[T]): Parser[Unit]
    Definition Classes
    Parsers
  179. def notAManchesterOWLKeyword: Parser[String]
    Definition Classes
    IRIParsing
  180. def notAnXSDDatatypeURI: Parser[IRI]
  181. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  182. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  183. def objectAllValuesFrom_restriction: Parser[OWLClassExpression]
  184. def objectExactCardinality_restriction: Parser[OWLClassExpression]
  185. def objectHasSelf_restriction: Parser[OWLClassExpression]
  186. def objectHasValue_restriction: Parser[OWLClassExpression]
  187. def objectMaxCardinality_restriction: Parser[OWLClassExpression]
  188. def objectMinCardinality_restriction: Parser[OWLClassExpression]
  189. def objectPropertyCharacteristic: Parser[PropertyCharacteristic.Value]
  190. def objectPropertyCharacteristicAnnotatedList: Parser[List[(PropertyCharacteristic.Value, List[OWLAnnotation])]]
  191. def objectPropertyDecl: Parser[OWLObjectProperty]
  192. def objectPropertyDisjointWith: Parser[List[(OWLObjectPropertyExpression, List[OWLAnnotation])]]
  193. def objectPropertyEquivalentTo: Parser[List[(OWLObjectPropertyExpression, List[OWLAnnotation])]]
  194. def objectPropertyExpression: Parser[OWLObjectPropertyExpression]
  195. def objectPropertyExpression2List: Parser[List[OWLObjectPropertyExpression]]
  196. def objectPropertyExpressionAnnotatedList: Parser[List[(OWLObjectPropertyExpression, List[OWLAnnotation])]]
  197. def objectPropertyExpressionList: Parser[List[OWLObjectPropertyExpression]]
  198. def objectPropertyFact: Parser[(OWLObjectProperty, OWLIndividual)]
  199. def objectPropertyFrame: Parser[List[OWLAxiom]]
  200. def objectPropertyIRI: Parser[OWLObjectProperty]
  201. def objectSomeValuesFrom_restriction: Parser[OWLClassExpression]
  202. def onehundredToOnehundredninetynine: Parser[String]
    Definition Classes
    IRIParsing
  203. def ontologyIRI: Parser[IRI]
  204. def openingAngleBracket: Parser[String]
    Definition Classes
    IRIParsing
  205. def openingBracket: Parser[String]
    Definition Classes
    IRIParsing
  206. def openingCurlyBrace: Parser[String]
    Definition Classes
    IRIParsing
  207. def openingParen: Parser[String]
    Definition Classes
    IRIParsing
  208. def opt[T](p: ⇒ Parser[T]): Parser[Option[T]]
    Definition Classes
    Parsers
  209. def parse[T](p: Parser[T], in: Reader): ParseResult[T]
    Definition Classes
    RegexParsers
  210. def parse[T](p: Parser[T], in: CharSequence): ParseResult[T]
    Definition Classes
    RegexParsers
  211. def parse[T](p: Parser[T], in: Reader[Char]): ParseResult[T]
    Definition Classes
    RegexParsers
  212. def parseAll[T](p: Parser[T], in: CharSequence): ParseResult[T]
    Definition Classes
    RegexParsers
  213. def parseAll[T](p: Parser[T], in: Reader): ParseResult[T]
    Definition Classes
    RegexParsers
  214. def parseAll[T](p: Parser[T], in: Reader[Char]): ParseResult[T]
    Definition Classes
    RegexParsers
  215. def pctEncoded: Parser[String]
    Definition Classes
    IRIParsing
  216. def percent: Parser[String]
    Definition Classes
    IRIParsing
  217. def phrase[T](p: Parser[T]): Parser[T]
    Definition Classes
    RegexParsers → Parsers
  218. def plus: Parser[String]
    Definition Classes
    IRIParsing
  219. def pn_chars: Parser[String]
    Definition Classes
    IRIParsing
  220. def pn_chars_base: Parser[String]
    Definition Classes
    IRIParsing
  221. def pn_chars_u: Parser[String]
    Definition Classes
    IRIParsing
  222. def pn_local: Parser[String]
    Definition Classes
    IRIParsing
  223. def pn_local_at_least_one_non_digit_char: Parser[String]
    Definition Classes
    IRIParsing
  224. def pn_local_non_digit_start: Parser[String]
    Definition Classes
    IRIParsing
  225. def pn_prefix: Parser[String]
    Definition Classes
    IRIParsing
  226. def pname_ns: Parser[String]
    Definition Classes
    IRIParsing
  227. def port: Parser[String]
    Definition Classes
    IRIParsing
  228. def positioned[T <: Positional](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    RegexParsers → Parsers
  229. def positiveInteger: Parser[Int]
  230. def prefixDeclaration: Parser[(String, String)]
  231. def prefixName: Parser[String]

    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]
    Definition Classes
    IRIParsing
  233. def primary: Parser[OWLClassExpression]
  234. def questionmark: Parser[String]
    Definition Classes
    IRIParsing
  235. def quote: Parser[String]
    Definition Classes
    IRIParsing
  236. def quotedString: Parser[String]

    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])]]
  238. implicit def regex(r: Regex): Parser[String]
    Definition Classes
    RegexParsers
  239. def rep[T](p: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
  240. def rep1[T](first: ⇒ Parser[T], p0: ⇒ Parser[T]): Parser[List[T]]
    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]]
    Definition Classes
    Parsers
  242. def rep1sep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]
    Definition Classes
    Parsers
  243. def repN[T](num: Int, p: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
  244. def repsep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]
    Definition Classes
    Parsers
  245. def restriction: Parser[OWLClassExpression]
  246. def restrictionValue: Parser[OWLLiteral]
  247. def sameIndividual: Parser[List[OWLAxiom]]
  248. def scheme: Parser[String]
    Definition Classes
    IRIParsing
  249. def semicolon: Parser[String]
    Definition Classes
    IRIParsing
  250. def simpleIRI: Parser[IRI]
    Definition Classes
    IRIParsing
  251. def skipWhitespace: Boolean
    Definition Classes
    IRIParsing → RegexParsers
  252. def slash: Parser[String]
    Definition Classes
    IRIParsing
  253. def stringLiteralNoLanguage: Parser[OWLLiteral]
  254. def stringLiteralWithLanguage: Parser[OWLLiteral]
  255. def subClassOf: Parser[List[(OWLClassExpression, List[OWLAnnotation])]]
  256. def subDelims: Parser[String]
    Definition Classes
    IRIParsing
  257. def subPropertyChain: Parser[(List[OWLObjectPropertyExpression], List[OWLAnnotation])]
  258. def subPropertyOf: Parser[List[(OWLObjectPropertyExpression, List[OWLAnnotation])]]
  259. def success[T](v: T): Parser[T]
    Definition Classes
    Parsers
  260. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  261. def tenToNinentynine: Parser[String]
    Definition Classes
    IRIParsing
  262. def tilde: Parser[String]
    Definition Classes
    IRIParsing
  263. def toString(input: Any): String
    Definition Classes
    IRIParsing
  264. def toString(): String
    Definition Classes
    AnyRef → Any
  265. def twohundredToTwohundredfourtynine: Parser[String]
    Definition Classes
    IRIParsing
  266. def twohundredfiftyToTwohundredfiftyfive: Parser[String]
    Definition Classes
    IRIParsing
  267. def typedLiteral: Parser[OWLLiteral]
  268. def ucschar: Parser[String]
    Definition Classes
    IRIParsing
  269. def underscore: Parser[String]
    Definition Classes
    IRIParsing
  270. def unravel[U](acc: List[U], parsResults: List[~[~[~[Option[String], String], Option[String]], U]]): List[U]

    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])]

    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]

    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]

    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)]

    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]

    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]
  277. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  278. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  279. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  280. val whiteSpace: Regex
    Definition Classes
    IRIParsing → RegexParsers
  281. def zero: Parser[Int]

Inherited from IRIParsing

Inherited from RegexParsers

Inherited from Parsers

Inherited from AnyRef

Inherited from Any

Ungrouped