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.
de.uulm.ecs.ai.owlapi.krssparser.KRSS2Parser Maven / Gradle / Ivy
/*
* 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, Ulm University
*
* 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, Ulm University
*
* 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.
*/
/* Generated By:JavaCC: Do not edit this line. KRSS2Parser.java */
package de.uulm.ecs.ai.owlapi.krssparser;
import java.net.URISyntaxException;
import java.util.ArrayList;
import java.util.HashMap;
import java.util.HashSet;
import java.util.List;
import java.util.Map;
import java.util.Set;
import org.coode.owl.krssparser.NameResolverStrategy;
import org.semanticweb.owlapi.io.XMLUtils;
import org.semanticweb.owlapi.model.AddAxiom;
import org.semanticweb.owlapi.model.IRI;
import org.semanticweb.owlapi.model.OWLAxiom;
import org.semanticweb.owlapi.model.OWLClassExpression;
import org.semanticweb.owlapi.model.OWLDataFactory;
import org.semanticweb.owlapi.model.OWLIndividual;
import org.semanticweb.owlapi.model.OWLMutableOntology;
import org.semanticweb.owlapi.model.OWLObjectProperty;
import org.semanticweb.owlapi.model.OWLObjectPropertyExpression;
import org.semanticweb.owlapi.model.OWLOntology;
import org.semanticweb.owlapi.model.OWLOntologyChangeException;
import org.semanticweb.owlapi.model.OWLOntologyID;
import org.semanticweb.owlapi.model.OWLRuntimeException;
import org.semanticweb.owlapi.util.NamespaceUtil;
import org.semanticweb.owlapi.vocab.OWLRDFVocabulary;
import uk.ac.manchester.cs.JavaCharStream;
// Suppress warnings in auto-generated code
@SuppressWarnings({ "unused", "javadoc" })
public class KRSS2Parser implements KRSS2ParserConstants {
private OWLOntology ontology;
private OWLDataFactory dataFactory;
private Map string2IRI;
private String base;
private NamespaceUtil utils;
private NameResolverStrategy nameResolution;
// all fields for the adaptive strategy
private int adaptiveMaxRuns = 10;
private boolean alwaysIRIs = false;
private boolean alwaysNames = false;
public void setOntology(OWLOntology ontology, OWLDataFactory dataFactory) {
this.ontology = ontology;
this.dataFactory = dataFactory;
string2IRI = new HashMap();
OWLOntologyID id = ontology.getOntologyID();
if (!id.isAnonymous()) {
base = id.getOntologyIRI().toString() + "#";
} else {
base = id.toString() + "#";
}
utils = new NamespaceUtil();
nameResolution = NameResolverStrategy.CHECK;
}
protected void addAxiom(OWLAxiom ax) throws KRSS2OWLParserException {
try {
((OWLMutableOntology) ontology).applyChange(new AddAxiom(ontology, ax));
} catch (OWLOntologyChangeException e) {
throw new KRSS2OWLParserException(e);
}
}
public IRI getIRI(final String s) throws URISyntaxException {
IRI iri = string2IRI.get(s);
if (iri == null) {
switch (nameResolution) {
case IRI: {
iri = IRI.create(s);
break;
}
case NAME: {
iri = IRI.create(base + s);
break;
}
case ADAPTIVE: {
if (adaptiveMaxRuns <= 1) {
if (alwaysIRIs && !alwaysNames) {
nameResolution = NameResolverStrategy.IRI;
} else if (alwaysNames && !alwaysIRIs) {
nameResolution = NameResolverStrategy.NAME;
} else {
nameResolution = NameResolverStrategy.CHECK;
}
}
adaptiveMaxRuns--;
}
//$FALL-THROUGH$
case CHECK: {
String ns = XMLUtils.getNCNamePrefix(s);
if (ns.equals("")) {
iri = IRI.create(base + s);
} else {
iri = IRI.create(s);
}
break;
}
default:
break;
}
string2IRI.put(s, iri);
}
return iri;
}
public void setNameResolution(NameResolverStrategy nameResolution) {
this.nameResolution = nameResolution;
}
final public void parse() throws ParseException, KRSS2OWLParserException {
label_1: while (true) {
if (jj_2_1(2)) {} else {
break label_1;
}
TBoxStatement();
}
if (jj_2_2(2)) {
jj_consume_token(ENDTBOX);
} else {}
label_2: while (true) {
if (jj_2_3(2)) {} else {
break label_2;
}
ABoxStatement();
}
if (jj_2_4(2)) {
jj_consume_token(ENDABOX);
} else {}
jj_consume_token(0);
}
final public void TBoxStatement() throws ParseException, KRSS2OWLParserException {
if (jj_2_5(2)) {
DefinePrimitiveConcept();
} else if (jj_2_6(2)) {
DefineConcept();
} else if (jj_2_7(2)) {
Implies();
} else if (jj_2_8(2)) {
Equivalent();
} else if (jj_2_9(2)) {
Disjoint();
} else if (jj_2_10(2)) {
ComplexRoleInclusion();
} else if (jj_2_11(2)) {
DefinePrimitiveRole();
} else if (jj_2_12(2)) {
DefineRole();
} else if (jj_2_13(2)) {
DisjointRoles();
} else if (jj_2_14(2)) {
RolesEquivalent();
} else if (jj_2_15(2)) {
ImpliesRole();
} else if (jj_2_16(2)) {
Inverses();
} else if (jj_2_17(2)) {
Range();
} else if (jj_2_18(2)) {
Transitive();
} else {
jj_consume_token(-1);
throw new ParseException();
}
}
// Concepts
final public void DefinePrimitiveConcept() throws ParseException,
KRSS2OWLParserException {
OWLClassExpression subClass = null;
OWLClassExpression superClass = null;
jj_consume_token(OPENPAR);
jj_consume_token(DEFINEPRIMITIVECONCEPT);
subClass = ConceptName();
if (jj_2_19(2)) {
superClass = ConceptExpression();
} else {}
jj_consume_token(CLOSEPAR);
if (superClass == null) {
addAxiom(dataFactory.getOWLSubClassOfAxiom(subClass,
dataFactory.getOWLThing()));
} else {
addAxiom(dataFactory.getOWLSubClassOfAxiom(subClass, superClass));
}
}
final public void DefineConcept() throws ParseException, KRSS2OWLParserException {
OWLClassExpression clsA;
OWLClassExpression clsB;
jj_consume_token(OPENPAR);
jj_consume_token(DEFINECONCEPT);
clsA = ConceptName();
clsB = ConceptExpression();
jj_consume_token(CLOSEPAR);
if (clsB == null) {
clsB = dataFactory.getOWLThing();
}
addAxiom(dataFactory.getOWLEquivalentClassesAxiom(clsA, clsB));
}
final public void Disjoint() throws ParseException, KRSS2OWLParserException {
OWLClassExpression desc1;
OWLClassExpression desc2;
jj_consume_token(OPENPAR);
jj_consume_token(DISJOINT);
desc1 = ConceptExpression();
desc2 = ConceptExpression();
jj_consume_token(CLOSEPAR);
addAxiom(dataFactory.getOWLDisjointClassesAxiom(desc1, desc2));
}
final public void Equivalent() throws ParseException, KRSS2OWLParserException {
OWLClassExpression desc1;
OWLClassExpression desc2;
jj_consume_token(OPENPAR);
jj_consume_token(EQUIVALENT);
desc1 = ConceptExpression();
desc2 = ConceptExpression();
jj_consume_token(CLOSEPAR);
addAxiom(dataFactory.getOWLEquivalentClassesAxiom(desc1, desc2));
}
final public void Implies() throws ParseException, KRSS2OWLParserException {
OWLClassExpression subDescription;
OWLClassExpression superDescription;
jj_consume_token(OPENPAR);
jj_consume_token(IMPLIES);
subDescription = ConceptExpression();
superDescription = ConceptExpression();
jj_consume_token(CLOSEPAR);
addAxiom(dataFactory.getOWLSubClassOfAxiom(subDescription, superDescription));
}
// Roles
final public void DefineRole() throws ParseException, KRSS2OWLParserException {
OWLObjectPropertyExpression propA;
OWLObjectPropertyExpression propB;
jj_consume_token(OPENPAR);
jj_consume_token(DEFINEROLE);
propA = RoleExpression();
propB = RoleExpression();
jj_consume_token(CLOSEPAR);
Set ops = new HashSet();
ops.add(propA);
ops.add(propB);
addAxiom(dataFactory.getOWLEquivalentObjectPropertiesAxiom(ops));
}
final public void DefinePrimitiveRole() throws ParseException,
KRSS2OWLParserException {
OWLObjectProperty subProp;
OWLObjectProperty superProp;
OWLClassExpression desc;
Set roles = new HashSet();
Set descs = new HashSet();
jj_consume_token(OPENPAR);
jj_consume_token(DEFINEPRIMITIVEROLE);
subProp = RoleName();
if (subProp != null) {
addAxiom(dataFactory.getOWLDeclarationAxiom(subProp));
}
Parent(subProp);
RightIdentity(subProp);
Parents(subProp);
DomainAttribute(subProp);
RangeAttribute(subProp);
TransitiveAttribute(subProp);
SymmetricAttribute(subProp);
ReflexiveAttribute(subProp);
InverseProperty(subProp);
jj_consume_token(CLOSEPAR);
}
final public void RightIdentity(OWLObjectProperty r) throws ParseException,
KRSS2OWLParserException {
OWLObjectProperty s;
if (jj_2_20(2)) {
jj_consume_token(RIGHT_IDENTITY_ATTRIBUTE);
s = RoleName();
List chain = new ArrayList(
2);
chain.add(r);
chain.add(s);
addAxiom(dataFactory.getOWLSubPropertyChainOfAxiom(chain, r));
} else {}
}
final public void LeftIdentity(OWLObjectProperty r) throws ParseException,
KRSS2OWLParserException {
OWLObjectProperty s;
if (jj_2_21(2)) {
jj_consume_token(LEFT_IDENTITY_ATTRIBUTE);
s = RoleName();
List chain = new ArrayList(
2);
chain.add(s);
chain.add(r);
addAxiom(dataFactory.getOWLSubPropertyChainOfAxiom(chain, r));
} else {}
}
final public void InverseProperty(OWLObjectProperty subProp) throws ParseException,
KRSS2OWLParserException {
OWLObjectPropertyExpression superProp;
if (jj_2_22(2)) {
jj_consume_token(INVERSE_ATTRIBUTE);
superProp = RoleExpression();
addAxiom(dataFactory.getOWLInverseObjectPropertiesAxiom(subProp, superProp));
} else {}
}
final public void DomainAttribute(OWLObjectProperty subProp) throws ParseException,
KRSS2OWLParserException {
OWLClassExpression desc;
Set descs = new HashSet();
if (jj_2_26(2)) {
jj_consume_token(DOMAIN_ATTRIBUTE);
if (jj_2_24(2)) {
jj_consume_token(OPENPAR);
label_3: while (true) {
desc = ConceptExpression();
if (desc != null) {
descs.add(desc);
}
if (jj_2_23(2)) {} else {
break label_3;
}
}
jj_consume_token(CLOSEPAR);
} else if (jj_2_25(2)) {
desc = ConceptExpression();
descs.add(desc);
} else {
jj_consume_token(-1);
throw new ParseException();
}
for (OWLClassExpression eachDescription : descs) {
addAxiom(dataFactory.getOWLObjectPropertyDomainAxiom(subProp,
eachDescription));
}
} else {}
}
final public void RangeAttribute(OWLObjectProperty subProp) throws ParseException,
KRSS2OWLParserException {
OWLClassExpression desc;
Set descs = new HashSet();
if (jj_2_30(2)) {
jj_consume_token(RANGE_ATTRIBUTE);
if (jj_2_28(2)) {
jj_consume_token(OPENPAR);
label_4: while (true) {
desc = ConceptExpression();
if (desc != null) {
descs.add(desc);
}
if (jj_2_27(2)) {} else {
break label_4;
}
}
jj_consume_token(CLOSEPAR);
} else if (jj_2_29(2)) {
desc = ConceptExpression();
descs.add(desc);
} else {
jj_consume_token(-1);
throw new ParseException();
}
for (OWLClassExpression eachDescription : descs) {
addAxiom(dataFactory.getOWLObjectPropertyRangeAxiom(subProp,
eachDescription));
}
} else {}
}
final public void TransitiveAttribute(OWLObjectProperty property)
throws ParseException, KRSS2OWLParserException {
if (jj_2_33(2)) {
jj_consume_token(TRANSITIVE_ATTRIBUTE);
if (jj_2_31(2)) {
jj_consume_token(NIL);
} else if (jj_2_32(2)) {
jj_consume_token(TRUE);
addAxiom(dataFactory.getOWLTransitiveObjectPropertyAxiom(property));
} else {
jj_consume_token(-1);
throw new ParseException();
}
} else {}
}
final public void SymmetricAttribute(OWLObjectProperty property)
throws ParseException, KRSS2OWLParserException {
if (jj_2_36(2)) {
jj_consume_token(SYMMETRIC_ATTRIBUTE);
if (jj_2_34(2)) {
jj_consume_token(NIL);
} else if (jj_2_35(2)) {
jj_consume_token(TRUE);
addAxiom(dataFactory.getOWLSymmetricObjectPropertyAxiom(property));
} else {
jj_consume_token(-1);
throw new ParseException();
}
} else {}
}
final public void ReflexiveAttribute(OWLObjectProperty property)
throws ParseException, KRSS2OWLParserException {
if (jj_2_39(2)) {
jj_consume_token(REFLEXIVE_ATTRIBUTE);
if (jj_2_37(2)) {
jj_consume_token(NIL);
} else if (jj_2_38(2)) {
jj_consume_token(TRUE);
addAxiom(dataFactory.getOWLReflexiveObjectPropertyAxiom(property));
} else {
jj_consume_token(-1);
throw new ParseException();
}
} else {}
}
final public void Parents(OWLObjectProperty subProp) throws ParseException,
KRSS2OWLParserException {
Set roles;
OWLObjectProperty superProp;
if (jj_2_46(2)) {
if (jj_2_44(2)) {
jj_consume_token(PARENTS);
if (jj_2_40(2)) {
jj_consume_token(NIL);
} else if (jj_2_41(2)) {
jj_consume_token(OPENPAR);
roles = RoleNameSet();
jj_consume_token(CLOSEPAR);
if (roles != null) {
for (OWLObjectProperty prop : roles) {
addAxiom(dataFactory.getOWLSubObjectPropertyOfAxiom(subProp,
prop));
}
}
} else {
jj_consume_token(-1);
throw new ParseException();
}
} else if (jj_2_45(2)) {
jj_consume_token(PARENT);
if (jj_2_42(2)) {
jj_consume_token(NIL);
} else if (jj_2_43(2)) {
superProp = RoleName();
addAxiom(dataFactory.getOWLSubObjectPropertyOfAxiom(subProp,
superProp));
} else {
jj_consume_token(-1);
throw new ParseException();
}
} else {
jj_consume_token(-1);
throw new ParseException();
}
} else {}
}
final public void Parent(OWLObjectProperty subProp) throws ParseException,
KRSS2OWLParserException {
OWLObjectProperty superProp;
if (jj_2_47(2)) {
superProp = RoleName();
addAxiom(dataFactory.getOWLSubObjectPropertyOfAxiom(subProp, superProp));
} else {}
}
final public void DisjointRoles() throws ParseException, KRSS2OWLParserException {
OWLObjectPropertyExpression exp1;
OWLObjectPropertyExpression exp2;
jj_consume_token(OPENPAR);
jj_consume_token(DISJOINTROLES);
exp1 = RoleExpression();
exp2 = RoleExpression();
jj_consume_token(CLOSEPAR);
addAxiom(dataFactory.getOWLDisjointObjectPropertiesAxiom(exp1, exp2));
}
final public void ImpliesRole() throws ParseException, KRSS2OWLParserException {
OWLObjectPropertyExpression subProp;
OWLObjectPropertyExpression superProp;
jj_consume_token(OPENPAR);
jj_consume_token(IMPLIESROLE);
subProp = RoleExpression();
superProp = RoleExpression();
jj_consume_token(CLOSEPAR);
addAxiom(dataFactory.getOWLSubObjectPropertyOfAxiom(subProp, superProp));
}
final public void Inverses() throws ParseException, KRSS2OWLParserException {
OWLObjectPropertyExpression prop1;
OWLObjectPropertyExpression prop2;
jj_consume_token(OPENPAR);
jj_consume_token(INVERSE);
prop1 = RoleExpression();
prop2 = RoleExpression();
jj_consume_token(CLOSEPAR);
addAxiom(dataFactory.getOWLInverseObjectPropertiesAxiom(prop1, prop2));
}
final public void RolesEquivalent() throws ParseException, KRSS2OWLParserException {
OWLObjectPropertyExpression exp1;
OWLObjectPropertyExpression exp2;
jj_consume_token(OPENPAR);
jj_consume_token(ROLESEQUIVALENT);
exp1 = RoleExpression();
exp2 = RoleExpression();
jj_consume_token(CLOSEPAR);
addAxiom(dataFactory.getOWLEquivalentObjectPropertiesAxiom(exp1, exp2));
}
final public void ComplexRoleInclusion() throws ParseException,
KRSS2OWLParserException {
OWLObjectProperty superProp;
List chain;
jj_consume_token(OPENPAR);
jj_consume_token(ROLE_INCLUSION);
chain = propertyChain();
superProp = RoleName();
jj_consume_token(CLOSEPAR);
addAxiom(dataFactory.getOWLSubPropertyChainOfAxiom(chain, superProp));
}
final public List propertyChain() throws ParseException,
KRSS2OWLParserException {
List chain = new ArrayList();
List subChain;
OWLObjectPropertyExpression prop;
jj_consume_token(OPENPAR);
jj_consume_token(COMPOSE);
prop = RoleExpression();
chain.add(prop);
if (jj_2_48(2)) {
subChain = propertyChain();
chain.addAll(subChain);
} else if (jj_2_49(2)) {
prop = RoleExpression();
chain.add(prop);
} else {
jj_consume_token(-1);
throw new ParseException();
}
jj_consume_token(CLOSEPAR);
return chain;
}
final public void Transitive() throws ParseException, KRSS2OWLParserException {
OWLObjectProperty prop;
jj_consume_token(OPENPAR);
jj_consume_token(TRANSITIVE);
prop = RoleName();
jj_consume_token(CLOSEPAR);
addAxiom(dataFactory.getOWLTransitiveObjectPropertyAxiom(prop));
}
final public void Range() throws ParseException, KRSS2OWLParserException {
OWLObjectProperty prop;
OWLClassExpression rng;
jj_consume_token(OPENPAR);
jj_consume_token(RANGE);
prop = RoleName();
rng = ConceptExpression();
jj_consume_token(CLOSEPAR);
addAxiom(dataFactory.getOWLObjectPropertyRangeAxiom(prop, rng));
}
final public OWLClassExpression ConceptExpression() throws ParseException,
KRSS2OWLParserException {
OWLClassExpression desc;
if (jj_2_50(2)) {
desc = ConceptName();
} else if (jj_2_51(2)) {
desc = And();
} else if (jj_2_52(2)) {
desc = Or();
} else if (jj_2_53(2)) {
desc = Not();
} else if (jj_2_54(2)) {
desc = All();
} else if (jj_2_55(2)) {
desc = Some();
} else if (jj_2_56(2)) {
desc = AtLeast();
} else if (jj_2_57(2)) {
desc = AtMost();
} else if (jj_2_58(2)) {
desc = Exactly();
} else {
jj_consume_token(-1);
throw new ParseException();
}
return desc;
}
final public OWLClassExpression ConceptName() throws ParseException,
KRSS2OWLParserException {
IRI IRI;
IRI = Name();
return dataFactory.getOWLClass(IRI);
}
final public Set ConceptSet() throws ParseException,
KRSS2OWLParserException {
Set descs = new HashSet();
OWLClassExpression desc;
label_5: while (true) {
desc = ConceptExpression();
descs.add(desc);
if (jj_2_59(2)) {} else {
break label_5;
}
}
return descs;
}
final public OWLClassExpression And() throws ParseException, KRSS2OWLParserException {
Set operands;
jj_consume_token(OPENPAR);
jj_consume_token(AND);
operands = ConceptSet();
jj_consume_token(CLOSEPAR);
return dataFactory.getOWLObjectIntersectionOf(operands);
}
final public OWLClassExpression Or() throws ParseException, KRSS2OWLParserException {
Set operands;
jj_consume_token(OPENPAR);
jj_consume_token(OR);
operands = ConceptSet();
jj_consume_token(CLOSEPAR);
return dataFactory.getOWLObjectUnionOf(operands);
}
final public OWLClassExpression Not() throws ParseException, KRSS2OWLParserException {
OWLClassExpression operand;
jj_consume_token(OPENPAR);
jj_consume_token(NOT);
operand = ConceptExpression();
jj_consume_token(CLOSEPAR);
return dataFactory.getOWLObjectComplementOf(operand);
}
final public OWLClassExpression All() throws ParseException, KRSS2OWLParserException {
OWLObjectPropertyExpression prop;
OWLClassExpression filler;
jj_consume_token(OPENPAR);
jj_consume_token(ALL);
prop = RoleExpression();
filler = ConceptExpression();
jj_consume_token(CLOSEPAR);
return dataFactory.getOWLObjectAllValuesFrom(prop, filler);
}
final public OWLClassExpression Some() throws ParseException, KRSS2OWLParserException {
OWLObjectPropertyExpression prop;
OWLClassExpression filler;
jj_consume_token(OPENPAR);
jj_consume_token(SOME);
prop = RoleExpression();
filler = ConceptExpression();
jj_consume_token(CLOSEPAR);
return dataFactory.getOWLObjectSomeValuesFrom(prop, filler);
}
final public OWLClassExpression AtLeast() throws ParseException,
KRSS2OWLParserException {
OWLObjectPropertyExpression prop;
OWLClassExpression filler = null;
int card;
jj_consume_token(OPENPAR);
jj_consume_token(ATLEAST);
card = Integer();
prop = RoleExpression();
if (jj_2_60(2)) {
filler = ConceptExpression();
} else {}
jj_consume_token(CLOSEPAR);
if (filler == null) {
return dataFactory.getOWLObjectMinCardinality(card, prop);
}
return dataFactory.getOWLObjectMinCardinality(card, prop, filler);
}
final public OWLClassExpression AtMost() throws ParseException,
KRSS2OWLParserException {
OWLObjectPropertyExpression prop;
OWLClassExpression filler = null;
int card;
jj_consume_token(OPENPAR);
jj_consume_token(ATMOST);
card = Integer();
prop = RoleExpression();
if (jj_2_61(2)) {
filler = ConceptExpression();
} else {}
jj_consume_token(CLOSEPAR);
if (filler == null) {
return dataFactory.getOWLObjectMaxCardinality(card, prop);
}
return dataFactory.getOWLObjectMaxCardinality(card, prop, filler);
}
final public OWLClassExpression Exactly() throws ParseException,
KRSS2OWLParserException {
OWLObjectPropertyExpression prop;
OWLClassExpression filler = null;
int card;
jj_consume_token(OPENPAR);
jj_consume_token(EXACTLY);
card = Integer();
prop = RoleExpression();
if (jj_2_62(2)) {
filler = ConceptExpression();
} else {}
jj_consume_token(CLOSEPAR);
if (filler == null) {
return dataFactory.getOWLObjectExactCardinality(card, prop);
}
return dataFactory.getOWLObjectExactCardinality(card, prop, filler);
}
final public OWLObjectProperty RoleName() throws ParseException,
KRSS2OWLParserException {
IRI IRI;
IRI = Name();
if (IRI == null) {
return null;
}
return dataFactory.getOWLObjectProperty(IRI);
}
final public Set RoleNameSet() throws ParseException,
KRSS2OWLParserException {
Set roles = new HashSet();
OWLObjectProperty role;
label_6: while (true) {
role = RoleName();
roles.add(role);
if (jj_2_63(2)) {} else {
break label_6;
}
}
return roles;
}
final public OWLObjectPropertyExpression RoleExpression() throws ParseException,
KRSS2OWLParserException {
OWLObjectPropertyExpression exp;
if (jj_2_64(2)) {
jj_consume_token(OPENPAR);
jj_consume_token(INV);
exp = RoleExpression();
jj_consume_token(CLOSEPAR);
return dataFactory.getOWLObjectInverseOf(exp);
} else if (jj_2_65(2)) {
exp = RoleName();
return exp;
} else {
jj_consume_token(-1);
throw new ParseException();
}
}
final public void ABoxStatement() throws ParseException, KRSS2OWLParserException {
if (jj_2_66(2)) {
Instance();
} else if (jj_2_67(2)) {
Related();
} else if (jj_2_68(2)) {
Equal();
} else if (jj_2_69(2)) {
Distinct();
} else {
jj_consume_token(-1);
throw new ParseException();
}
}
final public void Instance() throws ParseException, KRSS2OWLParserException {
OWLIndividual ind;
OWLClassExpression type;
jj_consume_token(OPENPAR);
jj_consume_token(INSTANCE);
ind = IndividualName();
type = ConceptExpression();
jj_consume_token(CLOSEPAR);
addAxiom(dataFactory.getOWLClassAssertionAxiom(type, ind));
}
final public void Related() throws ParseException, KRSS2OWLParserException {
OWLIndividual subj;
OWLObjectProperty prop;
OWLIndividual obj;
jj_consume_token(OPENPAR);
jj_consume_token(RELATED);
subj = IndividualName();
prop = RoleName();
obj = IndividualName();
jj_consume_token(CLOSEPAR);
addAxiom(dataFactory.getOWLObjectPropertyAssertionAxiom(prop, subj, obj));
}
final public void Equal() throws ParseException, KRSS2OWLParserException {
OWLIndividual indA, indB;
Set inds = new HashSet();
jj_consume_token(OPENPAR);
jj_consume_token(EQUAL);
indA = IndividualName();
indB = IndividualName();
jj_consume_token(CLOSEPAR);
inds.add(indA);
inds.add(indB);
addAxiom(dataFactory.getOWLSameIndividualAxiom(inds));
}
final public void Distinct() throws ParseException, KRSS2OWLParserException {
OWLIndividual indA, indB;
Set inds = new HashSet();
jj_consume_token(OPENPAR);
jj_consume_token(DISTINCT);
indA = IndividualName();
indB = IndividualName();
jj_consume_token(CLOSEPAR);
inds.add(indA);
inds.add(indB);
addAxiom(dataFactory.getOWLDifferentIndividualsAxiom(inds));
}
final public OWLIndividual IndividualName() throws ParseException,
KRSS2OWLParserException {
IRI name;
name = Name();
return dataFactory.getOWLNamedIndividual(name);
}
final public int Integer() throws ParseException, KRSS2OWLParserException {
Token t;
t = jj_consume_token(INT);
return Integer.parseInt(t.image);
}
final public boolean parseBoolean() throws ParseException {
if (jj_2_70(2)) {
jj_consume_token(TRUE);
return true;
} else if (jj_2_71(2)) {
jj_consume_token(NIL);
return false;
} else {
jj_consume_token(-1);
throw new ParseException();
}
}
final public IRI Name() throws ParseException {
Token t;
if (jj_2_76(2)) {
if (jj_2_72(2)) {
t = jj_consume_token(NAME);
} else if (jj_2_73(2)) {
t = jj_consume_token(INT);
} else {
jj_consume_token(-1);
throw new ParseException();
}
try {
return getIRI(t.image);
} catch (URISyntaxException e) {
return null;
}
} else if (jj_2_77(2)) {
if (jj_2_74(2)) {
t = jj_consume_token(TOP);
return OWLRDFVocabulary.OWL_THING.getIRI();
} else if (jj_2_75(2)) {
t = jj_consume_token(BOTTOM);
return OWLRDFVocabulary.OWL_NOTHING.getIRI();
} else {
jj_consume_token(-1);
throw new ParseException();
}
} else {
jj_consume_token(-1);
throw new ParseException();
}
}
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_2_51(int xla) {
jj_la = xla;
jj_lastpos = jj_scanpos = token;
try {
return !jj_3_51();
} catch (LookaheadSuccess ls) {
return true;
} finally {
jj_save(50, xla);
}
}
private boolean jj_2_52(int xla) {
jj_la = xla;
jj_lastpos = jj_scanpos = token;
try {
return !jj_3_52();
} catch (LookaheadSuccess ls) {
return true;
} finally {
jj_save(51, xla);
}
}
private boolean jj_2_53(int xla) {
jj_la = xla;
jj_lastpos = jj_scanpos = token;
try {
return !jj_3_53();
} catch (LookaheadSuccess ls) {
return true;
} finally {
jj_save(52, xla);
}
}
private boolean jj_2_54(int xla) {
jj_la = xla;
jj_lastpos = jj_scanpos = token;
try {
return !jj_3_54();
} catch (LookaheadSuccess ls) {
return true;
} finally {
jj_save(53, xla);
}
}
private boolean jj_2_55(int xla) {
jj_la = xla;
jj_lastpos = jj_scanpos = token;
try {
return !jj_3_55();
} catch (LookaheadSuccess ls) {
return true;
} finally {
jj_save(54, xla);
}
}
private boolean jj_2_56(int xla) {
jj_la = xla;
jj_lastpos = jj_scanpos = token;
try {
return !jj_3_56();
} catch (LookaheadSuccess ls) {
return true;
} finally {
jj_save(55, xla);
}
}
private boolean jj_2_57(int xla) {
jj_la = xla;
jj_lastpos = jj_scanpos = token;
try {
return !jj_3_57();
} catch (LookaheadSuccess ls) {
return true;
} finally {
jj_save(56, xla);
}
}
private boolean jj_2_58(int xla) {
jj_la = xla;
jj_lastpos = jj_scanpos = token;
try {
return !jj_3_58();
} catch (LookaheadSuccess ls) {
return true;
} finally {
jj_save(57, xla);
}
}
private boolean jj_2_59(int xla) {
jj_la = xla;
jj_lastpos = jj_scanpos = token;
try {
return !jj_3_59();
} catch (LookaheadSuccess ls) {
return true;
} finally {
jj_save(58, xla);
}
}
private boolean jj_2_60(int xla) {
jj_la = xla;
jj_lastpos = jj_scanpos = token;
try {
return !jj_3_60();
} catch (LookaheadSuccess ls) {
return true;
} finally {
jj_save(59, xla);
}
}
private boolean jj_2_61(int xla) {
jj_la = xla;
jj_lastpos = jj_scanpos = token;
try {
return !jj_3_61();
} catch (LookaheadSuccess ls) {
return true;
} finally {
jj_save(60, xla);
}
}
private boolean jj_2_62(int xla) {
jj_la = xla;
jj_lastpos = jj_scanpos = token;
try {
return !jj_3_62();
} catch (LookaheadSuccess ls) {
return true;
} finally {
jj_save(61, xla);
}
}
private boolean jj_2_63(int xla) {
jj_la = xla;
jj_lastpos = jj_scanpos = token;
try {
return !jj_3_63();
} catch (LookaheadSuccess ls) {
return true;
} finally {
jj_save(62, xla);
}
}
private boolean jj_2_64(int xla) {
jj_la = xla;
jj_lastpos = jj_scanpos = token;
try {
return !jj_3_64();
} catch (LookaheadSuccess ls) {
return true;
} finally {
jj_save(63, xla);
}
}
private boolean jj_2_65(int xla) {
jj_la = xla;
jj_lastpos = jj_scanpos = token;
try {
return !jj_3_65();
} catch (LookaheadSuccess ls) {
return true;
} finally {
jj_save(64, xla);
}
}
private boolean jj_2_66(int xla) {
jj_la = xla;
jj_lastpos = jj_scanpos = token;
try {
return !jj_3_66();
} catch (LookaheadSuccess ls) {
return true;
} finally {
jj_save(65, xla);
}
}
private boolean jj_2_67(int xla) {
jj_la = xla;
jj_lastpos = jj_scanpos = token;
try {
return !jj_3_67();
} catch (LookaheadSuccess ls) {
return true;
} finally {
jj_save(66, xla);
}
}
private boolean jj_2_68(int xla) {
jj_la = xla;
jj_lastpos = jj_scanpos = token;
try {
return !jj_3_68();
} catch (LookaheadSuccess ls) {
return true;
} finally {
jj_save(67, xla);
}
}
private boolean jj_2_69(int xla) {
jj_la = xla;
jj_lastpos = jj_scanpos = token;
try {
return !jj_3_69();
} catch (LookaheadSuccess ls) {
return true;
} finally {
jj_save(68, xla);
}
}
private boolean jj_2_70(int xla) {
jj_la = xla;
jj_lastpos = jj_scanpos = token;
try {
return !jj_3_70();
} catch (LookaheadSuccess ls) {
return true;
} finally {
jj_save(69, xla);
}
}
private boolean jj_2_71(int xla) {
jj_la = xla;
jj_lastpos = jj_scanpos = token;
try {
return !jj_3_71();
} catch (LookaheadSuccess ls) {
return true;
} finally {
jj_save(70, xla);
}
}
private boolean jj_2_72(int xla) {
jj_la = xla;
jj_lastpos = jj_scanpos = token;
try {
return !jj_3_72();
} catch (LookaheadSuccess ls) {
return true;
} finally {
jj_save(71, xla);
}
}
private boolean jj_2_73(int xla) {
jj_la = xla;
jj_lastpos = jj_scanpos = token;
try {
return !jj_3_73();
} catch (LookaheadSuccess ls) {
return true;
} finally {
jj_save(72, xla);
}
}
private boolean jj_2_74(int xla) {
jj_la = xla;
jj_lastpos = jj_scanpos = token;
try {
return !jj_3_74();
} catch (LookaheadSuccess ls) {
return true;
} finally {
jj_save(73, xla);
}
}
private boolean jj_2_75(int xla) {
jj_la = xla;
jj_lastpos = jj_scanpos = token;
try {
return !jj_3_75();
} catch (LookaheadSuccess ls) {
return true;
} finally {
jj_save(74, xla);
}
}
private boolean jj_2_76(int xla) {
jj_la = xla;
jj_lastpos = jj_scanpos = token;
try {
return !jj_3_76();
} catch (LookaheadSuccess ls) {
return true;
} finally {
jj_save(75, xla);
}
}
private boolean jj_2_77(int xla) {
jj_la = xla;
jj_lastpos = jj_scanpos = token;
try {
return !jj_3_77();
} catch (LookaheadSuccess ls) {
return true;
} finally {
jj_save(76, xla);
}
}
private boolean jj_3_19() {
if (jj_3R_23()) {
return true;
}
return false;
}
private boolean jj_3_9() {
if (jj_3R_13()) {
return true;
}
return false;
}
private boolean jj_3R_36() {
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_scan_token(EXACTLY)) {
return true;
}
return false;
}
private boolean jj_3_13() {
if (jj_3R_17()) {
return true;
}
return false;
}
private boolean jj_3R_19() {
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_scan_token(IMPLIESROLE)) {
return true;
}
return false;
}
private boolean jj_3_25() {
if (jj_3R_23()) {
return true;
}
return false;
}
private boolean jj_3_43() {
if (jj_3R_24()) {
return true;
}
return false;
}
private boolean jj_3R_11() {
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_scan_token(IMPLIES)) {
return true;
}
return false;
}
private boolean jj_3_42() {
if (jj_scan_token(NIL)) {
return true;
}
return false;
}
private boolean jj_3_57() {
if (jj_3R_35()) {
return true;
}
return false;
}
private boolean jj_3_8() {
if (jj_3R_12()) {
return true;
}
return false;
}
private boolean jj_3R_35() {
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_scan_token(ATMOST)) {
return true;
}
return false;
}
private boolean jj_3R_17() {
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_scan_token(DISJOINTROLES)) {
return true;
}
return false;
}
private boolean jj_3R_12() {
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_scan_token(EQUIVALENT)) {
return true;
}
return false;
}
private boolean jj_3_12() {
if (jj_3R_16()) {
return true;
}
return false;
}
private boolean jj_3_45() {
if (jj_scan_token(PARENT)) {
return true;
}
Token xsp;
xsp = jj_scanpos;
if (jj_3_42()) {
jj_scanpos = xsp;
if (jj_3_43()) {
return true;
}
}
return false;
}
private boolean jj_3_7() {
if (jj_3R_11()) {
return true;
}
return false;
}
private boolean jj_3_4() {
if (jj_scan_token(ENDABOX)) {
return true;
}
return false;
}
private boolean jj_3_47() {
if (jj_3R_24()) {
return true;
}
return false;
}
private boolean jj_3R_13() {
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_scan_token(DISJOINT)) {
return true;
}
return false;
}
private boolean jj_3_56() {
if (jj_3R_34()) {
return true;
}
return false;
}
private boolean jj_3R_34() {
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_scan_token(ATLEAST)) {
return true;
}
return false;
}
private boolean jj_3_18() {
if (jj_3R_22()) {
return true;
}
return false;
}
private boolean jj_3_38() {
if (jj_scan_token(TRUE)) {
return true;
}
return false;
}
private boolean jj_3_41() {
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_3R_26()) {
return true;
}
return false;
}
private boolean jj_3_49() {
if (jj_3R_25()) {
return true;
}
return false;
}
private boolean jj_3_75() {
if (jj_scan_token(BOTTOM)) {
return true;
}
return false;
}
private boolean jj_3_73() {
if (jj_scan_token(INT)) {
return true;
}
return false;
}
private boolean jj_3_71() {
if (jj_scan_token(NIL)) {
return true;
}
return false;
}
private boolean jj_3_17() {
if (jj_3R_21()) {
return true;
}
return false;
}
private boolean jj_3_74() {
if (jj_scan_token(TOP)) {
return true;
}
return false;
}
private boolean jj_3R_33() {
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_scan_token(SOME)) {
return true;
}
return false;
}
private boolean jj_3R_10() {
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_scan_token(DEFINECONCEPT)) {
return true;
}
return false;
}
private boolean jj_3_77() {
Token xsp;
xsp = jj_scanpos;
if (jj_3_74()) {
jj_scanpos = xsp;
if (jj_3_75()) {
return true;
}
}
return false;
}
private boolean jj_3_37() {
if (jj_scan_token(NIL)) {
return true;
}
return false;
}
private boolean jj_3_40() {
if (jj_scan_token(NIL)) {
return true;
}
return false;
}
private boolean jj_3_55() {
if (jj_3R_33()) {
return true;
}
return false;
}
private boolean jj_3_6() {
if (jj_3R_10()) {
return true;
}
return false;
}
private boolean jj_3_11() {
if (jj_3R_15()) {
return true;
}
return false;
}
private boolean jj_3_35() {
if (jj_scan_token(TRUE)) {
return true;
}
return false;
}
private boolean jj_3_3() {
if (jj_3R_8()) {
return true;
}
return false;
}
private boolean jj_3_72() {
if (jj_scan_token(NAME)) {
return true;
}
return false;
}
private boolean jj_3_76() {
Token xsp;
xsp = jj_scanpos;
if (jj_3_72()) {
jj_scanpos = xsp;
if (jj_3_73()) {
return true;
}
}
return false;
}
private boolean jj_3R_41() {
Token xsp;
xsp = jj_scanpos;
if (jj_3_76()) {
jj_scanpos = xsp;
if (jj_3_77()) {
return true;
}
}
return false;
}
private boolean jj_3_34() {
if (jj_scan_token(NIL)) {
return true;
}
return false;
}
private boolean jj_3_44() {
if (jj_scan_token(PARENTS)) {
return true;
}
Token xsp;
xsp = jj_scanpos;
if (jj_3_40()) {
jj_scanpos = xsp;
if (jj_3_41()) {
return true;
}
}
return false;
}
private boolean jj_3_46() {
Token xsp;
xsp = jj_scanpos;
if (jj_3_44()) {
jj_scanpos = xsp;
if (jj_3_45()) {
return true;
}
}
return false;
}
private boolean jj_3R_32() {
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_scan_token(ALL)) {
return true;
}
return false;
}
private boolean jj_3_16() {
if (jj_3R_20()) {
return true;
}
return false;
}
private boolean jj_3_32() {
if (jj_scan_token(TRUE)) {
return true;
}
return false;
}
private boolean jj_3R_9() {
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_scan_token(DEFINEPRIMITIVECONCEPT)) {
return true;
}
return false;
}
private boolean jj_3_54() {
if (jj_3R_32()) {
return true;
}
return false;
}
private boolean jj_3_31() {
if (jj_scan_token(NIL)) {
return true;
}
return false;
}
private boolean jj_3_2() {
if (jj_scan_token(ENDTBOX)) {
return true;
}
return false;
}
private boolean jj_3_70() {
if (jj_scan_token(TRUE)) {
return true;
}
return false;
}
private boolean jj_3R_31() {
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_scan_token(NOT)) {
return true;
}
return false;
}
private boolean jj_3_39() {
if (jj_scan_token(REFLEXIVE_ATTRIBUTE)) {
return true;
}
Token xsp;
xsp = jj_scanpos;
if (jj_3_37()) {
jj_scanpos = xsp;
if (jj_3_38()) {
return true;
}
}
return false;
}
private boolean jj_3_27() {
if (jj_3R_23()) {
return true;
}
return false;
}
private boolean jj_3_15() {
if (jj_3R_19()) {
return true;
}
return false;
}
private boolean jj_3_53() {
if (jj_3R_31()) {
return true;
}
return false;
}
private boolean jj_3_10() {
if (jj_3R_14()) {
return true;
}
return false;
}
private boolean jj_3_5() {
if (jj_3R_9()) {
return true;
}
return false;
}
private boolean jj_3R_7() {
Token xsp;
xsp = jj_scanpos;
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()) {
jj_scanpos = xsp;
if (jj_3_10()) {
jj_scanpos = xsp;
if (jj_3_11()) {
jj_scanpos = xsp;
if (jj_3_12()) {
jj_scanpos = xsp;
if (jj_3_13()) {
jj_scanpos = xsp;
if (jj_3_14()) {
jj_scanpos = xsp;
if (jj_3_15()) {
jj_scanpos = xsp;
if (jj_3_16()) {
jj_scanpos = xsp;
if (jj_3_17()) {
jj_scanpos = xsp;
if (jj_3_18()) {
return true;
}
}
}
}
}
}
}
}
}
}
}
}
}
}
return false;
}
private boolean jj_3_36() {
if (jj_scan_token(SYMMETRIC_ATTRIBUTE)) {
return true;
}
Token xsp;
xsp = jj_scanpos;
if (jj_3_34()) {
jj_scanpos = xsp;
if (jj_3_35()) {
return true;
}
}
return false;
}
private boolean jj_3R_30() {
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_scan_token(OR)) {
return true;
}
return false;
}
private boolean jj_3_28() {
if (jj_scan_token(OPENPAR)) {
return true;
}
Token xsp;
if (jj_3_27()) {
return true;
}
while (true) {
xsp = jj_scanpos;
if (jj_3_27()) {
jj_scanpos = xsp;
break;
}
}
return false;
}
private boolean jj_3_1() {
if (jj_3R_7()) {
return true;
}
return false;
}
private boolean jj_3_23() {
if (jj_3R_23()) {
return true;
}
return false;
}
private boolean jj_3_52() {
if (jj_3R_30()) {
return true;
}
return false;
}
private boolean jj_3_33() {
if (jj_scan_token(TRANSITIVE_ATTRIBUTE)) {
return true;
}
Token xsp;
xsp = jj_scanpos;
if (jj_3_31()) {
jj_scanpos = xsp;
if (jj_3_32()) {
return true;
}
}
return false;
}
private boolean jj_3R_29() {
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_scan_token(AND)) {
return true;
}
return false;
}
private boolean jj_3_24() {
if (jj_scan_token(OPENPAR)) {
return true;
}
Token xsp;
if (jj_3_23()) {
return true;
}
while (true) {
xsp = jj_scanpos;
if (jj_3_23()) {
jj_scanpos = xsp;
break;
}
}
return false;
}
private boolean jj_3_48() {
if (jj_3R_27()) {
return true;
}
return false;
}
private boolean jj_3_59() {
if (jj_3R_23()) {
return true;
}
return false;
}
private boolean jj_3_30() {
if (jj_scan_token(RANGE_ATTRIBUTE)) {
return true;
}
Token xsp;
xsp = jj_scanpos;
if (jj_3_28()) {
jj_scanpos = xsp;
if (jj_3_29()) {
return true;
}
}
return false;
}
private boolean jj_3_51() {
if (jj_3R_29()) {
return true;
}
return false;
}
private boolean jj_3R_40() {
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_scan_token(DISTINCT)) {
return true;
}
return false;
}
private boolean jj_3R_28() {
if (jj_3R_41()) {
return true;
}
return false;
}
private boolean jj_3_69() {
if (jj_3R_40()) {
return true;
}
return false;
}
private boolean jj_3R_39() {
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_scan_token(EQUAL)) {
return true;
}
return false;
}
private boolean jj_3_26() {
if (jj_scan_token(DOMAIN_ATTRIBUTE)) {
return true;
}
Token xsp;
xsp = jj_scanpos;
if (jj_3_24()) {
jj_scanpos = xsp;
if (jj_3_25()) {
return true;
}
}
return false;
}
private boolean jj_3_50() {
if (jj_3R_28()) {
return true;
}
return false;
}
private boolean jj_3R_23() {
Token xsp;
xsp = jj_scanpos;
if (jj_3_50()) {
jj_scanpos = xsp;
if (jj_3_51()) {
jj_scanpos = xsp;
if (jj_3_52()) {
jj_scanpos = xsp;
if (jj_3_53()) {
jj_scanpos = xsp;
if (jj_3_54()) {
jj_scanpos = xsp;
if (jj_3_55()) {
jj_scanpos = xsp;
if (jj_3_56()) {
jj_scanpos = xsp;
if (jj_3_57()) {
jj_scanpos = xsp;
if (jj_3_58()) {
return true;
}
}
}
}
}
}
}
}
}
return false;
}
private boolean jj_3_68() {
if (jj_3R_39()) {
return true;
}
return false;
}
private boolean jj_3R_38() {
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_scan_token(RELATED)) {
return true;
}
return false;
}
private boolean jj_3_22() {
if (jj_scan_token(INVERSE_ATTRIBUTE)) {
return true;
}
if (jj_3R_25()) {
return true;
}
return false;
}
private boolean jj_3R_21() {
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_scan_token(RANGE)) {
return true;
}
return false;
}
private boolean jj_3_67() {
if (jj_3R_38()) {
return true;
}
return false;
}
private boolean jj_3R_37() {
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_scan_token(INSTANCE)) {
return true;
}
return false;
}
private boolean jj_3_21() {
if (jj_scan_token(LEFT_IDENTITY_ATTRIBUTE)) {
return true;
}
if (jj_3R_24()) {
return true;
}
return false;
}
private boolean jj_3_62() {
if (jj_3R_23()) {
return true;
}
return false;
}
private boolean jj_3R_22() {
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_scan_token(TRANSITIVE)) {
return true;
}
return false;
}
private boolean jj_3_66() {
if (jj_3R_37()) {
return true;
}
return false;
}
private boolean jj_3R_8() {
Token xsp;
xsp = jj_scanpos;
if (jj_3_66()) {
jj_scanpos = xsp;
if (jj_3_67()) {
jj_scanpos = xsp;
if (jj_3_68()) {
jj_scanpos = xsp;
if (jj_3_69()) {
return true;
}
}
}
}
return false;
}
private boolean jj_3_20() {
if (jj_scan_token(RIGHT_IDENTITY_ATTRIBUTE)) {
return true;
}
if (jj_3R_24()) {
return true;
}
return false;
}
private boolean jj_3R_27() {
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_scan_token(COMPOSE)) {
return true;
}
return false;
}
private boolean jj_3_61() {
if (jj_3R_23()) {
return true;
}
return false;
}
private boolean jj_3_65() {
if (jj_3R_24()) {
return true;
}
return false;
}
private boolean jj_3_64() {
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_scan_token(INV)) {
return true;
}
return false;
}
private boolean jj_3R_25() {
Token xsp;
xsp = jj_scanpos;
if (jj_3_64()) {
jj_scanpos = xsp;
if (jj_3_65()) {
return true;
}
}
return false;
}
private boolean jj_3R_14() {
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_scan_token(ROLE_INCLUSION)) {
return true;
}
return false;
}
private boolean jj_3R_15() {
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_scan_token(DEFINEPRIMITIVEROLE)) {
return true;
}
return false;
}
private boolean jj_3_60() {
if (jj_3R_23()) {
return true;
}
return false;
}
private boolean jj_3_63() {
if (jj_3R_24()) {
return true;
}
return false;
}
private boolean jj_3R_26() {
Token xsp;
if (jj_3_63()) {
return true;
}
while (true) {
xsp = jj_scanpos;
if (jj_3_63()) {
jj_scanpos = xsp;
break;
}
}
return false;
}
private boolean jj_3R_18() {
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_scan_token(ROLESEQUIVALENT)) {
return true;
}
return false;
}
private boolean jj_3_14() {
if (jj_3R_18()) {
return true;
}
return false;
}
private boolean jj_3R_24() {
if (jj_3R_41()) {
return true;
}
return false;
}
private boolean jj_3R_16() {
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_scan_token(DEFINEROLE)) {
return true;
}
return false;
}
private boolean jj_3_29() {
if (jj_3R_23()) {
return true;
}
return false;
}
private boolean jj_3R_20() {
if (jj_scan_token(OPENPAR)) {
return true;
}
if (jj_scan_token(INVERSE)) {
return true;
}
return false;
}
private boolean jj_3_58() {
if (jj_3R_36()) {
return true;
}
return false;
}
/** Generated Token Manager. */
public KRSS2ParserTokenManager 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 private int[] jj_la1_1;
static private int[] jj_la1_2;
static {
jj_la1_init_0();
jj_la1_init_1();
jj_la1_init_2();
}
private static void jj_la1_init_0() {
jj_la1_0 = new int[] {};
}
private static void jj_la1_init_1() {
jj_la1_1 = new int[] {};
}
private static void jj_la1_init_2() {
jj_la1_2 = new int[] {};
}
final private JJCalls[] jj_2_rtns = new JJCalls[77];
private boolean jj_rescan = false;
private int jj_gc = 0;
/** Constructor with InputStream. */
public KRSS2Parser(java.io.InputStream stream) {
this(stream, null);
}
/** Constructor with InputStream and supplied encoding */
public KRSS2Parser(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 KRSS2ParserTokenManager(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 KRSS2Parser(java.io.Reader stream) {
jj_input_stream = new JavaCharStream(stream, 1, 1);
token_source = new KRSS2ParserTokenManager(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 KRSS2Parser(KRSS2ParserTokenManager 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(KRSS2ParserTokenManager 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 {
private static final long serialVersionUID = 30402L;
public LookaheadSuccess() {}
}
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[70];
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 << j) != 0) {
la1tokens[j] = true;
}
if ((jj_la1_1[i] & 1 << j) != 0) {
la1tokens[32 + j] = true;
}
if ((jj_la1_2[i] & 1 << j) != 0) {
la1tokens[64 + j] = true;
}
}
}
}
for (int i = 0; i < 70; i++) {
if (la1tokens[i]) {
jj_expentry = new int[1];
jj_expentry[0] = i;
jj_expentries.add(jj_expentry);
}
}
jj_endpos = 0;
jj_rescan_token();
jj_add_error_token(0, 0);
int[][] exptokseq = new int[jj_expentries.size()][];
for (int i = 0; i < jj_expentries.size(); i++) {
exptokseq[i] = jj_expentries.get(i);
}
return new ParseException(token, exptokseq, tokenImage);
}
/** Enable tracing. */
final public void enable_tracing() {}
/** Disable tracing. */
final public void disable_tracing() {}
private void jj_rescan_token() {
jj_rescan = true;
for (int i = 0; i < 77; i++) {
try {
JJCalls p = jj_2_rtns[i];
do {
if (p.gen > 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;
case 50:
jj_3_51();
break;
case 51:
jj_3_52();
break;
case 52:
jj_3_53();
break;
case 53:
jj_3_54();
break;
case 54:
jj_3_55();
break;
case 55:
jj_3_56();
break;
case 56:
jj_3_57();
break;
case 57:
jj_3_58();
break;
case 58:
jj_3_59();
break;
case 59:
jj_3_60();
break;
case 60:
jj_3_61();
break;
case 61:
jj_3_62();
break;
case 62:
jj_3_63();
break;
case 63:
jj_3_64();
break;
case 64:
jj_3_65();
break;
case 65:
jj_3_66();
break;
case 66:
jj_3_67();
break;
case 67:
jj_3_68();
break;
case 68:
jj_3_69();
break;
case 69:
jj_3_70();
break;
case 70:
jj_3_71();
break;
case 71:
jj_3_72();
break;
case 72:
jj_3_73();
break;
case 73:
jj_3_74();
break;
case 74:
jj_3_75();
break;
case 75:
jj_3_76();
break;
case 76:
jj_3_77();
break;
default:
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;
}
}
