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 | 2477 ++++++++++++++------ 1 file changed, 1796 insertions(+), 681 deletions(-) (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguageLexer.java') diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguageLexer.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguageLexer.java index 53c80216..21e5bac9 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguageLexer.java +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/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=5; + 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=8; + public static final int RULE_QUOTED_ID=10; 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 RULE_INT=9; 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=7; + 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=6; + public static final int T__36=36; + public static final int T__73=73; + public static final int RULE_DOT=4; + 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: ( '-' ) - // InternalSolverLanguage.g:11:9: '-' - { - match('-'); - - } - - 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: ( '.' ) - // InternalSolverLanguage.g:12:9: '.' - { - match('.'); - - } - - 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: ( 'true' ) - // InternalSolverLanguage.g:13:9: 'true' - { - match("true"); - - - } - - 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: ( 'false' ) - // InternalSolverLanguage.g:14:9: 'false' - { - match("false"); - - - } - - 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,10 +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 +144,10 @@ 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: ( '=' ) + // InternalSolverLanguage.g:13:9: '=' { - match('('); + match('='); } @@ -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: ( 'functional' ) + // InternalSolverLanguage.g:14:9: 'functional' { - match(','); + match("functional"); + } @@ -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: ( 'error' ) + // InternalSolverLanguage.g:15:9: 'error' { - match(')'); + match("error"); + } @@ -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: ( 'default' ) + // InternalSolverLanguage.g:16:9: 'default' { - match(':'); + match("default"); + } @@ -274,10 +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: ( 'extern' ) + // InternalSolverLanguage.g:17:9: 'extern' { - match("exists"); + match("extern"); } @@ -295,11 +248,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,10 +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: ( 'if' ) + // InternalSolverLanguage.g:19:9: 'if' { - match("bool"); + match("if"); } @@ -337,10 +289,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: ( 'then' ) + // InternalSolverLanguage.g:20:9: 'then' { - match("int"); + match("then"); } @@ -358,10 +310,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: ( 'else' ) + // InternalSolverLanguage.g:21:9: 'else' { - match("real"); + match("else"); } @@ -379,11 +331,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 +351,11 @@ 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 +372,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 +392,11 @@ 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: ( 'count' ) + // InternalSolverLanguage.g:25:9: 'count' { - match('|'); + match("count"); + } @@ -461,10 +413,10 @@ 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: ( '{' ) + // InternalSolverLanguage.g:26:9: '{' { - match('+'); + match('{'); } @@ -481,10 +433,10 @@ 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: ( '}' ) + // InternalSolverLanguage.g:27:9: '}' { - match('*'); + match('}'); } @@ -501,11 +453,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: ( '|' ) + // InternalSolverLanguage.g:28:9: '|' { - match("default"); - + match('|'); } @@ -522,11 +473,10 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__33; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:33:7: ( 'abstract' ) - // InternalSolverLanguage.g:33:9: 'abstract' + // InternalSolverLanguage.g:29:7: ( '(' ) + // InternalSolverLanguage.g:29:9: '(' { - match("abstract"); - + match('('); } @@ -543,11 +493,10 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__34; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:34:7: ( 'class' ) - // InternalSolverLanguage.g:34:9: 'class' + // InternalSolverLanguage.g:30:7: ( ')' ) + // InternalSolverLanguage.g:30:9: ')' { - match("class"); - + match(')'); } @@ -564,11 +513,10 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__35; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:35:7: ( 'extends' ) - // InternalSolverLanguage.g:35:9: 'extends' + // InternalSolverLanguage.g:31:7: ( '*' ) + // InternalSolverLanguage.g:31:9: '*' { - match("extends"); - + match('*'); } @@ -585,10 +533,10 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__36; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:36:7: ( '{' ) - // InternalSolverLanguage.g:36:9: '{' + // InternalSolverLanguage.g:32:7: ( '[' ) + // InternalSolverLanguage.g:32:9: '[' { - match('{'); + match('['); } @@ -605,10 +553,11 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__37; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:37:7: ( '}' ) - // InternalSolverLanguage.g:37:9: '}' + // InternalSolverLanguage.g:33:7: ( '..' ) + // InternalSolverLanguage.g:33:9: '..' { - match('}'); + match(".."); + } @@ -625,11 +574,10 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__38; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:38:7: ( 'enum' ) - // InternalSolverLanguage.g:38:9: 'enum' + // InternalSolverLanguage.g:34:7: ( ']' ) + // InternalSolverLanguage.g:34:9: ']' { - match("enum"); - + match(']'); } @@ -646,10 +594,10 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__39; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:39:7: ( 'containment' ) - // InternalSolverLanguage.g:39:9: 'containment' + // InternalSolverLanguage.g:35:7: ( 'inf' ) + // InternalSolverLanguage.g:35:9: 'inf' { - match("containment"); + match("inf"); } @@ -667,10 +615,10 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__40; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:40:7: ( 'relation' ) - // InternalSolverLanguage.g:40:9: 'relation' + // InternalSolverLanguage.g:36:7: ( 'empty' ) + // InternalSolverLanguage.g:36:9: 'empty' { - match("relation"); + match("empty"); } @@ -688,10 +636,10 @@ public class InternalSolverLanguageLexer extends Lexer { try { int _type = T__41; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:41:7: ( '..' ) - // InternalSolverLanguage.g:41:9: '..' + // InternalSolverLanguage.g:37:7: ( 'abstract' ) + // InternalSolverLanguage.g:37:9: 'abstract' { - match(".."); + match("abstract"); } @@ -704,60 +652,16 @@ 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:2497:13: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' ) - // InternalSolverLanguage.g:2497:15: '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' + // InternalSolverLanguage.g:38:7: ( 'class' ) + // InternalSolverLanguage.g:38:9: 'class' { - match('\"'); - // InternalSolverLanguage.g:2497: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:2497:20: '\\\\' . - { - match('\\'); - matchAny(); - - } - break; - case 2 : - // InternalSolverLanguage.g:2497: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("class"); - match('\"'); } @@ -767,75 +671,80 @@ public class InternalSolverLanguageLexer extends Lexer { finally { } } - // $ANTLR end "RULE_STRING" + // $ANTLR end "T__42" - // $ANTLR start "RULE_ID" - public final void mRULE_ID() throws RecognitionException { + // $ANTLR start "T__43" + public final void mT__43() throws RecognitionException { try { - int _type = RULE_ID; + int _type = T__43; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:2499:9: ( ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* ) - // InternalSolverLanguage.g:2499:11: ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* + // InternalSolverLanguage.g:39:7: ( 'extends' ) + // InternalSolverLanguage.g:39:9: 'extends' { - // InternalSolverLanguage.g:2499:11: ( '^' )? - int alt2=2; - int LA2_0 = input.LA(1); - - if ( (LA2_0=='^') ) { - alt2=1; - } - switch (alt2) { - case 1 : - // InternalSolverLanguage.g:2499:11: '^' - { - match('^'); + match("extends"); - } - break; } - if ( (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__43" - } - else { - MismatchedSetException mse = new MismatchedSetException(null,input); - recover(mse); - throw mse;} + // $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: ( 'contains' ) + // InternalSolverLanguage.g:40:9: 'contains' + { + match("contains"); - // InternalSolverLanguage.g:2499: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; - } + } + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__44" - 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(); + // $ANTLR start "T__45" + public final void mT__45() throws RecognitionException { + try { + int _type = T__45; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:41:7: ( 'opposite' ) + // InternalSolverLanguage.g:41:9: 'opposite' + { + match("opposite"); - } - else { - MismatchedSetException mse = new MismatchedSetException(null,input); - recover(mse); - throw mse;} + } - } - break; + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__45" - default : - break loop3; - } - } while (true); + // $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: ( 'scope' ) + // InternalSolverLanguage.g:42:9: 'scope' + { + match("scope"); } @@ -846,31 +755,884 @@ public class InternalSolverLanguageLexer extends Lexer { finally { } } - // $ANTLR end "RULE_ID" + // $ANTLR end "T__46" - // $ANTLR start "RULE_INT" - public final void mRULE_INT() throws RecognitionException { + // $ANTLR start "T__47" + public final void mT__47() throws RecognitionException { try { - int _type = RULE_INT; + int _type = T__47; int _channel = DEFAULT_TOKEN_CHANNEL; - // InternalSolverLanguage.g:2501:10: ( ( '0' .. '9' )+ ) - // InternalSolverLanguage.g:2501:12: ( '0' .. '9' )+ + // InternalSolverLanguage.g:43:7: ( '==' ) + // InternalSolverLanguage.g:43:9: '==' { - // InternalSolverLanguage.g:2501:12: ( '0' .. '9' )+ - int cnt4=0; - loop4: - do { - int alt4=2; - int LA4_0 = input.LA(1); + match("=="); - if ( ((LA4_0>='0' && LA4_0<='9')) ) { + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__47" + + // $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: ( '<=' ) + // InternalSolverLanguage.g:44:9: '<=' + { + match("<="); + + + } + + state.type = _type; + state.channel = _channel; + } + finally { + } + } + // $ANTLR end "T__48" + + // $ANTLR start "T__49" + public final void mT__49() throws RecognitionException { + try { + int _type = T__49; + int _channel = DEFAULT_TOKEN_CHANNEL; + // InternalSolverLanguage.g:45:7: ( '>=' ) + // InternalSolverLanguage.g:45:9: '>=' + { + match(">="); + + + } + + 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: ( 'int' ) + // InternalSolverLanguage.g:46:9: 'int' + { + match("int"); + + + } + + 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: ( 'real' ) + // InternalSolverLanguage.g:47:9: 'real' + { + match("real"); + + + } + + 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: ( '!=' ) + // InternalSolverLanguage.g:48:9: '!=' + { + match("!="); + + + } + + 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: ( '<' ) + // InternalSolverLanguage.g:49:9: '<' + { + match('<'); + + } + + 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: ( 'in' ) + // InternalSolverLanguage.g:51:9: 'in' + { + match("in"); + + + } + + 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: ( '-' ) + // InternalSolverLanguage.g:53:9: '-' + { + match('-'); + + } + + 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: ( 'may' ) + // InternalSolverLanguage.g:57:9: 'may' + { + match("may"); + + + } + + 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: ( 'must' ) + // InternalSolverLanguage.g:58:9: 'must' + { + match("must"); + + + } + + 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: ( 'current' ) + // InternalSolverLanguage.g:59:9: 'current' + { + match("current"); + + + } + + 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: ( 'only' ) + // InternalSolverLanguage.g:60:9: 'only' + { + match("only"); + + + } + + 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: ( 'sum' ) + // InternalSolverLanguage.g:61:9: 'sum' + { + match("sum"); + + + } + + 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: ( 'prod' ) + // InternalSolverLanguage.g:62:9: 'prod' + { + match("prod"); + + + } + + 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: ( 'avg' ) + // InternalSolverLanguage.g:63:9: 'avg' + { + match("avg"); + + + } + + 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: ( 'min' ) + // InternalSolverLanguage.g:64:9: 'min' + { + match("min"); + + + } + + 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: ( 'max' ) + // InternalSolverLanguage.g:65:9: 'max' + { + match("max"); + + + } + + 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: ( 'true' ) + // InternalSolverLanguage.g:66:9: 'true' + { + match("true"); + + + } + + 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: ( 'false' ) + // InternalSolverLanguage.g:67:9: 'false' + { + match("false"); + + + } + + 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: ( 'unknown' ) + // InternalSolverLanguage.g:68:9: 'unknown' + { + match("unknown"); + + + } + + 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: ( 'minimize' ) + // InternalSolverLanguage.g:69:9: 'minimize' + { + match("minimize"); + + + } + + 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: ( 'maximize' ) + // InternalSolverLanguage.g:70:9: 'maximize' + { + match("maximize"); + + + } + + 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:3882:13: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' ) + // InternalSolverLanguage.g:3882:15: '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' + { + match('\"'); + // InternalSolverLanguage.g:3882: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:3882:20: '\\\\' . + { + match('\\'); + matchAny(); + + } + break; + case 2 : + // InternalSolverLanguage.g:3882: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:3884:16: ( '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) + // InternalSolverLanguage.g:3884:18: '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' + { + match('\''); + // InternalSolverLanguage.g:3884: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:3884:24: '\\\\' . + { + match('\\'); + matchAny(); + + } + break; + case 2 : + // InternalSolverLanguage.g:3884: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:3886:11: ( 'synthetic::plus' ) + // InternalSolverLanguage.g:3886: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:3888:11: ( 'synthetic::star' ) + // InternalSolverLanguage.g:3888: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:3890:10: ( 'synthetic::dot' ) + // InternalSolverLanguage.g:3890: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:3892:9: ( ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* ) + // InternalSolverLanguage.g:3892:11: ( '^' )? ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '0' .. '9' )* + { + // InternalSolverLanguage.g:3892:11: ( '^' )? + int alt3=2; + int LA3_0 = input.LA(1); + + if ( (LA3_0=='^') ) { + alt3=1; + } + switch (alt3) { + case 1 : + // InternalSolverLanguage.g:3892: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:3892: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')||(LA4_0>='A' && LA4_0<='Z')||LA4_0=='_'||(LA4_0>='a' && LA4_0<='z')) ) { alt4=1; } switch (alt4) { case 1 : - // InternalSolverLanguage.g:2501: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:3894:10: ( ( '0' .. '9' )+ ) + // InternalSolverLanguage.g:3894:12: ( '0' .. '9' )+ + { + // InternalSolverLanguage.g:3894: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:3894: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:2503:17: ( '/*' ( options {greedy=false; } : . )* '*/' ) - // InternalSolverLanguage.g:2503:19: '/*' ( options {greedy=false; } : . )* '*/' + // InternalSolverLanguage.g:3896:17: ( '/*' ( options {greedy=false; } : . )* '*/' ) + // InternalSolverLanguage.g:3896:19: '/*' ( options {greedy=false; } : . )* '*/' { match("/*"); - // InternalSolverLanguage.g:2503:24: ( options {greedy=false; } : . )* - loop5: + // InternalSolverLanguage.g:3896: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:2503:52: . + // InternalSolverLanguage.g:3896: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:2505:17: ( '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? ) - // InternalSolverLanguage.g:2505:19: '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? + // InternalSolverLanguage.g:3898:17: ( '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? ) + // InternalSolverLanguage.g:3898:19: '//' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? { match("//"); - // InternalSolverLanguage.g:2505:24: (~ ( ( '\\n' | '\\r' ) ) )* - loop6: + // InternalSolverLanguage.g:3898: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:2505:24: ~ ( ( '\\n' | '\\r' ) ) + // InternalSolverLanguage.g:3898: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:2505:40: ( ( '\\r' )? '\\n' )? - int alt8=2; - int LA8_0 = input.LA(1); + // InternalSolverLanguage.g:3898: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:2505:41: ( '\\r' )? '\\n' + // InternalSolverLanguage.g:3898:41: ( '\\r' )? '\\n' { - // InternalSolverLanguage.g:2505:41: ( '\\r' )? - int alt7=2; - int LA7_0 = input.LA(1); + // InternalSolverLanguage.g:3898: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:2505:41: '\\r' + // InternalSolverLanguage.g:3898: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:2507:9: ( ( ' ' | '\\t' | '\\r' | '\\n' )+ ) - // InternalSolverLanguage.g:2507:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ + // InternalSolverLanguage.g:3900:9: ( ( ' ' | '\\t' | '\\r' | '\\n' )+ ) + // InternalSolverLanguage.g:3900:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ { - // InternalSolverLanguage.g:2507:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ - int cnt9=0; - loop9: + // InternalSolverLanguage.g:3900: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 ( ((LA9_0>='\t' && LA9_0<='\n')||LA9_0=='\r'||LA9_0==' ') ) { - alt9=1; + if ( ((LA10_0>='\t' && LA10_0<='\n')||LA10_0=='\r'||LA10_0==' ') ) { + alt10=1; } - switch (alt9) { + 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;} + } + 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:3902:16: ( . ) + // InternalSolverLanguage.g:3902: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(); + + } + break; + case 21 : + // InternalSolverLanguage.g:1:130: T__35 + { + mT__35(); + + } + break; + case 22 : + // InternalSolverLanguage.g:1:136: T__36 + { + mT__36(); + + } + break; + case 23 : + // InternalSolverLanguage.g:1:142: T__37 + { + mT__37(); + + } + 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:2509:16: ( . ) - // InternalSolverLanguage.g:2509: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 = - "\2\uffff\1\41\4\43\3\uffff\1\56\4\43\4\uffff\3\43\2\uffff\2\36\2\uffff\1\36\5\uffff\1\43\1\uffff\6\43\5\uffff\4\43\4\uffff\4\43\7\uffff\11\43\1\134\7\43\1\144\6\43\1\153\1\154\1\uffff\1\155\6\43\1\uffff\1\164\1\43\1\166\3\43\3\uffff\4\43\1\176\1\43\1\uffff\1\43\1\uffff\1\u0081\1\43\1\u0083\1\43\1\u0085\2\43\1\uffff\1\43\1\u0089\1\uffff\1\u008a\1\uffff\1\43\1\uffff\1\u008c\2\43\2\uffff\1\u008f\1\uffff\1\u0090\1\43\2\uffff\2\43\1\u0094\1\uffff"; - static final String DFA10_eofS = - "\u0095\uffff"; - static final String DFA10_minS = - "\1\0\1\uffff\1\56\1\162\1\141\2\156\3\uffff\1\55\1\157\1\156\1\145\1\164\4\uffff\1\145\1\142\1\154\2\uffff\1\0\1\101\2\uffff\1\52\5\uffff\1\165\1\uffff\1\154\1\153\1\162\1\151\2\165\5\uffff\1\157\1\164\1\141\1\162\4\uffff\1\146\1\163\1\141\1\156\7\uffff\1\145\1\163\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\164\1\163\1\164\1\60\1\145\1\157\1\162\1\164\1\156\1\154\2\60\1\uffff\1\60\1\164\1\156\1\165\1\162\1\163\1\141\1\uffff\1\60\1\167\1\60\1\163\1\144\1\163\3\uffff\1\151\1\147\1\154\1\141\1\60\1\151\1\uffff\1\156\1\uffff\1\60\1\163\1\60\1\157\1\60\1\164\1\143\1\uffff\1\156\1\60\1\uffff\1\60\1\uffff\1\156\1\uffff\1\60\1\164\1\155\2\uffff\1\60\1\uffff\1\60\1\145\2\uffff\1\156\1\164\1\60\1\uffff"; - static final String DFA10_maxS = - "\1\uffff\1\uffff\1\56\1\162\1\141\1\156\1\170\3\uffff\1\55\1\157\1\156\1\145\1\164\4\uffff\1\145\1\142\1\157\2\uffff\1\uffff\1\172\2\uffff\1\57\5\uffff\1\165\1\uffff\1\154\1\153\1\162\1\164\2\165\5\uffff\1\157\1\164\1\154\1\162\4\uffff\1\146\1\163\1\141\1\156\7\uffff\1\145\1\163\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\164\1\163\1\164\1\172\1\145\1\157\1\162\1\164\1\156\1\154\2\172\1\uffff\1\172\1\164\1\156\1\165\1\162\1\163\1\141\1\uffff\1\172\1\167\1\172\1\163\1\144\1\163\3\uffff\1\151\1\147\1\154\1\141\1\172\1\151\1\uffff\1\156\1\uffff\1\172\1\163\1\172\1\157\1\172\1\164\1\143\1\uffff\1\156\1\172\1\uffff\1\172\1\uffff\1\156\1\uffff\1\172\1\164\1\155\2\uffff\1\172\1\uffff\1\172\1\145\2\uffff\1\156\1\164\1\172\1\uffff"; - static final String DFA10_acceptS = - "\1\uffff\1\1\5\uffff\1\7\1\10\1\11\5\uffff\1\21\1\23\1\24\1\25\3\uffff\1\32\1\33\2\uffff\1\41\1\42\1\uffff\1\45\1\46\1\1\1\37\1\2\1\uffff\1\41\6\uffff\1\7\1\10\1\11\1\22\1\12\4\uffff\1\21\1\23\1\24\1\25\4\uffff\1\32\1\33\1\40\1\42\1\43\1\44\1\45\32\uffff\1\16\7\uffff\1\3\6\uffff\1\34\1\15\1\17\6\uffff\1\4\1\uffff\1\6\7\uffff\1\30\2\uffff\1\13\1\uffff\1\14\1\uffff\1\20\3\uffff\1\5\1\31\1\uffff\1\26\2\uffff\1\36\1\27\3\uffff\1\35"; - static final String DFA10_specialS = - "\1\0\27\uffff\1\1\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\7\1\11\1\22\1\21\1\10\1\1\1\2\1\34\12\33\1\12\6\36\32\32\3\36\1\31\1\32\1\36\1\24\1\13\1\25\1\23\1\6\1\4\2\32\1\14\10\32\1\15\1\16\1\3\1\5\5\32\1\26\1\20\1\27\uff82\36", - "", - "\1\40", - "\1\42", - "\1\44", - "\1\45", - "\1\51\2\uffff\1\50\1\46\5\uffff\1\47", + protected DFA11 dfa11 = new DFA11(this); + static final String DFA11_eotS = + "\1\uffff\1\51\1\53\3\56\1\65\2\56\1\uffff\1\74\1\uffff\1\56\10\uffff\3\56\1\121\1\123\1\56\1\126\1\uffff\1\132\1\133\3\56\2\47\10\uffff\2\56\1\uffff\5\56\2\uffff\1\154\1\157\2\56\4\uffff\3\56\10\uffff\7\56\4\uffff\1\56\7\uffff\5\56\4\uffff\7\56\1\uffff\1\u008b\1\u008c\1\uffff\7\56\1\u0094\3\56\1\u0098\2\56\1\u009b\1\u009d\1\56\1\u00a0\6\56\1\u00a8\2\56\2\uffff\1\u00ab\1\u00ac\5\56\1\uffff\1\56\1\u00b3\1\56\1\uffff\1\56\1\u00b6\1\uffff\1\56\1\uffff\1\u00b8\1\56\1\uffff\1\u00ba\2\56\1\u00bd\1\u00be\2\56\1\uffff\1\u00c1\1\56\2\uffff\1\u00c3\1\56\1\u00c5\3\56\1\uffff\1\u00c9\1\56\1\uffff\1\56\1\uffff\1\56\1\uffff\2\56\2\uffff\1\u00cf\1\56\1\uffff\1\56\1\uffff\1\56\1\uffff\3\56\1\uffff\5\56\1\uffff\1\u00db\1\u00dc\1\56\1\u00de\5\56\1\u00e4\1\56\2\uffff\1\u00e6\1\uffff\1\u00e7\1\u00e8\1\56\1\u00ea\1\u00eb\1\uffff\1\56\3\uffff\1\56\2\uffff\1\u00ee\6\uffff"; + static final String DFA11_eofS = + "\u00f3\uffff"; + static final String DFA11_minS = + "\1\0\1\55\1\75\1\141\1\154\1\145\1\56\1\146\1\150\1\uffff\1\76\1\uffff\1\154\10\uffff\1\142\1\156\1\143\2\75\1\145\1\75\1\uffff\1\52\1\101\1\141\1\162\1\156\2\0\10\uffff\1\156\1\154\1\uffff\1\162\1\164\1\163\1\160\1\146\2\uffff\2\60\1\145\1\165\4\uffff\1\156\1\141\1\162\10\uffff\1\163\1\147\1\160\1\154\1\157\1\155\1\156\4\uffff\1\141\7\uffff\1\170\1\163\1\156\1\157\1\153\4\uffff\1\143\1\163\1\157\2\145\1\164\1\141\1\uffff\2\60\1\uffff\1\156\1\145\1\156\1\164\1\163\1\162\1\164\1\60\1\157\1\171\1\160\1\60\1\164\1\154\2\60\1\164\1\60\1\144\1\156\1\164\1\145\1\162\1\156\1\60\1\171\1\165\2\uffff\2\60\1\164\1\141\1\163\1\145\1\162\1\uffff\1\163\1\60\1\145\1\uffff\1\150\1\60\1\uffff\1\155\1\uffff\1\60\1\155\1\uffff\1\60\1\157\1\151\2\60\1\156\1\144\1\uffff\1\60\1\154\2\uffff\1\60\1\151\1\60\1\156\1\141\1\151\1\uffff\1\60\1\145\1\uffff\1\151\1\uffff\1\151\1\uffff\1\167\1\157\2\uffff\1\60\1\163\1\uffff\1\164\1\uffff\1\156\1\uffff\1\164\1\143\1\164\1\uffff\1\164\2\172\2\156\1\uffff\2\60\1\163\1\60\1\164\1\145\1\151\2\145\1\60\1\141\2\uffff\1\60\1\uffff\2\60\1\143\2\60\1\uffff\1\154\3\uffff\1\72\2\uffff\1\60\1\72\1\uffff\1\144\3\uffff"; + static final String DFA11_maxS = + "\1\uffff\1\55\1\75\1\165\1\170\1\145\1\56\1\156\1\162\1\uffff\1\76\1\uffff\1\165\10\uffff\1\166\1\160\1\171\2\75\1\145\1\75\1\uffff\1\57\1\172\1\165\1\162\1\156\2\uffff\10\uffff\1\156\1\154\1\uffff\1\162\1\164\1\163\1\160\1\146\2\uffff\2\172\1\145\1\165\4\uffff\1\165\1\141\1\162\10\uffff\1\163\1\147\1\160\1\154\1\157\1\155\1\156\4\uffff\1\141\7\uffff\1\171\1\163\1\156\1\157\1\153\4\uffff\1\143\1\163\1\157\2\145\1\164\1\141\1\uffff\2\172\1\uffff\1\156\1\145\1\156\1\164\1\163\1\162\1\164\1\172\1\157\1\171\1\160\1\172\1\164\1\154\2\172\1\164\1\172\1\144\1\156\1\164\1\145\2\162\1\172\1\171\1\165\2\uffff\2\172\1\164\1\141\1\163\1\145\1\162\1\uffff\1\163\1\172\1\145\1\uffff\1\150\1\172\1\uffff\1\155\1\uffff\1\172\1\155\1\uffff\1\172\1\157\1\151\2\172\1\156\1\144\1\uffff\1\172\1\154\2\uffff\1\172\1\151\1\172\1\156\1\141\1\151\1\uffff\1\172\1\145\1\uffff\1\151\1\uffff\1\151\1\uffff\1\167\1\157\2\uffff\1\172\1\163\1\uffff\1\164\1\uffff\1\156\1\uffff\1\164\1\143\1\164\1\uffff\1\164\2\172\2\156\1\uffff\2\172\1\163\1\172\1\164\1\145\1\151\2\145\1\172\1\141\2\uffff\1\172\1\uffff\2\172\1\143\2\172\1\uffff\1\154\3\uffff\1\72\2\uffff\1\172\1\72\1\uffff\1\163\3\uffff"; + static final String DFA11_acceptS = + "\11\uffff\1\14\1\uffff\1\16\1\uffff\1\20\1\21\1\22\1\23\1\24\1\25\1\26\1\30\7\uffff\1\52\7\uffff\1\102\1\103\1\106\1\107\1\2\1\1\1\41\1\3\2\uffff\1\102\5\uffff\1\27\1\10\4\uffff\1\14\1\15\1\53\1\16\3\uffff\1\20\1\21\1\22\1\23\1\24\1\25\1\26\1\30\7\uffff\1\42\1\47\1\43\1\50\1\uffff\1\46\1\56\1\52\1\104\1\105\1\54\1\55\5\uffff\1\75\1\76\1\103\1\106\7\uffff\1\11\2\uffff\1\51\33\uffff\1\31\1\44\7\uffff\1\65\3\uffff\1\63\2\uffff\1\57\1\uffff\1\67\2\uffff\1\66\7\uffff\1\13\2\uffff\1\12\1\70\6\uffff\1\62\2\uffff\1\45\1\uffff\1\60\1\uffff\1\64\2\uffff\1\71\1\5\2\uffff\1\32\1\uffff\1\17\1\uffff\1\34\3\uffff\1\40\5\uffff\1\7\13\uffff\1\35\1\6\1\uffff\1\61\5\uffff\1\72\1\uffff\1\36\1\33\1\37\1\uffff\1\74\1\73\2\uffff\1\4\1\uffff\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\33\1\42\4\47\1\43\1\20\1\21\1\22\1\34\1\13\1\12\1\6\1\35\12\45\1\1\1\11\1\30\1\2\1\31\2\47\32\44\1\23\1\47\1\24\1\36\1\44\1\47\1\25\1\44\1\14\1\5\1\4\1\3\2\44\1\7\3\44\1\37\1\44\1\26\1\40\1\44\1\32\1\27\1\10\1\41\5\44\1\15\1\17\1\16\uff82\47", + "\1\50", + "\1\52", + "\1\55\23\uffff\1\54", + "\1\61\1\62\4\uffff\1\57\5\uffff\1\60", + "\1\63", + "\1\64", + "\1\66\7\uffff\1\67", + "\1\70\11\uffff\1\71", "", + "\1\73", "", + "\1\77\2\uffff\1\76\5\uffff\1\100", "", - "\1\55", - "\1\57", - "\1\60", - "\1\61", - "\1\62", "", "", "", "", - "\1\67", - "\1\70", - "\1\71\2\uffff\1\72", "", "", - "\0\75", - "\32\43\4\uffff\1\43\1\uffff\32\43", "", + "\1\111\23\uffff\1\112", + "\1\114\1\uffff\1\113", + "\1\115\21\uffff\1\116\3\uffff\1\117", + "\1\120", + "\1\122", + "\1\124", + "\1\125", "", - "\1\77\4\uffff\1\100", - "", + "\1\130\4\uffff\1\131", + "\32\56\4\uffff\1\56\1\uffff\32\56", + "\1\134\7\uffff\1\136\13\uffff\1\135", + "\1\137", + "\1\140", + "\0\141", + "\0\142", "", "", "", "", - "\1\102", "", - "\1\103", - "\1\104", - "\1\105", - "\1\106\12\uffff\1\107", - "\1\110", - "\1\111", "", "", "", + "\1\145", + "\1\146", "", + "\1\147", + "\1\150", + "\1\151", + "\1\152", + "\1\153", "", - "\1\112", - "\1\113", - "\1\114\12\uffff\1\115", - "\1\116", "", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\5\56\1\155\15\56\1\156\6\56", + "\1\160", + "\1\161", "", "", "", - "\1\117", - "\1\120", - "\1\121", - "\1\122", "", + "\1\163\6\uffff\1\162", + "\1\164", + "\1\165", "", "", "", "", "", "", - "\1\123", - "\1\124", - "\1\125", - "\1\126", - "\1\127", - "\1\130", - "\1\131", - "\1\132", - "\1\133", - "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", - "\1\135", - "\1\136", - "\1\137", - "\1\140", - "\1\141", - "\1\142", - "\1\143", - "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", - "\1\145", - "\1\146", - "\1\147", - "\1\150", - "\1\151", - "\1\152", - "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", - "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", "", - "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", - "\1\156", - "\1\157", - "\1\160", - "\1\161", - "\1\162", - "\1\163", "", - "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", - "\1\165", - "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", + "\1\166", "\1\167", "\1\170", "\1\171", - "", - "", - "", "\1\172", "\1\173", "\1\174", + "", + "", + "", + "", "\1\175", - "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", - "\1\177", "", - "\1\u0080", "", - "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", + "", + "", + "", + "", + "", + "\1\177\1\176", + "\1\u0080", + "\1\u0081", "\1\u0082", - "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", + "\1\u0083", + "", + "", + "", + "", "\1\u0084", - "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", + "\1\u0085", "\1\u0086", "\1\u0087", - "", "\1\u0088", - "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", + "\1\u0089", + "\1\u008a", "", - "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", "", - "\1\u008b", - "", - "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", "\1\u008d", "\1\u008e", + "\1\u008f", + "\1\u0090", + "\1\u0091", + "\1\u0092", + "\1\u0093", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", + "\1\u0095", + "\1\u0096", + "\1\u0097", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", + "\1\u0099", + "\1\u009a", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\10\56\1\u009c\21\56", + "\1\u009e", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\10\56\1\u009f\21\56", + "\1\u00a1", + "\1\u00a2", + "\1\u00a3", + "\1\u00a4", + "\1\u00a5", + "\1\u00a7\3\uffff\1\u00a6", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", + "\1\u00a9", + "\1\u00aa", "", "", - "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", + "\1\u00ad", + "\1\u00ae", + "\1\u00af", + "\1\u00b0", + "\1\u00b1", "", - "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", - "\1\u0091", + "\1\u00b2", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", + "\1\u00b4", + "", + "\1\u00b5", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", + "", + "\1\u00b7", + "", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", + "\1\u00b9", + "", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", + "\1\u00bb", + "\1\u00bc", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", + "\1\u00bf", + "\1\u00c0", + "", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", + "\1\u00c2", + "", + "", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", + "\1\u00c4", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", + "\1\u00c6", + "\1\u00c7", + "\1\u00c8", + "", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", + "\1\u00ca", + "", + "\1\u00cb", + "", + "\1\u00cc", + "", + "\1\u00cd", + "\1\u00ce", + "", + "", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", + "\1\u00d0", + "", + "\1\u00d1", + "", + "\1\u00d2", + "", + "\1\u00d3", + "\1\u00d4", + "\1\u00d5", + "", + "\1\u00d6", + "\1\u00d7", + "\1\u00d8", + "\1\u00d9", + "\1\u00da", + "", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", + "\1\u00dd", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", + "\1\u00df", + "\1\u00e0", + "\1\u00e1", + "\1\u00e2", + "\1\u00e3", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", + "\1\u00e5", + "", + "", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", + "", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", + "\1\u00e9", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", + "", + "\1\u00ec", + "", + "", + "", + "\1\u00ed", + "", + "", + "\12\56\7\uffff\32\56\4\uffff\1\56\1\uffff\32\56", + "\1\u00ef", + "", + "\1\u00f2\13\uffff\1\u00f0\2\uffff\1\u00f1", "", "", - "\1\u0092", - "\1\u0093", - "\12\43\7\uffff\32\43\4\uffff\1\43\1\uffff\32\43", "" }; - 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' && LA11_35<='\uFFFF')) ) {s = 98;} + + else s = 39; + + if ( s>=0 ) return s; + break; + case 1 : + int LA11_0 = input.LA(1); s = -1; - if ( (LA10_0=='-') ) {s = 1;} + if ( (LA11_0==':') ) {s = 1;} + + else if ( (LA11_0=='=') ) {s = 2;} + + else if ( (LA11_0=='f') ) {s = 3;} - else if ( (LA10_0=='.') ) {s = 2;} + else if ( (LA11_0=='e') ) {s = 4;} - else if ( (LA10_0=='t') ) {s = 3;} + else if ( (LA11_0=='d') ) {s = 5;} - else if ( (LA10_0=='f') ) {s = 4;} + else if ( (LA11_0=='.') ) {s = 6;} - else if ( (LA10_0=='u') ) {s = 5;} + else if ( (LA11_0=='i') ) {s = 7;} - else if ( (LA10_0=='e') ) {s = 6;} + else if ( (LA11_0=='t') ) {s = 8;} - else if ( (LA10_0=='(') ) {s = 7;} + else if ( (LA11_0==';') ) {s = 9;} - else if ( (LA10_0==',') ) {s = 8;} + else if ( (LA11_0=='-') ) {s = 10;} - else if ( (LA10_0==')') ) {s = 9;} + else if ( (LA11_0==',') ) {s = 11;} - else if ( (LA10_0==':') ) {s = 10;} + else if ( (LA11_0=='c') ) {s = 12;} - else if ( (LA10_0=='b') ) {s = 11;} + else if ( (LA11_0=='{') ) {s = 13;} - else if ( (LA10_0=='i') ) {s = 12;} + else if ( (LA11_0=='}') ) {s = 14;} - else if ( (LA10_0=='r') ) {s = 13;} + else if ( (LA11_0=='|') ) {s = 15;} - else if ( (LA10_0=='s') ) {s = 14;} + else if ( (LA11_0=='(') ) {s = 16;} - else if ( (LA10_0=='\'') ) {s = 15;} + else if ( (LA11_0==')') ) {s = 17;} - else if ( (LA10_0=='|') ) {s = 16;} + else if ( (LA11_0=='*') ) {s = 18;} - else if ( (LA10_0=='+') ) {s = 17;} + else if ( (LA11_0=='[') ) {s = 19;} - else if ( (LA10_0=='*') ) {s = 18;} + else if ( (LA11_0==']') ) {s = 20;} - else if ( (LA10_0=='d') ) {s = 19;} + else if ( (LA11_0=='a') ) {s = 21;} - else if ( (LA10_0=='a') ) {s = 20;} + else if ( (LA11_0=='o') ) {s = 22;} - else if ( (LA10_0=='c') ) {s = 21;} + else if ( (LA11_0=='s') ) {s = 23;} - else if ( (LA10_0=='{') ) {s = 22;} + else if ( (LA11_0=='<') ) {s = 24;} - else if ( (LA10_0=='}') ) {s = 23;} + else if ( (LA11_0=='>') ) {s = 25;} - else if ( (LA10_0=='\"') ) {s = 24;} + else if ( (LA11_0=='r') ) {s = 26;} - else if ( (LA10_0=='^') ) {s = 25;} + else if ( (LA11_0=='!') ) {s = 27;} - 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 = 28;} - else if ( ((LA10_0>='0' && LA10_0<='9')) ) {s = 27;} + else if ( (LA11_0=='/') ) {s = 29;} - else if ( (LA10_0=='/') ) {s = 28;} + else if ( (LA11_0=='^') ) {s = 30;} - else if ( ((LA10_0>='\t' && LA10_0<='\n')||LA10_0=='\r'||LA10_0==' ') ) {s = 29;} + else if ( (LA11_0=='m') ) {s = 31;} - 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 if ( (LA11_0=='p') ) {s = 32;} + + else if ( (LA11_0=='u') ) {s = 33;} + + else if ( (LA11_0=='\"') ) {s = 34;} + + else if ( (LA11_0=='\'') ) {s = 35;} + + 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 1 : - int LA10_24 = input.LA(1); + case 2 : + int LA11_34 = input.LA(1); s = -1; - if ( ((LA10_24>='\u0000' && LA10_24<='\uFFFF')) ) {s = 61;} + if ( ((LA11_34>='\u0000' && LA11_34<='\uFFFF')) ) {s = 97;} - else 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-54-g00ecf