public class DLSyntaxParser extends java.lang.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(java.io.InputStream stream)
Constructor with InputStream.
|
DLSyntaxParser(java.io.InputStream stream,
java.lang.String encoding)
Constructor with InputStream and supplied encoding
|
DLSyntaxParser(java.io.Reader stream)
Constructor.
|
public DLSyntaxParserTokenManager token_source
public Token token
public Token jj_nt
public DLSyntaxParser(java.io.InputStream stream)
public DLSyntaxParser(java.io.InputStream stream, java.lang.String encoding)
public DLSyntaxParser(java.io.Reader stream)
public DLSyntaxParser(DLSyntaxParserTokenManager tm)
public void setOWLDataFactory(OWLDataFactory factory)
public void setPrefixMapping(java.lang.String prefix, java.lang.String namespace)
public void setDefaultNamespace(java.lang.String ns)
public IRI getIRI(java.lang.String val)
public IRI getIRIFromId(java.lang.String qname)
public final OWLClassExpression parseDescription() throws ParseException
ParseException
public final java.util.Set<OWLAxiom> parseAxioms() throws ParseException
ParseException
public final OWLAxiom parseAxiom() throws ParseException
ParseException
public final OWLAxiom parseIndividualAxiom() throws ParseException
ParseException
public final OWLAxiom parseDifferentIndividualsAxiom() throws ParseException
ParseException
public final OWLAxiom parseObjectPropertyAssertion() throws ParseException
ParseException
public final OWLAxiom parseDataPropertyAssertion() throws ParseException
ParseException
public final OWLAxiom parseSameIndividual() throws ParseException
ParseException
public final OWLAxiom parseClassAssertion() throws ParseException
ParseException
public final OWLAxiom parseClassAxiom() throws ParseException
ParseException
public final OWLAxiom parsePropertyChain() throws ParseException
ParseException
public final OWLAxiom parsePropertyAxiom() throws ParseException
ParseException
public final OWLClassExpression parseClassDescription() throws ParseException
ParseException
public final OWLClassExpression Or() throws ParseException
ParseException
public final OWLClassExpression And() throws ParseException
ParseException
public final OWLClassExpression NonNaryBooleanDescription() throws ParseException
ParseException
public final OWLObjectPropertyExpression parseObjectPropertyId() throws ParseException
ParseException
public final OWLDataPropertyExpression parseDataPropertyId() throws ParseException
ParseException
public final OWLClassExpression parseRestriction() throws ParseException
ParseException
public final OWLClassExpression parseSomeRestriction() throws ParseException
ParseException
public final OWLClassExpression parseDataSomeRestriction() throws ParseException
ParseException
public final OWLClassExpression parseAllRestriction() throws ParseException
ParseException
public final OWLClassExpression parseCardinalityRestriction() throws ParseException
ParseException
public final OWLIndividual parseIndividualId() throws ParseException
ParseException
public final OWLClassExpression parseObjectComplementOf() throws ParseException
ParseException
public final OWLClassExpression parseObjectOneOf() throws ParseException
ParseException
public final OWLDataRange parseDataOneOf() throws ParseException
ParseException
public final OWLClassExpression NamedClassOrNestedDescription() throws ParseException
ParseException
public final OWLClass parseClassId() throws ParseException
ParseException
public final OWLClassExpression NestedClassDescription() throws ParseException
ParseException
public final OWLLiteral parseLiteral() throws ParseException
ParseException
public final IRI parseId() throws ParseException
ParseException
public void ReInit(java.io.InputStream stream)
public void ReInit(java.io.InputStream stream, java.lang.String encoding)
public void ReInit(java.io.Reader stream)
public void ReInit(DLSyntaxParserTokenManager tm)
public final Token getNextToken()
public final Token getToken(int index)
public ParseException generateParseException()
public final void enable_tracing()
public final void disable_tracing()