public class DLSyntaxParser extends Object
Modifier and Type | Field and Description |
---|---|
static int |
ALL
RegularExpression Id.
|
static int |
AND
RegularExpression Id.
|
static int |
CLOSEBRACE
RegularExpression Id.
|
static int |
CLOSEPAR
RegularExpression Id.
|
static int |
CLOSESQPAR
RegularExpression Id.
|
static int |
COLON
RegularExpression Id.
|
static int |
COMPOSE
RegularExpression Id.
|
static int |
DEFAULT
Lexical state.
|
static int |
DOT
RegularExpression Id.
|
static int |
DOUBLE
RegularExpression Id.
|
static int |
EOF
End of File.
|
static int |
EQUIVALENTTO
RegularExpression Id.
|
static int |
EXACT
RegularExpression Id.
|
static int |
ID
RegularExpression Id.
|
static int |
IN
RegularExpression Id.
|
static int |
INT
RegularExpression Id.
|
static int |
INVERSE
RegularExpression Id.
|
org.semanticweb.owlapi.dlsyntax.parser.Token |
jj_nt
Next token.
|
static int |
MAX
RegularExpression Id.
|
static int |
MIN
RegularExpression Id.
|
static int |
NEQ
RegularExpression Id.
|
static int |
NOT
RegularExpression Id.
|
static int |
OPENBRACE
RegularExpression Id.
|
static int |
OPENPAR
RegularExpression Id.
|
static int |
OPENSQPAR
RegularExpression Id.
|
static int |
OR
RegularExpression Id.
|
static int |
SOME
RegularExpression Id.
|
static int |
SUBCLASSOF
RegularExpression Id.
|
org.semanticweb.owlapi.dlsyntax.parser.Token |
token
Current token.
|
org.semanticweb.owlapi.dlsyntax.parser.DLSyntaxParserTokenManager |
token_source
Generated Token Manager.
|
static String[] |
tokenImage
Literal token values.
|
static int |
TRANSITIVEROLES
RegularExpression Id.
|
Constructor and Description |
---|
DLSyntaxParser(org.semanticweb.owlapi.dlsyntax.parser.DLSyntaxParserTokenManager tm)
Constructor with generated Token Manager.
|
DLSyntaxParser(org.semanticweb.owlapi.dlsyntax.parser.Provider stream)
Constructor.
|
DLSyntaxParser(String dsl)
Constructor.
|
public org.semanticweb.owlapi.dlsyntax.parser.DLSyntaxParserTokenManager token_source
public org.semanticweb.owlapi.dlsyntax.parser.Token token
public org.semanticweb.owlapi.dlsyntax.parser.Token jj_nt
public static final int EOF
public static final int SUBCLASSOF
public static final int EQUIVALENTTO
public static final int NEQ
public static final int COMPOSE
public static final int DOT
public static final int INVERSE
public static final int OPENPAR
public static final int CLOSEPAR
public static final int OPENSQPAR
public static final int CLOSESQPAR
public static final int OPENBRACE
public static final int CLOSEBRACE
public static final int COLON
public static final int AND
public static final int OR
public static final int NOT
public static final int SOME
public static final int ALL
public static final int MIN
public static final int MAX
public static final int EXACT
public static final int IN
public static final int TRANSITIVEROLES
public static final int INT
public static final int DOUBLE
public static final int ID
public static final int DEFAULT
public static final String[] tokenImage
public DLSyntaxParser(org.semanticweb.owlapi.dlsyntax.parser.Provider stream)
public DLSyntaxParser(String dsl) throws org.semanticweb.owlapi.dlsyntax.parser.ParseException, org.semanticweb.owlapi.dlsyntax.parser.TokenMgrException
public DLSyntaxParser(org.semanticweb.owlapi.dlsyntax.parser.DLSyntaxParserTokenManager tm)
public void setOWLDataFactory(OWLDataFactory factory)
public void setDefaultNamespace(String ns)
public final OWLClassExpression parseDescription() throws org.semanticweb.owlapi.dlsyntax.parser.ParseException
public final Set<OWLAxiom> parseAxioms() throws org.semanticweb.owlapi.dlsyntax.parser.ParseException
public final OWLAxiom parseAxiom() throws org.semanticweb.owlapi.dlsyntax.parser.ParseException
public final OWLAxiom parseIndividualAxiom() throws org.semanticweb.owlapi.dlsyntax.parser.ParseException
public final OWLAxiom parseDifferentIndividualsAxiom() throws org.semanticweb.owlapi.dlsyntax.parser.ParseException
public final OWLAxiom parseObjectPropertyAssertion() throws org.semanticweb.owlapi.dlsyntax.parser.ParseException
public final OWLAxiom parseDataPropertyAssertion() throws org.semanticweb.owlapi.dlsyntax.parser.ParseException
public final OWLAxiom parseSameIndividual() throws org.semanticweb.owlapi.dlsyntax.parser.ParseException
public final OWLAxiom parseClassAssertion() throws org.semanticweb.owlapi.dlsyntax.parser.ParseException
public final OWLAxiom parseClassAxiom() throws org.semanticweb.owlapi.dlsyntax.parser.ParseException
public final OWLAxiom parsePropertyChain() throws org.semanticweb.owlapi.dlsyntax.parser.ParseException
public final OWLAxiom parsePropertyAxiom() throws org.semanticweb.owlapi.dlsyntax.parser.ParseException
public final OWLClassExpression parseClassDescription() throws org.semanticweb.owlapi.dlsyntax.parser.ParseException
public final OWLClassExpression Or() throws org.semanticweb.owlapi.dlsyntax.parser.ParseException
public final OWLClassExpression And() throws org.semanticweb.owlapi.dlsyntax.parser.ParseException
public final OWLClassExpression NonNaryBooleanDescription() throws org.semanticweb.owlapi.dlsyntax.parser.ParseException
public final OWLObjectPropertyExpression parseObjectPropertyId() throws org.semanticweb.owlapi.dlsyntax.parser.ParseException
public final OWLDataPropertyExpression parseDataPropertyId() throws org.semanticweb.owlapi.dlsyntax.parser.ParseException
public final OWLClassExpression parseRestriction() throws org.semanticweb.owlapi.dlsyntax.parser.ParseException
public final OWLClassExpression parseSomeRestriction() throws org.semanticweb.owlapi.dlsyntax.parser.ParseException
public final OWLClassExpression parseDataSomeRestriction() throws org.semanticweb.owlapi.dlsyntax.parser.ParseException
public final OWLClassExpression parseAllRestriction() throws org.semanticweb.owlapi.dlsyntax.parser.ParseException
public final OWLClassExpression parseCardinalityRestriction() throws org.semanticweb.owlapi.dlsyntax.parser.ParseException
public final OWLIndividual parseIndividualId() throws org.semanticweb.owlapi.dlsyntax.parser.ParseException
public final OWLClassExpression parseObjectComplementOf() throws org.semanticweb.owlapi.dlsyntax.parser.ParseException
public final OWLClassExpression parseObjectOneOf() throws org.semanticweb.owlapi.dlsyntax.parser.ParseException
public final OWLDataRange parseDataOneOf() throws org.semanticweb.owlapi.dlsyntax.parser.ParseException
public final OWLClassExpression NamedClassOrNestedDescription() throws org.semanticweb.owlapi.dlsyntax.parser.ParseException
public final OWLClass parseClassId() throws org.semanticweb.owlapi.dlsyntax.parser.ParseException
public final OWLClassExpression NestedClassDescription() throws org.semanticweb.owlapi.dlsyntax.parser.ParseException
public final OWLLiteral parseLiteral() throws org.semanticweb.owlapi.dlsyntax.parser.ParseException
public final IRI parseId() throws org.semanticweb.owlapi.dlsyntax.parser.ParseException
public void ReInit(String s)
public void ReInit(org.semanticweb.owlapi.dlsyntax.parser.Provider stream)
public void ReInit(org.semanticweb.owlapi.dlsyntax.parser.DLSyntaxParserTokenManager tm)
public final org.semanticweb.owlapi.dlsyntax.parser.Token getNextToken()
public final org.semanticweb.owlapi.dlsyntax.parser.Token getToken(int index)
public org.semanticweb.owlapi.dlsyntax.parser.ParseException generateParseException()
public final boolean trace_enabled()
public final void enable_tracing()
public final void disable_tracing()
Copyright © 2020 The University of Manchester. All rights reserved.