public class DLSyntaxParser extends Object implements DLSyntaxParserConstants
Modifier and Type | Field and Description |
---|---|
Token |
jj_nt
Next token.
|
Token |
token
Current token.
|
DLSyntaxParserTokenManager |
token_source
Generated Token Manager.
|
ALL, AND, CLOSEBRACE, CLOSEPAR, CLOSESQPAR, COLON, COMPOSE, DEFAULT, DOT, DOUBLE, EOF, EQUIVALENTTO, EXACT, ID, IN, INT, INVERSE, MAX, MIN, NEQ, NOT, OPENBRACE, OPENPAR, OPENSQPAR, OR, SOME, SUBCLASSOF, tokenImage, TRANSITIVEROLES
Constructor and Description |
---|
DLSyntaxParser(DLSyntaxParserTokenManager tm)
Constructor with generated Token Manager.
|
DLSyntaxParser(InputStream stream)
Constructor with InputStream.
|
DLSyntaxParser(InputStream stream,
String encoding)
Constructor with InputStream and supplied encoding.
|
DLSyntaxParser(Reader stream)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
And()
And.
|
void |
disable_tracing()
Disable tracing.
|
void |
enable_tracing()
Enable tracing.
|
ParseException |
generateParseException()
Generate ParseException.
|
IRI |
getIRI(String val)
Gets the iri.
|
IRI |
getIRIFromId(String qname)
Gets the iRI from id.
|
Token |
getNextToken()
Get the next Token.
|
Token |
getToken(int index)
Get the specific Token.
|
OWLClassExpression |
NamedClassOrNestedDescription()
Named class or nested description.
|
OWLClassExpression |
NestedClassDescription()
Nested class description.
|
OWLClassExpression |
NonNaryBooleanDescription()
Non nary boolean description.
|
OWLClassExpression |
Or()
Or.
|
OWLClassExpression |
parseAllRestriction()
Parses the all restriction.
|
OWLAxiom |
parseAxiom()
Parses the axiom.
|
Set<OWLAxiom> |
parseAxioms()
Parses the axioms.
|
OWLClassExpression |
parseCardinalityRestriction()
Parses the cardinality restriction.
|
OWLAxiom |
parseClassAssertion()
Parses the class assertion.
|
OWLAxiom |
parseClassAxiom()
Parses the class axiom.
|
OWLClassExpression |
parseClassDescription()
Parses the class description.
|
OWLClass |
parseClassId()
Parses the class id.
|
OWLDataRange |
parseDataOneOf()
Parses the data one of.
|
OWLAxiom |
parseDataPropertyAssertion()
Parses the data property assertion.
|
OWLDataPropertyExpression |
parseDataPropertyId()
Parses the data property id.
|
OWLClassExpression |
parseDataSomeRestriction()
Parses the data some restriction.
|
OWLClassExpression |
parseDescription()
Parses the description.
|
OWLAxiom |
parseDifferentIndividualsAxiom()
Parses the different individuals axiom.
|
IRI |
parseId()
Parses the id.
|
OWLAxiom |
parseIndividualAxiom()
Parses the individual axiom.
|
OWLIndividual |
parseIndividualId()
Parses the individual id.
|
OWLLiteral |
parseLiteral()
Parses the literal.
|
OWLClassExpression |
parseObjectComplementOf()
Parses the object complement of.
|
OWLClassExpression |
parseObjectOneOf()
Parses the object one of.
|
OWLAxiom |
parseObjectPropertyAssertion()
Parses the object property assertion.
|
OWLObjectPropertyExpression |
parseObjectPropertyId()
Parses the object property id.
|
OWLAxiom |
parsePropertyAxiom()
Parses the property axiom.
|
OWLAxiom |
parsePropertyChain()
Parses the property chain.
|
OWLClassExpression |
parseRestriction()
Parses the restriction.
|
OWLAxiom |
parseSameIndividual()
Parses the same individual.
|
OWLClassExpression |
parseSomeRestriction()
Parses the some restriction.
|
void |
ReInit(DLSyntaxParserTokenManager tm)
Reinitialise.
|
void |
ReInit(InputStream stream)
Reinitialise.
|
void |
ReInit(InputStream stream,
String encoding)
Reinitialise.
|
void |
ReInit(Reader stream)
Reinitialise.
|
void |
setDefaultNamespace(String ns)
Sets the default namespace.
|
void |
setOWLDataFactory(OWLDataFactory factory)
Sets the oWL data factory.
|
void |
setPrefixMapping(String prefix,
String namespace)
Sets the prefix mapping.
|
public DLSyntaxParserTokenManager token_source
public Token token
public Token jj_nt
public DLSyntaxParser(InputStream stream)
stream
- the streampublic DLSyntaxParser(InputStream stream, String encoding)
stream
- the streamencoding
- the encodingpublic DLSyntaxParser(Reader stream)
stream
- the streampublic DLSyntaxParser(DLSyntaxParserTokenManager tm)
tm
- the tmpublic void setOWLDataFactory(OWLDataFactory factory)
factory
- the new oWL data factorypublic void setPrefixMapping(String prefix, String namespace)
prefix
- the prefixnamespace
- the namespacepublic void setDefaultNamespace(String ns)
ns
- the new default namespacepublic IRI getIRIFromId(String qname)
qname
- the qnamepublic final OWLClassExpression parseDescription() throws ParseException
ParseException
- the parse exceptionpublic final Set<OWLAxiom> parseAxioms() throws ParseException
ParseException
- the parse exceptionpublic final OWLAxiom parseAxiom() throws ParseException
ParseException
- the parse exceptionpublic final OWLAxiom parseIndividualAxiom() throws ParseException
ParseException
- the parse exceptionpublic final OWLAxiom parseDifferentIndividualsAxiom() throws ParseException
ParseException
- the parse exceptionpublic final OWLAxiom parseObjectPropertyAssertion() throws ParseException
ParseException
- the parse exceptionpublic final OWLAxiom parseDataPropertyAssertion() throws ParseException
ParseException
- the parse exceptionpublic final OWLAxiom parseSameIndividual() throws ParseException
ParseException
- the parse exceptionpublic final OWLAxiom parseClassAssertion() throws ParseException
ParseException
- the parse exceptionpublic final OWLAxiom parseClassAxiom() throws ParseException
ParseException
- the parse exceptionpublic final OWLAxiom parsePropertyChain() throws ParseException
ParseException
- the parse exceptionpublic final OWLAxiom parsePropertyAxiom() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassExpression parseClassDescription() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassExpression Or() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassExpression And() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassExpression NonNaryBooleanDescription() throws ParseException
ParseException
- the parse exceptionpublic final OWLObjectPropertyExpression parseObjectPropertyId() throws ParseException
ParseException
- the parse exceptionpublic final OWLDataPropertyExpression parseDataPropertyId() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassExpression parseRestriction() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassExpression parseSomeRestriction() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassExpression parseDataSomeRestriction() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassExpression parseAllRestriction() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassExpression parseCardinalityRestriction() throws ParseException
ParseException
- the parse exceptionpublic final OWLIndividual parseIndividualId() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassExpression parseObjectComplementOf() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassExpression parseObjectOneOf() throws ParseException
ParseException
- the parse exceptionpublic final OWLDataRange parseDataOneOf() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassExpression NamedClassOrNestedDescription() throws ParseException
ParseException
- the parse exceptionpublic final OWLClass parseClassId() throws ParseException
ParseException
- the parse exceptionpublic final OWLClassExpression NestedClassDescription() throws ParseException
ParseException
- the parse exceptionpublic final OWLLiteral parseLiteral() throws ParseException
ParseException
- the parse exceptionpublic final IRI parseId() throws ParseException
ParseException
- the parse exceptionpublic void ReInit(InputStream stream)
stream
- the streampublic void ReInit(InputStream stream, String encoding)
stream
- the streamencoding
- the encodingpublic void ReInit(Reader stream)
stream
- the streampublic void ReInit(DLSyntaxParserTokenManager tm)
tm
- the tmpublic final Token getNextToken()
public final Token getToken(int index)
index
- the indexpublic ParseException generateParseException()
public final void enable_tracing()
public final void disable_tracing()
Copyright © 2017 The University of Manchester. All Rights Reserved.