From 419e76265ecbdf65e960e0624be006d31ed1e191 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Fri, 8 May 2020 18:28:19 +0200 Subject: Update solver language grammar First version, still needs TokenSource and Linker to work. --- .../internal/InternalSolverLanguageLexer.java | 2451 ++++++++++++++------ 1 file changed, 1783 insertions(+), 668 deletions(-) (limited to 'Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguageLexer.java') diff --git a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguageLexer.java b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguageLexer.java index c95bdd1e..1c226c96 100644 --- a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguageLexer.java +++ b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguageLexer.java @@ -12,45 +12,78 @@ import java.util.ArrayList; @SuppressWarnings("all") public class InternalSolverLanguageLexer extends Lexer { - public static final int RULE_STRING=6; - public static final int RULE_SL_COMMENT=8; + public static final int T__50=50; public static final int T__19=19; public static final int T__15=15; - public static final int T__37=37; + public static final int T__59=59; public static final int T__16=16; - public static final int T__38=38; public static final int T__17=17; - public static final int T__39=39; public static final int T__18=18; - public static final int T__11=11; - public static final int T__33=33; - public static final int T__12=12; - public static final int T__34=34; - public static final int T__13=13; - public static final int T__35=35; - public static final int T__14=14; - public static final int T__36=36; - public static final int EOF=-1; - public static final int T__30=30; - public static final int T__31=31; - public static final int T__32=32; - public static final int RULE_ID=5; - public static final int RULE_WS=9; - public static final int RULE_ANY_OTHER=10; + public static final int T__55=55; + public static final int T__56=56; + public static final int T__57=57; + public static final int T__58=58; + public static final int T__51=51; + public static final int RULE_STAR=8; + public static final int T__52=52; + public static final int T__53=53; + public static final int T__54=54; + public static final int T__60=60; + public static final int T__61=61; + public static final int RULE_ID=7; + public static final int RULE_QUOTED_ID=5; 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 RULE_INT=4; public static final int T__29=29; public static final int T__22=22; - public static final int RULE_ML_COMMENT=7; + public static final int T__66=66; + public static final int RULE_ML_COMMENT=11; public static final int T__23=23; + public static final int T__67=67; public static final int T__24=24; + public static final int T__68=68; public static final int T__25=25; - public static final int T__40=40; - public static final int T__41=41; + public static final int T__69=69; + public static final int T__62=62; + public static final int T__63=63; public static final int T__20=20; + public static final int T__64=64; public static final int T__21=21; + public static final int T__65=65; + public static final int T__70=70; + public static final int T__71=71; + public static final int T__72=72; + public static final int RULE_STRING=10; + public static final int RULE_SL_COMMENT=12; + public static final int T__37=37; + public static final int T__38=38; + public static final int T__39=39; + public static final int T__33=33; + public static final int T__34=34; + public static final int T__35=35; + public static final int RULE_PLUS=9; + public static final int T__36=36; + public static final int T__73=73; + public static final int RULE_DOT=6; + public static final int EOF=-1; + public static final int T__30=30; + public static final int T__74=74; + public static final int T__31=31; + public static final int T__32=32; + public static final int RULE_WS=13; + public static final int RULE_ANY_OTHER=14; + public static final int T__48=48; + public static final int T__49=49; + public static final int T__44=44; + public static final int T__45=45; + public static final int T__46=46; + public static final int T__47=47; + public static final int T__40=40; + public static final int T__41=41; + public static final int T__42=42; + public static final int T__43=43; // delegates // delegators @@ -65,98 +98,15 @@ public class InternalSolverLanguageLexer extends Lexer { } public String getGrammarFileName() { return "InternalSolverLanguage.g"; } - // $ANTLR start "T__11" - public final void mT__11() throws RecognitionException { - try { - int _type = T__11; - int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:11:7: ( 'false' ) - // InternalSolverLanguage.g:11:9: 'false' - { - match("false"); - - - } - - state.type = _type; - state.channel = _channel; - } - finally { - } - } - // $ANTLR end "T__11" - - // $ANTLR start "T__12" - public final void mT__12() throws RecognitionException { - try { - int _type = T__12; - int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:12:7: ( 'true' ) - // InternalSolverLanguage.g:12:9: 'true' - { - match("true"); - - - } - - state.type = _type; - state.channel = _channel; - } - finally { - } - } - // $ANTLR end "T__12" - - // $ANTLR start "T__13" - public final void mT__13() throws RecognitionException { - try { - int _type = T__13; - int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:13:7: ( '-' ) - // InternalSolverLanguage.g:13:9: '-' - { - match('-'); - - } - - state.type = _type; - state.channel = _channel; - } - finally { - } - } - // $ANTLR end "T__13" - - // $ANTLR start "T__14" - public final void mT__14() throws RecognitionException { - try { - int _type = T__14; - int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:14:7: ( '.' ) - // InternalSolverLanguage.g:14:9: '.' - { - match('.'); - - } - - state.type = _type; - state.channel = _channel; - } - finally { - } - } - // $ANTLR end "T__14" - // $ANTLR start "T__15" public final void mT__15() throws RecognitionException { try { int _type = T__15; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:15:7: ( 'unknown' ) - // InternalSolverLanguage.g:15:9: 'unknown' + // InternalSolverLanguage.g:11:7: ( '^' ) + // InternalSolverLanguage.g:11:9: '^' { - match("unknown"); - + match('^'); } @@ -173,11 +123,10 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__16; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:16:7: ( 'error' ) - // InternalSolverLanguage.g:16:9: 'error' + // InternalSolverLanguage.g:12:7: ( '*' ) + // InternalSolverLanguage.g:12:9: '*' { - match("error"); - + match('*'); } @@ -194,10 +143,11 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__17; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:17:7: ( ':' ) - // InternalSolverLanguage.g:17:9: ':' + // InternalSolverLanguage.g:13:7: ( 'int' ) + // InternalSolverLanguage.g:13:9: 'int' { - match(':'); + match("int"); + } @@ -214,10 +164,11 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__18; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:18:7: ( '(' ) - // InternalSolverLanguage.g:18:9: '(' + // InternalSolverLanguage.g:14:7: ( 'real' ) + // InternalSolverLanguage.g:14:9: 'real' { - match('('); + match("real"); + } @@ -234,10 +185,11 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__19; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:19:7: ( ')' ) - // InternalSolverLanguage.g:19:9: ')' + // InternalSolverLanguage.g:15:7: ( '==' ) + // InternalSolverLanguage.g:15:9: '==' { - match(')'); + match("=="); + } @@ -254,10 +206,11 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__20; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:20:7: ( ',' ) - // InternalSolverLanguage.g:20:9: ',' + // InternalSolverLanguage.g:16:7: ( '!=' ) + // InternalSolverLanguage.g:16:9: '!=' { - match(','); + match("!="); + } @@ -274,11 +227,10 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__21; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:21:7: ( 'exists' ) - // InternalSolverLanguage.g:21:9: 'exists' + // InternalSolverLanguage.g:17:7: ( '<' ) + // InternalSolverLanguage.g:17:9: '<' { - match("exists"); - + match('<'); } @@ -295,10 +247,10 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__22; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:22:7: ( 'equals' ) - // InternalSolverLanguage.g:22:9: 'equals' + // InternalSolverLanguage.g:18:7: ( '<=' ) + // InternalSolverLanguage.g:18:9: '<=' { - match("equals"); + match("<="); } @@ -316,11 +268,10 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__23; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:23:7: ( 'bool' ) - // InternalSolverLanguage.g:23:9: 'bool' + // InternalSolverLanguage.g:19:7: ( '>' ) + // InternalSolverLanguage.g:19:9: '>' { - match("bool"); - + match('>'); } @@ -337,10 +288,10 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__24; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:24:7: ( 'int' ) - // InternalSolverLanguage.g:24:9: 'int' + // InternalSolverLanguage.g:20:7: ( '>=' ) + // InternalSolverLanguage.g:20:9: '>=' { - match("int"); + match(">="); } @@ -358,10 +309,10 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__25; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:25:7: ( 'real' ) - // InternalSolverLanguage.g:25:9: 'real' + // InternalSolverLanguage.g:21:7: ( 'in' ) + // InternalSolverLanguage.g:21:9: 'in' { - match("real"); + match("in"); } @@ -379,11 +330,10 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__26; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:26:7: ( 'string' ) - // InternalSolverLanguage.g:26:9: 'string' + // InternalSolverLanguage.g:22:7: ( '+' ) + // InternalSolverLanguage.g:22:9: '+' { - match("string"); - + match('+'); } @@ -400,10 +350,10 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__27; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:27:7: ( '\\'' ) - // InternalSolverLanguage.g:27:9: '\\'' + // InternalSolverLanguage.g:23:7: ( '-' ) + // InternalSolverLanguage.g:23:9: '-' { - match('\''); + match('-'); } @@ -420,11 +370,10 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__28; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:28:7: ( ':-' ) - // InternalSolverLanguage.g:28:9: ':-' + // InternalSolverLanguage.g:24:7: ( '/' ) + // InternalSolverLanguage.g:24:9: '/' { - match(":-"); - + match('/'); } @@ -441,10 +390,10 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__29; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:29:7: ( '|' ) - // InternalSolverLanguage.g:29:9: '|' + // InternalSolverLanguage.g:25:7: ( '!' ) + // InternalSolverLanguage.g:25:9: '!' { - match('|'); + match('!'); } @@ -461,10 +410,11 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__30; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:30:7: ( '+' ) - // InternalSolverLanguage.g:30:9: '+' + // InternalSolverLanguage.g:26:7: ( 'may' ) + // InternalSolverLanguage.g:26:9: 'may' { - match('+'); + match("may"); + } @@ -481,10 +431,11 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__31; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:31:7: ( '*' ) - // InternalSolverLanguage.g:31:9: '*' + // InternalSolverLanguage.g:27:7: ( 'must' ) + // InternalSolverLanguage.g:27:9: 'must' { - match('*'); + match("must"); + } @@ -501,10 +452,10 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__32; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:32:7: ( 'default' ) - // InternalSolverLanguage.g:32:9: 'default' + // InternalSolverLanguage.g:28:7: ( 'current' ) + // InternalSolverLanguage.g:28:9: 'current' { - match("default"); + match("current"); } @@ -522,10 +473,10 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__33; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:33:7: ( 'class' ) - // InternalSolverLanguage.g:33:9: 'class' + // InternalSolverLanguage.g:29:7: ( 'only' ) + // InternalSolverLanguage.g:29:9: 'only' { - match("class"); + match("only"); } @@ -543,10 +494,11 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__34; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:34:7: ( '{' ) - // InternalSolverLanguage.g:34:9: '{' + // InternalSolverLanguage.g:30:7: ( 'sum' ) + // InternalSolverLanguage.g:30:9: 'sum' { - match('{'); + match("sum"); + } @@ -563,10 +515,11 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__35; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:35:7: ( '}' ) - // InternalSolverLanguage.g:35:9: '}' + // InternalSolverLanguage.g:31:7: ( 'prod' ) + // InternalSolverLanguage.g:31:9: 'prod' { - match('}'); + match("prod"); + } @@ -583,10 +536,10 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__36; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:36:7: ( 'extends' ) - // InternalSolverLanguage.g:36:9: 'extends' + // InternalSolverLanguage.g:32:7: ( 'avg' ) + // InternalSolverLanguage.g:32:9: 'avg' { - match("extends"); + match("avg"); } @@ -604,10 +557,10 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__37; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:37:7: ( 'enum' ) - // InternalSolverLanguage.g:37:9: 'enum' + // InternalSolverLanguage.g:33:7: ( 'min' ) + // InternalSolverLanguage.g:33:9: 'min' { - match("enum"); + match("min"); } @@ -625,10 +578,10 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__38; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:38:7: ( 'relation' ) - // InternalSolverLanguage.g:38:9: 'relation' + // InternalSolverLanguage.g:34:7: ( 'max' ) + // InternalSolverLanguage.g:34:9: 'max' { - match("relation"); + match("max"); } @@ -646,10 +599,10 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__39; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:39:7: ( '..' ) - // InternalSolverLanguage.g:39:9: '..' + // InternalSolverLanguage.g:35:7: ( 'true' ) + // InternalSolverLanguage.g:35:9: 'true' { - match(".."); + match("true"); } @@ -667,10 +620,10 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__40; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:40:7: ( 'abstract' ) - // InternalSolverLanguage.g:40:9: 'abstract' + // InternalSolverLanguage.g:36:7: ( 'false' ) + // InternalSolverLanguage.g:36:9: 'false' { - match("abstract"); + match("false"); } @@ -688,10 +641,10 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__41; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:41:7: ( 'containment' ) - // InternalSolverLanguage.g:41:9: 'containment' + // InternalSolverLanguage.g:37:7: ( 'unknown' ) + // InternalSolverLanguage.g:37:9: 'unknown' { - match("containment"); + match("unknown"); } @@ -704,60 +657,58 @@ public class InternalSolverLanguageLexer extends Lexer { } // $ANTLR end "T__41" - // $ANTLR start "RULE_STRING" - public final void mRULE_STRING() throws RecognitionException { + // $ANTLR start "T__42" + public final void mT__42() throws RecognitionException { try { - int _type = RULE_STRING; + int _type = T__42; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:5815:13: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' ) - // InternalSolverLanguage.g:5815:15: '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' + // InternalSolverLanguage.g:38:7: ( 'error' ) + // InternalSolverLanguage.g:38:9: 'error' { - match('\"'); - // InternalSolverLanguage.g:5815:19: ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* - loop1: - do { - int alt1=3; - int LA1_0 = input.LA(1); + match("error"); - if ( (LA1_0=='\\') ) { - alt1=1; - } - else if ( ((LA1_0>='\u0000' && LA1_0<='!')||(LA1_0>='#' && LA1_0<='[')||(LA1_0>=']' && LA1_0<='\uFFFF')) ) { - alt1=2; - } + } - switch (alt1) { - case 1 : - // InternalSolverLanguage.g:5815:20: '\\\\' . - { - match('\\'); - matchAny(); + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__42" - } - break; - case 2 : - // InternalSolverLanguage.g:5815:27: ~ ( ( '\\\\' | '\"' ) ) - { - if ( (input.LA(1)>='\u0000' && input.LA(1)<='!')||(input.LA(1)>='#' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) { - input.consume(); + // $ANTLR start "T__43" + public final void mT__43() throws RecognitionException { + try { + int _type = T__43; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:39:7: ( 'minimize' ) + // InternalSolverLanguage.g:39:9: 'minimize' + { + match("minimize"); - } - else { - MismatchedSetException mse = new MismatchedSetException(null,input); - recover(mse); - throw mse;} + } - } - break; + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__43" - default : - break loop1; - } - } while (true); + // $ANTLR start "T__44" + public final void mT__44() throws RecognitionException { + try { + int _type = T__44; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:40:7: ( 'maximize' ) + // InternalSolverLanguage.g:40:9: 'maximize' + { + match("maximize"); - match('\"'); } @@ -767,75 +718,78 @@ public class InternalSolverLanguageLexer extends Lexer { finally { } } - // $ANTLR end "RULE_STRING" + // $ANTLR end "T__44" - // $ANTLR start "RULE_ID" - public final void mRULE_ID() throws RecognitionException { + // $ANTLR start "T__45" + public final void mT__45() throws RecognitionException { try { - int _type = RULE_ID; + int _type = T__45; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:5817:9: ( ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* ) - // InternalSolverLanguage.g:5817:11: ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* + // InternalSolverLanguage.g:41:7: ( ':' ) + // InternalSolverLanguage.g:41:9: ':' { - // InternalSolverLanguage.g:5817:11: ( '^' )? - int alt2=2; - int LA2_0 = input.LA(1); + match(':'); - if ( (LA2_0=='^') ) { - alt2=1; } - switch (alt2) { - case 1 : - // InternalSolverLanguage.g:5817:11: '^' - { - match('^'); - } - break; + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__45" - } + // $ANTLR start "T__46" + public final void mT__46() throws RecognitionException { + try { + int _type = T__46; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:42:7: ( ':-' ) + // InternalSolverLanguage.g:42:9: ':-' + { + match(":-"); - if ( (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;} - - // InternalSolverLanguage.g:5817:40: ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* - loop3: - do { - int alt3=2; - int LA3_0 = input.LA(1); - - if ( ((LA3_0>='0' && LA3_0<='9')||(LA3_0>='A' && LA3_0<='Z')||LA3_0=='_'||(LA3_0>='a' && LA3_0<='z')) ) { - alt3=1; - } - - switch (alt3) { - case 1 : - // InternalSolverLanguage.g: - { - if ( (input.LA(1)>='0' && 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(); + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__46" - } - else { - MismatchedSetException mse = new MismatchedSetException(null,input); - recover(mse); - throw mse;} + // $ANTLR start "T__47" + public final void mT__47() throws RecognitionException { + try { + int _type = T__47; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:43:7: ( '=' ) + // InternalSolverLanguage.g:43:9: '=' + { + match('='); + } - } - break; + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__47" - default : - break loop3; - } - } while (true); + // $ANTLR start "T__48" + public final void mT__48() throws RecognitionException { + try { + int _type = T__48; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:44:7: ( 'default' ) + // InternalSolverLanguage.g:44:9: 'default' + { + match("default"); } @@ -846,31 +800,839 @@ public class InternalSolverLanguageLexer extends Lexer { finally { } } - // $ANTLR end "RULE_ID" + // $ANTLR end "T__48" - // $ANTLR start "RULE_INT" - public final void mRULE_INT() throws RecognitionException { + // $ANTLR start "T__49" + public final void mT__49() throws RecognitionException { try { - int _type = RULE_INT; + int _type = T__49; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:5819:10: ( ( '0' .. '9' )+ ) - // InternalSolverLanguage.g:5819:12: ( '0' .. '9' )+ + // InternalSolverLanguage.g:45:7: ( 'extern' ) + // InternalSolverLanguage.g:45:9: 'extern' { - // InternalSolverLanguage.g:5819:12: ( '0' .. '9' )+ - int cnt4=0; - loop4: + match("extern"); + + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__49" + + // $ANTLR start "T__50" + public final void mT__50() throws RecognitionException { + try { + int _type = T__50; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:46:7: ( '.' ) + // InternalSolverLanguage.g:46:9: '.' + { + match('.'); + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__50" + + // $ANTLR start "T__51" + public final void mT__51() throws RecognitionException { + try { + int _type = T__51; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:47:7: ( 'if' ) + // InternalSolverLanguage.g:47:9: 'if' + { + match("if"); + + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__51" + + // $ANTLR start "T__52" + public final void mT__52() throws RecognitionException { + try { + int _type = T__52; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:48:7: ( 'then' ) + // InternalSolverLanguage.g:48:9: 'then' + { + match("then"); + + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__52" + + // $ANTLR start "T__53" + public final void mT__53() throws RecognitionException { + try { + int _type = T__53; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:49:7: ( 'else' ) + // InternalSolverLanguage.g:49:9: 'else' + { + match("else"); + + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__53" + + // $ANTLR start "T__54" + public final void mT__54() throws RecognitionException { + try { + int _type = T__54; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:50:7: ( ';' ) + // InternalSolverLanguage.g:50:9: ';' + { + match(';'); + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__54" + + // $ANTLR start "T__55" + public final void mT__55() throws RecognitionException { + try { + int _type = T__55; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:51:7: ( '->' ) + // InternalSolverLanguage.g:51:9: '->' + { + match("->"); + + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__55" + + // $ANTLR start "T__56" + public final void mT__56() throws RecognitionException { + try { + int _type = T__56; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:52:7: ( ',' ) + // InternalSolverLanguage.g:52:9: ',' + { + match(','); + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__56" + + // $ANTLR start "T__57" + public final void mT__57() throws RecognitionException { + try { + int _type = T__57; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:53:7: ( 'count' ) + // InternalSolverLanguage.g:53:9: 'count' + { + match("count"); + + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__57" + + // $ANTLR start "T__58" + public final void mT__58() throws RecognitionException { + try { + int _type = T__58; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:54:7: ( '{' ) + // InternalSolverLanguage.g:54:9: '{' + { + match('{'); + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__58" + + // $ANTLR start "T__59" + public final void mT__59() throws RecognitionException { + try { + int _type = T__59; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:55:7: ( '}' ) + // InternalSolverLanguage.g:55:9: '}' + { + match('}'); + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__59" + + // $ANTLR start "T__60" + public final void mT__60() throws RecognitionException { + try { + int _type = T__60; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:56:7: ( '|' ) + // InternalSolverLanguage.g:56:9: '|' + { + match('|'); + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__60" + + // $ANTLR start "T__61" + public final void mT__61() throws RecognitionException { + try { + int _type = T__61; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:57:7: ( '(' ) + // InternalSolverLanguage.g:57:9: '(' + { + match('('); + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__61" + + // $ANTLR start "T__62" + public final void mT__62() throws RecognitionException { + try { + int _type = T__62; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:58:7: ( ')' ) + // InternalSolverLanguage.g:58:9: ')' + { + match(')'); + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__62" + + // $ANTLR start "T__63" + public final void mT__63() throws RecognitionException { + try { + int _type = T__63; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:59:7: ( '[' ) + // InternalSolverLanguage.g:59:9: '[' + { + match('['); + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__63" + + // $ANTLR start "T__64" + public final void mT__64() throws RecognitionException { + try { + int _type = T__64; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:60:7: ( '..' ) + // InternalSolverLanguage.g:60:9: '..' + { + match(".."); + + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__64" + + // $ANTLR start "T__65" + public final void mT__65() throws RecognitionException { + try { + int _type = T__65; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:61:7: ( ']' ) + // InternalSolverLanguage.g:61:9: ']' + { + match(']'); + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__65" + + // $ANTLR start "T__66" + public final void mT__66() throws RecognitionException { + try { + int _type = T__66; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:62:7: ( 'inf' ) + // InternalSolverLanguage.g:62:9: 'inf' + { + match("inf"); + + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__66" + + // $ANTLR start "T__67" + public final void mT__67() throws RecognitionException { + try { + int _type = T__67; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:63:7: ( 'empty' ) + // InternalSolverLanguage.g:63:9: 'empty' + { + match("empty"); + + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__67" + + // $ANTLR start "T__68" + public final void mT__68() throws RecognitionException { + try { + int _type = T__68; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:64:7: ( 'class' ) + // InternalSolverLanguage.g:64:9: 'class' + { + match("class"); + + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__68" + + // $ANTLR start "T__69" + public final void mT__69() throws RecognitionException { + try { + int _type = T__69; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:65:7: ( 'extends' ) + // InternalSolverLanguage.g:65:9: 'extends' + { + match("extends"); + + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__69" + + // $ANTLR start "T__70" + public final void mT__70() throws RecognitionException { + try { + int _type = T__70; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:66:7: ( 'opposite' ) + // InternalSolverLanguage.g:66:9: 'opposite' + { + match("opposite"); + + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__70" + + // $ANTLR start "T__71" + public final void mT__71() throws RecognitionException { + try { + int _type = T__71; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:67:7: ( 'scope' ) + // InternalSolverLanguage.g:67:9: 'scope' + { + match("scope"); + + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__71" + + // $ANTLR start "T__72" + public final void mT__72() throws RecognitionException { + try { + int _type = T__72; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:68:7: ( 'functional' ) + // InternalSolverLanguage.g:68:9: 'functional' + { + match("functional"); + + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__72" + + // $ANTLR start "T__73" + public final void mT__73() throws RecognitionException { + try { + int _type = T__73; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:69:7: ( 'abstract' ) + // InternalSolverLanguage.g:69:9: 'abstract' + { + match("abstract"); + + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__73" + + // $ANTLR start "T__74" + public final void mT__74() throws RecognitionException { + try { + int _type = T__74; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:70:7: ( 'contains' ) + // InternalSolverLanguage.g:70:9: 'contains' + { + match("contains"); + + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__74" + + // $ANTLR start "RULE_STRING" + public final void mRULE_STRING() throws RecognitionException { + try { + int _type = RULE_STRING; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:9118:13: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' ) + // InternalSolverLanguage.g:9118:15: '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' + { + match('\"'); + // InternalSolverLanguage.g:9118:19: ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* + loop1: + do { + int alt1=3; + int LA1_0 = input.LA(1); + + if ( (LA1_0=='\\') ) { + alt1=1; + } + else if ( ((LA1_0>='\u0000' && LA1_0<='!')||(LA1_0>='#' && LA1_0<='[')||(LA1_0>=']' && LA1_0<='\uFFFF')) ) { + alt1=2; + } + + + switch (alt1) { + case 1 : + // InternalSolverLanguage.g:9118:20: '\\\\' . + { + match('\\'); + matchAny(); + + } + break; + case 2 : + // InternalSolverLanguage.g:9118:27: ~ ( ( '\\\\' | '\"' ) ) + { + if ( (input.LA(1)>='\u0000' && input.LA(1)<='!')||(input.LA(1)>='#' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) { + input.consume(); + + } + else { + MismatchedSetException mse = new MismatchedSetException(null,input); + recover(mse); + throw mse;} + + + } + break; + + default : + break loop1; + } + } while (true); + + match('\"'); + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "RULE_STRING" + + // $ANTLR start "RULE_QUOTED_ID" + public final void mRULE_QUOTED_ID() throws RecognitionException { + try { + int _type = RULE_QUOTED_ID; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:9120:16: ( '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) + // InternalSolverLanguage.g:9120:18: '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' + { + match('\''); + // InternalSolverLanguage.g:9120:23: ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* + loop2: + do { + int alt2=3; + int LA2_0 = input.LA(1); + + if ( (LA2_0=='\\') ) { + alt2=1; + } + else if ( ((LA2_0>='\u0000' && LA2_0<='&')||(LA2_0>='(' && LA2_0<='[')||(LA2_0>=']' && LA2_0<='\uFFFF')) ) { + alt2=2; + } + + + switch (alt2) { + case 1 : + // InternalSolverLanguage.g:9120:24: '\\\\' . + { + match('\\'); + matchAny(); + + } + break; + case 2 : + // InternalSolverLanguage.g:9120:31: ~ ( ( '\\\\' | '\\'' ) ) + { + if ( (input.LA(1)>='\u0000' && input.LA(1)<='&')||(input.LA(1)>='(' && input.LA(1)<='[')||(input.LA(1)>=']' && input.LA(1)<='\uFFFF') ) { + input.consume(); + + } + else { + MismatchedSetException mse = new MismatchedSetException(null,input); + recover(mse); + throw mse;} + + + } + break; + + default : + break loop2; + } + } while (true); + + match('\''); + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "RULE_QUOTED_ID" + + // $ANTLR start "RULE_PLUS" + public final void mRULE_PLUS() throws RecognitionException { + try { + int _type = RULE_PLUS; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:9122:11: ( 'synthetic::plus' ) + // InternalSolverLanguage.g:9122:13: 'synthetic::plus' + { + match("synthetic::plus"); + + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "RULE_PLUS" + + // $ANTLR start "RULE_STAR" + public final void mRULE_STAR() throws RecognitionException { + try { + int _type = RULE_STAR; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:9124:11: ( 'synthetic::star' ) + // InternalSolverLanguage.g:9124:13: 'synthetic::star' + { + match("synthetic::star"); + + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "RULE_STAR" + + // $ANTLR start "RULE_DOT" + public final void mRULE_DOT() throws RecognitionException { + try { + int _type = RULE_DOT; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:9126:10: ( 'synthetic::dot' ) + // InternalSolverLanguage.g:9126:12: 'synthetic::dot' + { + match("synthetic::dot"); + + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "RULE_DOT" + + // $ANTLR start "RULE_ID" + public final void mRULE_ID() throws RecognitionException { + try { + int _type = RULE_ID; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:9128:9: ( ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* ) + // InternalSolverLanguage.g:9128:11: ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* + { + // InternalSolverLanguage.g:9128:11: ( '^' )? + int alt3=2; + int LA3_0 = input.LA(1); + + if ( (LA3_0=='^') ) { + alt3=1; + } + switch (alt3) { + case 1 : + // InternalSolverLanguage.g:9128:11: '^' + { + match('^'); + + } + break; + + } + + if ( (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;} + + // InternalSolverLanguage.g:9128:40: ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* + loop4: do { int alt4=2; int LA4_0 = input.LA(1); - if ( ((LA4_0>='0' && LA4_0<='9')) ) { + if ( ((LA4_0>='0' && LA4_0<='9')||(LA4_0>='A' && LA4_0<='Z')||LA4_0=='_'||(LA4_0>='a' && LA4_0<='z')) ) { alt4=1; } switch (alt4) { case 1 : - // InternalSolverLanguage.g:5819:13: '0' .. '9' + // InternalSolverLanguage.g: + { + if ( (input.LA(1)>='0' && 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 : + break loop4; + } + } while (true); + + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "RULE_ID" + + // $ANTLR start "RULE_INT" + public final void mRULE_INT() throws RecognitionException { + try { + int _type = RULE_INT; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:9130:10: ( ( '0' .. '9' )+ ) + // InternalSolverLanguage.g:9130:12: ( '0' .. '9' )+ + { + // InternalSolverLanguage.g:9130:12: ( '0' .. '9' )+ + int cnt5=0; + loop5: + do { + int alt5=2; + int LA5_0 = input.LA(1); + + if ( ((LA5_0>='0' && LA5_0<='9')) ) { + alt5=1; + } + + + switch (alt5) { + case 1 : + // InternalSolverLanguage.g:9130:13: '0' .. '9' { matchRange('0','9'); @@ -878,12 +1640,12 @@ public class InternalSolverLanguageLexer extends Lexer { break; default : - if ( cnt4 >= 1 ) break loop4; + if ( cnt5 >= 1 ) break loop5; EarlyExitException eee = - new EarlyExitException(4, input); + new EarlyExitException(5, input); throw eee; } - cnt4++; + cnt5++; } while (true); @@ -902,37 +1664,37 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = RULE_ML_COMMENT; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:5821:17: ( '/*' ( options {greedy=false; } : . )* '*/' ) - // InternalSolverLanguage.g:5821:19: '/*' ( options {greedy=false; } : . )* '*/' + // InternalSolverLanguage.g:9132:17: ( '/*' ( options {greedy=false; } : . )* '*/' ) + // InternalSolverLanguage.g:9132:19: '/*' ( options {greedy=false; } : . )* '*/' { match("/*"); - // InternalSolverLanguage.g:5821:24: ( options {greedy=false; } : . )* - loop5: + // InternalSolverLanguage.g:9132:24: ( options {greedy=false; } : . )* + loop6: do { - int alt5=2; - int LA5_0 = input.LA(1); + int alt6=2; + int LA6_0 = input.LA(1); - if ( (LA5_0=='*') ) { - int LA5_1 = input.LA(2); + if ( (LA6_0=='*') ) { + int LA6_1 = input.LA(2); - if ( (LA5_1=='/') ) { - alt5=2; + if ( (LA6_1=='/') ) { + alt6=2; } - else if ( ((LA5_1>='\u0000' && LA5_1<='.')||(LA5_1>='0' && LA5_1<='\uFFFF')) ) { - alt5=1; + else if ( ((LA6_1>='\u0000' && LA6_1<='.')||(LA6_1>='0' && LA6_1<='\uFFFF')) ) { + alt6=1; } } - else if ( ((LA5_0>='\u0000' && LA5_0<=')')||(LA5_0>='+' && LA5_0<='\uFFFF')) ) { - alt5=1; + else if ( ((LA6_0>='\u0000' && LA6_0<=')')||(LA6_0>='+' && LA6_0<='\uFFFF')) ) { + alt6=1; } - switch (alt5) { + switch (alt6) { case 1 : - // InternalSolverLanguage.g:5821:52: . + // InternalSolverLanguage.g:9132:52: . { matchAny(); @@ -940,7 +1702,7 @@ public class InternalSolverLanguageLexer extends Lexer { break; default : - break loop5; + break loop6; } } while (true); @@ -962,25 +1724,25 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = RULE_SL_COMMENT; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:5823:17: ( '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? ) - // InternalSolverLanguage.g:5823:19: '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? + // InternalSolverLanguage.g:9134:17: ( '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? ) + // InternalSolverLanguage.g:9134:19: '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? { match("//"); - // InternalSolverLanguage.g:5823:24: (~ ( ( '\\n' | '\\r' ) ) )* - loop6: + // InternalSolverLanguage.g:9134:24: (~ ( ( '\\n' | '\\r' ) ) )* + loop7: do { - int alt6=2; - int LA6_0 = input.LA(1); + int alt7=2; + int LA7_0 = input.LA(1); - if ( ((LA6_0>='\u0000' && LA6_0<='\t')||(LA6_0>='\u000B' && LA6_0<='\f')||(LA6_0>='\u000E' && LA6_0<='\uFFFF')) ) { - alt6=1; + if ( ((LA7_0>='\u0000' && LA7_0<='\t')||(LA7_0>='\u000B' && LA7_0<='\f')||(LA7_0>='\u000E' && LA7_0<='\uFFFF')) ) { + alt7=1; } - switch (alt6) { + switch (alt7) { case 1 : - // InternalSolverLanguage.g:5823:24: ~ ( ( '\\n' | '\\r' ) ) + // InternalSolverLanguage.g:9134:24: ~ ( ( '\\n' | '\\r' ) ) { if ( (input.LA(1)>='\u0000' && input.LA(1)<='\t')||(input.LA(1)>='\u000B' && input.LA(1)<='\f')||(input.LA(1)>='\u000E' && input.LA(1)<='\uFFFF') ) { input.consume(); @@ -996,31 +1758,31 @@ public class InternalSolverLanguageLexer extends Lexer { break; default : - break loop6; + break loop7; } } while (true); - // InternalSolverLanguage.g:5823:40: ( ( '\\r' )? '\\n' )? - int alt8=2; - int LA8_0 = input.LA(1); + // InternalSolverLanguage.g:9134:40: ( ( '\\r' )? '\\n' )? + int alt9=2; + int LA9_0 = input.LA(1); - if ( (LA8_0=='\n'||LA8_0=='\r') ) { - alt8=1; + if ( (LA9_0=='\n'||LA9_0=='\r') ) { + alt9=1; } - switch (alt8) { + switch (alt9) { case 1 : - // InternalSolverLanguage.g:5823:41: ( '\\r' )? '\\n' + // InternalSolverLanguage.g:9134:41: ( '\\r' )? '\\n' { - // InternalSolverLanguage.g:5823:41: ( '\\r' )? - int alt7=2; - int LA7_0 = input.LA(1); + // InternalSolverLanguage.g:9134:41: ( '\\r' )? + int alt8=2; + int LA8_0 = input.LA(1); - if ( (LA7_0=='\r') ) { - alt7=1; + if ( (LA8_0=='\r') ) { + alt8=1; } - switch (alt7) { + switch (alt8) { case 1 : - // InternalSolverLanguage.g:5823:41: '\\r' + // InternalSolverLanguage.g:9134:41: '\\r' { match('\r'); @@ -1052,344 +1814,575 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = RULE_WS; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:5825:9: ( ( ' ' | '\\t' | '\\r' | '\\n' )+ ) - // InternalSolverLanguage.g:5825:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ + // InternalSolverLanguage.g:9136:9: ( ( ' ' | '\\t' | '\\r' | '\\n' )+ ) + // InternalSolverLanguage.g:9136:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ { - // InternalSolverLanguage.g:5825:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ - int cnt9=0; - loop9: + // InternalSolverLanguage.g:9136:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ + int cnt10=0; + loop10: do { - int alt9=2; - int LA9_0 = input.LA(1); + int alt10=2; + int LA10_0 = input.LA(1); + + if ( ((LA10_0>='\t' && LA10_0<='\n')||LA10_0=='\r'||LA10_0==' ') ) { + alt10=1; + } + + + switch (alt10) { + case 1 : + // InternalSolverLanguage.g: + { + if ( (input.LA(1)>='\t' && 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 ( cnt10 >= 1 ) break loop10; + EarlyExitException eee = + new EarlyExitException(10, input); + throw eee; + } + cnt10++; + } while (true); + + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "RULE_WS" + + // $ANTLR start "RULE_ANY_OTHER" + public final void mRULE_ANY_OTHER() throws RecognitionException { + try { + int _type = RULE_ANY_OTHER; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:9138:16: ( . ) + // InternalSolverLanguage.g:9138:18: . + { + matchAny(); + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "RULE_ANY_OTHER" + + public void mTokens() throws RecognitionException { + // InternalSolverLanguage.g:1:8: ( T__15 | T__16 | T__17 | T__18 | T__19 | T__20 | T__21 | T__22 | T__23 | T__24 | T__25 | T__26 | T__27 | T__28 | T__29 | T__30 | T__31 | T__32 | T__33 | T__34 | T__35 | T__36 | T__37 | T__38 | T__39 | T__40 | T__41 | T__42 | T__43 | T__44 | T__45 | T__46 | T__47 | T__48 | T__49 | T__50 | T__51 | T__52 | T__53 | T__54 | T__55 | T__56 | T__57 | T__58 | T__59 | T__60 | T__61 | T__62 | T__63 | T__64 | T__65 | T__66 | T__67 | T__68 | T__69 | T__70 | T__71 | T__72 | T__73 | T__74 | RULE_STRING | RULE_QUOTED_ID | RULE_PLUS | RULE_STAR | RULE_DOT | RULE_ID | RULE_INT | RULE_ML_COMMENT | RULE_SL_COMMENT | RULE_WS | RULE_ANY_OTHER ) + int alt11=71; + alt11 = dfa11.predict(input); + switch (alt11) { + case 1 : + // InternalSolverLanguage.g:1:10: T__15 + { + mT__15(); + + } + break; + case 2 : + // InternalSolverLanguage.g:1:16: T__16 + { + mT__16(); + + } + break; + case 3 : + // InternalSolverLanguage.g:1:22: T__17 + { + mT__17(); + + } + break; + case 4 : + // InternalSolverLanguage.g:1:28: T__18 + { + mT__18(); + + } + break; + case 5 : + // InternalSolverLanguage.g:1:34: T__19 + { + mT__19(); + + } + break; + case 6 : + // InternalSolverLanguage.g:1:40: T__20 + { + mT__20(); + + } + break; + case 7 : + // InternalSolverLanguage.g:1:46: T__21 + { + mT__21(); + + } + break; + case 8 : + // InternalSolverLanguage.g:1:52: T__22 + { + mT__22(); + + } + break; + case 9 : + // InternalSolverLanguage.g:1:58: T__23 + { + mT__23(); + + } + break; + case 10 : + // InternalSolverLanguage.g:1:64: T__24 + { + mT__24(); + + } + break; + case 11 : + // InternalSolverLanguage.g:1:70: T__25 + { + mT__25(); + + } + break; + case 12 : + // InternalSolverLanguage.g:1:76: T__26 + { + mT__26(); + + } + break; + case 13 : + // InternalSolverLanguage.g:1:82: T__27 + { + mT__27(); + + } + break; + case 14 : + // InternalSolverLanguage.g:1:88: T__28 + { + mT__28(); + + } + break; + case 15 : + // InternalSolverLanguage.g:1:94: T__29 + { + mT__29(); + + } + break; + case 16 : + // InternalSolverLanguage.g:1:100: T__30 + { + mT__30(); + + } + break; + case 17 : + // InternalSolverLanguage.g:1:106: T__31 + { + mT__31(); + + } + break; + case 18 : + // InternalSolverLanguage.g:1:112: T__32 + { + mT__32(); + + } + break; + case 19 : + // InternalSolverLanguage.g:1:118: T__33 + { + mT__33(); + + } + break; + case 20 : + // InternalSolverLanguage.g:1:124: T__34 + { + mT__34(); - if ( ((LA9_0>='\t' && LA9_0<='\n')||LA9_0=='\r'||LA9_0==' ') ) { - alt9=1; } + break; + case 21 : + // InternalSolverLanguage.g:1:130: T__35 + { + mT__35(); + } + break; + case 22 : + // InternalSolverLanguage.g:1:136: T__36 + { + mT__36(); - switch (alt9) { - case 1 : - // InternalSolverLanguage.g: - { - if ( (input.LA(1)>='\t' && input.LA(1)<='\n')||input.LA(1)=='\r'||input.LA(1)==' ' ) { - input.consume(); + } + break; + case 23 : + // InternalSolverLanguage.g:1:142: T__37 + { + mT__37(); - } - else { - MismatchedSetException mse = new MismatchedSetException(null,input); - recover(mse); - throw mse;} + } + break; + case 24 : + // InternalSolverLanguage.g:1:148: T__38 + { + mT__38(); + } + break; + case 25 : + // InternalSolverLanguage.g:1:154: T__39 + { + mT__39(); - } - break; + } + break; + case 26 : + // InternalSolverLanguage.g:1:160: T__40 + { + mT__40(); - default : - if ( cnt9 >= 1 ) break loop9; - EarlyExitException eee = - new EarlyExitException(9, input); - throw eee; } - cnt9++; - } while (true); + break; + case 27 : + // InternalSolverLanguage.g:1:166: T__41 + { + mT__41(); + } + break; + case 28 : + // InternalSolverLanguage.g:1:172: T__42 + { + mT__42(); - } + } + break; + case 29 : + // InternalSolverLanguage.g:1:178: T__43 + { + mT__43(); - state.type = _type; - state.channel = _channel; - } - finally { - } - } - // $ANTLR end "RULE_WS" + } + break; + case 30 : + // InternalSolverLanguage.g:1:184: T__44 + { + mT__44(); - // $ANTLR start "RULE_ANY_OTHER" - public final void mRULE_ANY_OTHER() throws RecognitionException { - try { - int _type = RULE_ANY_OTHER; - int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:5827:16: ( . ) - // InternalSolverLanguage.g:5827:18: . - { - matchAny(); + } + break; + case 31 : + // InternalSolverLanguage.g:1:190: T__45 + { + mT__45(); - } + } + break; + case 32 : + // InternalSolverLanguage.g:1:196: T__46 + { + mT__46(); - state.type = _type; - state.channel = _channel; - } - finally { - } - } - // $ANTLR end "RULE_ANY_OTHER" + } + break; + case 33 : + // InternalSolverLanguage.g:1:202: T__47 + { + mT__47(); - public void mTokens() throws RecognitionException { - // InternalSolverLanguage.g:1:8: ( T__11 | T__12 | T__13 | T__14 | T__15 | T__16 | T__17 | T__18 | T__19 | T__20 | T__21 | T__22 | T__23 | T__24 | T__25 | T__26 | T__27 | T__28 | T__29 | T__30 | T__31 | T__32 | T__33 | T__34 | T__35 | T__36 | T__37 | T__38 | T__39 | T__40 | T__41 | RULE_STRING | RULE_ID | RULE_INT | RULE_ML_COMMENT | RULE_SL_COMMENT | RULE_WS | RULE_ANY_OTHER ) - int alt10=38; - alt10 = dfa10.predict(input); - switch (alt10) { - case 1 : - // InternalSolverLanguage.g:1:10: T__11 + } + break; + case 34 : + // InternalSolverLanguage.g:1:208: T__48 { - mT__11(); + mT__48(); } break; - case 2 : - // InternalSolverLanguage.g:1:16: T__12 + case 35 : + // InternalSolverLanguage.g:1:214: T__49 { - mT__12(); + mT__49(); } break; - case 3 : - // InternalSolverLanguage.g:1:22: T__13 + case 36 : + // InternalSolverLanguage.g:1:220: T__50 { - mT__13(); + mT__50(); } break; - case 4 : - // InternalSolverLanguage.g:1:28: T__14 + case 37 : + // InternalSolverLanguage.g:1:226: T__51 { - mT__14(); + mT__51(); } break; - case 5 : - // InternalSolverLanguage.g:1:34: T__15 + case 38 : + // InternalSolverLanguage.g:1:232: T__52 { - mT__15(); + mT__52(); } break; - case 6 : - // InternalSolverLanguage.g:1:40: T__16 + case 39 : + // InternalSolverLanguage.g:1:238: T__53 { - mT__16(); + mT__53(); } break; - case 7 : - // InternalSolverLanguage.g:1:46: T__17 + case 40 : + // InternalSolverLanguage.g:1:244: T__54 { - mT__17(); + mT__54(); } break; - case 8 : - // InternalSolverLanguage.g:1:52: T__18 + case 41 : + // InternalSolverLanguage.g:1:250: T__55 { - mT__18(); + mT__55(); } break; - case 9 : - // InternalSolverLanguage.g:1:58: T__19 + case 42 : + // InternalSolverLanguage.g:1:256: T__56 { - mT__19(); + mT__56(); } break; - case 10 : - // InternalSolverLanguage.g:1:64: T__20 + case 43 : + // InternalSolverLanguage.g:1:262: T__57 { - mT__20(); + mT__57(); } break; - case 11 : - // InternalSolverLanguage.g:1:70: T__21 + case 44 : + // InternalSolverLanguage.g:1:268: T__58 { - mT__21(); + mT__58(); } break; - case 12 : - // InternalSolverLanguage.g:1:76: T__22 + case 45 : + // InternalSolverLanguage.g:1:274: T__59 { - mT__22(); + mT__59(); } break; - case 13 : - // InternalSolverLanguage.g:1:82: T__23 + case 46 : + // InternalSolverLanguage.g:1:280: T__60 { - mT__23(); + mT__60(); } break; - case 14 : - // InternalSolverLanguage.g:1:88: T__24 + case 47 : + // InternalSolverLanguage.g:1:286: T__61 { - mT__24(); + mT__61(); } break; - case 15 : - // InternalSolverLanguage.g:1:94: T__25 + case 48 : + // InternalSolverLanguage.g:1:292: T__62 { - mT__25(); + mT__62(); } break; - case 16 : - // InternalSolverLanguage.g:1:100: T__26 + case 49 : + // InternalSolverLanguage.g:1:298: T__63 { - mT__26(); + mT__63(); } break; - case 17 : - // InternalSolverLanguage.g:1:106: T__27 + case 50 : + // InternalSolverLanguage.g:1:304: T__64 { - mT__27(); + mT__64(); } break; - case 18 : - // InternalSolverLanguage.g:1:112: T__28 + case 51 : + // InternalSolverLanguage.g:1:310: T__65 { - mT__28(); + mT__65(); } break; - case 19 : - // InternalSolverLanguage.g:1:118: T__29 + case 52 : + // InternalSolverLanguage.g:1:316: T__66 { - mT__29(); + mT__66(); } break; - case 20 : - // InternalSolverLanguage.g:1:124: T__30 + case 53 : + // InternalSolverLanguage.g:1:322: T__67 { - mT__30(); + mT__67(); } break; - case 21 : - // InternalSolverLanguage.g:1:130: T__31 + case 54 : + // InternalSolverLanguage.g:1:328: T__68 { - mT__31(); + mT__68(); } break; - case 22 : - // InternalSolverLanguage.g:1:136: T__32 + case 55 : + // InternalSolverLanguage.g:1:334: T__69 { - mT__32(); + mT__69(); } break; - case 23 : - // InternalSolverLanguage.g:1:142: T__33 + case 56 : + // InternalSolverLanguage.g:1:340: T__70 { - mT__33(); + mT__70(); } break; - case 24 : - // InternalSolverLanguage.g:1:148: T__34 + case 57 : + // InternalSolverLanguage.g:1:346: T__71 { - mT__34(); + mT__71(); } break; - case 25 : - // InternalSolverLanguage.g:1:154: T__35 + case 58 : + // InternalSolverLanguage.g:1:352: T__72 { - mT__35(); + mT__72(); } break; - case 26 : - // InternalSolverLanguage.g:1:160: T__36 + case 59 : + // InternalSolverLanguage.g:1:358: T__73 { - mT__36(); + mT__73(); } break; - case 27 : - // InternalSolverLanguage.g:1:166: T__37 + case 60 : + // InternalSolverLanguage.g:1:364: T__74 { - mT__37(); + mT__74(); } break; - case 28 : - // InternalSolverLanguage.g:1:172: T__38 + case 61 : + // InternalSolverLanguage.g:1:370: RULE_STRING { - mT__38(); + mRULE_STRING(); } break; - case 29 : - // InternalSolverLanguage.g:1:178: T__39 + case 62 : + // InternalSolverLanguage.g:1:382: RULE_QUOTED_ID { - mT__39(); + mRULE_QUOTED_ID(); } break; - case 30 : - // InternalSolverLanguage.g:1:184: T__40 + case 63 : + // InternalSolverLanguage.g:1:397: RULE_PLUS { - mT__40(); + mRULE_PLUS(); } break; - case 31 : - // InternalSolverLanguage.g:1:190: T__41 + case 64 : + // InternalSolverLanguage.g:1:407: RULE_STAR { - mT__41(); + mRULE_STAR(); } break; - case 32 : - // InternalSolverLanguage.g:1:196: RULE_STRING + case 65 : + // InternalSolverLanguage.g:1:417: RULE_DOT { - mRULE_STRING(); + mRULE_DOT(); } break; - case 33 : - // InternalSolverLanguage.g:1:208: RULE_ID + case 66 : + // InternalSolverLanguage.g:1:426: RULE_ID { mRULE_ID(); } break; - case 34 : - // InternalSolverLanguage.g:1:216: RULE_INT + case 67 : + // InternalSolverLanguage.g:1:434: RULE_INT { mRULE_INT(); } break; - case 35 : - // InternalSolverLanguage.g:1:225: RULE_ML_COMMENT + case 68 : + // InternalSolverLanguage.g:1:443: RULE_ML_COMMENT { mRULE_ML_COMMENT(); } break; - case 36 : - // InternalSolverLanguage.g:1:241: RULE_SL_COMMENT + case 69 : + // InternalSolverLanguage.g:1:459: RULE_SL_COMMENT { mRULE_SL_COMMENT(); } break; - case 37 : - // InternalSolverLanguage.g:1:257: RULE_WS + case 70 : + // InternalSolverLanguage.g:1:475: RULE_WS { mRULE_WS(); } break; - case 38 : - // InternalSolverLanguage.g:1:265: RULE_ANY_OTHER + case 71 : + // InternalSolverLanguage.g:1:483: RULE_ANY_OTHER { mRULE_ANY_OTHER(); @@ -1401,286 +2394,408 @@ public class InternalSolverLanguageLexer extends Lexer { } - protected DFA10 dfa10 = new DFA10(this); - static final String DFA10_eotS = - "\1\uffff\2\40\1\uffff\1\44\2\40\1\53\3\uffff\4\40\4\uffff\2\40\2\uffff\1\40\2\36\2\uffff\1\36\2\uffff\1\40\1\uffff\1\40\3\uffff\5\40\5\uffff\4\40\4\uffff\3\40\2\uffff\1\40\5\uffff\11\40\1\134\10\40\1\145\5\40\1\153\1\154\1\uffff\1\155\6\40\1\164\1\uffff\1\40\1\166\3\40\3\uffff\3\40\1\175\2\40\1\uffff\1\40\1\uffff\1\u0081\1\40\1\u0083\1\40\1\u0085\1\40\1\uffff\2\40\1\u0089\1\uffff\1\u008a\1\uffff\1\40\1\uffff\1\u008c\2\40\2\uffff\1\u008f\1\uffff\1\40\1\u0091\1\uffff\1\40\1\uffff\1\40\1\u0094\1\uffff"; - static final String DFA10_eofS = - "\u0095\uffff"; - static final String DFA10_minS = - "\1\0\1\141\1\162\1\uffff\1\56\2\156\1\55\3\uffff\1\157\1\156\1\145\1\164\4\uffff\1\145\1\154\2\uffff\1\142\1\0\1\101\2\uffff\1\52\2\uffff\1\154\1\uffff\1\165\3\uffff\1\153\1\162\1\151\2\165\5\uffff\1\157\1\164\1\141\1\162\4\uffff\1\146\1\141\1\156\2\uffff\1\163\5\uffff\1\163\1\145\1\156\1\157\1\163\1\145\1\141\1\155\1\154\1\60\1\154\1\141\1\151\1\141\1\163\2\164\1\145\1\60\1\157\1\162\1\164\1\156\1\154\2\60\1\uffff\1\60\1\164\1\156\1\165\1\163\1\141\1\162\1\60\1\uffff\1\167\1\60\1\163\1\144\1\163\3\uffff\1\151\1\147\1\154\1\60\1\151\1\141\1\uffff\1\156\1\uffff\1\60\1\163\1\60\1\157\1\60\1\164\1\uffff\1\156\1\143\1\60\1\uffff\1\60\1\uffff\1\156\1\uffff\1\60\1\155\1\164\2\uffff\1\60\1\uffff\1\145\1\60\1\uffff\1\156\1\uffff\1\164\1\60\1\uffff"; - static final String DFA10_maxS = - "\1\uffff\1\141\1\162\1\uffff\1\56\1\156\1\170\1\55\3\uffff\1\157\1\156\1\145\1\164\4\uffff\1\145\1\157\2\uffff\1\142\1\uffff\1\172\2\uffff\1\57\2\uffff\1\154\1\uffff\1\165\3\uffff\1\153\1\162\1\164\2\165\5\uffff\1\157\1\164\1\154\1\162\4\uffff\1\146\1\141\1\156\2\uffff\1\163\5\uffff\1\163\1\145\1\156\1\157\1\163\1\145\1\141\1\155\1\154\1\172\1\154\1\141\1\151\1\141\1\163\2\164\1\145\1\172\1\157\1\162\1\164\1\156\1\154\2\172\1\uffff\1\172\1\164\1\156\1\165\1\163\1\141\1\162\1\172\1\uffff\1\167\1\172\1\163\1\144\1\163\3\uffff\1\151\1\147\1\154\1\172\1\151\1\141\1\uffff\1\156\1\uffff\1\172\1\163\1\172\1\157\1\172\1\164\1\uffff\1\156\1\143\1\172\1\uffff\1\172\1\uffff\1\156\1\uffff\1\172\1\155\1\164\2\uffff\1\172\1\uffff\1\145\1\172\1\uffff\1\156\1\uffff\1\164\1\172\1\uffff"; - static final String DFA10_acceptS = - "\3\uffff\1\3\4\uffff\1\10\1\11\1\12\4\uffff\1\21\1\23\1\24\1\25\2\uffff\1\30\1\31\3\uffff\1\41\1\42\1\uffff\1\45\1\46\1\uffff\1\41\1\uffff\1\3\1\35\1\4\5\uffff\1\22\1\7\1\10\1\11\1\12\4\uffff\1\21\1\23\1\24\1\25\3\uffff\1\30\1\31\1\uffff\1\40\1\42\1\43\1\44\1\45\32\uffff\1\16\10\uffff\1\2\5\uffff\1\33\1\15\1\17\6\uffff\1\1\1\uffff\1\6\6\uffff\1\27\3\uffff\1\13\1\uffff\1\14\1\uffff\1\20\3\uffff\1\5\1\32\1\uffff\1\26\2\uffff\1\34\1\uffff\1\36\2\uffff\1\37"; - static final String DFA10_specialS = - "\1\1\27\uffff\1\0\174\uffff}>"; - static final String[] DFA10_transitionS = { - "\11\36\2\35\2\36\1\35\22\36\1\35\1\36\1\30\4\36\1\17\1\10\1\11\1\22\1\21\1\12\1\3\1\4\1\34\12\33\1\7\6\36\32\32\3\36\1\31\1\32\1\36\1\27\1\13\1\24\1\23\1\6\1\1\2\32\1\14\10\32\1\15\1\16\1\2\1\5\5\32\1\25\1\20\1\26\uff82\36", - "\1\37", - "\1\41", - "", - "\1\43", - "\1\45", - "\1\51\2\uffff\1\50\1\46\5\uffff\1\47", - "\1\52", + protected DFA11 dfa11 = new DFA11(this); + static final String DFA11_eotS = + "\1\uffff\1\50\1\uffff\2\51\1\57\1\61\1\63\1\65\1\uffff\1\70\1\73\12\51\1\124\1\51\1\127\11\uffff\2\47\7\uffff\1\147\1\150\1\51\16\uffff\27\51\2\uffff\1\51\17\uffff\1\u0084\1\u0085\2\uffff\1\51\1\u0087\1\u0089\1\51\1\u008c\6\51\1\u0093\3\51\1\u0097\13\51\2\uffff\1\u00a3\1\uffff\1\51\1\uffff\1\u00a5\1\51\1\uffff\4\51\1\u00ab\1\51\1\uffff\2\51\1\u00af\1\uffff\1\51\1\u00b1\1\u00b2\5\51\1\u00b9\2\51\1\uffff\1\51\1\uffff\2\51\1\u00bf\1\51\1\u00c1\1\uffff\1\51\1\u00c3\1\51\1\uffff\1\51\2\uffff\1\u00c6\2\51\1\u00c9\2\51\1\uffff\1\u00cc\4\51\1\uffff\1\51\1\uffff\1\51\1\uffff\2\51\1\uffff\2\51\1\uffff\1\u00d7\1\51\1\uffff\3\51\1\u00dc\5\51\1\u00e2\1\uffff\1\u00e3\1\u00e4\1\u00e5\1\u00e6\1\uffff\1\u00e7\1\u00e8\1\51\1\u00ea\1\51\7\uffff\1\51\1\uffff\1\51\1\uffff\1\u00ef\5\uffff"; + static final String DFA11_eofS = + "\u00f3\uffff"; + static final String DFA11_minS = + "\1\0\1\101\1\uffff\1\146\1\145\4\75\1\uffff\1\76\1\52\1\141\1\154\1\156\1\143\1\162\1\142\1\150\1\141\1\156\1\154\1\55\1\145\1\56\11\uffff\2\0\7\uffff\2\60\1\141\16\uffff\1\170\1\163\1\156\1\162\1\156\1\141\1\154\1\160\1\155\1\157\1\156\1\157\1\147\1\163\1\165\1\145\1\154\1\156\1\153\1\162\1\164\1\163\1\160\2\uffff\1\146\17\uffff\2\60\2\uffff\1\154\2\60\1\164\1\60\1\162\1\156\1\164\1\163\1\171\1\157\1\60\1\160\1\164\1\144\1\60\1\164\1\145\1\156\1\163\1\143\1\156\1\157\2\145\1\164\1\141\2\uffff\1\60\1\uffff\1\155\1\uffff\1\60\1\155\1\uffff\1\145\1\164\1\141\1\163\1\60\1\163\1\uffff\1\145\1\150\1\60\1\uffff\1\162\2\60\1\145\1\164\1\157\1\162\1\156\1\60\1\171\1\165\1\uffff\1\151\1\uffff\1\151\1\156\1\60\1\151\1\60\1\uffff\1\151\1\60\1\145\1\uffff\1\141\2\uffff\1\60\1\151\1\167\1\60\1\156\1\144\1\uffff\1\60\1\154\2\172\1\164\1\uffff\1\156\1\uffff\1\164\1\uffff\1\164\1\143\1\uffff\1\157\1\156\1\uffff\1\60\1\163\1\uffff\1\164\2\145\1\60\1\163\1\145\1\151\1\164\1\156\1\60\1\uffff\4\60\1\uffff\2\60\1\143\1\60\1\141\7\uffff\1\72\1\uffff\1\154\1\72\1\60\1\144\4\uffff"; + static final String DFA11_maxS = + "\1\uffff\1\172\1\uffff\1\156\1\145\4\75\1\uffff\1\76\1\57\2\165\1\160\1\171\1\162\1\166\1\162\1\165\1\156\1\170\1\55\1\145\1\56\11\uffff\2\uffff\7\uffff\2\172\1\141\16\uffff\1\171\1\163\1\156\1\162\1\165\1\141\1\154\1\160\1\155\1\157\1\156\1\157\1\147\1\163\1\165\1\145\1\154\1\156\1\153\1\162\1\164\1\163\1\160\2\uffff\1\146\17\uffff\2\172\2\uffff\1\154\2\172\1\164\1\172\1\162\1\156\1\164\1\163\1\171\1\157\1\172\1\160\1\164\1\144\1\172\1\164\1\145\1\156\1\163\1\143\1\156\1\157\2\145\1\164\1\141\2\uffff\1\172\1\uffff\1\155\1\uffff\1\172\1\155\1\uffff\1\145\1\164\1\141\1\163\1\172\1\163\1\uffff\1\145\1\150\1\172\1\uffff\1\162\2\172\1\145\1\164\1\157\2\162\1\172\1\171\1\165\1\uffff\1\151\1\uffff\1\151\1\156\1\172\1\151\1\172\1\uffff\1\151\1\172\1\145\1\uffff\1\141\2\uffff\1\172\1\151\1\167\1\172\1\156\1\144\1\uffff\1\172\1\154\2\172\1\164\1\uffff\1\156\1\uffff\1\164\1\uffff\1\164\1\143\1\uffff\1\157\1\156\1\uffff\1\172\1\163\1\uffff\1\164\2\145\1\172\1\163\1\145\1\151\1\164\1\156\1\172\1\uffff\4\172\1\uffff\2\172\1\143\1\172\1\141\7\uffff\1\72\1\uffff\1\154\1\72\1\172\1\163\4\uffff"; + static final String DFA11_acceptS = + "\2\uffff\1\2\6\uffff\1\14\17\uffff\1\50\1\52\1\54\1\55\1\56\1\57\1\60\1\61\1\63\2\uffff\1\102\1\103\1\106\1\107\1\1\1\102\1\2\3\uffff\1\5\1\41\1\6\1\17\1\10\1\7\1\12\1\11\1\14\1\51\1\15\1\104\1\105\1\16\27\uffff\1\40\1\37\1\uffff\1\62\1\44\1\50\1\52\1\54\1\55\1\56\1\57\1\60\1\61\1\63\1\75\1\76\1\103\1\106\2\uffff\1\13\1\45\33\uffff\1\3\1\64\1\uffff\1\20\1\uffff\1\30\2\uffff\1\27\6\uffff\1\24\3\uffff\1\26\13\uffff\1\4\1\uffff\1\21\5\uffff\1\23\3\uffff\1\25\1\uffff\1\31\1\46\6\uffff\1\47\5\uffff\1\53\1\uffff\1\66\1\uffff\1\71\2\uffff\1\32\2\uffff\1\34\2\uffff\1\65\12\uffff\1\43\4\uffff\1\22\5\uffff\1\33\1\67\1\42\1\36\1\35\1\74\1\70\1\uffff\1\73\4\uffff\1\72\1\77\1\100\1\101"; + static final String DFA11_specialS = + "\1\1\41\uffff\1\2\1\0\u00cf\uffff}>"; + static final String[] DFA11_transitionS = { + "\11\47\2\46\2\47\1\46\22\47\1\46\1\6\1\42\4\47\1\43\1\36\1\37\1\2\1\11\1\32\1\12\1\30\1\13\12\45\1\26\1\31\1\7\1\5\1\10\2\47\32\44\1\40\1\47\1\41\1\1\1\44\1\47\1\21\1\44\1\15\1\27\1\25\1\23\2\44\1\3\3\44\1\14\1\44\1\16\1\20\1\44\1\4\1\17\1\22\1\24\5\44\1\33\1\35\1\34\uff82\47", + "\32\51\4\uffff\1\51\1\uffff\32\51", "", - "", - "", - "\1\57", + "\1\54\7\uffff\1\53", + "\1\55", + "\1\56", "\1\60", - "\1\61", "\1\62", + "\1\64", "", + "\1\67", + "\1\71\4\uffff\1\72", + "\1\74\7\uffff\1\76\13\uffff\1\75", + "\1\101\2\uffff\1\100\5\uffff\1\77", + "\1\102\1\uffff\1\103", + "\1\105\21\uffff\1\104\3\uffff\1\106", + "\1\107", + "\1\111\23\uffff\1\110", + "\1\113\11\uffff\1\112", + "\1\114\23\uffff\1\115", + "\1\116", + "\1\121\1\122\4\uffff\1\117\5\uffff\1\120", + "\1\123", + "\1\125", + "\1\126", "", "", "", - "\1\67", - "\1\70\2\uffff\1\71", "", "", - "\1\74", - "\0\75", - "\32\40\4\uffff\1\40\1\uffff\32\40", "", "", - "\1\77\4\uffff\1\100", "", "", - "\1\102", + "\0\141", + "\0\142", "", - "\1\103", "", "", "", - "\1\104", - "\1\105", - "\1\106\12\uffff\1\107", - "\1\110", - "\1\111", "", "", "", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\5\51\1\146\15\51\1\145\6\51", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", + "\1\151", "", "", - "\1\112", - "\1\113", - "\1\114\12\uffff\1\115", - "\1\116", "", "", "", "", - "\1\117", - "\1\120", - "\1\121", "", "", - "\1\122", "", "", "", "", "", - "\1\123", - "\1\124", - "\1\125", - "\1\126", - "\1\127", - "\1\130", - "\1\131", - "\1\132", - "\1\133", - "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", - "\1\135", - "\1\136", - "\1\137", - "\1\140", - "\1\141", - "\1\142", - "\1\143", - "\1\144", - "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", - "\1\146", - "\1\147", - "\1\150", - "\1\151", - "\1\152", - "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", - "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", "", - "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", + "\1\153\1\152", + "\1\154", + "\1\155", "\1\156", - "\1\157", - "\1\160", + "\1\160\6\uffff\1\157", "\1\161", "\1\162", "\1\163", - "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", - "", + "\1\164", "\1\165", - "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", + "\1\166", "\1\167", "\1\170", "\1\171", - "", - "", - "", "\1\172", "\1\173", "\1\174", - "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", + "\1\175", "\1\176", "\1\177", - "", "\1\u0080", - "", - "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", + "\1\u0081", "\1\u0082", - "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", - "\1\u0084", - "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", - "\1\u0086", "", - "\1\u0087", - "\1\u0088", - "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", "", - "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", + "\1\u0083", + "", + "", + "", + "", + "", + "", + "", + "", + "", + "", + "", + "", + "", + "", + "", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", "", - "\1\u008b", "", - "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", + "\1\u0086", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\10\51\1\u0088\21\51", + "\1\u008a", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\10\51\1\u008b\21\51", "\1\u008d", "\1\u008e", + "\1\u008f", + "\1\u0090", + "\1\u0091", + "\1\u0092", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", + "\1\u0094", + "\1\u0095", + "\1\u0096", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", + "\1\u0098", + "\1\u0099", + "\1\u009a", + "\1\u009b", + "\1\u009c", + "\1\u009d", + "\1\u009e", + "\1\u009f", + "\1\u00a0", + "\1\u00a1", + "\1\u00a2", "", "", - "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", + "", + "\1\u00a4", + "", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", + "\1\u00a6", + "", + "\1\u00a7", + "\1\u00a8", + "\1\u00a9", + "\1\u00aa", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", + "\1\u00ac", + "", + "\1\u00ad", + "\1\u00ae", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", + "", + "\1\u00b0", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", + "\1\u00b3", + "\1\u00b4", + "\1\u00b5", + "\1\u00b6", + "\1\u00b8\3\uffff\1\u00b7", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", + "\1\u00ba", + "\1\u00bb", + "", + "\1\u00bc", + "", + "\1\u00bd", + "\1\u00be", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", + "\1\u00c0", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", + "", + "\1\u00c2", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", + "\1\u00c4", + "", + "\1\u00c5", + "", + "", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", + "\1\u00c7", + "\1\u00c8", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", + "\1\u00ca", + "\1\u00cb", + "", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", + "\1\u00cd", + "\1\u00ce", + "\1\u00cf", + "\1\u00d0", + "", + "\1\u00d1", + "", + "\1\u00d2", + "", + "\1\u00d3", + "\1\u00d4", + "", + "\1\u00d5", + "\1\u00d6", + "", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", + "\1\u00d8", + "", + "\1\u00d9", + "\1\u00da", + "\1\u00db", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", + "\1\u00dd", + "\1\u00de", + "\1\u00df", + "\1\u00e0", + "\1\u00e1", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", + "", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", + "", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", + "\1\u00e9", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", + "\1\u00eb", + "", + "", + "", + "", + "", + "", + "", + "\1\u00ec", + "", + "\1\u00ed", + "\1\u00ee", + "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", + "\1\u00f2\13\uffff\1\u00f0\2\uffff\1\u00f1", "", - "\1\u0090", - "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", "", - "\1\u0092", "", - "\1\u0093", - "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", "" }; - static final short[] DFA10_eot = DFA.unpackEncodedString(DFA10_eotS); - static final short[] DFA10_eof = DFA.unpackEncodedString(DFA10_eofS); - static final char[] DFA10_min = DFA.unpackEncodedStringToUnsignedChars(DFA10_minS); - static final char[] DFA10_max = DFA.unpackEncodedStringToUnsignedChars(DFA10_maxS); - static final short[] DFA10_accept = DFA.unpackEncodedString(DFA10_acceptS); - static final short[] DFA10_special = DFA.unpackEncodedString(DFA10_specialS); - static final short[][] DFA10_transition; + static final short[] DFA11_eot = DFA.unpackEncodedString(DFA11_eotS); + static final short[] DFA11_eof = DFA.unpackEncodedString(DFA11_eofS); + static final char[] DFA11_min = DFA.unpackEncodedStringToUnsignedChars(DFA11_minS); + static final char[] DFA11_max = DFA.unpackEncodedStringToUnsignedChars(DFA11_maxS); + static final short[] DFA11_accept = DFA.unpackEncodedString(DFA11_acceptS); + static final short[] DFA11_special = DFA.unpackEncodedString(DFA11_specialS); + static final short[][] DFA11_transition; static { - int numStates = DFA10_transitionS.length; - DFA10_transition = new short[numStates][]; + int numStates = DFA11_transitionS.length; + DFA11_transition = new short[numStates][]; for (int i=0; i='\u0000' && LA10_24<='\uFFFF')) ) {s = 61;} + if ( ((LA11_35>='\u0000' && LA11_35<='\uFFFF')) ) {s = 98;} - else s = 30; + else s = 39; if ( s>=0 ) return s; break; case 1 : - int LA10_0 = input.LA(1); + int LA11_0 = input.LA(1); s = -1; - if ( (LA10_0=='f') ) {s = 1;} + if ( (LA11_0=='^') ) {s = 1;} + + else if ( (LA11_0=='*') ) {s = 2;} + + else if ( (LA11_0=='i') ) {s = 3;} + + else if ( (LA11_0=='r') ) {s = 4;} + + else if ( (LA11_0=='=') ) {s = 5;} + + else if ( (LA11_0=='!') ) {s = 6;} + + else if ( (LA11_0=='<') ) {s = 7;} + + else if ( (LA11_0=='>') ) {s = 8;} - else if ( (LA10_0=='t') ) {s = 2;} + else if ( (LA11_0=='+') ) {s = 9;} - else if ( (LA10_0=='-') ) {s = 3;} + else if ( (LA11_0=='-') ) {s = 10;} - else if ( (LA10_0=='.') ) {s = 4;} + else if ( (LA11_0=='/') ) {s = 11;} - else if ( (LA10_0=='u') ) {s = 5;} + else if ( (LA11_0=='m') ) {s = 12;} - else if ( (LA10_0=='e') ) {s = 6;} + else if ( (LA11_0=='c') ) {s = 13;} - else if ( (LA10_0==':') ) {s = 7;} + else if ( (LA11_0=='o') ) {s = 14;} - else if ( (LA10_0=='(') ) {s = 8;} + else if ( (LA11_0=='s') ) {s = 15;} - else if ( (LA10_0==')') ) {s = 9;} + else if ( (LA11_0=='p') ) {s = 16;} - else if ( (LA10_0==',') ) {s = 10;} + else if ( (LA11_0=='a') ) {s = 17;} - else if ( (LA10_0=='b') ) {s = 11;} + else if ( (LA11_0=='t') ) {s = 18;} - else if ( (LA10_0=='i') ) {s = 12;} + else if ( (LA11_0=='f') ) {s = 19;} - else if ( (LA10_0=='r') ) {s = 13;} + else if ( (LA11_0=='u') ) {s = 20;} - else if ( (LA10_0=='s') ) {s = 14;} + else if ( (LA11_0=='e') ) {s = 21;} - else if ( (LA10_0=='\'') ) {s = 15;} + else if ( (LA11_0==':') ) {s = 22;} - else if ( (LA10_0=='|') ) {s = 16;} + else if ( (LA11_0=='d') ) {s = 23;} - else if ( (LA10_0=='+') ) {s = 17;} + else if ( (LA11_0=='.') ) {s = 24;} - else if ( (LA10_0=='*') ) {s = 18;} + else if ( (LA11_0==';') ) {s = 25;} - else if ( (LA10_0=='d') ) {s = 19;} + else if ( (LA11_0==',') ) {s = 26;} - else if ( (LA10_0=='c') ) {s = 20;} + else if ( (LA11_0=='{') ) {s = 27;} - else if ( (LA10_0=='{') ) {s = 21;} + else if ( (LA11_0=='}') ) {s = 28;} - else if ( (LA10_0=='}') ) {s = 22;} + else if ( (LA11_0=='|') ) {s = 29;} - else if ( (LA10_0=='a') ) {s = 23;} + else if ( (LA11_0=='(') ) {s = 30;} - else if ( (LA10_0=='\"') ) {s = 24;} + else if ( (LA11_0==')') ) {s = 31;} - else if ( (LA10_0=='^') ) {s = 25;} + else if ( (LA11_0=='[') ) {s = 32;} - else if ( ((LA10_0>='A' && LA10_0<='Z')||LA10_0=='_'||(LA10_0>='g' && LA10_0<='h')||(LA10_0>='j' && LA10_0<='q')||(LA10_0>='v' && LA10_0<='z')) ) {s = 26;} + else if ( (LA11_0==']') ) {s = 33;} - else if ( ((LA10_0>='0' && LA10_0<='9')) ) {s = 27;} + else if ( (LA11_0=='\"') ) {s = 34;} - else if ( (LA10_0=='/') ) {s = 28;} + else if ( (LA11_0=='\'') ) {s = 35;} - else if ( ((LA10_0>='\t' && LA10_0<='\n')||LA10_0=='\r'||LA10_0==' ') ) {s = 29;} + else if ( ((LA11_0>='A' && LA11_0<='Z')||LA11_0=='_'||LA11_0=='b'||(LA11_0>='g' && LA11_0<='h')||(LA11_0>='j' && LA11_0<='l')||LA11_0=='n'||LA11_0=='q'||(LA11_0>='v' && LA11_0<='z')) ) {s = 36;} + + else if ( ((LA11_0>='0' && LA11_0<='9')) ) {s = 37;} + + else if ( ((LA11_0>='\t' && LA11_0<='\n')||LA11_0=='\r'||LA11_0==' ') ) {s = 38;} + + else if ( ((LA11_0>='\u0000' && LA11_0<='\b')||(LA11_0>='\u000B' && LA11_0<='\f')||(LA11_0>='\u000E' && LA11_0<='\u001F')||(LA11_0>='#' && LA11_0<='&')||(LA11_0>='?' && LA11_0<='@')||LA11_0=='\\'||LA11_0=='`'||(LA11_0>='~' && LA11_0<='\uFFFF')) ) {s = 39;} + + if ( s>=0 ) return s; + break; + case 2 : + int LA11_34 = input.LA(1); + + s = -1; + if ( ((LA11_34>='\u0000' && LA11_34<='\uFFFF')) ) {s = 97;} - else if ( ((LA10_0>='\u0000' && LA10_0<='\b')||(LA10_0>='\u000B' && LA10_0<='\f')||(LA10_0>='\u000E' && LA10_0<='\u001F')||LA10_0=='!'||(LA10_0>='#' && LA10_0<='&')||(LA10_0>=';' && LA10_0<='@')||(LA10_0>='[' && LA10_0<=']')||LA10_0=='`'||(LA10_0>='~' && LA10_0<='\uFFFF')) ) {s = 30;} + else s = 39; if ( s>=0 ) return s; break; } NoViableAltException nvae = - new NoViableAltException(getDescription(), 10, _s, input); + new NoViableAltException(getDescription(), 11, _s, input); error(nvae); throw nvae; } -- cgit v1.2.3-70-g09d2