Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $
You can buy this project and download/modify it how often you want.
uk.ac.manchester.cs.owlapi.dlsyntax.parser.DLSyntaxParser Maven / Gradle / Ivy
/* Generated By:JavaCC: Do not edit this line. DLSyntaxParser.java */
/*
* This file is part of the OWL API.
*
* The contents of this file are subject to the LGPL License, Version 3.0.
*
* Copyright (C) 2011, The University of Manchester
*
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program. If not, see http://www.gnu.org/licenses/.
*
*
* Alternatively, the contents of this file may be used under the terms of the Apache License, Version 2.0
* in which case, the provisions of the Apache License Version 2.0 are applicable instead of those above.
*
* Copyright 2011, University of Manchester
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
package uk.ac.manchester.cs.owlapi.dlsyntax.parser;
import java.util.ArrayList;
import java.util.HashMap;
import java.util.HashSet;
import java.util.LinkedHashSet;
import java.util.List;
import java.util.Map;
import java.util.Set;
import org.semanticweb.owlapi.model.IRI;
import org.semanticweb.owlapi.model.OWLAxiom;
import org.semanticweb.owlapi.model.OWLClass;
import org.semanticweb.owlapi.model.OWLClassExpression;
import org.semanticweb.owlapi.model.OWLDataFactory;
import org.semanticweb.owlapi.model.OWLDataPropertyExpression;
import org.semanticweb.owlapi.model.OWLDataRange;
import org.semanticweb.owlapi.model.OWLIndividual;
import org.semanticweb.owlapi.model.OWLLiteral;
import org.semanticweb.owlapi.model.OWLObjectAllValuesFrom;
import org.semanticweb.owlapi.model.OWLObjectComplementOf;
import org.semanticweb.owlapi.model.OWLObjectInverseOf;
import org.semanticweb.owlapi.model.OWLObjectMaxCardinality;
import org.semanticweb.owlapi.model.OWLObjectProperty;
import org.semanticweb.owlapi.model.OWLObjectPropertyExpression;
import org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom;
import org.semanticweb.owlapi.model.OWLRuntimeException;
import org.semanticweb.owlapi.util.CollectionFactory;
import org.semanticweb.owlapi.vocab.OWLRDFVocabulary;
import uk.ac.manchester.cs.JavaCharStream;
@SuppressWarnings("all")
public class DLSyntaxParser implements DLSyntaxParserConstants {
private String defaultNamespace = "http://www.sematicweb.org/ontologies/Ontology" + System.nanoTime();
private Map namespaceMap = new HashMap();
private OWLDataFactory factory;
private Map iriMap = new HashMap();
private Map qnameIRIMap = new HashMap();
public void setOWLDataFactory(OWLDataFactory factory) {
this.factory = factory;
}
public void setPrefixMapping(String prefix, String namespace) {
namespaceMap.put(prefix, namespace);
}
public void setDefaultNamespace(String ns) {
defaultNamespace = ns;
}
public IRI getIRI(String val) {
IRI iri = iriMap.get(val);
if(iri == null) {
iri = IRI.create(val);
iriMap.put(val, iri);
}
return iri;
}
public IRI getIRIFromId(String qname) {
if(qname.equals("top") || qname.equals("\u22a4")) {
return OWLRDFVocabulary.OWL_THING.getIRI();
}
if(qname.equals("bottom") || qname.equals("\u22a5")) {
return OWLRDFVocabulary.OWL_NOTHING.getIRI();
}
IRI iri = qnameIRIMap.get(qname);
if(iri == null) {
iri = getIRI(defaultNamespace + "#" + qname);
qnameIRIMap.put(qname, iri);
}
return iri;
}
final public OWLClassExpression parseDescription() throws ParseException {
OWLClassExpression desc;
desc = parseClassDescription();
jj_consume_token(0);
return desc;
}
final public Set parseAxioms() throws ParseException {
OWLAxiom ax;
Set axioms = new LinkedHashSet();
ax = parseAxiom();
axioms.add(ax);
label_1:
while (true) {
if (jj_2_1(5)) {
;
} else {
break label_1;
}
if (jj_2_2(5)) {
jj_consume_token(30);
ax = parseAxiom();
axioms.add(ax);
} else if (jj_2_3(5)) {
jj_consume_token(30);
} else {
jj_consume_token(-1);
throw new ParseException();
}
}
jj_consume_token(0);
return axioms;
}
final public OWLAxiom parseAxiom() throws ParseException {
OWLAxiom ax;
if (jj_2_4(5)) {
jj_consume_token(COLON);
ax = parsePropertyAxiom();
return ax;
} else if (jj_2_5(5)) {
ax = parseClassAxiom();
return ax;
} else if (jj_2_6(5)) {
ax = parseIndividualAxiom();
return ax;
} else if (jj_2_7(5)) {
ax = parseObjectPropertyAssertion();
return ax;
} else if (jj_2_8(5)) {
ax = parseDataPropertyAssertion();
return ax;
} else if (jj_2_9(5)) {
ax = parseDifferentIndividualsAxiom();
return ax;
} else {
jj_consume_token(-1);
throw new ParseException();
}
}
final public OWLAxiom parseIndividualAxiom() throws ParseException {
OWLAxiom ax;
if (jj_2_10(5)) {
ax = parseClassAssertion();
} else if (jj_2_11(5)) {
ax = parseSameIndividual();
} else {
jj_consume_token(-1);
throw new ParseException();
}
return ax;
}
final public OWLAxiom parseDifferentIndividualsAxiom() throws ParseException {
Set inds = new HashSet();
OWLIndividual ind;
ind = parseIndividualId();
inds.add(ind);
jj_consume_token(NEQ);
ind = parseIndividualId();
inds.add(ind);
label_2:
while (true) {
if (jj_2_12(5)) {
;
} else {
break label_2;
}
jj_consume_token(NEQ);
ind = parseIndividualId();
inds.add(ind);
}
return factory.getOWLDifferentIndividualsAxiom(inds);
}
final public OWLAxiom parseObjectPropertyAssertion() throws ParseException {
OWLIndividual subj, obj;
OWLObjectPropertyExpression prop;
prop = parseObjectPropertyId();
jj_consume_token(OPENPAR);
subj = parseIndividualId();
jj_consume_token(31);
obj = parseIndividualId();
jj_consume_token(CLOSEPAR);
return factory.getOWLObjectPropertyAssertionAxiom(prop, subj, obj);
}
final public OWLAxiom parseDataPropertyAssertion() throws ParseException {
OWLIndividual subj;
OWLDataPropertyExpression prop;
OWLLiteral obj;
prop = parseDataPropertyId();
jj_consume_token(OPENPAR);
subj = parseIndividualId();
jj_consume_token(31);
obj = parseLiteral();
jj_consume_token(CLOSEPAR);
return factory.getOWLDataPropertyAssertionAxiom(prop, subj, obj);
}
final public OWLAxiom parseSameIndividual() throws ParseException {
OWLIndividual indA;
OWLIndividual indB;
indA = parseIndividualId();
jj_consume_token(EXACT);
indB = parseIndividualId();
return factory.getOWLSameIndividualAxiom(CollectionFactory.createSet(indA, indB));
}
final public OWLAxiom parseClassAssertion() throws ParseException {
OWLIndividual ind;
OWLClassExpression desc;
if (jj_2_15(5)) {
jj_consume_token(OPENPAR);
desc = parseDescription();
jj_consume_token(CLOSEPAR);
} else if (jj_2_16(5)) {
desc = parseClassDescription();
jj_consume_token(OPENPAR);
ind = parseIndividualId();
jj_consume_token(CLOSEPAR);
if (jj_2_13(5)) {
jj_consume_token(30);
jj_input_stream.backup(1);
} else if (jj_2_14(5)) {
jj_consume_token(0);
} else {
jj_consume_token(-1);
throw new ParseException();
}
return factory.getOWLClassAssertionAxiom(desc, ind);
} else {
jj_consume_token(-1);
throw new ParseException();
}
throw new ParseException("Missing return statement in function");
}
final public OWLAxiom parseClassAxiom() throws ParseException {
OWLClassExpression lhs;
OWLClassExpression rhs;
boolean subClassAxiom = false;
lhs = parseClassDescription();
if (jj_2_17(5)) {
jj_consume_token(SUBCLASSOF);
rhs = parseClassDescription();
if(lhs.isOWLThing()) {
if(rhs instanceof OWLObjectAllValuesFrom) {
// Interpret as Range
OWLObjectAllValuesFrom restriction = (OWLObjectAllValuesFrom) rhs;
return factory.getOWLObjectPropertyRangeAxiom(restriction.getProperty(), restriction.getFiller());
}
if(rhs instanceof OWLObjectMaxCardinality) {
OWLObjectMaxCardinality restriction = (OWLObjectMaxCardinality) rhs;
if(restriction.getCardinality() == 1 && restriction.getFiller().isOWLThing()) {
return factory.getOWLFunctionalObjectPropertyAxiom(restriction.getProperty());
}
}
}
else if(lhs instanceof OWLObjectSomeValuesFrom) {
OWLObjectSomeValuesFrom restriction = (OWLObjectSomeValuesFrom) lhs;
if(restriction.getFiller().isOWLThing()) {
return factory.getOWLObjectPropertyDomainAxiom(restriction.getProperty(), rhs);
}
}
if(rhs instanceof OWLObjectComplementOf && !rhs.isAnonymous()) {
return factory.getOWLDisjointClassesAxiom(lhs, ((OWLObjectComplementOf) rhs).getOperand());
}
return factory.getOWLSubClassOfAxiom(lhs, rhs);
} else if (jj_2_18(5)) {
jj_consume_token(EQUIVALENTTO);
rhs = parseClassDescription();
return factory.getOWLEquivalentClassesAxiom(lhs, rhs);
} else {
jj_consume_token(-1);
throw new ParseException();
}
}
final public OWLAxiom parsePropertyChain() throws ParseException {
OWLObjectPropertyExpression prop;
OWLObjectPropertyExpression supProp;
List props = new ArrayList();
prop = parseObjectPropertyId();
props.add(prop);
jj_consume_token(COMPOSE);
prop = parseObjectPropertyId();
props.add(prop);
label_3:
while (true) {
if (jj_2_19(5)) {
;
} else {
break label_3;
}
jj_consume_token(COMPOSE);
prop = parseObjectPropertyId();
props.add(prop);
}
jj_consume_token(SUBCLASSOF);
supProp = parseObjectPropertyId();
return factory.getOWLSubPropertyChainOfAxiom(props, supProp);
}
final public OWLAxiom parsePropertyAxiom() throws ParseException {
OWLObjectPropertyExpression lhs;
OWLObjectPropertyExpression rhs;
OWLAxiom ax;
if (jj_2_23(5)) {
lhs = parseObjectPropertyId();
if (jj_2_20(5)) {
jj_consume_token(SUBCLASSOF);
rhs = parseObjectPropertyId();
return factory.getOWLSubObjectPropertyOfAxiom(lhs, rhs);
} else if (jj_2_21(5)) {
jj_consume_token(EQUIVALENTTO);
rhs = parseObjectPropertyId();
if(rhs instanceof OWLObjectInverseOf) {
OWLObjectInverseOf inv = (OWLObjectInverseOf) rhs;
return factory.getOWLInverseObjectPropertiesAxiom(lhs, inv.getInverse());
}
return factory.getOWLEquivalentObjectPropertiesAxiom(CollectionFactory.createSet(lhs, rhs));
} else if (jj_2_22(5)) {
jj_consume_token(IN);
jj_consume_token(TRANSITIVEROLES);
return factory.getOWLTransitiveObjectPropertyAxiom(lhs);
} else {
jj_consume_token(-1);
throw new ParseException();
}
} else if (jj_2_24(5)) {
ax = parsePropertyChain();
return ax;
} else {
jj_consume_token(-1);
throw new ParseException();
}
}
final public OWLClassExpression parseClassDescription() throws ParseException {
OWLClassExpression desc;
desc = Or();
return desc;
}
final public OWLClassExpression Or() throws ParseException {
OWLClassExpression desc;
Set operands = new HashSet();
desc = And();
operands.add(desc);
label_4:
while (true) {
if (jj_2_25(5)) {
;
} else {
break label_4;
}
jj_consume_token(OR);
desc = And();
operands.add(desc);
}
if(operands.size() == 1) {
return desc;
}
else {
return factory.getOWLObjectUnionOf(operands);
}
}
final public OWLClassExpression And() throws ParseException {
OWLClassExpression desc;
Set operands = new HashSet();
desc = NonNaryBooleanDescription();
operands.add(desc);
label_5:
while (true) {
if (jj_2_26(5)) {
;
} else {
break label_5;
}
jj_consume_token(AND);
desc = NonNaryBooleanDescription();
operands.add(desc);
}
if(operands.size() == 1) {
return desc;
}
else {
return factory.getOWLObjectIntersectionOf(operands);
}
}
final public OWLClassExpression NonNaryBooleanDescription() throws ParseException {
OWLClassExpression desc;
if (jj_2_27(5)) {
desc = parseRestriction();
} else if (jj_2_28(5)) {
desc = parseObjectComplementOf();
} else if (jj_2_29(5)) {
desc = NamedClassOrNestedDescription();
} else {
jj_consume_token(-1);
throw new ParseException();
}
return desc;
}
final public OWLObjectPropertyExpression parseObjectPropertyId() throws ParseException {
IRI iri;
boolean inverse = false;
iri = parseId();
if (jj_2_30(5)) {
jj_consume_token(INVERSE);
inverse = true;
} else {
;
}
if(inverse) {
OWLObjectProperty prop = factory.getOWLObjectProperty(iri);
return factory.getOWLObjectInverseOf(prop);
}
else {
return factory.getOWLObjectProperty(iri);
}
}
final public OWLDataPropertyExpression parseDataPropertyId() throws ParseException {
IRI iri;
boolean inverse = false;
iri = parseId();
return factory.getOWLDataProperty(iri);
}
final public OWLClassExpression parseRestriction() throws ParseException {
OWLClassExpression desc;
if (jj_2_31(5)) {
desc = parseSomeRestriction();
} else if (jj_2_32(5)) {
desc = parseDataSomeRestriction();
} else if (jj_2_33(5)) {
desc = parseAllRestriction();
} else if (jj_2_34(5)) {
desc = parseCardinalityRestriction();
} else {
jj_consume_token(-1);
throw new ParseException();
}
return desc;
}
final public OWLClassExpression parseSomeRestriction() throws ParseException {
OWLObjectPropertyExpression prop;
OWLClassExpression filler;
jj_consume_token(SOME);
prop = parseObjectPropertyId();
if (jj_2_35(5)) {
jj_consume_token(DOT);
} else {
;
}
filler = NamedClassOrNestedDescription();
return factory.getOWLObjectSomeValuesFrom(prop, filler);
}
final public OWLClassExpression parseDataSomeRestriction() throws ParseException {
OWLDataPropertyExpression prop;
OWLDataRange filler;
jj_consume_token(SOME);
prop = parseDataPropertyId();
if (jj_2_36(5)) {
jj_consume_token(DOT);
} else {
;
}
filler = parseDataOneOf();
return factory.getOWLDataSomeValuesFrom(prop, filler);
}
final public OWLClassExpression parseAllRestriction() throws ParseException {
OWLObjectPropertyExpression prop;
OWLClassExpression filler;
jj_consume_token(ALL);
prop = parseObjectPropertyId();
if (jj_2_37(5)) {
jj_consume_token(DOT);
} else {
;
}
filler = NamedClassOrNestedDescription();
return factory.getOWLObjectAllValuesFrom(prop, filler);
}
final public OWLClassExpression parseCardinalityRestriction() throws ParseException {
OWLObjectPropertyExpression prop;
OWLClassExpression filler = null;
boolean min = false;
boolean exactly = false;
boolean max = false;
Token t;
if (jj_2_38(5)) {
jj_consume_token(MIN);
min=true;
} else if (jj_2_39(5)) {
jj_consume_token(EXACT);
exactly=true;
} else if (jj_2_40(5)) {
jj_consume_token(MAX);
max=true;
} else {
jj_consume_token(-1);
throw new ParseException();
}
t = jj_consume_token(INT);
prop = parseObjectPropertyId();
if (jj_2_42(5)) {
if (jj_2_41(5)) {
jj_consume_token(DOT);
} else {
;
}
filler = NamedClassOrNestedDescription();
} else {
;
}
int card = Integer.parseInt(t.image);
if(filler == null) {
filler = factory.getOWLThing();
}
if(min) {
return factory.getOWLObjectMinCardinality(card, prop, filler);
}
else if(exactly) {
return factory.getOWLObjectExactCardinality(card, prop, filler);
}
else {
return factory.getOWLObjectMaxCardinality(card, prop, filler);
}
}
final public OWLIndividual parseIndividualId() throws ParseException {
IRI iri;
iri = parseId();
return factory.getOWLNamedIndividual(iri);
}
final public OWLClassExpression parseObjectComplementOf() throws ParseException {
OWLClassExpression op;
jj_consume_token(NOT);
op = NamedClassOrNestedDescription();
return factory.getOWLObjectComplementOf(op);
}
final public OWLClassExpression parseObjectOneOf() throws ParseException {
OWLIndividual ind;
Set inds = new HashSet();
jj_consume_token(OPENBRACE);
ind = parseIndividualId();
inds.add(ind);
label_6:
while (true) {
if (jj_2_43(5)) {
;
} else {
break label_6;
}
ind = parseIndividualId();
inds.add(ind);
}
jj_consume_token(CLOSEBRACE);
return factory.getOWLObjectOneOf(inds);
}
final public OWLDataRange parseDataOneOf() throws ParseException {
OWLLiteral val;
Set values = new HashSet();
jj_consume_token(OPENBRACE);
val = parseLiteral();
values.add(val);
label_7:
while (true) {
if (jj_2_44(5)) {
;
} else {
break label_7;
}
val = parseLiteral();
values.add(val);
}
jj_consume_token(CLOSEBRACE);
return factory.getOWLDataOneOf(values);
}
final public OWLClassExpression NamedClassOrNestedDescription() throws ParseException {
OWLClassExpression desc;
if (jj_2_45(5)) {
desc = parseClassId();
} else if (jj_2_46(5)) {
desc = NestedClassDescription();
} else {
jj_consume_token(-1);
throw new ParseException();
}
return desc;
}
final public OWLClass parseClassId() throws ParseException {
IRI iri;
iri = parseId();
return factory.getOWLClass(iri);
}
final public OWLClassExpression NestedClassDescription() throws ParseException {
OWLClassExpression desc;
if (jj_2_47(5)) {
jj_consume_token(OPENPAR);
desc = Or();
jj_consume_token(CLOSEPAR);
return desc;
} else if (jj_2_48(5)) {
desc = parseObjectOneOf();
return desc;
} else {
jj_consume_token(-1);
throw new ParseException();
}
}
final public OWLLiteral parseLiteral() throws ParseException {
Token t;
if (jj_2_49(5)) {
t = jj_consume_token(INT);
return factory.getOWLLiteral(Integer.parseInt(t.image));
} else if (jj_2_50(5)) {
t = jj_consume_token(DOUBLE);
return factory.getOWLLiteral(Double.parseDouble(t.image));
} else {
jj_consume_token(-1);
throw new ParseException();
}
}
final public IRI parseId() throws ParseException {
Token t;
t = jj_consume_token(ID);
String name = t.image;
return getIRIFromId(name);
}
private boolean jj_2_1(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_1(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(0, xla); }
}
private boolean jj_2_2(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_2(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(1, xla); }
}
private boolean jj_2_3(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_3(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(2, xla); }
}
private boolean jj_2_4(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_4(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(3, xla); }
}
private boolean jj_2_5(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_5(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(4, xla); }
}
private boolean jj_2_6(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_6(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(5, xla); }
}
private boolean jj_2_7(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_7(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(6, xla); }
}
private boolean jj_2_8(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_8(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(7, xla); }
}
private boolean jj_2_9(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_9(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(8, xla); }
}
private boolean jj_2_10(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_10(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(9, xla); }
}
private boolean jj_2_11(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_11(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(10, xla); }
}
private boolean jj_2_12(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_12(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(11, xla); }
}
private boolean jj_2_13(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_13(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(12, xla); }
}
private boolean jj_2_14(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_14(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(13, xla); }
}
private boolean jj_2_15(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_15(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(14, xla); }
}
private boolean jj_2_16(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_16(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(15, xla); }
}
private boolean jj_2_17(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_17(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(16, xla); }
}
private boolean jj_2_18(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_18(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(17, xla); }
}
private boolean jj_2_19(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_19(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(18, xla); }
}
private boolean jj_2_20(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_20(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(19, xla); }
}
private boolean jj_2_21(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_21(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(20, xla); }
}
private boolean jj_2_22(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_22(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(21, xla); }
}
private boolean jj_2_23(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_23(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(22, xla); }
}
private boolean jj_2_24(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_24(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(23, xla); }
}
private boolean jj_2_25(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_25(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(24, xla); }
}
private boolean jj_2_26(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_26(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(25, xla); }
}
private boolean jj_2_27(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_27(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(26, xla); }
}
private boolean jj_2_28(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_28(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(27, xla); }
}
private boolean jj_2_29(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_29(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(28, xla); }
}
private boolean jj_2_30(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_30(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(29, xla); }
}
private boolean jj_2_31(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_31(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(30, xla); }
}
private boolean jj_2_32(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_32(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(31, xla); }
}
private boolean jj_2_33(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_33(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(32, xla); }
}
private boolean jj_2_34(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_34(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(33, xla); }
}
private boolean jj_2_35(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_35(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(34, xla); }
}
private boolean jj_2_36(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_36(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(35, xla); }
}
private boolean jj_2_37(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_37(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(36, xla); }
}
private boolean jj_2_38(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_38(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(37, xla); }
}
private boolean jj_2_39(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_39(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(38, xla); }
}
private boolean jj_2_40(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_40(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(39, xla); }
}
private boolean jj_2_41(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_41(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(40, xla); }
}
private boolean jj_2_42(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_42(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(41, xla); }
}
private boolean jj_2_43(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_43(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(42, xla); }
}
private boolean jj_2_44(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_44(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(43, xla); }
}
private boolean jj_2_45(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_45(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(44, xla); }
}
private boolean jj_2_46(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_46(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(45, xla); }
}
private boolean jj_2_47(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_47(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(46, xla); }
}
private boolean jj_2_48(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_48(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(47, xla); }
}
private boolean jj_2_49(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_49(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(48, xla); }
}
private boolean jj_2_50(int xla) {
jj_la = xla; jj_lastpos = jj_scanpos = token;
try { return !jj_3_50(); }
catch(LookaheadSuccess ls) { return true; }
finally { jj_save(49, xla); }
}
private boolean jj_3R_27() {
if (jj_scan_token(SOME)) {
return true;
}
if (jj_3R_20()) {
return true;
}
Token xsp;
xsp = jj_scanpos;
if (jj_3_35()) {
jj_scanpos = xsp;
}
if (jj_3R_26()) {
return true;
}
return false;
}
private boolean jj_3_12() {
if (jj_scan_token(NEQ)) {
return true;
}
if (jj_3R_17()) {
return true;
}
return false;
}
private boolean jj_3_17() {
if (jj_scan_token(SUBCLASSOF)) {
return true;
}
if (jj_3R_19()) {
return true;
}
return false;
}
private boolean jj_3R_10() {
if (jj_3R_19()) {
return true;
}
Token xsp;
xsp = jj_scanpos;
if (jj_3_17()) {
jj_scanpos = xsp;
if (jj_3_18()) {
return true;
}
}
return false;
}
private boolean jj_3_13() {
if (jj_scan_token(30)) {
return true;
}
return false;
}
private boolean jj_3_34() {
if (jj_3R_30()) {
return true;
}
return false;
}
private boolean jj_3_33() {
if (jj_3R_29()) {
return true;
}
return false;
}
private boolean jj_3_32() {
if (jj_3R_28()) {
return true;
}
return false;
}
private boolean jj_3_31() {
if (jj_3R_27()) {
return true;
}
return false;
}
private boolean jj_3R_24() {
Token xsp;
xsp = jj_scanpos;
if (jj_3_31()) {
jj_scanpos = xsp;
if (jj_3_32()) {
jj_scanpos = xsp;
if (jj_3_33()) {
jj_scanpos = xsp;
if (jj_3_34()) {
return true;
}
}
}
}
return false;
}
private boolean jj_3_26() {
if (jj_scan_token(AND)) {
return true;
}
if (jj_3R_23()) {
return true;
}
return false;
}
private boolean jj_3_16() {
if (jj_3R_19()) {
return true;
}
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_3R_17()) {
return true;
}
if (jj_scan_token(CLOSEPAR)) {
return true;
}
Token xsp;
xsp = jj_scanpos;
if (jj_3_13()) {
jj_scanpos = xsp;
if (jj_3_14()) {
return true;
}
}
return false;
}
private boolean jj_3_48() {
if (jj_3R_35()) {
return true;
}
return false;
}
private boolean jj_3R_36() {
if (jj_3R_37()) {
return true;
}
return false;
}
private boolean jj_3_15() {
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_3R_18()) {
return true;
}
if (jj_scan_token(CLOSEPAR)) {
return true;
}
return false;
}
private boolean jj_3R_15() {
Token xsp;
xsp = jj_scanpos;
if (jj_3_15()) {
jj_scanpos = xsp;
if (jj_3_16()) {
return true;
}
}
return false;
}
private boolean jj_3_30() {
if (jj_scan_token(INVERSE)) {
return true;
}
return false;
}
private boolean jj_3R_16() {
if (jj_3R_17()) {
return true;
}
if (jj_scan_token(EXACT)) {
return true;
}
if (jj_3R_17()) {
return true;
}
return false;
}
private boolean jj_3R_20() {
if (jj_3R_37()) {
return true;
}
Token xsp;
xsp = jj_scanpos;
if (jj_3_30()) {
jj_scanpos = xsp;
}
return false;
}
private boolean jj_3_19() {
if (jj_scan_token(COMPOSE)) {
return true;
}
if (jj_3R_20()) {
return true;
}
return false;
}
private boolean jj_3_41() {
if (jj_scan_token(DOT)) {
return true;
}
return false;
}
private boolean jj_3_44() {
if (jj_3R_31()) {
return true;
}
return false;
}
private boolean jj_3_42() {
Token xsp;
xsp = jj_scanpos;
if (jj_3_41()) {
jj_scanpos = xsp;
}
if (jj_3R_26()) {
return true;
}
return false;
}
private boolean jj_3R_37() {
if (jj_scan_token(ID)) {
return true;
}
return false;
}
private boolean jj_3_3() {
if (jj_scan_token(30)) {
return true;
}
return false;
}
private boolean jj_3_29() {
if (jj_3R_26()) {
return true;
}
return false;
}
private boolean jj_3_43() {
if (jj_3R_17()) {
return true;
}
return false;
}
private boolean jj_3_28() {
if (jj_3R_25()) {
return true;
}
return false;
}
private boolean jj_3_25() {
if (jj_scan_token(OR)) {
return true;
}
if (jj_3R_22()) {
return true;
}
return false;
}
private boolean jj_3_27() {
if (jj_3R_24()) {
return true;
}
return false;
}
private boolean jj_3_50() {
if (jj_scan_token(DOUBLE)) {
return true;
}
return false;
}
private boolean jj_3R_23() {
Token xsp;
xsp = jj_scanpos;
if (jj_3_27()) {
jj_scanpos = xsp;
if (jj_3_28()) {
jj_scanpos = xsp;
if (jj_3_29()) {
return true;
}
}
}
return false;
}
private boolean jj_3R_31() {
Token xsp;
xsp = jj_scanpos;
if (jj_3_49()) {
jj_scanpos = xsp;
if (jj_3_50()) {
return true;
}
}
return false;
}
private boolean jj_3R_13() {
if (jj_3R_36()) {
return true;
}
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_3R_17()) {
return true;
}
if (jj_scan_token(31)) {
return true;
}
if (jj_3R_31()) {
return true;
}
return false;
}
private boolean jj_3_49() {
if (jj_scan_token(INT)) {
return true;
}
return false;
}
private boolean jj_3_46() {
if (jj_3R_33()) {
return true;
}
return false;
}
private boolean jj_3R_33() {
Token xsp;
xsp = jj_scanpos;
if (jj_3_47()) {
jj_scanpos = xsp;
if (jj_3_48()) {
return true;
}
}
return false;
}
private boolean jj_3_47() {
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_3R_34()) {
return true;
}
if (jj_scan_token(CLOSEPAR)) {
return true;
}
return false;
}
private boolean jj_3R_22() {
if (jj_3R_23()) {
return true;
}
Token xsp;
while (true) {
xsp = jj_scanpos;
if (jj_3_26()) { jj_scanpos = xsp; break; }
}
return false;
}
private boolean jj_3R_12() {
if (jj_3R_20()) {
return true;
}
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_3R_17()) {
return true;
}
if (jj_scan_token(31)) {
return true;
}
if (jj_3R_17()) {
return true;
}
return false;
}
private boolean jj_3R_32() {
if (jj_3R_37()) {
return true;
}
return false;
}
private boolean jj_3_45() {
if (jj_3R_32()) {
return true;
}
return false;
}
private boolean jj_3R_14() {
if (jj_3R_17()) {
return true;
}
if (jj_scan_token(NEQ)) {
return true;
}
if (jj_3R_17()) {
return true;
}
Token xsp;
while (true) {
xsp = jj_scanpos;
if (jj_3_12()) { jj_scanpos = xsp; break; }
}
return false;
}
private boolean jj_3R_26() {
Token xsp;
xsp = jj_scanpos;
if (jj_3_45()) {
jj_scanpos = xsp;
if (jj_3_46()) {
return true;
}
}
return false;
}
private boolean jj_3R_34() {
if (jj_3R_22()) {
return true;
}
Token xsp;
while (true) {
xsp = jj_scanpos;
if (jj_3_25()) { jj_scanpos = xsp; break; }
}
return false;
}
private boolean jj_3_2() {
if (jj_scan_token(30)) {
return true;
}
if (jj_3R_8()) {
return true;
}
return false;
}
private boolean jj_3_1() {
Token xsp;
xsp = jj_scanpos;
if (jj_3_2()) {
jj_scanpos = xsp;
if (jj_3_3()) {
return true;
}
}
return false;
}
private boolean jj_3R_38() {
if (jj_scan_token(OPENBRACE)) {
return true;
}
if (jj_3R_31()) {
return true;
}
Token xsp;
while (true) {
xsp = jj_scanpos;
if (jj_3_44()) { jj_scanpos = xsp; break; }
}
if (jj_scan_token(CLOSEBRACE)) {
return true;
}
return false;
}
private boolean jj_3_11() {
if (jj_3R_16()) {
return true;
}
return false;
}
private boolean jj_3_10() {
if (jj_3R_15()) {
return true;
}
return false;
}
private boolean jj_3R_11() {
Token xsp;
xsp = jj_scanpos;
if (jj_3_10()) {
jj_scanpos = xsp;
if (jj_3_11()) {
return true;
}
}
return false;
}
private boolean jj_3R_19() {
if (jj_3R_34()) {
return true;
}
return false;
}
private boolean jj_3_40() {
if (jj_scan_token(MAX)) {
return true;
}
return false;
}
private boolean jj_3R_35() {
if (jj_scan_token(OPENBRACE)) {
return true;
}
if (jj_3R_17()) {
return true;
}
Token xsp;
while (true) {
xsp = jj_scanpos;
if (jj_3_43()) { jj_scanpos = xsp; break; }
}
if (jj_scan_token(CLOSEBRACE)) {
return true;
}
return false;
}
private boolean jj_3_9() {
if (jj_3R_14()) {
return true;
}
return false;
}
private boolean jj_3_8() {
if (jj_3R_13()) {
return true;
}
return false;
}
private boolean jj_3_7() {
if (jj_3R_12()) {
return true;
}
return false;
}
private boolean jj_3_6() {
if (jj_3R_11()) {
return true;
}
return false;
}
private boolean jj_3_24() {
if (jj_3R_21()) {
return true;
}
return false;
}
private boolean jj_3_5() {
if (jj_3R_10()) {
return true;
}
return false;
}
private boolean jj_3_22() {
if (jj_scan_token(IN)) {
return true;
}
if (jj_scan_token(TRANSITIVEROLES)) {
return true;
}
return false;
}
private boolean jj_3_4() {
if (jj_scan_token(COLON)) {
return true;
}
if (jj_3R_9()) {
return true;
}
return false;
}
private boolean jj_3R_8() {
Token xsp;
xsp = jj_scanpos;
if (jj_3_4()) {
jj_scanpos = xsp;
if (jj_3_5()) {
jj_scanpos = xsp;
if (jj_3_6()) {
jj_scanpos = xsp;
if (jj_3_7()) {
jj_scanpos = xsp;
if (jj_3_8()) {
jj_scanpos = xsp;
if (jj_3_9()) {
return true;
}
}
}
}
}
}
return false;
}
private boolean jj_3R_25() {
if (jj_scan_token(NOT)) {
return true;
}
if (jj_3R_26()) {
return true;
}
return false;
}
private boolean jj_3_21() {
if (jj_scan_token(EQUIVALENTTO)) {
return true;
}
if (jj_3R_20()) {
return true;
}
return false;
}
private boolean jj_3_37() {
if (jj_scan_token(DOT)) {
return true;
}
return false;
}
private boolean jj_3R_17() {
if (jj_3R_37()) {
return true;
}
return false;
}
private boolean jj_3_20() {
if (jj_scan_token(SUBCLASSOF)) {
return true;
}
if (jj_3R_20()) {
return true;
}
return false;
}
private boolean jj_3_39() {
if (jj_scan_token(EXACT)) {
return true;
}
return false;
}
private boolean jj_3_23() {
if (jj_3R_20()) {
return true;
}
Token xsp;
xsp = jj_scanpos;
if (jj_3_20()) {
jj_scanpos = xsp;
if (jj_3_21()) {
jj_scanpos = xsp;
if (jj_3_22()) {
return true;
}
}
}
return false;
}
private boolean jj_3R_9() {
Token xsp;
xsp = jj_scanpos;
if (jj_3_23()) {
jj_scanpos = xsp;
if (jj_3_24()) {
return true;
}
}
return false;
}
private boolean jj_3_36() {
if (jj_scan_token(DOT)) {
return true;
}
return false;
}
private boolean jj_3R_18() {
if (jj_3R_19()) {
return true;
}
if (jj_scan_token(0)) {
return true;
}
return false;
}
private boolean jj_3R_21() {
if (jj_3R_20()) {
return true;
}
if (jj_scan_token(COMPOSE)) {
return true;
}
if (jj_3R_20()) {
return true;
}
Token xsp;
while (true) {
xsp = jj_scanpos;
if (jj_3_19()) { jj_scanpos = xsp; break; }
}
if (jj_scan_token(SUBCLASSOF)) {
return true;
}
if (jj_3R_20()) {
return true;
}
return false;
}
private boolean jj_3_35() {
if (jj_scan_token(DOT)) {
return true;
}
return false;
}
private boolean jj_3_38() {
if (jj_scan_token(MIN)) {
return true;
}
return false;
}
private boolean jj_3R_30() {
Token xsp;
xsp = jj_scanpos;
if (jj_3_38()) {
jj_scanpos = xsp;
if (jj_3_39()) {
jj_scanpos = xsp;
if (jj_3_40()) {
return true;
}
}
}
if (jj_scan_token(INT)) {
return true;
}
if (jj_3R_20()) {
return true;
}
xsp = jj_scanpos;
if (jj_3_42()) {
jj_scanpos = xsp;
}
return false;
}
private boolean jj_3_14() {
if (jj_scan_token(0)) {
return true;
}
return false;
}
private boolean jj_3_18() {
if (jj_scan_token(EQUIVALENTTO)) {
return true;
}
if (jj_3R_19()) {
return true;
}
return false;
}
private boolean jj_3R_29() {
if (jj_scan_token(ALL)) {
return true;
}
if (jj_3R_20()) {
return true;
}
Token xsp;
xsp = jj_scanpos;
if (jj_3_37()) {
jj_scanpos = xsp;
}
if (jj_3R_26()) {
return true;
}
return false;
}
private boolean jj_3R_28() {
if (jj_scan_token(SOME)) {
return true;
}
if (jj_3R_36()) {
return true;
}
Token xsp;
xsp = jj_scanpos;
if (jj_3_36()) {
jj_scanpos = xsp;
}
if (jj_3R_38()) {
return true;
}
return false;
}
/** Generated Token Manager. */
public DLSyntaxParserTokenManager token_source;
JavaCharStream jj_input_stream;
/** Current token. */
public Token token;
/** Next token. */
public Token jj_nt;
private int jj_ntk;
private Token jj_scanpos, jj_lastpos;
private int jj_la;
private int jj_gen;
final private int[] jj_la1 = new int[0];
static private int[] jj_la1_0;
static {
jj_la1_init_0();
}
private static void jj_la1_init_0() {
jj_la1_0 = new int[] {};
}
final private JJCalls[] jj_2_rtns = new JJCalls[50];
private boolean jj_rescan = false;
private int jj_gc = 0;
/** Constructor with InputStream. */
public DLSyntaxParser(java.io.InputStream stream) {
this(stream, null);
}
/** Constructor with InputStream and supplied encoding */
public DLSyntaxParser(java.io.InputStream stream, String encoding) {
try {
jj_input_stream = new JavaCharStream(stream, encoding, 1, 1);
} catch (java.io.UnsupportedEncodingException e) {
throw new OWLRuntimeException(e);
}
token_source = new DLSyntaxParserTokenManager(jj_input_stream);
token = new Token();
jj_ntk = -1;
jj_gen = 0;
for (int i = 0; i < 0; i++) {
jj_la1[i] = -1;
}
for (int i = 0; i < jj_2_rtns.length; i++) {
jj_2_rtns[i] = new JJCalls();
}
}
/** Reinitialise. */
public void ReInit(java.io.InputStream stream) {
ReInit(stream, null);
}
/** Reinitialise. */
public void ReInit(java.io.InputStream stream, String encoding) {
try {
jj_input_stream.ReInit(stream, encoding, 1, 1);
} catch (java.io.UnsupportedEncodingException e) {
throw new OWLRuntimeException(e);
}
token_source.ReInit(jj_input_stream);
token = new Token();
jj_ntk = -1;
jj_gen = 0;
for (int i = 0; i < 0; i++) {
jj_la1[i] = -1;
}
for (int i = 0; i < jj_2_rtns.length; i++) {
jj_2_rtns[i] = new JJCalls();
}
}
/** Constructor. */
public DLSyntaxParser(java.io.Reader stream) {
jj_input_stream = new JavaCharStream(stream, 1, 1);
token_source = new DLSyntaxParserTokenManager(jj_input_stream);
token = new Token();
jj_ntk = -1;
jj_gen = 0;
for (int i = 0; i < 0; i++) {
jj_la1[i] = -1;
}
for (int i = 0; i < jj_2_rtns.length; i++) {
jj_2_rtns[i] = new JJCalls();
}
}
/** Reinitialise. */
public void ReInit(java.io.Reader stream) {
jj_input_stream.ReInit(stream, 1, 1);
token_source.ReInit(jj_input_stream);
token = new Token();
jj_ntk = -1;
jj_gen = 0;
for (int i = 0; i < 0; i++) {
jj_la1[i] = -1;
}
for (int i = 0; i < jj_2_rtns.length; i++) {
jj_2_rtns[i] = new JJCalls();
}
}
/** Constructor with generated Token Manager. */
public DLSyntaxParser(DLSyntaxParserTokenManager tm) {
token_source = tm;
token = new Token();
jj_ntk = -1;
jj_gen = 0;
for (int i = 0; i < 0; i++) {
jj_la1[i] = -1;
}
for (int i = 0; i < jj_2_rtns.length; i++) {
jj_2_rtns[i] = new JJCalls();
}
}
/** Reinitialise. */
public void ReInit(DLSyntaxParserTokenManager tm) {
token_source = tm;
token = new Token();
jj_ntk = -1;
jj_gen = 0;
for (int i = 0; i < 0; i++) {
jj_la1[i] = -1;
}
for (int i = 0; i < jj_2_rtns.length; i++) {
jj_2_rtns[i] = new JJCalls();
}
}
private Token jj_consume_token(int kind) throws ParseException {
Token oldToken;
if ((oldToken = token).next != null) {
token = token.next;
} else {
token = token.next = token_source.getNextToken();
}
jj_ntk = -1;
if (token.kind == kind) {
jj_gen++;
if (++jj_gc > 100) {
jj_gc = 0;
for (int i = 0; i < jj_2_rtns.length; i++) {
JJCalls c = jj_2_rtns[i];
while (c != null) {
if (c.gen < jj_gen) {
c.first = null;
}
c = c.next;
}
}
}
return token;
}
token = oldToken;
jj_kind = kind;
throw generateParseException();
}
static private final class LookaheadSuccess extends OWLRuntimeException {}
final private LookaheadSuccess jj_ls = new LookaheadSuccess();
private boolean jj_scan_token(int kind) {
if (jj_scanpos == jj_lastpos) {
jj_la--;
if (jj_scanpos.next == null) {
jj_lastpos = jj_scanpos = jj_scanpos.next = token_source.getNextToken();
} else {
jj_lastpos = jj_scanpos = jj_scanpos.next;
}
} else {
jj_scanpos = jj_scanpos.next;
}
if (jj_rescan) {
int i = 0; Token tok = token;
while (tok != null && tok != jj_scanpos) { i++; tok = tok.next; }
if (tok != null) {
jj_add_error_token(kind, i);
}
}
if (jj_scanpos.kind != kind) {
return true;
}
if (jj_la == 0 && jj_scanpos == jj_lastpos) {
throw jj_ls;
}
return false;
}
/** Get the next Token. */
final public Token getNextToken() {
if (token.next != null) {
token = token.next;
} else {
token = token.next = token_source.getNextToken();
}
jj_ntk = -1;
jj_gen++;
return token;
}
/** Get the specific Token. */
final public Token getToken(int index) {
Token t = token;
for (int i = 0; i < index; i++) {
if (t.next != null) {
t = t.next;
} else {
t = t.next = token_source.getNextToken();
}
}
return t;
}
private int jj_ntk() {
if ((jj_nt=token.next) == null) {
return jj_ntk = (token.next=token_source.getNextToken()).kind;
} else {
return jj_ntk = jj_nt.kind;
}
}
private java.util.List jj_expentries = new java.util.ArrayList();
private int[] jj_expentry;
private int jj_kind = -1;
private int[] jj_lasttokens = new int[100];
private int jj_endpos;
private void jj_add_error_token(int kind, int pos) {
if (pos >= 100) {
return;
}
if (pos == jj_endpos + 1) {
jj_lasttokens[jj_endpos++] = kind;
} else if (jj_endpos != 0) {
jj_expentry = new int[jj_endpos];
for (int i = 0; i < jj_endpos; i++) {
jj_expentry[i] = jj_lasttokens[i];
}
jj_entries_loop: for (java.util.Iterator it = jj_expentries.iterator(); it.hasNext();) {
int[] oldentry = (int[])it.next();
if (oldentry.length == jj_expentry.length) {
for (int i = 0; i < jj_expentry.length; i++) {
if (oldentry[i] != jj_expentry[i]) {
continue jj_entries_loop;
}
}
jj_expentries.add(jj_expentry);
break jj_entries_loop;
}
}
if (pos != 0) {
jj_lasttokens[(jj_endpos = pos) - 1] = kind;
}
}
}
/** Generate ParseException. */
public ParseException generateParseException() {
jj_expentries.clear();
boolean[] la1tokens = new boolean[32];
if (jj_kind >= 0) {
la1tokens[jj_kind] = true;
jj_kind = -1;
}
for (int i = 0; i < 0; i++) {
if (jj_la1[i] == jj_gen) {
for (int j = 0; j < 32; j++) {
if ((jj_la1_0[i] & 1< jj_gen) {
jj_la = p.arg; jj_lastpos = jj_scanpos = p.first;
switch (i) {
case 0: jj_3_1(); break;
case 1: jj_3_2(); break;
case 2: jj_3_3(); break;
case 3: jj_3_4(); break;
case 4: jj_3_5(); break;
case 5: jj_3_6(); break;
case 6: jj_3_7(); break;
case 7: jj_3_8(); break;
case 8: jj_3_9(); break;
case 9: jj_3_10(); break;
case 10: jj_3_11(); break;
case 11: jj_3_12(); break;
case 12: jj_3_13(); break;
case 13: jj_3_14(); break;
case 14: jj_3_15(); break;
case 15: jj_3_16(); break;
case 16: jj_3_17(); break;
case 17: jj_3_18(); break;
case 18: jj_3_19(); break;
case 19: jj_3_20(); break;
case 20: jj_3_21(); break;
case 21: jj_3_22(); break;
case 22: jj_3_23(); break;
case 23: jj_3_24(); break;
case 24: jj_3_25(); break;
case 25: jj_3_26(); break;
case 26: jj_3_27(); break;
case 27: jj_3_28(); break;
case 28: jj_3_29(); break;
case 29: jj_3_30(); break;
case 30: jj_3_31(); break;
case 31: jj_3_32(); break;
case 32: jj_3_33(); break;
case 33: jj_3_34(); break;
case 34: jj_3_35(); break;
case 35: jj_3_36(); break;
case 36: jj_3_37(); break;
case 37: jj_3_38(); break;
case 38: jj_3_39(); break;
case 39: jj_3_40(); break;
case 40: jj_3_41(); break;
case 41: jj_3_42(); break;
case 42: jj_3_43(); break;
case 43: jj_3_44(); break;
case 44: jj_3_45(); break;
case 45: jj_3_46(); break;
case 46: jj_3_47(); break;
case 47: jj_3_48(); break;
case 48: jj_3_49(); break;
case 49: jj_3_50(); break;
}
}
p = p.next;
} while (p != null);
} catch(LookaheadSuccess ls) { }
}
jj_rescan = false;
}
private void jj_save(int index, int xla) {
JJCalls p = jj_2_rtns[index];
while (p.gen > jj_gen) {
if (p.next == null) { p = p.next = new JJCalls(); break; }
p = p.next;
}
p.gen = jj_gen + xla - jj_la; p.first = token; p.arg = xla;
}
static final class JJCalls {
int gen;
Token first;
int arg;
JJCalls next;
}
}
