uk.ac.manchester.cs.owl.dlsyntax.parser
Class DLSyntaxParser

java.lang.Object
  uk.ac.manchester.cs.owl.dlsyntax.parser.DLSyntaxParser

All Implemented Interfaces:

DLSyntaxParserConstants

public class DLSyntaxParser
extends java.lang.Object
implements DLSyntaxParserConstants

Field Summary

Token	jj_nt
boolean	lookingAhead
Token	token
DLSyntaxParserTokenManager	token_source

Fields inherited from interface uk.ac.manchester.cs.owl.dlsyntax.parser.DLSyntaxParserConstants

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 Summary

DLSyntaxParser(DLSyntaxParserTokenManager tm)

DLSyntaxParser(java.io.InputStream stream)

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

DLSyntaxParser(java.io.Reader stream)

Method Summary

OWLDescription	And()
void	disable_tracing()
void	enable_tracing()
ParseException	generateParseException()
Token	getNextToken()
Token	getToken(int index)
java.net.URI	getURI(java.lang.String val)
java.net.URI	getURIFromId(java.lang.String qname)
OWLDescription	NamedClassOrNestedDescription()
OWLDescription	NestedClassDescription()
OWLDescription	NonNaryBooleanDescription()
OWLDescription	Or()
OWLDescription	parseAllRestriction()
OWLAxiom	parseAxiom()
java.util.Set<OWLAxiom>	parseAxioms()
OWLDescription	parseCardinalityRestriction()
OWLAxiom	parseClassAssertion()
OWLAxiom	parseClassAxiom()
OWLDescription	parseClassDescription()
OWLClass	parseClassId()
OWLConstant	parseConstant()
OWLDataRange	parseDataOneOf()
OWLAxiom	parseDataPropertyAssertion()
OWLDataPropertyExpression	parseDataPropertyId()
OWLDescription	parseDataSomeRestriction()
OWLDescription	parseDescription()
OWLAxiom	parseDifferentIndividualsAxiom()
java.net.URI	parseId()
OWLAxiom	parseIndividualAxiom()
OWLIndividual	parseIndividualId()
OWLDescription	parseObjectComplementOf()
OWLDescription	parseObjectOneOf()
OWLAxiom	parseObjectPropertyAssertion()
OWLObjectPropertyExpression	parseObjectPropertyId()
OWLAxiom	parsePropertyAxiom()
OWLAxiom	parsePropertyChain()
OWLDescription	parseRestriction()
OWLAxiom	parseSameIndividual()
OWLDescription	parseSomeRestriction()
void	ReInit(DLSyntaxParserTokenManager tm)
void	ReInit(java.io.InputStream stream)
void	ReInit(java.io.InputStream stream, java.lang.String encoding)
void	ReInit(java.io.Reader stream)
void	setDefaultNamespace(java.lang.String ns)
void	setOWLDataFactory(OWLDataFactory factory)
void	setPrefixMapping(java.lang.String prefix, java.lang.String namespace)

Methods inherited from class java.lang.Object

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

Field Detail

token_source

public DLSyntaxParserTokenManager token_source

token

public Token token

jj_nt

public Token jj_nt

lookingAhead

public boolean lookingAhead

Constructor Detail

DLSyntaxParser

public DLSyntaxParser(java.io.InputStream stream)

DLSyntaxParser

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

DLSyntaxParser

public DLSyntaxParser(java.io.Reader stream)

DLSyntaxParser

public DLSyntaxParser(DLSyntaxParserTokenManager tm)

Method Detail

setOWLDataFactory

public void setOWLDataFactory(OWLDataFactory factory)

setPrefixMapping

public void setPrefixMapping(java.lang.String prefix,
                             java.lang.String namespace)

setDefaultNamespace

public void setDefaultNamespace(java.lang.String ns)

getURI

public java.net.URI getURI(java.lang.String val)

getURIFromId

public java.net.URI getURIFromId(java.lang.String qname)

parseDescription

public final OWLDescription parseDescription()
                                      throws ParseException

Throws:

ParseException

parseAxioms

public final java.util.Set<OWLAxiom> parseAxioms()
                                          throws ParseException

Throws:

ParseException

parseAxiom

public final OWLAxiom parseAxiom()
                          throws ParseException

Throws:

ParseException

parseIndividualAxiom

public final OWLAxiom parseIndividualAxiom()
                                    throws ParseException

Throws:

ParseException

parseDifferentIndividualsAxiom

public final OWLAxiom parseDifferentIndividualsAxiom()
                                              throws ParseException

Throws:

ParseException

parseObjectPropertyAssertion

public final OWLAxiom parseObjectPropertyAssertion()
                                            throws ParseException

Throws:

ParseException

parseDataPropertyAssertion

public final OWLAxiom parseDataPropertyAssertion()
                                          throws ParseException

Throws:

ParseException

parseSameIndividual

public final OWLAxiom parseSameIndividual()
                                   throws ParseException

Throws:

ParseException

parseClassAssertion

public final OWLAxiom parseClassAssertion()
                                   throws ParseException

Throws:

ParseException

parseClassAxiom

public final OWLAxiom parseClassAxiom()
                               throws ParseException

Throws:

ParseException

parsePropertyChain

public final OWLAxiom parsePropertyChain()
                                  throws ParseException

Throws:

ParseException

parsePropertyAxiom

public final OWLAxiom parsePropertyAxiom()
                                  throws ParseException

Throws:

ParseException

parseClassDescription

public final OWLDescription parseClassDescription()
                                           throws ParseException

Throws:

ParseException

Or

public final OWLDescription Or()
                        throws ParseException

Throws:

ParseException

And

public final OWLDescription And()
                         throws ParseException

Throws:

ParseException

NonNaryBooleanDescription

public final OWLDescription NonNaryBooleanDescription()
                                               throws ParseException

Throws:

ParseException

parseObjectPropertyId

public final OWLObjectPropertyExpression parseObjectPropertyId()
                                                        throws ParseException

Throws:

ParseException

parseDataPropertyId

public final OWLDataPropertyExpression parseDataPropertyId()
                                                    throws ParseException

Throws:

ParseException

parseRestriction

public final OWLDescription parseRestriction()
                                      throws ParseException

Throws:

ParseException

parseSomeRestriction

public final OWLDescription parseSomeRestriction()
                                          throws ParseException

Throws:

ParseException

parseDataSomeRestriction

public final OWLDescription parseDataSomeRestriction()
                                              throws ParseException

Throws:

ParseException

parseAllRestriction

public final OWLDescription parseAllRestriction()
                                         throws ParseException

Throws:

ParseException

parseCardinalityRestriction

public final OWLDescription parseCardinalityRestriction()
                                                 throws ParseException

Throws:

ParseException

parseIndividualId

public final OWLIndividual parseIndividualId()
                                      throws ParseException

Throws:

ParseException

parseObjectComplementOf

public final OWLDescription parseObjectComplementOf()
                                             throws ParseException

Throws:

ParseException

parseObjectOneOf

public final OWLDescription parseObjectOneOf()
                                      throws ParseException

Throws:

ParseException

parseDataOneOf

public final OWLDataRange parseDataOneOf()
                                  throws ParseException

Throws:

ParseException

NamedClassOrNestedDescription

public final OWLDescription NamedClassOrNestedDescription()
                                                   throws ParseException

Throws:

ParseException

parseClassId

public final OWLClass parseClassId()
                            throws ParseException

Throws:

ParseException

NestedClassDescription

public final OWLDescription NestedClassDescription()
                                            throws ParseException

Throws:

ParseException

parseConstant

public final OWLConstant parseConstant()
                                throws ParseException

Throws:

ParseException

parseId

public final java.net.URI parseId()
                           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(DLSyntaxParserTokenManager 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()