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

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

All Implemented Interfaces:

DLSyntaxParserConstants

public class DLSyntaxParser
extends java.lang.Object
implements DLSyntaxParserConstants

Field Summary

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

Fields inherited from interface uk.ac.manchester.cs.owlapi.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)
Constructor with generated Token Manager.

DLSyntaxParser(java.io.InputStream stream)
Constructor with InputStream.

DLSyntaxParser(java.io.InputStream stream, java.lang.String encoding)
Constructor with InputStream and supplied encoding

DLSyntaxParser(java.io.Reader stream)
Constructor.

Method Summary

OWLClassExpression	And()
void	disable_tracing() Disable tracing.
void	enable_tracing() Enable tracing.
ParseException	generateParseException() Generate ParseException.
IRI	getIRI(java.lang.String val)
IRI	getIRIFromId(java.lang.String qname)
Token	getNextToken() Get the next Token.
Token	getToken(int index) Get the specific Token.
OWLClassExpression	NamedClassOrNestedDescription()
OWLClassExpression	NestedClassDescription()
OWLClassExpression	NonNaryBooleanDescription()
OWLClassExpression	Or()
OWLClassExpression	parseAllRestriction()
OWLAxiom	parseAxiom()
java.util.Set<OWLAxiom>	parseAxioms()
OWLClassExpression	parseCardinalityRestriction()
OWLAxiom	parseClassAssertion()
OWLAxiom	parseClassAxiom()
OWLClassExpression	parseClassDescription()
OWLClass	parseClassId()
OWLDataRange	parseDataOneOf()
OWLAxiom	parseDataPropertyAssertion()
OWLDataPropertyExpression	parseDataPropertyId()
OWLClassExpression	parseDataSomeRestriction()
OWLClassExpression	parseDescription()
OWLAxiom	parseDifferentIndividualsAxiom()
IRI	parseId()
OWLAxiom	parseIndividualAxiom()
OWLIndividual	parseIndividualId()
OWLLiteral	parseLiteral()
OWLClassExpression	parseObjectComplementOf()
OWLClassExpression	parseObjectOneOf()
OWLAxiom	parseObjectPropertyAssertion()
OWLObjectPropertyExpression	parseObjectPropertyId()
OWLAxiom	parsePropertyAxiom()
OWLAxiom	parsePropertyChain()
OWLClassExpression	parseRestriction()
OWLAxiom	parseSameIndividual()
OWLClassExpression	parseSomeRestriction()
void	ReInit(DLSyntaxParserTokenManager tm) Reinitialise.
void	ReInit(java.io.InputStream stream) Reinitialise.
void	ReInit(java.io.InputStream stream, java.lang.String encoding) Reinitialise.
void	ReInit(java.io.Reader stream) Reinitialise.
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

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

Field Detail

token_source

public DLSyntaxParserTokenManager token_source

Generated Token Manager.

token

public Token token

Current token.

jj_nt

public Token jj_nt

Next token.

Constructor Detail

DLSyntaxParser

public DLSyntaxParser(java.io.InputStream stream)

Constructor with InputStream.

DLSyntaxParser

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

Constructor with InputStream and supplied encoding

DLSyntaxParser

public DLSyntaxParser(java.io.Reader stream)

Constructor.

DLSyntaxParser

public DLSyntaxParser(DLSyntaxParserTokenManager tm)

Constructor with generated Token Manager.

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)

getIRI

public IRI getIRI(java.lang.String val)

getIRIFromId

public IRI getIRIFromId(java.lang.String qname)

parseDescription

public final OWLClassExpression 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 OWLClassExpression parseClassDescription()
                                               throws ParseException

Throws:

ParseException

Or

public final OWLClassExpression Or()
                            throws ParseException

Throws:

ParseException

And

public final OWLClassExpression And()
                             throws ParseException

Throws:

ParseException

NonNaryBooleanDescription

public final OWLClassExpression 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 OWLClassExpression parseRestriction()
                                          throws ParseException

Throws:

ParseException

parseSomeRestriction

public final OWLClassExpression parseSomeRestriction()
                                              throws ParseException

Throws:

ParseException

parseDataSomeRestriction

public final OWLClassExpression parseDataSomeRestriction()
                                                  throws ParseException

Throws:

ParseException

parseAllRestriction

public final OWLClassExpression parseAllRestriction()
                                             throws ParseException

Throws:

ParseException

parseCardinalityRestriction

public final OWLClassExpression parseCardinalityRestriction()
                                                     throws ParseException

Throws:

ParseException

parseIndividualId

public final OWLIndividual parseIndividualId()
                                      throws ParseException

Throws:

ParseException

parseObjectComplementOf

public final OWLClassExpression parseObjectComplementOf()
                                                 throws ParseException

Throws:

ParseException

parseObjectOneOf

public final OWLClassExpression parseObjectOneOf()
                                          throws ParseException

Throws:

ParseException

parseDataOneOf

public final OWLDataRange parseDataOneOf()
                                  throws ParseException

Throws:

ParseException

NamedClassOrNestedDescription

public final OWLClassExpression NamedClassOrNestedDescription()
                                                       throws ParseException

Throws:

ParseException

parseClassId

public final OWLClass parseClassId()
                            throws ParseException

Throws:

ParseException

NestedClassDescription

public final OWLClassExpression NestedClassDescription()
                                                throws ParseException

Throws:

ParseException

parseLiteral

public final OWLLiteral parseLiteral()
                              throws ParseException

Throws:

ParseException

parseId

public final IRI parseId()
                  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(DLSyntaxParserTokenManager 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.