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
boolean	lookingAhead
Token	token
KRSSParserTokenManager	token_source

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

ALL, AND, ATLEAST, ATMOST, CLOSEPAR, DEFAULT, DEFINECONCEPT, DEFINEPRIMITIVECONCEPT, DEFINEPRIMITIVEROLE, DISTINCT, ENDABOX, ENDTBOX, ENUM, EOF, EQUAL, EXACTLY, IN_STRING_LITERAL, IN_URI, INSTANCE, INT, NAME, NONE, NOT, OPENPAR, OR, PRIMITIVECONCEPT, RANGE, RELATED, SOME, STRING_LITERAL_START, STRINGLITERAL, SUBROLE, tokenImage, TRANSITIVE, URI_END, URI_START

Constructor Summary

KRSSParser(java.io.InputStream stream)

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

KRSSParser(KRSSParserTokenManager tm)

KRSSParser(java.io.Reader stream)

Method Summary

OWLAxiom	ABoxStatement()
OWLDescription	All()
OWLDescription	And()
OWLDescription	AtLeast()
OWLDescription	AtMost()
OWLDescription	ConceptExpression()
OWLDescription	ConceptName()
java.util.Set<OWLDescription>	ConceptSet()
OWLAxiom	DefineConcept()
OWLAxiom	DefinePrimitiveConcept()
OWLAxiom	DefinePrimitiveRole()
void	disable_tracing()
OWLAxiom	Distinct()
void	enable_tracing()
OWLAxiom	Equal()
OWLDescription	Exactly()
ParseException	generateParseException()
Token	getNextToken()
Token	getToken(int index)
java.net.URI	getURI(java.lang.String s)
OWLIndividual	IndividualName()
OWLAxiom	Instance()
int	Integer()
java.net.URI	Name()
OWLDescription	Not()
OWLDescription	Or()
void	parse()
OWLAxiom	Range()
void	ReInit(java.io.InputStream stream)
void	ReInit(java.io.InputStream stream, java.lang.String encoding)
void	ReInit(KRSSParserTokenManager tm)
void	ReInit(java.io.Reader stream)
OWLAxiom	Related()
OWLObjectProperty	RoleName()
void	setIgnoreAnnotationsAndDeclarations(boolean b)
void	setOntology(OWLOntology ontology, OWLDataFactory dataFactory)
OWLDescription	Some()
OWLAxiom	TBoxStatement()
OWLAxiom	Transitive()

Methods inherited from class java.lang.Object

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

Field Detail

token_source

public KRSSParserTokenManager token_source

token

public Token token

jj_nt

public Token jj_nt

lookingAhead

public boolean lookingAhead

Constructor Detail

KRSSParser

public KRSSParser(java.io.InputStream stream)

KRSSParser

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

KRSSParser

public KRSSParser(java.io.Reader stream)

KRSSParser

public KRSSParser(KRSSParserTokenManager tm)

Method Detail

setOntology

public void setOntology(OWLOntology ontology,
                        OWLDataFactory dataFactory)

getURI

public java.net.URI getURI(java.lang.String s)
                    throws java.net.URISyntaxException

Throws:

java.net.URISyntaxException

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 OWLDescription ConceptExpression()
                                       throws ParseException

Throws:

ParseException

ConceptName

public final OWLDescription ConceptName()
                                 throws ParseException

Throws:

ParseException

ConceptSet

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

Throws:

ParseException

And

public final OWLDescription And()
                         throws ParseException

Throws:

ParseException

Or

public final OWLDescription Or()
                        throws ParseException

Throws:

ParseException

Not

public final OWLDescription Not()
                         throws ParseException

Throws:

ParseException

All

public final OWLDescription All()
                         throws ParseException

Throws:

ParseException

Some

public final OWLDescription Some()
                          throws ParseException

Throws:

ParseException

AtLeast

public final OWLDescription AtLeast()
                             throws ParseException

Throws:

ParseException

AtMost

public final OWLDescription AtMost()
                            throws ParseException

Throws:

ParseException

Exactly

public final OWLDescription 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 java.net.URI Name()
                        throws ParseException

Throws:

ParseException

Integer

public final int Integer()
                  throws ParseException

Throws:

ParseException

ReInit

public void ReInit(java.io.InputStream stream)

ReInit

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

ReInit

public void ReInit(java.io.Reader stream)

ReInit

public void ReInit(KRSSParserTokenManager tm)

getNextToken

public final Token getNextToken()

getToken

public final Token getToken(int index)

generateParseException

public ParseException generateParseException()

enable_tracing

public final void enable_tracing()

disable_tracing

public final void disable_tracing()