package hu.bme.mit.inf.dslreasoner.parser.antlr.internal; // Hack: Use our own Lexer superclass by means of import. // Currently there is no other way to specify the superclass for the lexer. import org.eclipse.xtext.parser.antlr.Lexer; import org.antlr.runtime.*; import java.util.Stack; import java.util.List; import java.util.ArrayList; @SuppressWarnings("all") public class InternalSmtLanguageLexer extends Lexer { 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__59=59; public static final int T__16=16; public static final int T__17=17; public static final int T__18=18; public static final int T__55=55; public static final int T__56=56; public static final int T__13=13; public static final int T__57=57; public static final int T__14=14; public static final int T__58=58; public static final int T__51=51; 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=4; public static final int RULE_REAL=7; 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=6; public static final int T__29=29; public static final int T__22=22; public static final int T__66=66; public static final int RULE_ML_COMMENT=10; 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__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 RULE_PROPERTYNAME=5; public static final int RULE_STRING=8; public static final int RULE_SL_COMMENT=9; 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 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_WS=11; public static final int RULE_ANY_OTHER=12; 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 public InternalSmtLanguageLexer() {;} public InternalSmtLanguageLexer(CharStream input) { this(input, new RecognizerSharedState()); } public InternalSmtLanguageLexer(CharStream input, RecognizerSharedState state) { super(input,state); } public String getGrammarFileName() { return "../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g"; } // $ANTLR start "T__13" public final void mT__13() throws RecognitionException { try { int _type = T__13; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:11:7: ( '--------------' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:11: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; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:12:7: ( 'timeout' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:12:9: 'timeout' { match("timeout"); } 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; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:13:7: ( '(' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:13:9: '(' { match('('); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "T__15" // $ANTLR start "T__16" public final void mT__16() throws RecognitionException { try { int _type = T__16; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:14:7: ( 'set-option' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:14:9: 'set-option' { match("set-option"); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "T__16" // $ANTLR start "T__17" public final void mT__17() throws RecognitionException { try { int _type = T__17; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:15:7: ( ')' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:15:9: ')' { match(')'); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "T__17" // $ANTLR start "T__18" public final void mT__18() throws RecognitionException { try { int _type = T__18; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:16:7: ( 'declare-datatypes' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:16:9: 'declare-datatypes' { match("declare-datatypes"); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "T__18" // $ANTLR start "T__19" public final void mT__19() throws RecognitionException { try { int _type = T__19; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:17:7: ( 'declare-sort' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:17:9: 'declare-sort' { match("declare-sort"); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "T__19" // $ANTLR start "T__20" public final void mT__20() throws RecognitionException { try { int _type = T__20; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:18:7: ( 'Int' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:18:9: 'Int' { match("Int"); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "T__20" // $ANTLR start "T__21" public final void mT__21() throws RecognitionException { try { int _type = T__21; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:19:7: ( 'Bool' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:19:9: 'Bool' { match("Bool"); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "T__21" // $ANTLR start "T__22" public final void mT__22() throws RecognitionException { try { int _type = T__22; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:20:7: ( 'Real' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:20:9: 'Real' { match("Real"); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "T__22" // $ANTLR start "T__23" public final void mT__23() throws RecognitionException { try { int _type = T__23; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:21:7: ( 'declare-fun' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:21:9: 'declare-fun' { match("declare-fun"); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "T__23" // $ANTLR start "T__24" public final void mT__24() throws RecognitionException { try { int _type = T__24; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:22:7: ( 'define-fun' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:22:9: 'define-fun' { match("define-fun"); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "T__24" // $ANTLR start "T__25" public final void mT__25() throws RecognitionException { try { int _type = T__25; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:23:7: ( 'true' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:23:9: 'true' { match("true"); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "T__25" // $ANTLR start "T__26" public final void mT__26() throws RecognitionException { try { int _type = T__26; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:24:7: ( 'false' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:24:9: 'false' { match("false"); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "T__26" // $ANTLR start "T__27" public final void mT__27() throws RecognitionException { try { int _type = T__27; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:25:7: ( 'exists' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:25:9: 'exists' { match("exists"); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "T__27" // $ANTLR start "T__28" public final void mT__28() throws RecognitionException { try { int _type = T__28; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:26:7: ( '!' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:26:9: '!' { match('!'); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "T__28" // $ANTLR start "T__29" public final void mT__29() throws RecognitionException { try { int _type = T__29; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:27:7: ( ':pattern' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:27:9: ':pattern' { match(":pattern"); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "T__29" // $ANTLR start "T__30" public final void mT__30() throws RecognitionException { try { int _type = T__30; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:28:7: ( 'forall' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:28:9: 'forall' { match("forall"); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "T__30" // $ANTLR start "T__31" public final void mT__31() throws RecognitionException { try { int _type = T__31; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:29:7: ( 'and' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:29:9: 'and' { match("and"); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "T__31" // $ANTLR start "T__32" public final void mT__32() throws RecognitionException { try { int _type = T__32; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:30:7: ( 'or' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:30:9: 'or' { match("or"); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "T__32" // $ANTLR start "T__33" public final void mT__33() throws RecognitionException { try { int _type = T__33; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:31:7: ( '=>' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:31:9: '=>' { match("=>"); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "T__33" // $ANTLR start "T__34" public final void mT__34() throws RecognitionException { try { int _type = T__34; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:32:7: ( 'not' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:32:9: 'not' { match("not"); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "T__34" // $ANTLR start "T__35" public final void mT__35() throws RecognitionException { try { int _type = T__35; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:33:7: ( 'iff' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:33:9: 'iff' { match("iff"); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "T__35" // $ANTLR start "T__36" public final void mT__36() throws RecognitionException { try { int _type = T__36; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:34:7: ( 'ite' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:34:9: 'ite' { match("ite"); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "T__36" // $ANTLR start "T__37" public final void mT__37() throws RecognitionException { try { int _type = T__37; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:35:7: ( 'let' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:35:9: 'let' { match("let"); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "T__37" // $ANTLR start "T__38" public final void mT__38() throws RecognitionException { try { int _type = T__38; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:36:7: ( '=' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:36:9: '=' { match('='); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "T__38" // $ANTLR start "T__39" public final void mT__39() throws RecognitionException { try { int _type = T__39; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:37:7: ( 'distinct' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:37:9: 'distinct' { match("distinct"); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "T__39" // $ANTLR start "T__40" public final void mT__40() throws RecognitionException { try { int _type = T__40; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:38:7: ( '<' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:38:9: '<' { match('<'); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "T__40" // $ANTLR start "T__41" public final void mT__41() throws RecognitionException { try { int _type = T__41; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:39:7: ( '>' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:39:9: '>' { match('>'); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "T__41" // $ANTLR start "T__42" public final void mT__42() throws RecognitionException { try { int _type = T__42; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:40:7: ( '<=' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:40:9: '<=' { match("<="); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "T__42" // $ANTLR start "T__43" public final void mT__43() throws RecognitionException { try { int _type = T__43; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:41:7: ( '>=' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:41:9: '>=' { match(">="); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "T__43" // $ANTLR start "T__44" public final void mT__44() throws RecognitionException { try { int _type = T__44; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:42:7: ( '+' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:42:9: '+' { match('+'); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "T__44" // $ANTLR start "T__45" public final void mT__45() throws RecognitionException { try { int _type = T__45; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:43:7: ( '-' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:43:9: '-' { match('-'); } 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; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:44:7: ( '*' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:44:9: '*' { match('*'); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "T__46" // $ANTLR start "T__47" public final void mT__47() throws RecognitionException { try { int _type = T__47; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:45:7: ( '/' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:45:9: '/' { match('/'); } 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; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:46:7: ( 'div' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:46:9: 'div' { match("div"); } 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; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:47:7: ( 'mod' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:47:9: 'mod' { match("mod"); } 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; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:48:7: ( 'assert' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:48:9: 'assert' { match("assert"); } 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; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:49:7: ( 'check-sat' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:49:9: 'check-sat' { match("check-sat"); } 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; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:50:7: ( 'check-sat-using' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:50:9: 'check-sat-using' { match("check-sat-using"); } 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; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:51:7: ( 'get-model' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:51:9: 'get-model' { match("get-model"); } 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; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:52:7: ( 'and-then' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:52:9: 'and-then' { match("and-then"); } 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; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:53:7: ( 'or-else' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:53:9: 'or-else' { match("or-else"); } 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; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:54:7: ( 'par-or' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:54:9: 'par-or' { match("par-or"); } 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; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:55:7: ( 'par-then' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:55:9: 'par-then' { match("par-then"); } 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; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:56:7: ( 'try-for' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:56:9: 'try-for' { match("try-for"); } 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; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:57:7: ( 'if' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:57:9: 'if' { match("if"); } 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; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:58:7: ( 'when' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:58:9: 'when' { match("when"); } 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; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:59:7: ( 'fail-if' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:59:9: 'fail-if' { match("fail-if"); } 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; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:60:7: ( 'using-params' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:60:9: 'using-params' { match("using-params"); } 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; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:61:7: ( 'error' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:61:9: 'error' { match("error"); } 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; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:62:7: ( 'unsupported' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:62:9: 'unsupported' { match("unsupported"); } 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; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:63:7: ( ';' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:63: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; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:64:7: ( 'sat' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:64:9: 'sat' { match("sat"); } 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; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:65:7: ( 'unsat' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:65:9: 'unsat' { match("unsat"); } 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; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:66:7: ( 'unknown' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:66:9: 'unknown' { match("unknown"); } 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; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:67:7: ( 'model' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:67:9: 'model' { match("model"); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "T__69" // $ANTLR start "RULE_SL_COMMENT" public final void mRULE_SL_COMMENT() throws RecognitionException { try { int _type = RULE_SL_COMMENT; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5183:17: ( ';' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5183:19: ';' (~ ( ( '\\n' | '\\r' ) ) )* ( ( '\\r' )? '\\n' )? { match(';'); // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5183:23: (~ ( ( '\\n' | '\\r' ) ) )* loop1: do { int alt1=2; int LA1_0 = input.LA(1); if ( ((LA1_0>='\u0000' && LA1_0<='\t')||(LA1_0>='\u000B' && LA1_0<='\f')||(LA1_0>='\u000E' && LA1_0<='\uFFFF')) ) { alt1=1; } switch (alt1) { case 1 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5183:23: ~ ( ( '\\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(); } else { MismatchedSetException mse = new MismatchedSetException(null,input); recover(mse); throw mse;} } break; default : break loop1; } } while (true); // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5183:39: ( ( '\\r' )? '\\n' )? int alt3=2; int LA3_0 = input.LA(1); if ( (LA3_0=='\n'||LA3_0=='\r') ) { alt3=1; } switch (alt3) { case 1 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5183:40: ( '\\r' )? '\\n' { // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5183:40: ( '\\r' )? int alt2=2; int LA2_0 = input.LA(1); if ( (LA2_0=='\r') ) { alt2=1; } switch (alt2) { case 1 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5183:40: '\\r' { match('\r'); } break; } match('\n'); } break; } } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "RULE_SL_COMMENT" // $ANTLR start "RULE_ID" public final void mRULE_ID() throws RecognitionException { try { int _type = RULE_ID; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5185:9: ( ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '-' | '!' | '0' .. '9' )* ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5185:11: ( 'a' .. 'z' | 'A' .. 'Z' | '_' ) ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '-' | '!' | '0' .. '9' )* { 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;} // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5185:35: ( 'a' .. 'z' | 'A' .. 'Z' | '_' | '-' | '!' | '0' .. '9' )* loop4: do { int alt4=2; int LA4_0 = input.LA(1); if ( (LA4_0=='!'||LA4_0=='-'||(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 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g: { if ( input.LA(1)=='!'||input.LA(1)=='-'||(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_PROPERTYNAME" public final void mRULE_PROPERTYNAME() throws RecognitionException { try { int _type = RULE_PROPERTYNAME; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5187:19: ( ( ':' )+ RULE_ID ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5187:21: ( ':' )+ RULE_ID { // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5187:21: ( ':' )+ int cnt5=0; loop5: do { int alt5=2; int LA5_0 = input.LA(1); if ( (LA5_0==':') ) { alt5=1; } switch (alt5) { case 1 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5187:21: ':' { match(':'); } break; default : if ( cnt5 >= 1 ) break loop5; EarlyExitException eee = new EarlyExitException(5, input); throw eee; } cnt5++; } while (true); mRULE_ID(); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "RULE_PROPERTYNAME" // $ANTLR start "RULE_REAL" public final void mRULE_REAL() throws RecognitionException { try { int _type = RULE_REAL; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5189:11: ( RULE_INT '.' RULE_INT ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5189:13: RULE_INT '.' RULE_INT { mRULE_INT(); match('.'); mRULE_INT(); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "RULE_REAL" // $ANTLR start "RULE_INT" public final void mRULE_INT() throws RecognitionException { try { int _type = RULE_INT; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5191:10: ( ( '0' .. '9' )+ ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5191:12: ( '0' .. '9' )+ { // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5191:12: ( '0' .. '9' )+ int cnt6=0; loop6: do { int alt6=2; int LA6_0 = input.LA(1); if ( ((LA6_0>='0' && LA6_0<='9')) ) { alt6=1; } switch (alt6) { case 1 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5191:13: '0' .. '9' { matchRange('0','9'); } break; default : if ( cnt6 >= 1 ) break loop6; EarlyExitException eee = new EarlyExitException(6, input); throw eee; } cnt6++; } while (true); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "RULE_INT" // $ANTLR start "RULE_STRING" public final void mRULE_STRING() throws RecognitionException { try { int _type = RULE_STRING; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5193:13: ( ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5193:15: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) { // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5193:15: ( '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' | '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' ) int alt9=2; int LA9_0 = input.LA(1); if ( (LA9_0=='\"') ) { alt9=1; } else if ( (LA9_0=='\'') ) { alt9=2; } else { NoViableAltException nvae = new NoViableAltException("", 9, 0, input); throw nvae; } switch (alt9) { case 1 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5193:16: '\"' ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* '\"' { match('\"'); // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5193:20: ( '\\\\' . | ~ ( ( '\\\\' | '\"' ) ) )* loop7: do { int alt7=3; int LA7_0 = input.LA(1); if ( (LA7_0=='\\') ) { alt7=1; } else if ( ((LA7_0>='\u0000' && LA7_0<='!')||(LA7_0>='#' && LA7_0<='[')||(LA7_0>=']' && LA7_0<='\uFFFF')) ) { alt7=2; } switch (alt7) { case 1 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5193:21: '\\\\' . { match('\\'); matchAny(); } break; case 2 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5193:28: ~ ( ( '\\\\' | '\"' ) ) { 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 loop7; } } while (true); match('\"'); } break; case 2 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5193:48: '\\'' ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* '\\'' { match('\''); // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5193:53: ( '\\\\' . | ~ ( ( '\\\\' | '\\'' ) ) )* loop8: do { int alt8=3; int LA8_0 = input.LA(1); if ( (LA8_0=='\\') ) { alt8=1; } else if ( ((LA8_0>='\u0000' && LA8_0<='&')||(LA8_0>='(' && LA8_0<='[')||(LA8_0>=']' && LA8_0<='\uFFFF')) ) { alt8=2; } switch (alt8) { case 1 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5193:54: '\\\\' . { match('\\'); matchAny(); } break; case 2 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5193:61: ~ ( ( '\\\\' | '\\'' ) ) { 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 loop8; } } while (true); match('\''); } break; } } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "RULE_STRING" // $ANTLR start "RULE_ML_COMMENT" public final void mRULE_ML_COMMENT() throws RecognitionException { try { int _type = RULE_ML_COMMENT; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5195:17: ( '/*' ( options {greedy=false; } : . )* '*/' ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5195:19: '/*' ( options {greedy=false; } : . )* '*/' { match("/*"); // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5195:24: ( options {greedy=false; } : . )* loop10: do { int alt10=2; int LA10_0 = input.LA(1); if ( (LA10_0=='*') ) { int LA10_1 = input.LA(2); if ( (LA10_1=='/') ) { alt10=2; } else if ( ((LA10_1>='\u0000' && LA10_1<='.')||(LA10_1>='0' && LA10_1<='\uFFFF')) ) { alt10=1; } } else if ( ((LA10_0>='\u0000' && LA10_0<=')')||(LA10_0>='+' && LA10_0<='\uFFFF')) ) { alt10=1; } switch (alt10) { case 1 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5195:52: . { matchAny(); } break; default : break loop10; } } while (true); match("*/"); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "RULE_ML_COMMENT" // $ANTLR start "RULE_WS" public final void mRULE_WS() throws RecognitionException { try { int _type = RULE_WS; int _channel = DEFAULT_TOKEN_CHANNEL; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5197:9: ( ( ' ' | '\\t' | '\\r' | '\\n' )+ ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5197:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ { // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5197:11: ( ' ' | '\\t' | '\\r' | '\\n' )+ int cnt11=0; loop11: do { int alt11=2; int LA11_0 = input.LA(1); if ( ((LA11_0>='\t' && LA11_0<='\n')||LA11_0=='\r'||LA11_0==' ') ) { alt11=1; } switch (alt11) { case 1 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.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 ( cnt11 >= 1 ) break loop11; EarlyExitException eee = new EarlyExitException(11, input); throw eee; } cnt11++; } 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; // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5199:16: ( . ) // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:5199:18: . { matchAny(); } state.type = _type; state.channel = _channel; } finally { } } // $ANTLR end "RULE_ANY_OTHER" public void mTokens() throws RecognitionException { // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:8: ( 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 | 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 | RULE_SL_COMMENT | RULE_ID | RULE_PROPERTYNAME | RULE_REAL | RULE_INT | RULE_STRING | RULE_ML_COMMENT | RULE_WS | RULE_ANY_OTHER ) int alt12=66; alt12 = dfa12.predict(input); switch (alt12) { case 1 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:10: T__13 { mT__13(); } break; case 2 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:16: T__14 { mT__14(); } break; case 3 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:22: T__15 { mT__15(); } break; case 4 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:28: T__16 { mT__16(); } break; case 5 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:34: T__17 { mT__17(); } break; case 6 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:40: T__18 { mT__18(); } break; case 7 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:46: T__19 { mT__19(); } break; case 8 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:52: T__20 { mT__20(); } break; case 9 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:58: T__21 { mT__21(); } break; case 10 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:64: T__22 { mT__22(); } break; case 11 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:70: T__23 { mT__23(); } break; case 12 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:76: T__24 { mT__24(); } break; case 13 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:82: T__25 { mT__25(); } break; case 14 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:88: T__26 { mT__26(); } break; case 15 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:94: T__27 { mT__27(); } break; case 16 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:100: T__28 { mT__28(); } break; case 17 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:106: T__29 { mT__29(); } break; case 18 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:112: T__30 { mT__30(); } break; case 19 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:118: T__31 { mT__31(); } break; case 20 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:124: T__32 { mT__32(); } break; case 21 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:130: T__33 { mT__33(); } break; case 22 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:136: T__34 { mT__34(); } break; case 23 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:142: T__35 { mT__35(); } break; case 24 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:148: T__36 { mT__36(); } break; case 25 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:154: T__37 { mT__37(); } break; case 26 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:160: T__38 { mT__38(); } break; case 27 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:166: T__39 { mT__39(); } break; case 28 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:172: T__40 { mT__40(); } break; case 29 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:178: T__41 { mT__41(); } break; case 30 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:184: T__42 { mT__42(); } break; case 31 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:190: T__43 { mT__43(); } break; case 32 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:196: T__44 { mT__44(); } break; case 33 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:202: T__45 { mT__45(); } break; case 34 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:208: T__46 { mT__46(); } break; case 35 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:214: T__47 { mT__47(); } break; case 36 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:220: T__48 { mT__48(); } break; case 37 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:226: T__49 { mT__49(); } break; case 38 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:232: T__50 { mT__50(); } break; case 39 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:238: T__51 { mT__51(); } break; case 40 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:244: T__52 { mT__52(); } break; case 41 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:250: T__53 { mT__53(); } break; case 42 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:256: T__54 { mT__54(); } break; case 43 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:262: T__55 { mT__55(); } break; case 44 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:268: T__56 { mT__56(); } break; case 45 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:274: T__57 { mT__57(); } break; case 46 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:280: T__58 { mT__58(); } break; case 47 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:286: T__59 { mT__59(); } break; case 48 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:292: T__60 { mT__60(); } break; case 49 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:298: T__61 { mT__61(); } break; case 50 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:304: T__62 { mT__62(); } break; case 51 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:310: T__63 { mT__63(); } break; case 52 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:316: T__64 { mT__64(); } break; case 53 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:322: T__65 { mT__65(); } break; case 54 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:328: T__66 { mT__66(); } break; case 55 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:334: T__67 { mT__67(); } break; case 56 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:340: T__68 { mT__68(); } break; case 57 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:346: T__69 { mT__69(); } break; case 58 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:352: RULE_SL_COMMENT { mRULE_SL_COMMENT(); } break; case 59 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:368: RULE_ID { mRULE_ID(); } break; case 60 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:376: RULE_PROPERTYNAME { mRULE_PROPERTYNAME(); } break; case 61 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:394: RULE_REAL { mRULE_REAL(); } break; case 62 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:404: RULE_INT { mRULE_INT(); } break; case 63 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:413: RULE_STRING { mRULE_STRING(); } break; case 64 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:425: RULE_ML_COMMENT { mRULE_ML_COMMENT(); } break; case 65 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:441: RULE_WS { mRULE_WS(); } break; case 66 : // ../hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalSmtLanguage.g:1:449: RULE_ANY_OTHER { mRULE_ANY_OTHER(); } break; } } protected DFA12 dfa12 = new DFA12(this); static final String DFA12_eotS = "\1\uffff\1\47\1\52\1\uffff\1\52\1\uffff\6\52\1\uffff\1\45\2\52"+ "\1\77\3\52\1\105\1\107\2\uffff\1\113\6\52\1\123\1\uffff\1\125\2"+ "\45\4\uffff\2\52\2\uffff\2\52\1\uffff\11\52\1\uffff\1\72\1\uffff"+ "\2\52\1\157\2\uffff\1\52\1\162\2\52\10\uffff\7\52\3\uffff\1\125"+ "\3\uffff\4\52\1\u0081\3\52\1\u0085\1\u0086\7\52\1\72\1\u0090\2\52"+ "\1\uffff\1\u0093\1\u0094\1\uffff\1\u0095\1\u0096\1\u0098\10\52\1"+ "\u00a2\2\52\1\uffff\3\52\2\uffff\1\u00a8\1\u00a9\5\52\1\72\1\52"+ "\1\uffff\2\52\4\uffff\1\52\1\uffff\3\52\1\u00b8\5\52\1\uffff\5\52"+ "\2\uffff\1\u00c3\3\52\1\u00c7\1\72\3\52\1\u00cc\4\52\1\uffff\2\52"+ "\1\u00d3\7\52\1\uffff\1\52\1\u00dc\1\u00dd\1\uffff\1\72\1\52\1\u00e0"+ "\1\52\1\uffff\2\52\1\u00e4\3\52\1\uffff\1\52\1\u00e9\1\u00ea\4\52"+ "\1\u00ef\2\uffff\1\72\1\52\1\uffff\1\u00f2\2\52\1\uffff\3\52\1\u00f8"+ "\2\uffff\3\52\1\u00fe\1\uffff\1\u00ff\1\u0100\1\uffff\2\52\1\u0103"+ "\2\52\1\uffff\5\52\3\uffff\1\u010c\1\u010d\1\uffff\2\52\1\u0110"+ "\3\52\1\u0114\1\52\2\uffff\2\52\1\uffff\2\52\1\u011a\1\uffff\2\52"+ "\1\u011d\1\52\1\u011f\1\uffff\1\52\1\u0121\1\uffff\1\52\1\uffff"+ "\1\52\1\uffff\3\52\1\u0127\1\52\1\uffff\1\u0129\1\uffff"; static final String DFA12_eofS = "\u012a\uffff"; static final String DFA12_minS = "\1\0\1\55\1\151\1\uffff\1\141\1\uffff\1\145\1\156\1\157\1\145\1"+ "\141\1\162\1\uffff\1\72\1\156\1\162\1\76\1\157\1\146\1\145\2\75"+ "\2\uffff\1\52\1\157\1\150\1\145\1\141\1\150\1\156\1\0\1\uffff\1"+ "\56\2\0\4\uffff\1\155\1\165\2\uffff\2\164\1\uffff\1\143\1\163\1"+ "\164\1\157\1\141\1\151\1\162\1\151\1\162\1\uffff\1\141\1\uffff\1"+ "\144\1\163\1\41\2\uffff\1\164\1\41\1\145\1\164\10\uffff\1\144\1"+ "\145\1\164\1\162\1\145\1\151\1\153\3\uffff\1\56\3\uffff\2\145\2"+ "\55\1\41\1\154\1\151\1\164\2\41\2\154\1\163\1\154\1\141\1\163\1"+ "\157\1\164\1\41\2\145\1\uffff\2\41\1\uffff\3\41\1\143\2\55\2\156"+ "\1\141\1\156\1\157\1\41\1\146\1\157\1\uffff\1\141\1\156\1\151\2"+ "\uffff\2\41\1\145\1\55\1\154\1\164\1\162\2\164\1\uffff\1\162\1\154"+ "\4\uffff\1\154\1\uffff\1\153\1\155\1\157\1\41\1\147\1\160\1\164"+ "\1\157\1\165\1\uffff\1\157\1\160\1\162\1\145\1\156\2\uffff\1\41"+ "\1\151\1\154\1\163\1\41\1\145\1\150\1\164\1\163\1\41\1\55\1\157"+ "\1\162\1\150\1\uffff\1\55\1\160\1\41\1\167\1\164\1\162\1\164\1\145"+ "\1\55\1\143\1\uffff\1\146\2\41\1\uffff\1\162\1\145\1\41\1\145\1"+ "\uffff\1\163\1\144\1\41\1\145\1\160\1\157\1\uffff\1\156\2\41\1\151"+ "\1\55\1\146\1\164\1\41\2\uffff\2\156\1\uffff\1\41\1\141\1\145\1"+ "\uffff\1\156\1\141\1\162\1\41\2\uffff\1\157\1\144\1\165\1\41\1\uffff"+ "\2\41\1\uffff\1\164\1\154\1\41\1\162\1\164\1\uffff\1\156\1\141\1"+ "\157\1\165\1\156\3\uffff\2\41\1\uffff\1\141\1\145\1\41\1\164\1\162"+ "\1\156\1\41\1\165\2\uffff\1\155\1\144\1\uffff\1\141\1\164\1\41\1"+ "\uffff\2\163\1\41\1\164\1\41\1\uffff\1\151\1\41\1\uffff\1\171\1"+ "\uffff\1\156\1\uffff\1\160\1\147\1\145\1\41\1\163\1\uffff\1\41\1"+ "\uffff"; static final String DFA12_maxS = "\1\uffff\1\55\1\162\1\uffff\1\145\1\uffff\1\151\1\156\1\157\1\145"+ "\1\157\1\170\1\uffff\1\172\1\163\1\162\1\76\1\157\1\164\1\145\2"+ "\75\2\uffff\1\52\1\157\1\150\1\145\1\141\1\150\1\163\1\uffff\1\uffff"+ "\1\71\2\uffff\4\uffff\1\155\1\171\2\uffff\2\164\1\uffff\1\146\1"+ "\166\1\164\1\157\1\141\1\154\1\162\1\151\1\162\1\uffff\1\141\1\uffff"+ "\1\144\1\163\1\172\2\uffff\1\164\1\172\1\145\1\164\10\uffff\1\144"+ "\1\145\1\164\1\162\1\145\1\151\1\163\3\uffff\1\71\3\uffff\2\145"+ "\2\55\1\172\1\154\1\151\1\164\2\172\2\154\1\163\1\154\1\141\1\163"+ "\1\157\1\164\1\172\2\145\1\uffff\2\172\1\uffff\3\172\1\143\2\55"+ "\2\156\1\165\1\156\1\157\1\172\1\146\1\157\1\uffff\1\141\1\156\1"+ "\151\2\uffff\2\172\1\145\1\55\1\154\1\164\1\162\2\164\1\uffff\1"+ "\162\1\154\4\uffff\1\154\1\uffff\1\153\1\155\1\164\1\172\1\147\1"+ "\160\1\164\1\157\1\165\1\uffff\1\157\1\160\1\162\1\145\1\156\2\uffff"+ "\1\172\1\151\1\154\1\163\1\172\1\145\1\150\1\164\1\163\1\172\1\55"+ "\1\157\1\162\1\150\1\uffff\1\55\1\160\1\172\1\167\1\164\1\162\1"+ "\164\1\145\1\55\1\143\1\uffff\1\146\2\172\1\uffff\1\162\1\145\1"+ "\172\1\145\1\uffff\1\163\1\144\1\172\1\145\1\160\1\157\1\uffff\1"+ "\156\2\172\1\151\1\55\1\146\1\164\1\172\2\uffff\2\156\1\uffff\1"+ "\172\1\141\1\145\1\uffff\1\156\1\141\1\162\1\172\2\uffff\1\157\1"+ "\163\1\165\1\172\1\uffff\2\172\1\uffff\1\164\1\154\1\172\1\162\1"+ "\164\1\uffff\1\156\1\141\1\157\1\165\1\156\3\uffff\2\172\1\uffff"+ "\1\141\1\145\1\172\1\164\1\162\1\156\1\172\1\165\2\uffff\1\155\1"+ "\144\1\uffff\1\141\1\164\1\172\1\uffff\2\163\1\172\1\164\1\172\1"+ "\uffff\1\151\1\172\1\uffff\1\171\1\uffff\1\156\1\uffff\1\160\1\147"+ "\1\145\1\172\1\163\1\uffff\1\172\1\uffff"; static final String DFA12_acceptS = "\3\uffff\1\3\1\uffff\1\5\6\uffff\1\20\11\uffff\1\40\1\42\10\uffff"+ "\1\73\3\uffff\1\101\1\102\1\1\1\41\2\uffff\1\73\1\3\2\uffff\1\5"+ "\11\uffff\1\20\1\uffff\1\74\3\uffff\1\25\1\32\4\uffff\1\36\1\34"+ "\1\37\1\35\1\40\1\42\1\100\1\43\7\uffff\1\65\1\72\1\76\1\uffff\1"+ "\75\1\77\1\101\25\uffff\1\24\2\uffff\1\57\16\uffff\1\66\3\uffff"+ "\1\44\1\10\11\uffff\1\23\2\uffff\1\26\1\27\1\30\1\31\1\uffff\1\45"+ "\11\uffff\1\15\5\uffff\1\11\1\12\16\uffff\1\60\12\uffff\1\16\3\uffff"+ "\1\63\4\uffff\1\71\6\uffff\1\67\10\uffff\1\22\1\17\2\uffff\1\46"+ "\3\uffff\1\54\4\uffff\1\2\1\56\4\uffff\1\61\2\uffff\1\53\5\uffff"+ "\1\70\5\uffff\1\33\1\21\1\52\2\uffff\1\55\10\uffff\1\47\1\51\2\uffff"+ "\1\4\3\uffff\1\14\5\uffff\1\13\2\uffff\1\64\1\uffff\1\7\1\uffff"+ "\1\62\5\uffff\1\50\1\uffff\1\6"; static final String DFA12_specialS = "\1\0\36\uffff\1\3\2\uffff\1\1\1\2\u0106\uffff}>"; static final String[] DFA12_transitionS = { "\11\45\2\44\2\45\1\44\22\45\1\44\1\14\1\42\4\45\1\43\1\3\1"+ "\5\1\27\1\26\1\45\1\1\1\45\1\30\12\41\1\15\1\37\1\24\1\20\1"+ "\25\2\45\1\40\1\10\6\40\1\7\10\40\1\11\10\40\4\45\1\40\1\45"+ "\1\16\1\40\1\32\1\6\1\13\1\12\1\33\1\40\1\22\2\40\1\23\1\31"+ "\1\21\1\17\1\34\2\40\1\4\1\2\1\36\1\40\1\35\3\40\uff85\45", "\1\46", "\1\50\10\uffff\1\51", "", "\1\55\3\uffff\1\54", "", "\1\57\3\uffff\1\60", "\1\61", "\1\62", "\1\63", "\1\64\15\uffff\1\65", "\1\67\5\uffff\1\66", "", "\1\72\6\uffff\32\72\4\uffff\1\72\1\uffff\17\72\1\71\12\72", "\1\73\4\uffff\1\74", "\1\75", "\1\76", "\1\100", "\1\101\15\uffff\1\102", "\1\103", "\1\104", "\1\106", "", "", "\1\112", "\1\114", "\1\115", "\1\116", "\1\117", "\1\120", "\1\122\4\uffff\1\121", "\0\124", "", "\1\127\1\uffff\12\126", "\0\130", "\0\130", "", "", "", "", "\1\132", "\1\133\3\uffff\1\134", "", "", "\1\135", "\1\136", "", "\1\137\2\uffff\1\140", "\1\141\2\uffff\1\142", "\1\143", "\1\144", "\1\145", "\1\147\2\uffff\1\146", "\1\150", "\1\151", "\1\152", "", "\1\153", "", "\1\154", "\1\155", "\1\52\13\uffff\1\156\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "", "", "\1\160", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\5\52\1\161\24\52", "\1\163", "\1\164", "", "", "", "", "", "", "", "", "\1\165", "\1\166", "\1\167", "\1\170", "\1\171", "\1\172", "\1\174\7\uffff\1\173", "", "", "", "\1\127\1\uffff\12\126", "", "", "", "\1\175", "\1\176", "\1\177", "\1\u0080", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "\1\u0082", "\1\u0083", "\1\u0084", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "\1\u0087", "\1\u0088", "\1\u0089", "\1\u008a", "\1\u008b", "\1\u008c", "\1\u008d", "\1\u008e", "\1\52\13\uffff\1\u008f\2\uffff\12\52\7\uffff\32\52\4\uffff"+ "\1\52\1\uffff\32\52", "\1\u0091", "\1\u0092", "", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\4\52\1\u0097\25\52", "\1\u0099", "\1\u009a", "\1\u009b", "\1\u009c", "\1\u009d", "\1\u009f\23\uffff\1\u009e", "\1\u00a0", "\1\u00a1", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "\1\u00a3", "\1\u00a4", "", "\1\u00a5", "\1\u00a6", "\1\u00a7", "", "", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "\1\u00aa", "\1\u00ab", "\1\u00ac", "\1\u00ad", "\1\u00ae", "\1\u00af", "\1\u00b0", "", "\1\u00b1", "\1\u00b2", "", "", "", "", "\1\u00b3", "", "\1\u00b4", "\1\u00b5", "\1\u00b6\4\uffff\1\u00b7", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "\1\u00b9", "\1\u00ba", "\1\u00bb", "\1\u00bc", "\1\u00bd", "", "\1\u00be", "\1\u00bf", "\1\u00c0", "\1\u00c1", "\1\u00c2", "", "", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "\1\u00c4", "\1\u00c5", "\1\u00c6", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "\1\u00c8", "\1\u00c9", "\1\u00ca", "\1\u00cb", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "\1\u00cd", "\1\u00ce", "\1\u00cf", "\1\u00d0", "", "\1\u00d1", "\1\u00d2", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "\1\u00d4", "\1\u00d5", "\1\u00d6", "\1\u00d7", "\1\u00d8", "\1\u00d9", "\1\u00da", "", "\1\u00db", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "", "\1\u00de", "\1\u00df", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "\1\u00e1", "", "\1\u00e2", "\1\u00e3", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "\1\u00e5", "\1\u00e6", "\1\u00e7", "", "\1\u00e8", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "\1\u00eb", "\1\u00ec", "\1\u00ed", "\1\u00ee", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "", "", "\1\u00f0", "\1\u00f1", "", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "\1\u00f3", "\1\u00f4", "", "\1\u00f5", "\1\u00f6", "\1\u00f7", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "", "", "\1\u00f9", "\1\u00fa\1\uffff\1\u00fc\14\uffff\1\u00fb", "\1\u00fd", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "", "\1\72\13\uffff\1\72\2\uffff\12\72\7\uffff\32\72\4\uffff\1"+ "\72\1\uffff\32\72", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "", "\1\u0101", "\1\u0102", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "\1\u0104", "\1\u0105", "", "\1\u0106", "\1\u0107", "\1\u0108", "\1\u0109", "\1\u010a", "", "", "", "\1\52\13\uffff\1\u010b\2\uffff\12\52\7\uffff\32\52\4\uffff"+ "\1\52\1\uffff\32\52", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "", "\1\u010e", "\1\u010f", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "\1\u0111", "\1\u0112", "\1\u0113", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "\1\u0115", "", "", "\1\u0116", "\1\u0117", "", "\1\u0118", "\1\u0119", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "", "\1\u011b", "\1\u011c", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "\1\u011e", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "", "\1\u0120", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "", "\1\u0122", "", "\1\u0123", "", "\1\u0124", "\1\u0125", "\1\u0126", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "\1\u0128", "", "\1\52\13\uffff\1\52\2\uffff\12\52\7\uffff\32\52\4\uffff\1"+ "\52\1\uffff\32\52", "" }; static final short[] DFA12_eot = DFA.unpackEncodedString(DFA12_eotS); static final short[] DFA12_eof = DFA.unpackEncodedString(DFA12_eofS); static final char[] DFA12_min = DFA.unpackEncodedStringToUnsignedChars(DFA12_minS); static final char[] DFA12_max = DFA.unpackEncodedStringToUnsignedChars(DFA12_maxS); static final short[] DFA12_accept = DFA.unpackEncodedString(DFA12_acceptS); static final short[] DFA12_special = DFA.unpackEncodedString(DFA12_specialS); static final short[][] DFA12_transition; static { int numStates = DFA12_transitionS.length; DFA12_transition = new short[numStates][]; for (int i=0; i') ) {s = 21;} else if ( (LA12_0=='+') ) {s = 22;} else if ( (LA12_0=='*') ) {s = 23;} else if ( (LA12_0=='/') ) {s = 24;} else if ( (LA12_0=='m') ) {s = 25;} else if ( (LA12_0=='c') ) {s = 26;} else if ( (LA12_0=='g') ) {s = 27;} else if ( (LA12_0=='p') ) {s = 28;} else if ( (LA12_0=='w') ) {s = 29;} else if ( (LA12_0=='u') ) {s = 30;} else if ( (LA12_0==';') ) {s = 31;} else if ( (LA12_0=='A'||(LA12_0>='C' && LA12_0<='H')||(LA12_0>='J' && LA12_0<='Q')||(LA12_0>='S' && LA12_0<='Z')||LA12_0=='_'||LA12_0=='b'||LA12_0=='h'||(LA12_0>='j' && LA12_0<='k')||(LA12_0>='q' && LA12_0<='r')||LA12_0=='v'||(LA12_0>='x' && LA12_0<='z')) ) {s = 32;} else if ( ((LA12_0>='0' && LA12_0<='9')) ) {s = 33;} else if ( (LA12_0=='\"') ) {s = 34;} else if ( (LA12_0=='\'') ) {s = 35;} else if ( ((LA12_0>='\t' && LA12_0<='\n')||LA12_0=='\r'||LA12_0==' ') ) {s = 36;} else if ( ((LA12_0>='\u0000' && LA12_0<='\b')||(LA12_0>='\u000B' && LA12_0<='\f')||(LA12_0>='\u000E' && LA12_0<='\u001F')||(LA12_0>='#' && LA12_0<='&')||LA12_0==','||LA12_0=='.'||(LA12_0>='?' && LA12_0<='@')||(LA12_0>='[' && LA12_0<='^')||LA12_0=='`'||(LA12_0>='{' && LA12_0<='\uFFFF')) ) {s = 37;} if ( s>=0 ) return s; break; case 1 : int LA12_34 = input.LA(1); s = -1; if ( ((LA12_34>='\u0000' && LA12_34<='\uFFFF')) ) {s = 88;} else s = 37; if ( s>=0 ) return s; break; case 2 : int LA12_35 = input.LA(1); s = -1; if ( ((LA12_35>='\u0000' && LA12_35<='\uFFFF')) ) {s = 88;} else s = 37; if ( s>=0 ) return s; break; case 3 : int LA12_31 = input.LA(1); s = -1; if ( ((LA12_31>='\u0000' && LA12_31<='\uFFFF')) ) {s = 84;} else s = 83; if ( s>=0 ) return s; break; } NoViableAltException nvae = new NoViableAltException(getDescription(), 12, _s, input); error(nvae); throw nvae; } } }