From 17bd9beaf7f358a44e5bf36a5855fe6727d506dc Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Tue, 10 May 2022 18:17:06 +0100 Subject: [pagoda] Move project to Scala This commit includes a few changes: - The repository still uses Maven to manage dependency but it is now a Scala project. - The code has been ported from OWLAPI 3.4.10 to 5.1.20 - A proof of concept program using both RSAComb and PAGOdA has been added. --- .../semanticweb/karma2/model/ConjunctiveQuery.java | 80 - src/org/semanticweb/karma2/model/Equality.java | 36 - .../karma2/model/ExtendedConjunctiveQuery.java | 94 -- .../karma2/model/cqparser/ConjunctiveQuery.g | 140 -- .../karma2/model/cqparser/ConjunctiveQuery.tokens | 36 - .../model/cqparser/ConjunctiveQueryLexer.java | 814 ---------- .../model/cqparser/ConjunctiveQueryParser.java | 1611 -------------------- .../model/cqparser/ConjunctiveQueryWalker.java | 179 --- 8 files changed, 2990 deletions(-) delete mode 100644 src/org/semanticweb/karma2/model/ConjunctiveQuery.java delete mode 100644 src/org/semanticweb/karma2/model/Equality.java delete mode 100644 src/org/semanticweb/karma2/model/ExtendedConjunctiveQuery.java delete mode 100644 src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g delete mode 100644 src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.tokens delete mode 100644 src/org/semanticweb/karma2/model/cqparser/ConjunctiveQueryLexer.java delete mode 100644 src/org/semanticweb/karma2/model/cqparser/ConjunctiveQueryParser.java delete mode 100644 src/org/semanticweb/karma2/model/cqparser/ConjunctiveQueryWalker.java (limited to 'src/org/semanticweb/karma2/model') diff --git a/src/org/semanticweb/karma2/model/ConjunctiveQuery.java b/src/org/semanticweb/karma2/model/ConjunctiveQuery.java deleted file mode 100644 index 17f3169..0000000 --- a/src/org/semanticweb/karma2/model/ConjunctiveQuery.java +++ /dev/null @@ -1,80 +0,0 @@ -package org.semanticweb.karma2.model; - -import java.io.FileNotFoundException; -import java.io.IOException; -import java.util.Map; - -import org.semanticweb.HermiT.model.Atom; -import org.semanticweb.HermiT.model.Term; -import org.semanticweb.karma2.exception.IllegalInputQueryException; -import org.semanticweb.karma2.model.cqparser.ConjunctiveQueryParser; - -import uk.ac.ox.cs.JRDFox.Prefixes; - - -public class ConjunctiveQuery { - - - protected final Atom[] m_queryAtoms; - protected final Term[] m_answerTerms; - protected final Term[] m_resultBuffer; - protected Prefixes prefixes; - - public ConjunctiveQuery(Atom[] queryAtoms,Term[] answerTerms) { - m_queryAtoms=queryAtoms; - m_answerTerms=answerTerms; - m_resultBuffer=answerTerms.clone(); - prefixes = new Prefixes(); - } - - - public Prefixes getPrefixes() { - return this.prefixes; - } - - public ConjunctiveQuery(Atom[] queryAtoms,Term[] answerTerms, Prefixes prefixes) { - m_queryAtoms=queryAtoms; - m_answerTerms=answerTerms; - m_resultBuffer=answerTerms.clone(); - this.prefixes = prefixes; - } - - public int getNumberOfQueryAtoms() { - return m_queryAtoms.length; - } - public Atom getQueryAtom(int atomIndex) { - return m_queryAtoms[atomIndex]; - } - public int getNumberOfAnswerTerms() { - return m_answerTerms.length; - } - public Term getAnswerTerm(int termIndex) { - return m_answerTerms[termIndex]; - } - - - public String toString() { - String res = ""; - Map iriMap = prefixes.getPrefixIRIsByPrefixName(); - for (String shortIri: iriMap.keySet()) - res += "prefix " + shortIri + " <" + iriMap.get(shortIri) + ">\n"; - res += "prefix rdf: \n"; - res += "select "; - for (Term t: m_answerTerms) - res+= " " + t + " "; - res += " WHERE { "; - for (Atom a : m_queryAtoms){ - if (a.getArity() == 1) - res+= a.getArgument(0) + " rdf:type " + a.getDLPredicate().toString().replace('<', ' ').replace('>', ' ') + " . "; - if (a.getArity() == 2) - res+= a.getArgument(0) + " " + a.getDLPredicate().toString().replace('<', ' ').replace('>', ' ') + " " + a.getArgument(1) + " . "; - } - return res + "}"; - - } - - - public static ConjunctiveQuery parse(String query) throws FileNotFoundException, IllegalInputQueryException, IOException { - return (new ConjunctiveQueryParser(query)).parse(); - } -} \ No newline at end of file diff --git a/src/org/semanticweb/karma2/model/Equality.java b/src/org/semanticweb/karma2/model/Equality.java deleted file mode 100644 index fcb270c..0000000 --- a/src/org/semanticweb/karma2/model/Equality.java +++ /dev/null @@ -1,36 +0,0 @@ -package org.semanticweb.karma2.model; - -import java.io.Serializable; - -import org.semanticweb.HermiT.Prefixes; -import org.semanticweb.HermiT.model.DLPredicate; - -/** - * Represents the equality predicate. - */ -public class Equality implements DLPredicate,Serializable { - private static final long serialVersionUID=8308051741088513244L; - - public static final Equality INSTANCE=new Equality(); - - protected Equality () { - } - public int getArity() { - return 2; - } - public String toString(Prefixes prefixes) { - return ""; - } - public String toOrderedString(Prefixes prefixes) { - return toString(prefixes); - } - public String toString() { - return toString(Prefixes.STANDARD_PREFIXES); - } - protected Object readResolve() { - return INSTANCE; - } - public static Equality create() { - return INSTANCE; - } -} diff --git a/src/org/semanticweb/karma2/model/ExtendedConjunctiveQuery.java b/src/org/semanticweb/karma2/model/ExtendedConjunctiveQuery.java deleted file mode 100644 index de2f87e..0000000 --- a/src/org/semanticweb/karma2/model/ExtendedConjunctiveQuery.java +++ /dev/null @@ -1,94 +0,0 @@ -package org.semanticweb.karma2.model; - -import java.util.LinkedHashSet; -import java.util.LinkedList; -import java.util.List; -import java.util.Set; - -import org.semanticweb.HermiT.model.Atom; -import org.semanticweb.HermiT.model.Term; -import org.semanticweb.HermiT.model.Variable; - -import uk.ac.ox.cs.JRDFox.Prefixes; - - -public class ExtendedConjunctiveQuery extends ConjunctiveQuery { - - private Term[] ansTerms; - private Term[] terms; - - public ExtendedConjunctiveQuery( - Atom[] queryAtoms, Term[] answerTerms, Prefixes pref) { - super(queryAtoms, getExtendedHead(queryAtoms, answerTerms), pref); - this.ansTerms = answerTerms.clone(); - terms = getQueryTerms(queryAtoms); - } - - public int getNumberOfRealAnswerTerms() { - return ansTerms.length; - } - - public Term getRealAnswerTerm(int termIndex) { - return ansTerms[termIndex]; - } - - public int getNumberOfTerms() { - return terms.length; - } - - public Term[] getTerms() { - return terms; - } - - - public Atom[] getAtoms() { - return m_queryAtoms; - } - - public Term[] getRealAnswerTerms() { - return ansTerms; - } - - private static Term[] getExtendedHead(Atom[] queryAtoms, Term[] answerTerms) { - List terms = new LinkedList(); - for (Term t :answerTerms) { - terms.add(t); - } - for (Atom a : queryAtoms) { - if (a.getArgument(0) instanceof Variable && !terms.contains(a.getArgument(0))) - terms.add(a.getArgument(0)); - if (a.getArity()> 1 && a.getArgument(1) instanceof Variable && !terms.contains(a.getArgument(1))) - terms.add(a.getArgument(1)); - } - return terms.toArray(new Term[terms.size()]); - - } - - private static Term[] getQueryTerms(Atom[] queryAtoms) { - Set terms = new LinkedHashSet(); - for (Atom a : queryAtoms) { - terms.add(a.getArgument(0)); - if (a.getArity()> 1) - terms.add(a.getArgument(1)); - } - return terms.toArray(new Term[terms.size()]); - } - - - public static ExtendedConjunctiveQuery computeExtension(ConjunctiveQuery q) { - Term[] answerTerms = new Term[q.getNumberOfAnswerTerms()]; - for (int i = 0; i < q.getNumberOfAnswerTerms(); i++) - answerTerms[i] = q.getAnswerTerm(i); - Atom[] atoms = new Atom[q.getNumberOfQueryAtoms()]; - for (int i = 0; i < q.getNumberOfQueryAtoms(); i++) - atoms[i] = q.getQueryAtom(i); - return new ExtendedConjunctiveQuery(atoms, answerTerms,q.prefixes); - - } - - public Term getTerm(int i) { - return terms[i]; - } - - -} diff --git a/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g b/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g deleted file mode 100644 index 621b0ce..0000000 --- a/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g +++ /dev/null @@ -1,140 +0,0 @@ -grammar ConjunctiveQuery; - -options { - language = Java; - output = AST; -} - -tokens { - VARIABLE; - CONSTANT; - SCONSTANT; - ATOM; - HEADATOM; - PREDICATE; - ATOM_LIST; - TERM_LIST; - RULE; - EXPRESSION; - PREFIX_LIST; - ID; - PREFIX; - PREDICATE; -} - -@header { -package org.semanticweb.karma2.model.cqparser; - -import java.io.File; -import java.io.FileInputStream; -import java.io.InputStream; -import java.io.FileNotFoundException; -import java.io.IOException; -import java.util.Set; - -import org.semanticweb.karma2.model.ConjunctiveQuery; - - -import org.semanticweb.karma2.model.cqparser.ConjunctiveQueryWalker; -import org.semanticweb.karma2.exception.IllegalInputQueryException; - - - -} - -@members{ - - - - public ConjunctiveQueryParser(String string) - throws FileNotFoundException, IOException { - this(new CommonTokenStream(new ConjunctiveQueryLexer(new ANTLRStringStream(string)))); - } - - public ConjunctiveQueryParser(InputStream istream) throws FileNotFoundException, IOException { - this(new CommonTokenStream(new ConjunctiveQueryLexer(new ANTLRInputStream(istream)))); - - } - - - public ConjunctiveQueryParser(File file) throws FileNotFoundException, IOException { - this(new CommonTokenStream(new ConjunctiveQueryLexer(new ANTLRInputStream(new FileInputStream(file))))); - - } - - public ConjunctiveQuery parse() throws IllegalInputQueryException { - cq_return r = null; - try { - r = cq(); - } catch (RecognitionException e) { - e.printStackTrace(); - } - CommonTree t = (CommonTree) r.getTree(); - - //System.out.println(t.toStringTree()); - CommonTreeNodeStream nodes = new CommonTreeNodeStream(t); - // AST nodes have payloads that point into token stream - nodes.setTokenStream(input); - - - ConjunctiveQueryWalker walker = new ConjunctiveQueryWalker(); - - ConjunctiveQuery cq = walker.walkExpressionNode(t); - return cq; - } - - public ConjunctiveQuery parseCQ() throws IllegalInputQueryException { - return parse(); - } - -} - - -@lexer::header{ -package org.semanticweb.karma2.model.cqparser; -} - -cq : - prefixlist rulebody -> ^(EXPRESSION prefixlist rulebody ); - -prefixlist: - prefix (',' prefix)* -> ^(PREFIX_LIST prefix*); - -prefix: - 'prefix' id ':' '<' url '>' -> ^(PREFIX id url); - - -rulebody: - headatom ('<-'|':') body '.'? -> ^(RULE headatom body); - -body: - atom (',' atom)* -> ^(ATOM_LIST atom*); - - -headatom: - id '(' term (',' term)* ')' -> ^(HEADATOM term*); - -atom: - compositeid '(' term (',' term)* ')' -> ^(ATOM compositeid term*); - -compositeid: - (id) ':' (id) -> ^(ID id id); - - -term: - variable -> ^(VARIABLE variable) - | simpleid -> ^(SCONSTANT simpleid) - | compositeid -> ^(CONSTANT compositeid); - -id : (STRING); -simpleid : '<' URLSTRING '>' | '<' STRING '>'; - -// TODO: FIXIT X1 can be parsed as variable -variable: - ('?') id -> ^(id); - - url : (URLSTRING); - -URLSTRING : ('http://'|'file:/') ('a'..'z'|'A'..'Z'|'0'..'9'|'/'|'#'|'.'|'-'|'~'|'_')+; -STRING : ('a'..'z'|'A'..'Z'|'0'..'9'|'/'|'#'|'.'|'-'|'_')+; -WS : (' '|'\n'|'\r')+ {$channel=HIDDEN;} ; diff --git a/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.tokens b/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.tokens deleted file mode 100644 index 3b4fa39..0000000 --- a/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.tokens +++ /dev/null @@ -1,36 +0,0 @@ -T__20=20 -T__21=21 -T__22=22 -T__23=23 -T__24=24 -T__25=25 -T__26=26 -T__27=27 -T__28=28 -T__29=29 -ATOM=4 -ATOM_LIST=5 -CONSTANT=6 -EXPRESSION=7 -HEADATOM=8 -ID=9 -PREDICATE=10 -PREFIX=11 -PREFIX_LIST=12 -RULE=13 -SCONSTANT=14 -STRING=15 -TERM_LIST=16 -URLSTRING=17 -VARIABLE=18 -WS=19 -'('=20 -')'=21 -','=22 -'.'=23 -':'=24 -'<'=25 -'<-'=26 -'>'=27 -'?'=28 -'prefix'=29 diff --git a/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQueryLexer.java b/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQueryLexer.java deleted file mode 100644 index a97d7a4..0000000 --- a/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQueryLexer.java +++ /dev/null @@ -1,814 +0,0 @@ -// $ANTLR 3.5 /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g 2013-12-13 14:41:34 - -package org.semanticweb.karma2.model.cqparser; - - -import org.antlr.runtime.*; -import java.util.Stack; -import java.util.List; -import java.util.ArrayList; - -@SuppressWarnings("all") -public class ConjunctiveQueryLexer extends Lexer { - public static final int EOF=-1; - public static final int T__20=20; - public static final int T__21=21; - public static final int T__22=22; - public static final int T__23=23; - public static final int T__24=24; - public static final int T__25=25; - public static final int T__26=26; - public static final int T__27=27; - public static final int T__28=28; - public static final int T__29=29; - public static final int ATOM=4; - public static final int ATOM_LIST=5; - public static final int CONSTANT=6; - public static final int EXPRESSION=7; - public static final int HEADATOM=8; - public static final int ID=9; - public static final int PREDICATE=10; - public static final int PREFIX=11; - public static final int PREFIX_LIST=12; - public static final int RULE=13; - public static final int SCONSTANT=14; - public static final int STRING=15; - public static final int TERM_LIST=16; - public static final int URLSTRING=17; - public static final int VARIABLE=18; - public static final int WS=19; - - // delegates - // delegators - public Lexer[] getDelegates() { - return new Lexer[] {}; - } - - public ConjunctiveQueryLexer() {} - public ConjunctiveQueryLexer(CharStream input) { - this(input, new RecognizerSharedState()); - } - public ConjunctiveQueryLexer(CharStream input, RecognizerSharedState state) { - super(input,state); - } - @Override public String getGrammarFileName() { return "/home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g"; } - - // $ANTLR start "T__20" - public final void mT__20() throws RecognitionException { - try { - int _type = T__20; - int _channel = DEFAULT_TOKEN_CHANNEL; - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:11:7: ( '(' ) - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:11:9: '(' - { - match('('); - } - - state.type = _type; - state.channel = _channel; - } - finally { - // do for sure before leaving - } - } - // $ANTLR end "T__20" - - // $ANTLR start "T__21" - public final void mT__21() throws RecognitionException { - try { - int _type = T__21; - int _channel = DEFAULT_TOKEN_CHANNEL; - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:12:7: ( ')' ) - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:12:9: ')' - { - match(')'); - } - - state.type = _type; - state.channel = _channel; - } - finally { - // do for sure before leaving - } - } - // $ANTLR end "T__21" - - // $ANTLR start "T__22" - public final void mT__22() throws RecognitionException { - try { - int _type = T__22; - int _channel = DEFAULT_TOKEN_CHANNEL; - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:13:7: ( ',' ) - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:13:9: ',' - { - match(','); - } - - state.type = _type; - state.channel = _channel; - } - finally { - // do for sure before leaving - } - } - // $ANTLR end "T__22" - - // $ANTLR start "T__23" - public final void mT__23() throws RecognitionException { - try { - int _type = T__23; - int _channel = DEFAULT_TOKEN_CHANNEL; - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:14:7: ( '.' ) - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:14:9: '.' - { - match('.'); - } - - state.type = _type; - state.channel = _channel; - } - finally { - // do for sure before leaving - } - } - // $ANTLR end "T__23" - - // $ANTLR start "T__24" - public final void mT__24() throws RecognitionException { - try { - int _type = T__24; - int _channel = DEFAULT_TOKEN_CHANNEL; - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:15:7: ( ':' ) - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:15:9: ':' - { - match(':'); - } - - state.type = _type; - state.channel = _channel; - } - finally { - // do for sure before leaving - } - } - // $ANTLR end "T__24" - - // $ANTLR start "T__25" - public final void mT__25() throws RecognitionException { - try { - int _type = T__25; - int _channel = DEFAULT_TOKEN_CHANNEL; - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:16:7: ( '<' ) - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:16:9: '<' - { - match('<'); - } - - state.type = _type; - state.channel = _channel; - } - finally { - // do for sure before leaving - } - } - // $ANTLR end "T__25" - - // $ANTLR start "T__26" - public final void mT__26() throws RecognitionException { - try { - int _type = T__26; - int _channel = DEFAULT_TOKEN_CHANNEL; - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:17:7: ( '<-' ) - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:17:9: '<-' - { - match("<-"); - - } - - state.type = _type; - state.channel = _channel; - } - finally { - // do for sure before leaving - } - } - // $ANTLR end "T__26" - - // $ANTLR start "T__27" - public final void mT__27() throws RecognitionException { - try { - int _type = T__27; - int _channel = DEFAULT_TOKEN_CHANNEL; - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:18:7: ( '>' ) - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:18:9: '>' - { - match('>'); - } - - state.type = _type; - state.channel = _channel; - } - finally { - // do for sure before leaving - } - } - // $ANTLR end "T__27" - - // $ANTLR start "T__28" - public final void mT__28() throws RecognitionException { - try { - int _type = T__28; - int _channel = DEFAULT_TOKEN_CHANNEL; - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:19:7: ( '?' ) - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:19:9: '?' - { - match('?'); - } - - state.type = _type; - state.channel = _channel; - } - finally { - // do for sure before leaving - } - } - // $ANTLR end "T__28" - - // $ANTLR start "T__29" - public final void mT__29() throws RecognitionException { - try { - int _type = T__29; - int _channel = DEFAULT_TOKEN_CHANNEL; - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:20:7: ( 'prefix' ) - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:20:9: 'prefix' - { - match("prefix"); - - } - - state.type = _type; - state.channel = _channel; - } - finally { - // do for sure before leaving - } - } - // $ANTLR end "T__29" - - // $ANTLR start "URLSTRING" - public final void mURLSTRING() throws RecognitionException { - try { - int _type = URLSTRING; - int _channel = DEFAULT_TOKEN_CHANNEL; - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:138:11: ( ( 'http://' | 'file:/' ) ( 'a' .. 'z' | 'A' .. 'Z' | '0' .. '9' | '/' | '#' | '.' | '-' | '~' | '_' )+ ) - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:138:13: ( 'http://' | 'file:/' ) ( 'a' .. 'z' | 'A' .. 'Z' | '0' .. '9' | '/' | '#' | '.' | '-' | '~' | '_' )+ - { - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:138:13: ( 'http://' | 'file:/' ) - int alt1=2; - int LA1_0 = input.LA(1); - if ( (LA1_0=='h') ) { - alt1=1; - } - else if ( (LA1_0=='f') ) { - alt1=2; - } - - else { - NoViableAltException nvae = - new NoViableAltException("", 1, 0, input); - throw nvae; - } - - switch (alt1) { - case 1 : - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:138:14: 'http://' - { - match("http://"); - - } - break; - case 2 : - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:138:24: 'file:/' - { - match("file:/"); - - } - break; - - } - - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:138:34: ( 'a' .. 'z' | 'A' .. 'Z' | '0' .. '9' | '/' | '#' | '.' | '-' | '~' | '_' )+ - int cnt2=0; - loop2: - while (true) { - int alt2=2; - int LA2_0 = input.LA(1); - if ( (LA2_0=='#'||(LA2_0 >= '-' && LA2_0 <= '9')||(LA2_0 >= 'A' && LA2_0 <= 'Z')||LA2_0=='_'||(LA2_0 >= 'a' && LA2_0 <= 'z')||LA2_0=='~') ) { - alt2=1; - } - - switch (alt2) { - case 1 : - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g: - { - if ( input.LA(1)=='#'||(input.LA(1) >= '-' && input.LA(1) <= '9')||(input.LA(1) >= 'A' && input.LA(1) <= 'Z')||input.LA(1)=='_'||(input.LA(1) >= 'a' && input.LA(1) <= 'z')||input.LA(1)=='~' ) { - input.consume(); - } - else { - MismatchedSetException mse = new MismatchedSetException(null,input); - recover(mse); - throw mse; - } - } - break; - - default : - if ( cnt2 >= 1 ) break loop2; - EarlyExitException eee = new EarlyExitException(2, input); - throw eee; - } - cnt2++; - } - - } - - state.type = _type; - state.channel = _channel; - } - finally { - // do for sure before leaving - } - } - // $ANTLR end "URLSTRING" - - // $ANTLR start "STRING" - public final void mSTRING() throws RecognitionException { - try { - int _type = STRING; - int _channel = DEFAULT_TOKEN_CHANNEL; - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:139:9: ( ( 'a' .. 'z' | 'A' .. 'Z' | '0' .. '9' | '/' | '#' | '.' | '-' | '_' )+ ) - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:139:13: ( 'a' .. 'z' | 'A' .. 'Z' | '0' .. '9' | '/' | '#' | '.' | '-' | '_' )+ - { - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:139:13: ( 'a' .. 'z' | 'A' .. 'Z' | '0' .. '9' | '/' | '#' | '.' | '-' | '_' )+ - int cnt3=0; - loop3: - while (true) { - int alt3=2; - int LA3_0 = input.LA(1); - if ( (LA3_0=='#'||(LA3_0 >= '-' && LA3_0 <= '9')||(LA3_0 >= 'A' && LA3_0 <= 'Z')||LA3_0=='_'||(LA3_0 >= 'a' && LA3_0 <= 'z')) ) { - alt3=1; - } - - switch (alt3) { - case 1 : - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g: - { - if ( input.LA(1)=='#'||(input.LA(1) >= '-' && input.LA(1) <= '9')||(input.LA(1) >= 'A' && input.LA(1) <= 'Z')||input.LA(1)=='_'||(input.LA(1) >= 'a' && input.LA(1) <= 'z') ) { - input.consume(); - } - else { - MismatchedSetException mse = new MismatchedSetException(null,input); - recover(mse); - throw mse; - } - } - break; - - default : - if ( cnt3 >= 1 ) break loop3; - EarlyExitException eee = new EarlyExitException(3, input); - throw eee; - } - cnt3++; - } - - } - - state.type = _type; - state.channel = _channel; - } - finally { - // do for sure before leaving - } - } - // $ANTLR end "STRING" - - // $ANTLR start "WS" - public final void mWS() throws RecognitionException { - try { - int _type = WS; - int _channel = DEFAULT_TOKEN_CHANNEL; - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:140:5: ( ( ' ' | '\\n' | '\\r' )+ ) - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:140:7: ( ' ' | '\\n' | '\\r' )+ - { - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:140:7: ( ' ' | '\\n' | '\\r' )+ - int cnt4=0; - loop4: - while (true) { - int alt4=2; - int LA4_0 = input.LA(1); - if ( (LA4_0=='\n'||LA4_0=='\r'||LA4_0==' ') ) { - alt4=1; - } - - switch (alt4) { - case 1 : - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g: - { - if ( input.LA(1)=='\n'||input.LA(1)=='\r'||input.LA(1)==' ' ) { - input.consume(); - } - else { - MismatchedSetException mse = new MismatchedSetException(null,input); - recover(mse); - throw mse; - } - } - break; - - default : - if ( cnt4 >= 1 ) break loop4; - EarlyExitException eee = new EarlyExitException(4, input); - throw eee; - } - cnt4++; - } - - _channel=HIDDEN; - } - - state.type = _type; - state.channel = _channel; - } - finally { - // do for sure before leaving - } - } - // $ANTLR end "WS" - - @Override - public void mTokens() throws RecognitionException { - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:1:8: ( T__20 | T__21 | T__22 | T__23 | T__24 | T__25 | T__26 | T__27 | T__28 | T__29 | URLSTRING | STRING | WS ) - int alt5=13; - switch ( input.LA(1) ) { - case '(': - { - alt5=1; - } - break; - case ')': - { - alt5=2; - } - break; - case ',': - { - alt5=3; - } - break; - case '.': - { - int LA5_4 = input.LA(2); - if ( (LA5_4=='#'||(LA5_4 >= '-' && LA5_4 <= '9')||(LA5_4 >= 'A' && LA5_4 <= 'Z')||LA5_4=='_'||(LA5_4 >= 'a' && LA5_4 <= 'z')) ) { - alt5=12; - } - - else { - alt5=4; - } - - } - break; - case ':': - { - alt5=5; - } - break; - case '<': - { - int LA5_6 = input.LA(2); - if ( (LA5_6=='-') ) { - alt5=7; - } - - else { - alt5=6; - } - - } - break; - case '>': - { - alt5=8; - } - break; - case '?': - { - alt5=9; - } - break; - case 'p': - { - int LA5_9 = input.LA(2); - if ( (LA5_9=='r') ) { - int LA5_17 = input.LA(3); - if ( (LA5_17=='e') ) { - int LA5_20 = input.LA(4); - if ( (LA5_20=='f') ) { - int LA5_23 = input.LA(5); - if ( (LA5_23=='i') ) { - int LA5_26 = input.LA(6); - if ( (LA5_26=='x') ) { - int LA5_28 = input.LA(7); - if ( (LA5_28=='#'||(LA5_28 >= '-' && LA5_28 <= '9')||(LA5_28 >= 'A' && LA5_28 <= 'Z')||LA5_28=='_'||(LA5_28 >= 'a' && LA5_28 <= 'z')) ) { - alt5=12; - } - - else { - alt5=10; - } - - } - - else { - alt5=12; - } - - } - - else { - alt5=12; - } - - } - - else { - alt5=12; - } - - } - - else { - alt5=12; - } - - } - - else { - alt5=12; - } - - } - break; - case 'h': - { - int LA5_10 = input.LA(2); - if ( (LA5_10=='t') ) { - int LA5_18 = input.LA(3); - if ( (LA5_18=='t') ) { - int LA5_21 = input.LA(4); - if ( (LA5_21=='p') ) { - int LA5_24 = input.LA(5); - if ( (LA5_24==':') ) { - alt5=11; - } - - else { - alt5=12; - } - - } - - else { - alt5=12; - } - - } - - else { - alt5=12; - } - - } - - else { - alt5=12; - } - - } - break; - case 'f': - { - int LA5_11 = input.LA(2); - if ( (LA5_11=='i') ) { - int LA5_19 = input.LA(3); - if ( (LA5_19=='l') ) { - int LA5_22 = input.LA(4); - if ( (LA5_22=='e') ) { - int LA5_25 = input.LA(5); - if ( (LA5_25==':') ) { - alt5=11; - } - - else { - alt5=12; - } - - } - - else { - alt5=12; - } - - } - - else { - alt5=12; - } - - } - - else { - alt5=12; - } - - } - break; - case '#': - case '-': - case '/': - case '0': - case '1': - case '2': - case '3': - case '4': - case '5': - case '6': - case '7': - case '8': - case '9': - case 'A': - case 'B': - case 'C': - case 'D': - case 'E': - case 'F': - case 'G': - case 'H': - case 'I': - case 'J': - case 'K': - case 'L': - case 'M': - case 'N': - case 'O': - case 'P': - case 'Q': - case 'R': - case 'S': - case 'T': - case 'U': - case 'V': - case 'W': - case 'X': - case 'Y': - case 'Z': - case '_': - case 'a': - case 'b': - case 'c': - case 'd': - case 'e': - case 'g': - case 'i': - case 'j': - case 'k': - case 'l': - case 'm': - case 'n': - case 'o': - case 'q': - case 'r': - case 's': - case 't': - case 'u': - case 'v': - case 'w': - case 'x': - case 'y': - case 'z': - { - alt5=12; - } - break; - case '\n': - case '\r': - case ' ': - { - alt5=13; - } - break; - default: - NoViableAltException nvae = - new NoViableAltException("", 5, 0, input); - throw nvae; - } - switch (alt5) { - case 1 : - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:1:10: T__20 - { - mT__20(); - - } - break; - case 2 : - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:1:16: T__21 - { - mT__21(); - - } - break; - case 3 : - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:1:22: T__22 - { - mT__22(); - - } - break; - case 4 : - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:1:28: T__23 - { - mT__23(); - - } - break; - case 5 : - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:1:34: T__24 - { - mT__24(); - - } - break; - case 6 : - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:1:40: T__25 - { - mT__25(); - - } - break; - case 7 : - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:1:46: T__26 - { - mT__26(); - - } - break; - case 8 : - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:1:52: T__27 - { - mT__27(); - - } - break; - case 9 : - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:1:58: T__28 - { - mT__28(); - - } - break; - case 10 : - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:1:64: T__29 - { - mT__29(); - - } - break; - case 11 : - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:1:70: URLSTRING - { - mURLSTRING(); - - } - break; - case 12 : - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:1:80: STRING - { - mSTRING(); - - } - break; - case 13 : - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:1:87: WS - { - mWS(); - - } - break; - - } - } - - - -} diff --git a/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQueryParser.java b/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQueryParser.java deleted file mode 100644 index b934e30..0000000 --- a/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQueryParser.java +++ /dev/null @@ -1,1611 +0,0 @@ -// $ANTLR 3.5 /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g 2013-12-13 14:41:34 - -package org.semanticweb.karma2.model.cqparser; - -import java.io.File; -import java.io.FileInputStream; -import java.io.InputStream; -import java.io.FileNotFoundException; -import java.io.IOException; -import java.util.Set; - -import org.semanticweb.karma2.model.ConjunctiveQuery; - - -import org.semanticweb.karma2.model.cqparser.ConjunctiveQueryWalker; -import org.semanticweb.karma2.exception.IllegalInputQueryException; - - - - - -import org.antlr.runtime.*; -import java.util.Stack; -import java.util.List; -import java.util.ArrayList; - -import org.antlr.runtime.tree.*; - - -@SuppressWarnings("all") -public class ConjunctiveQueryParser extends Parser { - public static final String[] tokenNames = new String[] { - "", "", "", "", "ATOM", "ATOM_LIST", "CONSTANT", - "EXPRESSION", "HEADATOM", "ID", "PREDICATE", "PREFIX", "PREFIX_LIST", - "RULE", "SCONSTANT", "STRING", "TERM_LIST", "URLSTRING", "VARIABLE", "WS", - "'('", "')'", "','", "'.'", "':'", "'<'", "'<-'", "'>'", "'?'", "'prefix'" - }; - public static final int EOF=-1; - public static final int T__20=20; - public static final int T__21=21; - public static final int T__22=22; - public static final int T__23=23; - public static final int T__24=24; - public static final int T__25=25; - public static final int T__26=26; - public static final int T__27=27; - public static final int T__28=28; - public static final int T__29=29; - public static final int ATOM=4; - public static final int ATOM_LIST=5; - public static final int CONSTANT=6; - public static final int EXPRESSION=7; - public static final int HEADATOM=8; - public static final int ID=9; - public static final int PREDICATE=10; - public static final int PREFIX=11; - public static final int PREFIX_LIST=12; - public static final int RULE=13; - public static final int SCONSTANT=14; - public static final int STRING=15; - public static final int TERM_LIST=16; - public static final int URLSTRING=17; - public static final int VARIABLE=18; - public static final int WS=19; - - // delegates - public Parser[] getDelegates() { - return new Parser[] {}; - } - - // delegators - - - public ConjunctiveQueryParser(TokenStream input) { - this(input, new RecognizerSharedState()); - } - public ConjunctiveQueryParser(TokenStream input, RecognizerSharedState state) { - super(input, state); - } - - protected TreeAdaptor adaptor = new CommonTreeAdaptor(); - - public void setTreeAdaptor(TreeAdaptor adaptor) { - this.adaptor = adaptor; - } - public TreeAdaptor getTreeAdaptor() { - return adaptor; - } - @Override public String[] getTokenNames() { return ConjunctiveQueryParser.tokenNames; } - @Override public String getGrammarFileName() { return "/home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g"; } - - - - - - public ConjunctiveQueryParser(String string) - throws FileNotFoundException, IOException { - this(new CommonTokenStream(new ConjunctiveQueryLexer(new ANTLRStringStream(string)))); - } - - public ConjunctiveQueryParser(InputStream istream) throws FileNotFoundException, IOException { - this(new CommonTokenStream(new ConjunctiveQueryLexer(new ANTLRInputStream(istream)))); - - } - - - public ConjunctiveQueryParser(File file) throws FileNotFoundException, IOException { - this(new CommonTokenStream(new ConjunctiveQueryLexer(new ANTLRInputStream(new FileInputStream(file))))); - - } - - public ConjunctiveQuery parse() throws IllegalInputQueryException { - cq_return r = null; - try { - r = cq(); - } catch (RecognitionException e) { - e.printStackTrace(); - } - CommonTree t = (CommonTree) r.getTree(); - - CommonTreeNodeStream nodes = new CommonTreeNodeStream(t); - // AST nodes have payloads that point into token stream - nodes.setTokenStream(input); - - - ConjunctiveQueryWalker walker = new ConjunctiveQueryWalker(); - - ConjunctiveQuery cq = walker.walkExpressionNode(t); - return cq; - } - - public ConjunctiveQuery parseCQ() throws IllegalInputQueryException { - return parse(); - } - - - - public static class cq_return extends ParserRuleReturnScope { - Object tree; - @Override - public Object getTree() { return tree; } - }; - - - // $ANTLR start "cq" - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:97:1: cq : prefixlist rulebody -> ^( EXPRESSION prefixlist rulebody ) ; - public final ConjunctiveQueryParser.cq_return cq() throws RecognitionException { - ConjunctiveQueryParser.cq_return retval = new ConjunctiveQueryParser.cq_return(); - retval.start = input.LT(1); - - Object root_0 = null; - - ParserRuleReturnScope prefixlist1 =null; - ParserRuleReturnScope rulebody2 =null; - - RewriteRuleSubtreeStream stream_rulebody=new RewriteRuleSubtreeStream(adaptor,"rule rulebody"); - RewriteRuleSubtreeStream stream_prefixlist=new RewriteRuleSubtreeStream(adaptor,"rule prefixlist"); - - try { - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:97:4: ( prefixlist rulebody -> ^( EXPRESSION prefixlist rulebody ) ) - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:98:3: prefixlist rulebody - { - pushFollow(FOLLOW_prefixlist_in_cq132); - prefixlist1=prefixlist(); - state._fsp--; - - stream_prefixlist.add(prefixlist1.getTree()); - pushFollow(FOLLOW_rulebody_in_cq134); - rulebody2=rulebody(); - state._fsp--; - - stream_rulebody.add(rulebody2.getTree()); - // AST REWRITE - // elements: rulebody, prefixlist - // token labels: - // rule labels: retval - // token list labels: - // rule list labels: - // wildcard labels: - retval.tree = root_0; - RewriteRuleSubtreeStream stream_retval=new RewriteRuleSubtreeStream(adaptor,"rule retval",retval!=null?retval.getTree():null); - - root_0 = (Object)adaptor.nil(); - // 98:23: -> ^( EXPRESSION prefixlist rulebody ) - { - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:98:26: ^( EXPRESSION prefixlist rulebody ) - { - Object root_1 = (Object)adaptor.nil(); - root_1 = (Object)adaptor.becomeRoot((Object)adaptor.create(EXPRESSION, "EXPRESSION"), root_1); - adaptor.addChild(root_1, stream_prefixlist.nextTree()); - adaptor.addChild(root_1, stream_rulebody.nextTree()); - adaptor.addChild(root_0, root_1); - } - - } - - - retval.tree = root_0; - - } - - retval.stop = input.LT(-1); - - retval.tree = (Object)adaptor.rulePostProcessing(root_0); - adaptor.setTokenBoundaries(retval.tree, retval.start, retval.stop); - - } - catch (RecognitionException re) { - reportError(re); - recover(input,re); - retval.tree = (Object)adaptor.errorNode(input, retval.start, input.LT(-1), re); - } - finally { - // do for sure before leaving - } - return retval; - } - // $ANTLR end "cq" - - - public static class prefixlist_return extends ParserRuleReturnScope { - Object tree; - @Override - public Object getTree() { return tree; } - }; - - - // $ANTLR start "prefixlist" - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:100:1: prefixlist : prefix ( ',' prefix )* -> ^( PREFIX_LIST ( prefix )* ) ; - public final ConjunctiveQueryParser.prefixlist_return prefixlist() throws RecognitionException { - ConjunctiveQueryParser.prefixlist_return retval = new ConjunctiveQueryParser.prefixlist_return(); - retval.start = input.LT(1); - - Object root_0 = null; - - Token char_literal4=null; - ParserRuleReturnScope prefix3 =null; - ParserRuleReturnScope prefix5 =null; - - Object char_literal4_tree=null; - RewriteRuleTokenStream stream_22=new RewriteRuleTokenStream(adaptor,"token 22"); - RewriteRuleSubtreeStream stream_prefix=new RewriteRuleSubtreeStream(adaptor,"rule prefix"); - - try { - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:100:11: ( prefix ( ',' prefix )* -> ^( PREFIX_LIST ( prefix )* ) ) - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:101:3: prefix ( ',' prefix )* - { - pushFollow(FOLLOW_prefix_in_prefixlist154); - prefix3=prefix(); - state._fsp--; - - stream_prefix.add(prefix3.getTree()); - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:101:10: ( ',' prefix )* - loop1: - while (true) { - int alt1=2; - int LA1_0 = input.LA(1); - if ( (LA1_0==22) ) { - alt1=1; - } - - switch (alt1) { - case 1 : - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:101:11: ',' prefix - { - char_literal4=(Token)match(input,22,FOLLOW_22_in_prefixlist157); - stream_22.add(char_literal4); - - pushFollow(FOLLOW_prefix_in_prefixlist159); - prefix5=prefix(); - state._fsp--; - - stream_prefix.add(prefix5.getTree()); - } - break; - - default : - break loop1; - } - } - - // AST REWRITE - // elements: prefix - // token labels: - // rule labels: retval - // token list labels: - // rule list labels: - // wildcard labels: - retval.tree = root_0; - RewriteRuleSubtreeStream stream_retval=new RewriteRuleSubtreeStream(adaptor,"rule retval",retval!=null?retval.getTree():null); - - root_0 = (Object)adaptor.nil(); - // 101:24: -> ^( PREFIX_LIST ( prefix )* ) - { - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:101:27: ^( PREFIX_LIST ( prefix )* ) - { - Object root_1 = (Object)adaptor.nil(); - root_1 = (Object)adaptor.becomeRoot((Object)adaptor.create(PREFIX_LIST, "PREFIX_LIST"), root_1); - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:101:41: ( prefix )* - while ( stream_prefix.hasNext() ) { - adaptor.addChild(root_1, stream_prefix.nextTree()); - } - stream_prefix.reset(); - - adaptor.addChild(root_0, root_1); - } - - } - - - retval.tree = root_0; - - } - - retval.stop = input.LT(-1); - - retval.tree = (Object)adaptor.rulePostProcessing(root_0); - adaptor.setTokenBoundaries(retval.tree, retval.start, retval.stop); - - } - catch (RecognitionException re) { - reportError(re); - recover(input,re); - retval.tree = (Object)adaptor.errorNode(input, retval.start, input.LT(-1), re); - } - finally { - // do for sure before leaving - } - return retval; - } - // $ANTLR end "prefixlist" - - - public static class prefix_return extends ParserRuleReturnScope { - Object tree; - @Override - public Object getTree() { return tree; } - }; - - - // $ANTLR start "prefix" - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:103:1: prefix : 'prefix' id ':' '<' url '>' -> ^( PREFIX id url ) ; - public final ConjunctiveQueryParser.prefix_return prefix() throws RecognitionException { - ConjunctiveQueryParser.prefix_return retval = new ConjunctiveQueryParser.prefix_return(); - retval.start = input.LT(1); - - Object root_0 = null; - - Token string_literal6=null; - Token char_literal8=null; - Token char_literal9=null; - Token char_literal11=null; - ParserRuleReturnScope id7 =null; - ParserRuleReturnScope url10 =null; - - Object string_literal6_tree=null; - Object char_literal8_tree=null; - Object char_literal9_tree=null; - Object char_literal11_tree=null; - RewriteRuleTokenStream stream_24=new RewriteRuleTokenStream(adaptor,"token 24"); - RewriteRuleTokenStream stream_25=new RewriteRuleTokenStream(adaptor,"token 25"); - RewriteRuleTokenStream stream_27=new RewriteRuleTokenStream(adaptor,"token 27"); - RewriteRuleTokenStream stream_29=new RewriteRuleTokenStream(adaptor,"token 29"); - RewriteRuleSubtreeStream stream_id=new RewriteRuleSubtreeStream(adaptor,"rule id"); - RewriteRuleSubtreeStream stream_url=new RewriteRuleSubtreeStream(adaptor,"rule url"); - - try { - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:103:7: ( 'prefix' id ':' '<' url '>' -> ^( PREFIX id url ) ) - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:104:3: 'prefix' id ':' '<' url '>' - { - string_literal6=(Token)match(input,29,FOLLOW_29_in_prefix181); - stream_29.add(string_literal6); - - pushFollow(FOLLOW_id_in_prefix183); - id7=id(); - state._fsp--; - - stream_id.add(id7.getTree()); - char_literal8=(Token)match(input,24,FOLLOW_24_in_prefix185); - stream_24.add(char_literal8); - - char_literal9=(Token)match(input,25,FOLLOW_25_in_prefix187); - stream_25.add(char_literal9); - - pushFollow(FOLLOW_url_in_prefix189); - url10=url(); - state._fsp--; - - stream_url.add(url10.getTree()); - char_literal11=(Token)match(input,27,FOLLOW_27_in_prefix191); - stream_27.add(char_literal11); - - // AST REWRITE - // elements: id, url - // token labels: - // rule labels: retval - // token list labels: - // rule list labels: - // wildcard labels: - retval.tree = root_0; - RewriteRuleSubtreeStream stream_retval=new RewriteRuleSubtreeStream(adaptor,"rule retval",retval!=null?retval.getTree():null); - - root_0 = (Object)adaptor.nil(); - // 104:31: -> ^( PREFIX id url ) - { - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:104:34: ^( PREFIX id url ) - { - Object root_1 = (Object)adaptor.nil(); - root_1 = (Object)adaptor.becomeRoot((Object)adaptor.create(PREFIX, "PREFIX"), root_1); - adaptor.addChild(root_1, stream_id.nextTree()); - adaptor.addChild(root_1, stream_url.nextTree()); - adaptor.addChild(root_0, root_1); - } - - } - - - retval.tree = root_0; - - } - - retval.stop = input.LT(-1); - - retval.tree = (Object)adaptor.rulePostProcessing(root_0); - adaptor.setTokenBoundaries(retval.tree, retval.start, retval.stop); - - } - catch (RecognitionException re) { - reportError(re); - recover(input,re); - retval.tree = (Object)adaptor.errorNode(input, retval.start, input.LT(-1), re); - } - finally { - // do for sure before leaving - } - return retval; - } - // $ANTLR end "prefix" - - - public static class rulebody_return extends ParserRuleReturnScope { - Object tree; - @Override - public Object getTree() { return tree; } - }; - - - // $ANTLR start "rulebody" - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:107:1: rulebody : headatom ( '<-' | ':' ) body ( '.' )? -> ^( RULE headatom body ) ; - public final ConjunctiveQueryParser.rulebody_return rulebody() throws RecognitionException { - ConjunctiveQueryParser.rulebody_return retval = new ConjunctiveQueryParser.rulebody_return(); - retval.start = input.LT(1); - - Object root_0 = null; - - Token string_literal13=null; - Token char_literal14=null; - Token char_literal16=null; - ParserRuleReturnScope headatom12 =null; - ParserRuleReturnScope body15 =null; - - Object string_literal13_tree=null; - Object char_literal14_tree=null; - Object char_literal16_tree=null; - RewriteRuleTokenStream stream_23=new RewriteRuleTokenStream(adaptor,"token 23"); - RewriteRuleTokenStream stream_24=new RewriteRuleTokenStream(adaptor,"token 24"); - RewriteRuleTokenStream stream_26=new RewriteRuleTokenStream(adaptor,"token 26"); - RewriteRuleSubtreeStream stream_headatom=new RewriteRuleSubtreeStream(adaptor,"rule headatom"); - RewriteRuleSubtreeStream stream_body=new RewriteRuleSubtreeStream(adaptor,"rule body"); - - try { - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:107:9: ( headatom ( '<-' | ':' ) body ( '.' )? -> ^( RULE headatom body ) ) - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:108:3: headatom ( '<-' | ':' ) body ( '.' )? - { - pushFollow(FOLLOW_headatom_in_rulebody213); - headatom12=headatom(); - state._fsp--; - - stream_headatom.add(headatom12.getTree()); - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:108:12: ( '<-' | ':' ) - int alt2=2; - int LA2_0 = input.LA(1); - if ( (LA2_0==26) ) { - alt2=1; - } - else if ( (LA2_0==24) ) { - alt2=2; - } - - else { - NoViableAltException nvae = - new NoViableAltException("", 2, 0, input); - throw nvae; - } - - switch (alt2) { - case 1 : - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:108:13: '<-' - { - string_literal13=(Token)match(input,26,FOLLOW_26_in_rulebody216); - stream_26.add(string_literal13); - - } - break; - case 2 : - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:108:18: ':' - { - char_literal14=(Token)match(input,24,FOLLOW_24_in_rulebody218); - stream_24.add(char_literal14); - - } - break; - - } - - pushFollow(FOLLOW_body_in_rulebody221); - body15=body(); - state._fsp--; - - stream_body.add(body15.getTree()); - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:108:28: ( '.' )? - int alt3=2; - int LA3_0 = input.LA(1); - if ( (LA3_0==23) ) { - alt3=1; - } - switch (alt3) { - case 1 : - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:108:28: '.' - { - char_literal16=(Token)match(input,23,FOLLOW_23_in_rulebody223); - stream_23.add(char_literal16); - - } - break; - - } - - // AST REWRITE - // elements: headatom, body - // token labels: - // rule labels: retval - // token list labels: - // rule list labels: - // wildcard labels: - retval.tree = root_0; - RewriteRuleSubtreeStream stream_retval=new RewriteRuleSubtreeStream(adaptor,"rule retval",retval!=null?retval.getTree():null); - - root_0 = (Object)adaptor.nil(); - // 108:34: -> ^( RULE headatom body ) - { - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:108:37: ^( RULE headatom body ) - { - Object root_1 = (Object)adaptor.nil(); - root_1 = (Object)adaptor.becomeRoot((Object)adaptor.create(RULE, "RULE"), root_1); - adaptor.addChild(root_1, stream_headatom.nextTree()); - adaptor.addChild(root_1, stream_body.nextTree()); - adaptor.addChild(root_0, root_1); - } - - } - - - retval.tree = root_0; - - } - - retval.stop = input.LT(-1); - - retval.tree = (Object)adaptor.rulePostProcessing(root_0); - adaptor.setTokenBoundaries(retval.tree, retval.start, retval.stop); - - } - catch (RecognitionException re) { - reportError(re); - recover(input,re); - retval.tree = (Object)adaptor.errorNode(input, retval.start, input.LT(-1), re); - } - finally { - // do for sure before leaving - } - return retval; - } - // $ANTLR end "rulebody" - - - public static class body_return extends ParserRuleReturnScope { - Object tree; - @Override - public Object getTree() { return tree; } - }; - - - // $ANTLR start "body" - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:110:1: body : atom ( ',' atom )* -> ^( ATOM_LIST ( atom )* ) ; - public final ConjunctiveQueryParser.body_return body() throws RecognitionException { - ConjunctiveQueryParser.body_return retval = new ConjunctiveQueryParser.body_return(); - retval.start = input.LT(1); - - Object root_0 = null; - - Token char_literal18=null; - ParserRuleReturnScope atom17 =null; - ParserRuleReturnScope atom19 =null; - - Object char_literal18_tree=null; - RewriteRuleTokenStream stream_22=new RewriteRuleTokenStream(adaptor,"token 22"); - RewriteRuleSubtreeStream stream_atom=new RewriteRuleSubtreeStream(adaptor,"rule atom"); - - try { - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:110:5: ( atom ( ',' atom )* -> ^( ATOM_LIST ( atom )* ) ) - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:111:3: atom ( ',' atom )* - { - pushFollow(FOLLOW_atom_in_body245); - atom17=atom(); - state._fsp--; - - stream_atom.add(atom17.getTree()); - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:111:8: ( ',' atom )* - loop4: - while (true) { - int alt4=2; - int LA4_0 = input.LA(1); - if ( (LA4_0==22) ) { - alt4=1; - } - - switch (alt4) { - case 1 : - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:111:9: ',' atom - { - char_literal18=(Token)match(input,22,FOLLOW_22_in_body248); - stream_22.add(char_literal18); - - pushFollow(FOLLOW_atom_in_body250); - atom19=atom(); - state._fsp--; - - stream_atom.add(atom19.getTree()); - } - break; - - default : - break loop4; - } - } - - // AST REWRITE - // elements: atom - // token labels: - // rule labels: retval - // token list labels: - // rule list labels: - // wildcard labels: - retval.tree = root_0; - RewriteRuleSubtreeStream stream_retval=new RewriteRuleSubtreeStream(adaptor,"rule retval",retval!=null?retval.getTree():null); - - root_0 = (Object)adaptor.nil(); - // 111:20: -> ^( ATOM_LIST ( atom )* ) - { - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:111:23: ^( ATOM_LIST ( atom )* ) - { - Object root_1 = (Object)adaptor.nil(); - root_1 = (Object)adaptor.becomeRoot((Object)adaptor.create(ATOM_LIST, "ATOM_LIST"), root_1); - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:111:35: ( atom )* - while ( stream_atom.hasNext() ) { - adaptor.addChild(root_1, stream_atom.nextTree()); - } - stream_atom.reset(); - - adaptor.addChild(root_0, root_1); - } - - } - - - retval.tree = root_0; - - } - - retval.stop = input.LT(-1); - - retval.tree = (Object)adaptor.rulePostProcessing(root_0); - adaptor.setTokenBoundaries(retval.tree, retval.start, retval.stop); - - } - catch (RecognitionException re) { - reportError(re); - recover(input,re); - retval.tree = (Object)adaptor.errorNode(input, retval.start, input.LT(-1), re); - } - finally { - // do for sure before leaving - } - return retval; - } - // $ANTLR end "body" - - - public static class headatom_return extends ParserRuleReturnScope { - Object tree; - @Override - public Object getTree() { return tree; } - }; - - - // $ANTLR start "headatom" - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:114:1: headatom : id '(' term ( ',' term )* ')' -> ^( HEADATOM ( term )* ) ; - public final ConjunctiveQueryParser.headatom_return headatom() throws RecognitionException { - ConjunctiveQueryParser.headatom_return retval = new ConjunctiveQueryParser.headatom_return(); - retval.start = input.LT(1); - - Object root_0 = null; - - Token char_literal21=null; - Token char_literal23=null; - Token char_literal25=null; - ParserRuleReturnScope id20 =null; - ParserRuleReturnScope term22 =null; - ParserRuleReturnScope term24 =null; - - Object char_literal21_tree=null; - Object char_literal23_tree=null; - Object char_literal25_tree=null; - RewriteRuleTokenStream stream_21=new RewriteRuleTokenStream(adaptor,"token 21"); - RewriteRuleTokenStream stream_20=new RewriteRuleTokenStream(adaptor,"token 20"); - RewriteRuleTokenStream stream_22=new RewriteRuleTokenStream(adaptor,"token 22"); - RewriteRuleSubtreeStream stream_id=new RewriteRuleSubtreeStream(adaptor,"rule id"); - RewriteRuleSubtreeStream stream_term=new RewriteRuleSubtreeStream(adaptor,"rule term"); - - try { - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:114:9: ( id '(' term ( ',' term )* ')' -> ^( HEADATOM ( term )* ) ) - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:115:3: id '(' term ( ',' term )* ')' - { - pushFollow(FOLLOW_id_in_headatom276); - id20=id(); - state._fsp--; - - stream_id.add(id20.getTree()); - char_literal21=(Token)match(input,20,FOLLOW_20_in_headatom278); - stream_20.add(char_literal21); - - pushFollow(FOLLOW_term_in_headatom280); - term22=term(); - state._fsp--; - - stream_term.add(term22.getTree()); - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:115:15: ( ',' term )* - loop5: - while (true) { - int alt5=2; - int LA5_0 = input.LA(1); - if ( (LA5_0==22) ) { - alt5=1; - } - - switch (alt5) { - case 1 : - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:115:16: ',' term - { - char_literal23=(Token)match(input,22,FOLLOW_22_in_headatom283); - stream_22.add(char_literal23); - - pushFollow(FOLLOW_term_in_headatom285); - term24=term(); - state._fsp--; - - stream_term.add(term24.getTree()); - } - break; - - default : - break loop5; - } - } - - char_literal25=(Token)match(input,21,FOLLOW_21_in_headatom289); - stream_21.add(char_literal25); - - // AST REWRITE - // elements: term - // token labels: - // rule labels: retval - // token list labels: - // rule list labels: - // wildcard labels: - retval.tree = root_0; - RewriteRuleSubtreeStream stream_retval=new RewriteRuleSubtreeStream(adaptor,"rule retval",retval!=null?retval.getTree():null); - - root_0 = (Object)adaptor.nil(); - // 115:31: -> ^( HEADATOM ( term )* ) - { - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:115:34: ^( HEADATOM ( term )* ) - { - Object root_1 = (Object)adaptor.nil(); - root_1 = (Object)adaptor.becomeRoot((Object)adaptor.create(HEADATOM, "HEADATOM"), root_1); - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:115:45: ( term )* - while ( stream_term.hasNext() ) { - adaptor.addChild(root_1, stream_term.nextTree()); - } - stream_term.reset(); - - adaptor.addChild(root_0, root_1); - } - - } - - - retval.tree = root_0; - - } - - retval.stop = input.LT(-1); - - retval.tree = (Object)adaptor.rulePostProcessing(root_0); - adaptor.setTokenBoundaries(retval.tree, retval.start, retval.stop); - - } - catch (RecognitionException re) { - reportError(re); - recover(input,re); - retval.tree = (Object)adaptor.errorNode(input, retval.start, input.LT(-1), re); - } - finally { - // do for sure before leaving - } - return retval; - } - // $ANTLR end "headatom" - - - public static class atom_return extends ParserRuleReturnScope { - Object tree; - @Override - public Object getTree() { return tree; } - }; - - - // $ANTLR start "atom" - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:117:1: atom : compositeid '(' term ( ',' term )* ')' -> ^( ATOM compositeid ( term )* ) ; - public final ConjunctiveQueryParser.atom_return atom() throws RecognitionException { - ConjunctiveQueryParser.atom_return retval = new ConjunctiveQueryParser.atom_return(); - retval.start = input.LT(1); - - Object root_0 = null; - - Token char_literal27=null; - Token char_literal29=null; - Token char_literal31=null; - ParserRuleReturnScope compositeid26 =null; - ParserRuleReturnScope term28 =null; - ParserRuleReturnScope term30 =null; - - Object char_literal27_tree=null; - Object char_literal29_tree=null; - Object char_literal31_tree=null; - RewriteRuleTokenStream stream_21=new RewriteRuleTokenStream(adaptor,"token 21"); - RewriteRuleTokenStream stream_20=new RewriteRuleTokenStream(adaptor,"token 20"); - RewriteRuleTokenStream stream_22=new RewriteRuleTokenStream(adaptor,"token 22"); - RewriteRuleSubtreeStream stream_term=new RewriteRuleSubtreeStream(adaptor,"rule term"); - RewriteRuleSubtreeStream stream_compositeid=new RewriteRuleSubtreeStream(adaptor,"rule compositeid"); - - try { - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:117:5: ( compositeid '(' term ( ',' term )* ')' -> ^( ATOM compositeid ( term )* ) ) - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:118:3: compositeid '(' term ( ',' term )* ')' - { - pushFollow(FOLLOW_compositeid_in_atom309); - compositeid26=compositeid(); - state._fsp--; - - stream_compositeid.add(compositeid26.getTree()); - char_literal27=(Token)match(input,20,FOLLOW_20_in_atom311); - stream_20.add(char_literal27); - - pushFollow(FOLLOW_term_in_atom313); - term28=term(); - state._fsp--; - - stream_term.add(term28.getTree()); - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:118:24: ( ',' term )* - loop6: - while (true) { - int alt6=2; - int LA6_0 = input.LA(1); - if ( (LA6_0==22) ) { - alt6=1; - } - - switch (alt6) { - case 1 : - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:118:25: ',' term - { - char_literal29=(Token)match(input,22,FOLLOW_22_in_atom316); - stream_22.add(char_literal29); - - pushFollow(FOLLOW_term_in_atom318); - term30=term(); - state._fsp--; - - stream_term.add(term30.getTree()); - } - break; - - default : - break loop6; - } - } - - char_literal31=(Token)match(input,21,FOLLOW_21_in_atom322); - stream_21.add(char_literal31); - - // AST REWRITE - // elements: term, compositeid - // token labels: - // rule labels: retval - // token list labels: - // rule list labels: - // wildcard labels: - retval.tree = root_0; - RewriteRuleSubtreeStream stream_retval=new RewriteRuleSubtreeStream(adaptor,"rule retval",retval!=null?retval.getTree():null); - - root_0 = (Object)adaptor.nil(); - // 118:40: -> ^( ATOM compositeid ( term )* ) - { - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:118:43: ^( ATOM compositeid ( term )* ) - { - Object root_1 = (Object)adaptor.nil(); - root_1 = (Object)adaptor.becomeRoot((Object)adaptor.create(ATOM, "ATOM"), root_1); - adaptor.addChild(root_1, stream_compositeid.nextTree()); - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:118:62: ( term )* - while ( stream_term.hasNext() ) { - adaptor.addChild(root_1, stream_term.nextTree()); - } - stream_term.reset(); - - adaptor.addChild(root_0, root_1); - } - - } - - - retval.tree = root_0; - - } - - retval.stop = input.LT(-1); - - retval.tree = (Object)adaptor.rulePostProcessing(root_0); - adaptor.setTokenBoundaries(retval.tree, retval.start, retval.stop); - - } - catch (RecognitionException re) { - reportError(re); - recover(input,re); - retval.tree = (Object)adaptor.errorNode(input, retval.start, input.LT(-1), re); - } - finally { - // do for sure before leaving - } - return retval; - } - // $ANTLR end "atom" - - - public static class compositeid_return extends ParserRuleReturnScope { - Object tree; - @Override - public Object getTree() { return tree; } - }; - - - // $ANTLR start "compositeid" - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:120:1: compositeid : ( id ) ':' ( id ) -> ^( ID id id ) ; - public final ConjunctiveQueryParser.compositeid_return compositeid() throws RecognitionException { - ConjunctiveQueryParser.compositeid_return retval = new ConjunctiveQueryParser.compositeid_return(); - retval.start = input.LT(1); - - Object root_0 = null; - - Token char_literal33=null; - ParserRuleReturnScope id32 =null; - ParserRuleReturnScope id34 =null; - - Object char_literal33_tree=null; - RewriteRuleTokenStream stream_24=new RewriteRuleTokenStream(adaptor,"token 24"); - RewriteRuleSubtreeStream stream_id=new RewriteRuleSubtreeStream(adaptor,"rule id"); - - try { - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:120:12: ( ( id ) ':' ( id ) -> ^( ID id id ) ) - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:121:2: ( id ) ':' ( id ) - { - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:121:2: ( id ) - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:121:3: id - { - pushFollow(FOLLOW_id_in_compositeid342); - id32=id(); - state._fsp--; - - stream_id.add(id32.getTree()); - } - - char_literal33=(Token)match(input,24,FOLLOW_24_in_compositeid345); - stream_24.add(char_literal33); - - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:121:11: ( id ) - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:121:12: id - { - pushFollow(FOLLOW_id_in_compositeid348); - id34=id(); - state._fsp--; - - stream_id.add(id34.getTree()); - } - - // AST REWRITE - // elements: id, id - // token labels: - // rule labels: retval - // token list labels: - // rule list labels: - // wildcard labels: - retval.tree = root_0; - RewriteRuleSubtreeStream stream_retval=new RewriteRuleSubtreeStream(adaptor,"rule retval",retval!=null?retval.getTree():null); - - root_0 = (Object)adaptor.nil(); - // 121:16: -> ^( ID id id ) - { - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:121:19: ^( ID id id ) - { - Object root_1 = (Object)adaptor.nil(); - root_1 = (Object)adaptor.becomeRoot((Object)adaptor.create(ID, "ID"), root_1); - adaptor.addChild(root_1, stream_id.nextTree()); - adaptor.addChild(root_1, stream_id.nextTree()); - adaptor.addChild(root_0, root_1); - } - - } - - - retval.tree = root_0; - - } - - retval.stop = input.LT(-1); - - retval.tree = (Object)adaptor.rulePostProcessing(root_0); - adaptor.setTokenBoundaries(retval.tree, retval.start, retval.stop); - - } - catch (RecognitionException re) { - reportError(re); - recover(input,re); - retval.tree = (Object)adaptor.errorNode(input, retval.start, input.LT(-1), re); - } - finally { - // do for sure before leaving - } - return retval; - } - // $ANTLR end "compositeid" - - - public static class term_return extends ParserRuleReturnScope { - Object tree; - @Override - public Object getTree() { return tree; } - }; - - - // $ANTLR start "term" - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:124:1: term : ( variable -> ^( VARIABLE variable ) | simpleid -> ^( SCONSTANT simpleid ) | compositeid -> ^( CONSTANT compositeid ) ); - public final ConjunctiveQueryParser.term_return term() throws RecognitionException { - ConjunctiveQueryParser.term_return retval = new ConjunctiveQueryParser.term_return(); - retval.start = input.LT(1); - - Object root_0 = null; - - ParserRuleReturnScope variable35 =null; - ParserRuleReturnScope simpleid36 =null; - ParserRuleReturnScope compositeid37 =null; - - RewriteRuleSubtreeStream stream_simpleid=new RewriteRuleSubtreeStream(adaptor,"rule simpleid"); - RewriteRuleSubtreeStream stream_compositeid=new RewriteRuleSubtreeStream(adaptor,"rule compositeid"); - RewriteRuleSubtreeStream stream_variable=new RewriteRuleSubtreeStream(adaptor,"rule variable"); - - try { - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:124:5: ( variable -> ^( VARIABLE variable ) | simpleid -> ^( SCONSTANT simpleid ) | compositeid -> ^( CONSTANT compositeid ) ) - int alt7=3; - switch ( input.LA(1) ) { - case 28: - { - alt7=1; - } - break; - case 25: - { - alt7=2; - } - break; - case STRING: - { - alt7=3; - } - break; - default: - NoViableAltException nvae = - new NoViableAltException("", 7, 0, input); - throw nvae; - } - switch (alt7) { - case 1 : - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:125:3: variable - { - pushFollow(FOLLOW_variable_in_term371); - variable35=variable(); - state._fsp--; - - stream_variable.add(variable35.getTree()); - // AST REWRITE - // elements: variable - // token labels: - // rule labels: retval - // token list labels: - // rule list labels: - // wildcard labels: - retval.tree = root_0; - RewriteRuleSubtreeStream stream_retval=new RewriteRuleSubtreeStream(adaptor,"rule retval",retval!=null?retval.getTree():null); - - root_0 = (Object)adaptor.nil(); - // 125:12: -> ^( VARIABLE variable ) - { - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:125:15: ^( VARIABLE variable ) - { - Object root_1 = (Object)adaptor.nil(); - root_1 = (Object)adaptor.becomeRoot((Object)adaptor.create(VARIABLE, "VARIABLE"), root_1); - adaptor.addChild(root_1, stream_variable.nextTree()); - adaptor.addChild(root_0, root_1); - } - - } - - - retval.tree = root_0; - - } - break; - case 2 : - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:126:5: simpleid - { - pushFollow(FOLLOW_simpleid_in_term386); - simpleid36=simpleid(); - state._fsp--; - - stream_simpleid.add(simpleid36.getTree()); - // AST REWRITE - // elements: simpleid - // token labels: - // rule labels: retval - // token list labels: - // rule list labels: - // wildcard labels: - retval.tree = root_0; - RewriteRuleSubtreeStream stream_retval=new RewriteRuleSubtreeStream(adaptor,"rule retval",retval!=null?retval.getTree():null); - - root_0 = (Object)adaptor.nil(); - // 126:14: -> ^( SCONSTANT simpleid ) - { - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:126:17: ^( SCONSTANT simpleid ) - { - Object root_1 = (Object)adaptor.nil(); - root_1 = (Object)adaptor.becomeRoot((Object)adaptor.create(SCONSTANT, "SCONSTANT"), root_1); - adaptor.addChild(root_1, stream_simpleid.nextTree()); - adaptor.addChild(root_0, root_1); - } - - } - - - retval.tree = root_0; - - } - break; - case 3 : - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:127:5: compositeid - { - pushFollow(FOLLOW_compositeid_in_term400); - compositeid37=compositeid(); - state._fsp--; - - stream_compositeid.add(compositeid37.getTree()); - // AST REWRITE - // elements: compositeid - // token labels: - // rule labels: retval - // token list labels: - // rule list labels: - // wildcard labels: - retval.tree = root_0; - RewriteRuleSubtreeStream stream_retval=new RewriteRuleSubtreeStream(adaptor,"rule retval",retval!=null?retval.getTree():null); - - root_0 = (Object)adaptor.nil(); - // 127:17: -> ^( CONSTANT compositeid ) - { - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:127:20: ^( CONSTANT compositeid ) - { - Object root_1 = (Object)adaptor.nil(); - root_1 = (Object)adaptor.becomeRoot((Object)adaptor.create(CONSTANT, "CONSTANT"), root_1); - adaptor.addChild(root_1, stream_compositeid.nextTree()); - adaptor.addChild(root_0, root_1); - } - - } - - - retval.tree = root_0; - - } - break; - - } - retval.stop = input.LT(-1); - - retval.tree = (Object)adaptor.rulePostProcessing(root_0); - adaptor.setTokenBoundaries(retval.tree, retval.start, retval.stop); - - } - catch (RecognitionException re) { - reportError(re); - recover(input,re); - retval.tree = (Object)adaptor.errorNode(input, retval.start, input.LT(-1), re); - } - finally { - // do for sure before leaving - } - return retval; - } - // $ANTLR end "term" - - - public static class id_return extends ParserRuleReturnScope { - Object tree; - @Override - public Object getTree() { return tree; } - }; - - - // $ANTLR start "id" - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:129:1: id : ( STRING ) ; - public final ConjunctiveQueryParser.id_return id() throws RecognitionException { - ConjunctiveQueryParser.id_return retval = new ConjunctiveQueryParser.id_return(); - retval.start = input.LT(1); - - Object root_0 = null; - - Token STRING38=null; - - Object STRING38_tree=null; - - try { - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:129:4: ( ( STRING ) ) - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:129:6: ( STRING ) - { - root_0 = (Object)adaptor.nil(); - - - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:129:6: ( STRING ) - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:129:7: STRING - { - STRING38=(Token)match(input,STRING,FOLLOW_STRING_in_id417); - STRING38_tree = (Object)adaptor.create(STRING38); - adaptor.addChild(root_0, STRING38_tree); - - } - - } - - retval.stop = input.LT(-1); - - retval.tree = (Object)adaptor.rulePostProcessing(root_0); - adaptor.setTokenBoundaries(retval.tree, retval.start, retval.stop); - - } - catch (RecognitionException re) { - reportError(re); - recover(input,re); - retval.tree = (Object)adaptor.errorNode(input, retval.start, input.LT(-1), re); - } - finally { - // do for sure before leaving - } - return retval; - } - // $ANTLR end "id" - - - public static class simpleid_return extends ParserRuleReturnScope { - Object tree; - @Override - public Object getTree() { return tree; } - }; - - - // $ANTLR start "simpleid" - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:130:1: simpleid : ( '<' URLSTRING '>' | '<' STRING '>' ); - public final ConjunctiveQueryParser.simpleid_return simpleid() throws RecognitionException { - ConjunctiveQueryParser.simpleid_return retval = new ConjunctiveQueryParser.simpleid_return(); - retval.start = input.LT(1); - - Object root_0 = null; - - Token char_literal39=null; - Token URLSTRING40=null; - Token char_literal41=null; - Token char_literal42=null; - Token STRING43=null; - Token char_literal44=null; - - Object char_literal39_tree=null; - Object URLSTRING40_tree=null; - Object char_literal41_tree=null; - Object char_literal42_tree=null; - Object STRING43_tree=null; - Object char_literal44_tree=null; - - try { - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:130:10: ( '<' URLSTRING '>' | '<' STRING '>' ) - int alt8=2; - int LA8_0 = input.LA(1); - if ( (LA8_0==25) ) { - int LA8_1 = input.LA(2); - if ( (LA8_1==URLSTRING) ) { - alt8=1; - } - else if ( (LA8_1==STRING) ) { - alt8=2; - } - - else { - int nvaeMark = input.mark(); - try { - input.consume(); - NoViableAltException nvae = - new NoViableAltException("", 8, 1, input); - throw nvae; - } finally { - input.rewind(nvaeMark); - } - } - - } - - else { - NoViableAltException nvae = - new NoViableAltException("", 8, 0, input); - throw nvae; - } - - switch (alt8) { - case 1 : - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:130:12: '<' URLSTRING '>' - { - root_0 = (Object)adaptor.nil(); - - - char_literal39=(Token)match(input,25,FOLLOW_25_in_simpleid425); - char_literal39_tree = (Object)adaptor.create(char_literal39); - adaptor.addChild(root_0, char_literal39_tree); - - URLSTRING40=(Token)match(input,URLSTRING,FOLLOW_URLSTRING_in_simpleid427); - URLSTRING40_tree = (Object)adaptor.create(URLSTRING40); - adaptor.addChild(root_0, URLSTRING40_tree); - - char_literal41=(Token)match(input,27,FOLLOW_27_in_simpleid429); - char_literal41_tree = (Object)adaptor.create(char_literal41); - adaptor.addChild(root_0, char_literal41_tree); - - } - break; - case 2 : - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:130:32: '<' STRING '>' - { - root_0 = (Object)adaptor.nil(); - - - char_literal42=(Token)match(input,25,FOLLOW_25_in_simpleid433); - char_literal42_tree = (Object)adaptor.create(char_literal42); - adaptor.addChild(root_0, char_literal42_tree); - - STRING43=(Token)match(input,STRING,FOLLOW_STRING_in_simpleid435); - STRING43_tree = (Object)adaptor.create(STRING43); - adaptor.addChild(root_0, STRING43_tree); - - char_literal44=(Token)match(input,27,FOLLOW_27_in_simpleid437); - char_literal44_tree = (Object)adaptor.create(char_literal44); - adaptor.addChild(root_0, char_literal44_tree); - - } - break; - - } - retval.stop = input.LT(-1); - - retval.tree = (Object)adaptor.rulePostProcessing(root_0); - adaptor.setTokenBoundaries(retval.tree, retval.start, retval.stop); - - } - catch (RecognitionException re) { - reportError(re); - recover(input,re); - retval.tree = (Object)adaptor.errorNode(input, retval.start, input.LT(-1), re); - } - finally { - // do for sure before leaving - } - return retval; - } - // $ANTLR end "simpleid" - - - public static class variable_return extends ParserRuleReturnScope { - Object tree; - @Override - public Object getTree() { return tree; } - }; - - - // $ANTLR start "variable" - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:133:1: variable : ( '?' ) id -> ^( id ) ; - public final ConjunctiveQueryParser.variable_return variable() throws RecognitionException { - ConjunctiveQueryParser.variable_return retval = new ConjunctiveQueryParser.variable_return(); - retval.start = input.LT(1); - - Object root_0 = null; - - Token char_literal45=null; - ParserRuleReturnScope id46 =null; - - Object char_literal45_tree=null; - RewriteRuleTokenStream stream_28=new RewriteRuleTokenStream(adaptor,"token 28"); - RewriteRuleSubtreeStream stream_id=new RewriteRuleSubtreeStream(adaptor,"rule id"); - - try { - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:133:9: ( ( '?' ) id -> ^( id ) ) - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:134:3: ( '?' ) id - { - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:134:3: ( '?' ) - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:134:4: '?' - { - char_literal45=(Token)match(input,28,FOLLOW_28_in_variable448); - stream_28.add(char_literal45); - - } - - pushFollow(FOLLOW_id_in_variable451); - id46=id(); - state._fsp--; - - stream_id.add(id46.getTree()); - // AST REWRITE - // elements: id - // token labels: - // rule labels: retval - // token list labels: - // rule list labels: - // wildcard labels: - retval.tree = root_0; - RewriteRuleSubtreeStream stream_retval=new RewriteRuleSubtreeStream(adaptor,"rule retval",retval!=null?retval.getTree():null); - - root_0 = (Object)adaptor.nil(); - // 134:12: -> ^( id ) - { - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:134:15: ^( id ) - { - Object root_1 = (Object)adaptor.nil(); - root_1 = (Object)adaptor.becomeRoot(stream_id.nextNode(), root_1); - adaptor.addChild(root_0, root_1); - } - - } - - - retval.tree = root_0; - - } - - retval.stop = input.LT(-1); - - retval.tree = (Object)adaptor.rulePostProcessing(root_0); - adaptor.setTokenBoundaries(retval.tree, retval.start, retval.stop); - - } - catch (RecognitionException re) { - reportError(re); - recover(input,re); - retval.tree = (Object)adaptor.errorNode(input, retval.start, input.LT(-1), re); - } - finally { - // do for sure before leaving - } - return retval; - } - // $ANTLR end "variable" - - - public static class url_return extends ParserRuleReturnScope { - Object tree; - @Override - public Object getTree() { return tree; } - }; - - - // $ANTLR start "url" - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:136:2: url : ( URLSTRING ) ; - public final ConjunctiveQueryParser.url_return url() throws RecognitionException { - ConjunctiveQueryParser.url_return retval = new ConjunctiveQueryParser.url_return(); - retval.start = input.LT(1); - - Object root_0 = null; - - Token URLSTRING47=null; - - Object URLSTRING47_tree=null; - - try { - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:136:6: ( ( URLSTRING ) ) - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:136:8: ( URLSTRING ) - { - root_0 = (Object)adaptor.nil(); - - - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:136:8: ( URLSTRING ) - // /home/yzhou/workspace/KARMA/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQuery.g:136:9: URLSTRING - { - URLSTRING47=(Token)match(input,URLSTRING,FOLLOW_URLSTRING_in_url469); - URLSTRING47_tree = (Object)adaptor.create(URLSTRING47); - adaptor.addChild(root_0, URLSTRING47_tree); - - } - - } - - retval.stop = input.LT(-1); - - retval.tree = (Object)adaptor.rulePostProcessing(root_0); - adaptor.setTokenBoundaries(retval.tree, retval.start, retval.stop); - - } - catch (RecognitionException re) { - reportError(re); - recover(input,re); - retval.tree = (Object)adaptor.errorNode(input, retval.start, input.LT(-1), re); - } - finally { - // do for sure before leaving - } - return retval; - } - // $ANTLR end "url" - - // Delegated rules - - - - public static final BitSet FOLLOW_prefixlist_in_cq132 = new BitSet(new long[]{0x0000000000008000L}); - public static final BitSet FOLLOW_rulebody_in_cq134 = new BitSet(new long[]{0x0000000000000002L}); - public static final BitSet FOLLOW_prefix_in_prefixlist154 = new BitSet(new long[]{0x0000000000400002L}); - public static final BitSet FOLLOW_22_in_prefixlist157 = new BitSet(new long[]{0x0000000020000000L}); - public static final BitSet FOLLOW_prefix_in_prefixlist159 = new BitSet(new long[]{0x0000000000400002L}); - public static final BitSet FOLLOW_29_in_prefix181 = new BitSet(new long[]{0x0000000000008000L}); - public static final BitSet FOLLOW_id_in_prefix183 = new BitSet(new long[]{0x0000000001000000L}); - public static final BitSet FOLLOW_24_in_prefix185 = new BitSet(new long[]{0x0000000002000000L}); - public static final BitSet FOLLOW_25_in_prefix187 = new BitSet(new long[]{0x0000000000020000L}); - public static final BitSet FOLLOW_url_in_prefix189 = new BitSet(new long[]{0x0000000008000000L}); - public static final BitSet FOLLOW_27_in_prefix191 = new BitSet(new long[]{0x0000000000000002L}); - public static final BitSet FOLLOW_headatom_in_rulebody213 = new BitSet(new long[]{0x0000000005000000L}); - public static final BitSet FOLLOW_26_in_rulebody216 = new BitSet(new long[]{0x0000000000008000L}); - public static final BitSet FOLLOW_24_in_rulebody218 = new BitSet(new long[]{0x0000000000008000L}); - public static final BitSet FOLLOW_body_in_rulebody221 = new BitSet(new long[]{0x0000000000800002L}); - public static final BitSet FOLLOW_23_in_rulebody223 = new BitSet(new long[]{0x0000000000000002L}); - public static final BitSet FOLLOW_atom_in_body245 = new BitSet(new long[]{0x0000000000400002L}); - public static final BitSet FOLLOW_22_in_body248 = new BitSet(new long[]{0x0000000000008000L}); - public static final BitSet FOLLOW_atom_in_body250 = new BitSet(new long[]{0x0000000000400002L}); - public static final BitSet FOLLOW_id_in_headatom276 = new BitSet(new long[]{0x0000000000100000L}); - public static final BitSet FOLLOW_20_in_headatom278 = new BitSet(new long[]{0x0000000012008000L}); - public static final BitSet FOLLOW_term_in_headatom280 = new BitSet(new long[]{0x0000000000600000L}); - public static final BitSet FOLLOW_22_in_headatom283 = new BitSet(new long[]{0x0000000012008000L}); - public static final BitSet FOLLOW_term_in_headatom285 = new BitSet(new long[]{0x0000000000600000L}); - public static final BitSet FOLLOW_21_in_headatom289 = new BitSet(new long[]{0x0000000000000002L}); - public static final BitSet FOLLOW_compositeid_in_atom309 = new BitSet(new long[]{0x0000000000100000L}); - public static final BitSet FOLLOW_20_in_atom311 = new BitSet(new long[]{0x0000000012008000L}); - public static final BitSet FOLLOW_term_in_atom313 = new BitSet(new long[]{0x0000000000600000L}); - public static final BitSet FOLLOW_22_in_atom316 = new BitSet(new long[]{0x0000000012008000L}); - public static final BitSet FOLLOW_term_in_atom318 = new BitSet(new long[]{0x0000000000600000L}); - public static final BitSet FOLLOW_21_in_atom322 = new BitSet(new long[]{0x0000000000000002L}); - public static final BitSet FOLLOW_id_in_compositeid342 = new BitSet(new long[]{0x0000000001000000L}); - public static final BitSet FOLLOW_24_in_compositeid345 = new BitSet(new long[]{0x0000000000008000L}); - public static final BitSet FOLLOW_id_in_compositeid348 = new BitSet(new long[]{0x0000000000000002L}); - public static final BitSet FOLLOW_variable_in_term371 = new BitSet(new long[]{0x0000000000000002L}); - public static final BitSet FOLLOW_simpleid_in_term386 = new BitSet(new long[]{0x0000000000000002L}); - public static final BitSet FOLLOW_compositeid_in_term400 = new BitSet(new long[]{0x0000000000000002L}); - public static final BitSet FOLLOW_STRING_in_id417 = new BitSet(new long[]{0x0000000000000002L}); - public static final BitSet FOLLOW_25_in_simpleid425 = new BitSet(new long[]{0x0000000000020000L}); - public static final BitSet FOLLOW_URLSTRING_in_simpleid427 = new BitSet(new long[]{0x0000000008000000L}); - public static final BitSet FOLLOW_27_in_simpleid429 = new BitSet(new long[]{0x0000000000000002L}); - public static final BitSet FOLLOW_25_in_simpleid433 = new BitSet(new long[]{0x0000000000008000L}); - public static final BitSet FOLLOW_STRING_in_simpleid435 = new BitSet(new long[]{0x0000000008000000L}); - public static final BitSet FOLLOW_27_in_simpleid437 = new BitSet(new long[]{0x0000000000000002L}); - public static final BitSet FOLLOW_28_in_variable448 = new BitSet(new long[]{0x0000000000008000L}); - public static final BitSet FOLLOW_id_in_variable451 = new BitSet(new long[]{0x0000000000000002L}); - public static final BitSet FOLLOW_URLSTRING_in_url469 = new BitSet(new long[]{0x0000000000000002L}); -} diff --git a/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQueryWalker.java b/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQueryWalker.java deleted file mode 100644 index f10b761..0000000 --- a/src/org/semanticweb/karma2/model/cqparser/ConjunctiveQueryWalker.java +++ /dev/null @@ -1,179 +0,0 @@ -package org.semanticweb.karma2.model.cqparser; - - - -import java.util.ArrayList; -import java.util.Iterator; -import java.util.List; - -import org.antlr.runtime.tree.CommonTree; -import org.semanticweb.HermiT.model.Atom; -import org.semanticweb.HermiT.model.AtomicConcept; -import org.semanticweb.HermiT.model.AtomicRole; -import org.semanticweb.HermiT.model.Individual; -import org.semanticweb.HermiT.model.Term; -import org.semanticweb.HermiT.model.Variable; -import org.semanticweb.karma2.exception.IllegalInputQueryException; -import org.semanticweb.karma2.model.ConjunctiveQuery; - -import uk.ac.ox.cs.JRDFox.Prefixes; -import uk.ac.ox.cs.pagoda.util.Utility; - - - - -public class ConjunctiveQueryWalker { - - - public ConjunctiveQueryWalker() { - - } - - @SuppressWarnings("unchecked") - private List childrenOf(CommonTree node) { - return (List) node.getChildren(); - } - - - private boolean isSafe(Term[] headTerms, Atom[] atoms) { - for (Term t : headTerms) { - if (t instanceof Variable) { - boolean res = false; - for (Atom a : atoms) { - if (a.getArity()==1) { - if (a.getArgument(0).equals(t)) - res = true; - } - if (a.getArity()==2) { - if (a.getArgument(0).equals(t) || a.getArgument(1).equals(t)) - res = true; - } - } - if(!res) - return false; - } - } - return true; - } - - - public ConjunctiveQuery walkExpressionNode(CommonTree ruleNode) throws IllegalInputQueryException { - - assert (ruleNode.getType() == ConjunctiveQueryLexer.EXPRESSION); - - Iterator iterator = childrenOf(ruleNode).iterator(); - - CommonTree prefixList = iterator.next(); - assert (prefixList.getType() == ConjunctiveQueryLexer.PREFIX_LIST); - Prefixes prefixes = walkPrefixList(prefixList); - CommonTree rulebody = iterator.next(); - assert (rulebody.getType() == ConjunctiveQueryLexer.RULE); - return walkRuleNode(rulebody, prefixes); - - } - - public Prefixes walkPrefixList(CommonTree prefixlist) throws IllegalInputQueryException { - assert (prefixlist.getType() == ConjunctiveQueryLexer.PREFIX_LIST); - Prefixes pref = new Prefixes(); - for (CommonTree prefixNode : childrenOf(prefixlist)) { - walkPrefixNode(prefixNode, pref); - } - return pref; - - } - - private void walkPrefixNode(CommonTree prefixNode, Prefixes pref) throws IllegalInputQueryException { - Iterator iterator = childrenOf(prefixNode).iterator(); - CommonTree shortID = iterator.next(); - CommonTree longID = iterator.next(); - pref.declarePrefix(shortID.getText() + ":", longID.getText()); - } - - - public ConjunctiveQuery walkRuleNode(CommonTree ruleNode, Prefixes prefixes) throws IllegalInputQueryException { - - assert (ruleNode.getType() == ConjunctiveQueryLexer.RULE); - - Iterator iterator = childrenOf(ruleNode).iterator(); - - CommonTree headNode = iterator.next(); - assert (headNode.getType() == ConjunctiveQueryLexer.HEADATOM); - Term[] headTerms = walkHeadAtomNode(headNode); - Atom[] atoms = walkAtomList(iterator.next()); - if (!isSafe(headTerms, atoms)) - throw new IllegalInputQueryException("query is not safe"); - return new ConjunctiveQuery(atoms, headTerms, prefixes); - - } - - private Term[] walkHeadAtomNode(CommonTree node) throws IllegalInputQueryException { - List terms = new ArrayList(); - for (CommonTree termNode : childrenOf(node)) { - terms.add(walkTermNode(termNode)); - } - return terms.toArray(new Term[terms.size()]); - } - - - private String walkCompositeId(CommonTree compositeID) { - Iterator iterator = childrenOf(compositeID).iterator(); - return iterator.next().getText() + ":" + iterator.next().getText() ; - } - - private String walkSimpleId(CommonTree termNode) { - Iterator it = childrenOf(termNode).iterator(); - it.next(); - CommonTree t = it.next(); - return t.getText(); - } - - private Term walkTermNode(CommonTree termNode) throws IllegalInputQueryException { - if (termNode.getType() == ConjunctiveQueryLexer.VARIABLE) { - return Variable.create("?" + childrenOf(termNode).iterator().next().getText()); - } - if (termNode.getType() == ConjunctiveQueryLexer.CONSTANT) { - Individual newind = Individual.create(walkCompositeId(childrenOf(termNode).iterator().next())); - Utility.logError(newind); - return newind; - } - if (termNode.getType() == ConjunctiveQueryLexer.SCONSTANT) { - Individual newind = Individual.create(walkSimpleId(termNode)); - return newind; - } - throw new IllegalArgumentException(); - } - - - - public Atom[] walkAtomList(CommonTree node) throws IllegalInputQueryException { - assert (node.getType() == ConjunctiveQueryLexer.ATOM_LIST); - List atoms = new ArrayList(); - for (CommonTree atomNode : childrenOf(node)) { - atoms.add(walkAtomNode(atomNode)); - } - return atoms.toArray(new Atom[atoms.size()]); - - } - - private Atom walkAtomNode(CommonTree atomNode) throws IllegalInputQueryException { - assert (atomNode.getType() == ConjunctiveQueryLexer.ATOM); - Iterator iterator = childrenOf(atomNode).iterator(); - CommonTree id = iterator.next(); - String predicatename = walkCompositeId(id); - List listofterms = new ArrayList(); - while (iterator.hasNext()){ - listofterms.add(walkTermNode(iterator.next())); - } - if(listofterms.isEmpty() || (listofterms.size()>2)) - throw new IllegalInputQueryException("Problem parsing terms in the query"); - Term[] terms = listofterms.toArray(new Term[listofterms.size()]); - if (terms.length == 1) - return Atom.create(AtomicConcept.create(predicatename), terms); - if (terms.length == 2) - return Atom.create(AtomicRole.create(predicatename), terms); - throw new IllegalInputQueryException("Problem parsing terms in the query"); - } - - -} - -- cgit v1.2.3