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 Object
implements DLSyntaxParserConstants

Field Summary

Fields

Modifier and Type	Field and Description
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

Constructors

Constructor and Description
DLSyntaxParser(DLSyntaxParserTokenManager tm) Constructor with generated Token Manager.
DLSyntaxParser(InputStream stream) Constructor with InputStream.
DLSyntaxParser(InputStream stream, String encoding) Constructor with InputStream and supplied encoding
DLSyntaxParser(Reader stream) Constructor.

Method Summary

Methods

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

Constructor with InputStream.

DLSyntaxParser

public DLSyntaxParser(InputStream stream,
              String encoding)

Constructor with InputStream and supplied encoding

DLSyntaxParser

public DLSyntaxParser(Reader stream)

Constructor.

DLSyntaxParser

public DLSyntaxParser(DLSyntaxParserTokenManager tm)

Constructor with generated Token Manager.

Method Detail

setOWLDataFactory

public void setOWLDataFactory(org.semanticweb.owlapi.model.OWLDataFactory factory)

setPrefixMapping

public void setPrefixMapping(String prefix,
                    String namespace)

setDefaultNamespace

public void setDefaultNamespace(String ns)

getIRI

public org.semanticweb.owlapi.model.IRI getIRI(String val)

getIRIFromId

public org.semanticweb.owlapi.model.IRI getIRIFromId(String qname)

parseDescription

public final org.semanticweb.owlapi.model.OWLClassExpression parseDescription()
                                                                       throws ParseException

Throws:

ParseException

parseAxioms

public final Set<org.semanticweb.owlapi.model.OWLAxiom> parseAxioms()
                                                             throws ParseException

Throws:

ParseException

parseAxiom

public final org.semanticweb.owlapi.model.OWLAxiom parseAxiom()
                                                       throws ParseException

Throws:

ParseException

parseIndividualAxiom

public final org.semanticweb.owlapi.model.OWLAxiom parseIndividualAxiom()
                                                                 throws ParseException

Throws:

ParseException

parseDifferentIndividualsAxiom

public final org.semanticweb.owlapi.model.OWLAxiom parseDifferentIndividualsAxiom()
                                                                           throws ParseException

Throws:

ParseException

parseObjectPropertyAssertion

public final org.semanticweb.owlapi.model.OWLAxiom parseObjectPropertyAssertion()
                                                                         throws ParseException

Throws:

ParseException

parseDataPropertyAssertion

public final org.semanticweb.owlapi.model.OWLAxiom parseDataPropertyAssertion()
                                                                       throws ParseException

Throws:

ParseException

parseSameIndividual

public final org.semanticweb.owlapi.model.OWLAxiom parseSameIndividual()
                                                                throws ParseException

Throws:

ParseException

parseClassAssertion

public final org.semanticweb.owlapi.model.OWLAxiom parseClassAssertion()
                                                                throws ParseException

Throws:

ParseException

parseClassAxiom

public final org.semanticweb.owlapi.model.OWLAxiom parseClassAxiom()
                                                            throws ParseException

Throws:

ParseException

parsePropertyChain

public final org.semanticweb.owlapi.model.OWLAxiom parsePropertyChain()
                                                               throws ParseException

Throws:

ParseException

parsePropertyAxiom

public final org.semanticweb.owlapi.model.OWLAxiom parsePropertyAxiom()
                                                               throws ParseException

Throws:

ParseException

parseClassDescription

public final org.semanticweb.owlapi.model.OWLClassExpression parseClassDescription()
                                                                            throws ParseException

Throws:

ParseException

Or

public final org.semanticweb.owlapi.model.OWLClassExpression Or()
                                                         throws ParseException

Throws:

ParseException

And

public final org.semanticweb.owlapi.model.OWLClassExpression And()
                                                          throws ParseException

Throws:

ParseException

NonNaryBooleanDescription

public final org.semanticweb.owlapi.model.OWLClassExpression NonNaryBooleanDescription()
                                                                                throws ParseException

Throws:

ParseException

parseObjectPropertyId

public final org.semanticweb.owlapi.model.OWLObjectPropertyExpression parseObjectPropertyId()
                                                                                     throws ParseException

Throws:

ParseException

parseDataPropertyId

public final org.semanticweb.owlapi.model.OWLDataPropertyExpression parseDataPropertyId()
                                                                                 throws ParseException

Throws:

ParseException

parseRestriction

public final org.semanticweb.owlapi.model.OWLClassExpression parseRestriction()
                                                                       throws ParseException

Throws:

ParseException

parseSomeRestriction

public final org.semanticweb.owlapi.model.OWLClassExpression parseSomeRestriction()
                                                                           throws ParseException

Throws:

ParseException

parseDataSomeRestriction

public final org.semanticweb.owlapi.model.OWLClassExpression parseDataSomeRestriction()
                                                                               throws ParseException

Throws:

ParseException

parseAllRestriction

public final org.semanticweb.owlapi.model.OWLClassExpression parseAllRestriction()
                                                                          throws ParseException

Throws:

ParseException

parseCardinalityRestriction

public final org.semanticweb.owlapi.model.OWLClassExpression parseCardinalityRestriction()
                                                                                  throws ParseException

Throws:

ParseException

parseIndividualId

public final org.semanticweb.owlapi.model.OWLIndividual parseIndividualId()
                                                                   throws ParseException

Throws:

ParseException

parseObjectComplementOf

public final org.semanticweb.owlapi.model.OWLClassExpression parseObjectComplementOf()
                                                                              throws ParseException

Throws:

ParseException

parseObjectOneOf

public final org.semanticweb.owlapi.model.OWLClassExpression parseObjectOneOf()
                                                                       throws ParseException

Throws:

ParseException

parseDataOneOf

public final org.semanticweb.owlapi.model.OWLDataRange parseDataOneOf()
                                                               throws ParseException

Throws:

ParseException

NamedClassOrNestedDescription

public final org.semanticweb.owlapi.model.OWLClassExpression NamedClassOrNestedDescription()
                                                                                    throws ParseException

Throws:

ParseException

parseClassId

public final org.semanticweb.owlapi.model.OWLClass parseClassId()
                                                         throws ParseException

Throws:

ParseException

NestedClassDescription

public final org.semanticweb.owlapi.model.OWLClassExpression NestedClassDescription()
                                                                             throws ParseException

Throws:

ParseException

parseLiteral

public final org.semanticweb.owlapi.model.OWLLiteral parseLiteral()
                                                           throws ParseException

Throws:

ParseException

parseId

public final org.semanticweb.owlapi.model.IRI parseId()
                                               throws ParseException

Throws:

ParseException

ReInit

public void ReInit(InputStream stream)

Reinitialise.

ReInit

public void ReInit(InputStream stream,
          String encoding)

Reinitialise.

ReInit

public void ReInit(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.