org.coode.owl.krssparser
Class KRSSParser

java.lang.Object
  org.coode.owl.krssparser.KRSSParser

All Implemented Interfaces:

KRSSParserConstants

public class KRSSParser
extends java.lang.Object
implements KRSSParserConstants

Field Summary

Token	jj_nt Next token.
Token	token Current token.
KRSSParserTokenManager	token_source Generated Token Manager.

Fields inherited from interface org.coode.owl.krssparser.KRSSParserConstants

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 Summary

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.

Method Summary

OWLAxiom	ABoxStatement()
protected void	addAxiom(OWLAxiom ax)
OWLClassExpression	All()
OWLClassExpression	And()
OWLClassExpression	AtLeast()
OWLClassExpression	AtMost()
OWLClassExpression	ConceptExpression()
OWLClassExpression	ConceptName()
java.util.Set<OWLClassExpression>	ConceptSet()
OWLAxiom	DefineConcept()
OWLAxiom	DefinePrimitiveConcept()
OWLAxiom	DefinePrimitiveRole()
void	disable_tracing() Disable tracing.
OWLAxiom	Distinct()
void	enable_tracing() Enable tracing.
OWLAxiom	Equal()
OWLClassExpression	Exactly()
ParseException	generateParseException() Generate ParseException.
IRI	getIRI(java.lang.String s)
Token	getNextToken() Get the next Token.
Token	getToken(int index) Get the specific Token.
OWLIndividual	IndividualName()
OWLAxiom	Instance()
int	Integer()
IRI	Name()
OWLClassExpression	Not()
OWLClassExpression	Or()
void	parse()
OWLAxiom	Range()
void	ReInit(java.io.InputStream stream) Reinitialise.
void	ReInit(java.io.InputStream stream, java.lang.String encoding) Reinitialise.
void	ReInit(KRSSParserTokenManager tm) Reinitialise.
void	ReInit(java.io.Reader stream) Reinitialise.
OWLAxiom	Related()
OWLObjectProperty	RoleName()
void	setIgnoreAnnotationsAndDeclarations(boolean b)
void	setOntology(OWLOntology ontology, OWLDataFactory dataFactory)
OWLClassExpression	Some()
OWLAxiom	TBoxStatement()
OWLAxiom	Transitive()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

token_source

public KRSSParserTokenManager token_source

Generated Token Manager.

token

public Token token

Current token.

jj_nt

public Token jj_nt

Next token.

Constructor Detail

KRSSParser

public KRSSParser(java.io.InputStream stream)

Constructor with InputStream.

KRSSParser

public KRSSParser(java.io.InputStream stream,
                  java.lang.String encoding)

Constructor with InputStream and supplied encoding

KRSSParser

public KRSSParser(java.io.Reader stream)

Constructor.

KRSSParser

public KRSSParser(KRSSParserTokenManager tm)

Constructor with generated Token Manager.

Method Detail

setOntology

public void setOntology(OWLOntology ontology,
                        OWLDataFactory dataFactory)

addAxiom

protected void addAxiom(OWLAxiom ax)
                 throws KRSSOWLParserException

Throws:

KRSSOWLParserException

getIRI

public IRI getIRI(java.lang.String s)

setIgnoreAnnotationsAndDeclarations

public void setIgnoreAnnotationsAndDeclarations(boolean b)

parse

public final void parse()
                 throws ParseException,
                        KRSSOWLParserException

Throws:

ParseException

KRSSOWLParserException

TBoxStatement

public final OWLAxiom TBoxStatement()
                             throws ParseException

Throws:

ParseException

DefinePrimitiveConcept

public final OWLAxiom DefinePrimitiveConcept()
                                      throws ParseException

Throws:

ParseException

DefineConcept

public final OWLAxiom DefineConcept()
                             throws ParseException

Throws:

ParseException

DefinePrimitiveRole

public final OWLAxiom DefinePrimitiveRole()
                                   throws ParseException

Throws:

ParseException

Transitive

public final OWLAxiom Transitive()
                          throws ParseException

Throws:

ParseException

Range

public final OWLAxiom Range()
                     throws ParseException

Throws:

ParseException

ConceptExpression

public final OWLClassExpression ConceptExpression()
                                           throws ParseException

Throws:

ParseException

ConceptName

public final OWLClassExpression ConceptName()
                                     throws ParseException

Throws:

ParseException

ConceptSet

public final java.util.Set<OWLClassExpression> ConceptSet()
                                                   throws ParseException

Throws:

ParseException

And

public final OWLClassExpression And()
                             throws ParseException

Throws:

ParseException

Or

public final OWLClassExpression Or()
                            throws ParseException

Throws:

ParseException

Not

public final OWLClassExpression Not()
                             throws ParseException

Throws:

ParseException

All

public final OWLClassExpression All()
                             throws ParseException

Throws:

ParseException

Some

public final OWLClassExpression Some()
                              throws ParseException

Throws:

ParseException

AtLeast

public final OWLClassExpression AtLeast()
                                 throws ParseException

Throws:

ParseException

AtMost

public final OWLClassExpression AtMost()
                                throws ParseException

Throws:

ParseException

Exactly

public final OWLClassExpression Exactly()
                                 throws ParseException

Throws:

ParseException

RoleName

public final OWLObjectProperty RoleName()
                                 throws ParseException

Throws:

ParseException

ABoxStatement

public final OWLAxiom ABoxStatement()
                             throws ParseException

Throws:

ParseException

Instance

public final OWLAxiom Instance()
                        throws ParseException

Throws:

ParseException

Related

public final OWLAxiom Related()
                       throws ParseException

Throws:

ParseException

Equal

public final OWLAxiom Equal()
                     throws ParseException

Throws:

ParseException

Distinct

public final OWLAxiom Distinct()
                        throws ParseException

Throws:

ParseException

IndividualName

public final OWLIndividual IndividualName()
                                   throws ParseException

Throws:

ParseException

Name

public final IRI Name()
               throws ParseException

Throws:

ParseException

Integer

public final int Integer()
                  throws ParseException

Throws:

ParseException

ReInit

public void ReInit(java.io.InputStream stream)

Reinitialise.

ReInit

public void ReInit(java.io.InputStream stream,
                   java.lang.String encoding)

Reinitialise.

ReInit

public void ReInit(java.io.Reader stream)

Reinitialise.

ReInit

public void ReInit(KRSSParserTokenManager tm)

Reinitialise.

getNextToken

public final Token getNextToken()

Get the next Token.

getToken

public final Token getToken(int index)

Get the specific Token.

generateParseException

public ParseException generateParseException()

Generate ParseException.

enable_tracing

public final void enable_tracing()

Enable tracing.

disable_tracing

public final void disable_tracing()

Disable tracing.