public class KRSSParser extends java.lang.Object implements KRSSParserConstants
Modifier and Type | Field and Description |
---|---|
Token |
jj_nt
Next token.
|
Token |
token
Current token.
|
KRSSParserTokenManager |
token_source
Generated Token Manager.
|
ALL, AND, ATLEAST, ATMOST, CLOSEPAR, COMMENT_START, DEFAULT, DEFINECONCEPT, DEFINEPRIMITIVECONCEPT, DEFINEPRIMITIVEROLE, DISTINCT, ENDABOX, ENDTBOX, ENUM, EOF, EQUAL, EXACTLY, IN_COMMENT, IN_IRI, IN_STRING_LITERAL, INSTANCE, INT, IRI_END, IRI_START, NAME, NONE, NOT, OPENPAR, OR, PRIMITIVECONCEPT, RANGE, RELATED, SOME, STRING_LITERAL_START, STRINGLITERAL, SUBROLE, tokenImage, TRANSITIVE
Constructor and Description |
---|
KRSSParser(java.io.InputStream stream)
Constructor with InputStream.
|
KRSSParser(java.io.InputStream stream,
java.lang.String encoding)
Constructor with InputStream and supplied encoding
|
KRSSParser(KRSSParserTokenManager tm)
Constructor with generated Token Manager.
|
KRSSParser(java.io.Reader stream)
Constructor.
|
public KRSSParserTokenManager token_source
public Token token
public Token jj_nt
public KRSSParser(java.io.InputStream stream)
public KRSSParser(java.io.InputStream stream, java.lang.String encoding)
public KRSSParser(java.io.Reader stream)
public KRSSParser(KRSSParserTokenManager tm)
public void setOntology(OWLOntology ontology, OWLDataFactory dataFactory)
protected void addAxiom(OWLAxiom ax) throws KRSSOWLParserException
KRSSOWLParserException
public IRI getIRI(java.lang.String s)
public void setIgnoreAnnotationsAndDeclarations(boolean b)
public final void parse() throws ParseException, KRSSOWLParserException
ParseException
KRSSOWLParserException
public final OWLAxiom TBoxStatement() throws ParseException
ParseException
public final OWLAxiom DefinePrimitiveConcept() throws ParseException
ParseException
public final OWLAxiom DefineConcept() throws ParseException
ParseException
public final OWLAxiom DefinePrimitiveRole() throws ParseException
ParseException
public final OWLAxiom Transitive() throws ParseException
ParseException
public final OWLAxiom Range() throws ParseException
ParseException
public final OWLClassExpression ConceptExpression() throws ParseException
ParseException
public final OWLClassExpression ConceptName() throws ParseException
ParseException
public final java.util.Set<OWLClassExpression> ConceptSet() throws ParseException
ParseException
public final OWLClassExpression And() throws ParseException
ParseException
public final OWLClassExpression Or() throws ParseException
ParseException
public final OWLClassExpression Not() throws ParseException
ParseException
public final OWLClassExpression All() throws ParseException
ParseException
public final OWLClassExpression Some() throws ParseException
ParseException
public final OWLClassExpression AtLeast() throws ParseException
ParseException
public final OWLClassExpression AtMost() throws ParseException
ParseException
public final OWLClassExpression Exactly() throws ParseException
ParseException
public final OWLObjectProperty RoleName() throws ParseException
ParseException
public final OWLAxiom ABoxStatement() throws ParseException
ParseException
public final OWLAxiom Instance() throws ParseException
ParseException
public final OWLAxiom Related() throws ParseException
ParseException
public final OWLAxiom Equal() throws ParseException
ParseException
public final OWLAxiom Distinct() throws ParseException
ParseException
public final OWLIndividual IndividualName() throws ParseException
ParseException
public final IRI Name() throws ParseException
ParseException
public final int Integer() 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(KRSSParserTokenManager tm)
public final Token getNextToken()
public final Token getToken(int index)
public ParseException generateParseException()
public final void enable_tracing()
public final void disable_tracing()