MiniMPLexer.java
// $ANTLR 3.5.2 /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g 2015-03-26 17:31:28
package edu.udel.cis.vsl.tass.front.minimp.parser;
import org.antlr.runtime.*;
import java.util.Stack;
import java.util.List;
import java.util.ArrayList;
@SuppressWarnings("all")
public class MiniMPLexer extends Lexer {
public static final int EOF=-1;
public static final int ABSTRACT=4;
public static final int ABSTRACT_DECLARATOR=5;
public static final int ABSTR_FUNCTION_DECL=6;
public static final int ADDITIVE_EXPR=7;
public static final int ADDR_OF=8;
public static final int ALLOCATE_STMT=9;
public static final int AND=10;
public static final int ANNOTATION_LIST=11;
public static final int ANY=12;
public static final int ARGUMENT=13;
public static final int ARGUMENT_LIST=14;
public static final int ARROW=15;
public static final int ASSERT=16;
public static final int ASSERT_STMT=17;
public static final int ASSIGN=18;
public static final int ASSIGNMENT_STMT=19;
public static final int ASSIGN_EXPR=20;
public static final int ASSUME=21;
public static final int ASSUME_STMT=22;
public static final int AT=23;
public static final int BAR=24;
public static final int BODY=25;
public static final int BOOLEAN=26;
public static final int CALL_STMT=27;
public static final int CAST=28;
public static final int CHAR=29;
public static final int CHAR_LITERAL=30;
public static final int CHOICE=31;
public static final int COLLECTIVE=32;
public static final int COLLECTIVE_ASSERT_STMT=33;
public static final int COLLECTIVE_INVARIANT_STMT=34;
public static final int COLON=35;
public static final int COMMA=36;
public static final int COMMENT=37;
public static final int COMM_EXPR=38;
public static final int COMPOUND_STMT=39;
public static final int CONDITION_STMT=40;
public static final int CONST=41;
public static final int CONSTANT=42;
public static final int CONTINUOUS=43;
public static final int CORRESPONDENCE=44;
public static final int DEALLOCATE_STMT=45;
public static final int DECL=46;
public static final int DECLARATION=47;
public static final int DECLARATOR=48;
public static final int DECL_BODY=49;
public static final int DECL_LIST=50;
public static final int DECL_SUFFIX=51;
public static final int DEFINE=52;
public static final int DEFINE_DIRECTIVE=53;
public static final int DEFINE_LIST=54;
public static final int DERIVATIVE=55;
public static final int DERIVATIVE_EXPR=56;
public static final int DESIGNATION=57;
public static final int DESIGNATOR=58;
public static final int DESIGNATOR_LIST=59;
public static final int DIGIT=60;
public static final int DIRECT_ABSTRACT_DECLARATOR=61;
public static final int DIRECT_DECL=62;
public static final int DIV=63;
public static final int DIV_ASSIGN=64;
public static final int DOT=65;
public static final int DOUBLE=66;
public static final int DOUBLE_PLUS=67;
public static final int DOUBLE_SUB=68;
public static final int ELSE=69;
public static final int EMPTY_STMT=70;
public static final int EQ=71;
public static final int EQUALITY_EXPR=72;
public static final int EVALUATED_FUNCTION_EXPR=73;
public static final int EXISTS=74;
public static final int EXPR=75;
public static final int EXPR_STMT=76;
public static final int EscapeSequence=77;
public static final int Exponent=78;
public static final int FALSE=79;
public static final int FIELD_DECL=80;
public static final int FLOAT=81;
public static final int FOR=82;
public static final int FORALL=83;
public static final int FOR_STMT=84;
public static final int FUNCTION_DECL=85;
public static final int GLOBAL_VARIABLE=86;
public static final int GT=87;
public static final int GTE=88;
public static final int GUARD=89;
public static final int IDENTIFIER=90;
public static final int IF=91;
public static final int IFTHENELSE_EXPR=92;
public static final int IGNORE=93;
public static final int IMPL=94;
public static final int INCLUDE=95;
public static final int INCLUDE_DIRECTIVE=96;
public static final int INCLUDE_LIST=97;
public static final int INITIALIZER=98;
public static final int INITIALIZER_LIST=99;
public static final int INITIALIZER_LIST_REST=100;
public static final int INPUT=101;
public static final int INT=102;
public static final int INT_LITERAL=103;
public static final int INVARIANT=104;
public static final int INVARIANT_STMT=105;
public static final int IS=106;
public static final int ITERATIVE_STMT=107;
public static final int JOINT=108;
public static final int JOINT_ASSERT_STMT=109;
public static final int JOINT_INVARIANT_STMT=110;
public static final int LCURLY=111;
public static final int LETTER=112;
public static final int LOGICAL_AND_EXPR=113;
public static final int LOGICAL_OR_EXPR=114;
public static final int LPAREN=115;
public static final int LSQUARE=116;
public static final int LT=117;
public static final int LTE=118;
public static final int MALLOC=119;
public static final int MOD=120;
public static final int MOD_ASSIGN=121;
public static final int MULTI=122;
public static final int MULTIPLICATIVE_EXPR=123;
public static final int MULTI_ASSIGN=124;
public static final int MULTI_DECLARATION=125;
public static final int NEQ=126;
public static final int NEWLINE=127;
public static final int NOT=128;
public static final int OR=129;
public static final int OUTPUT=130;
public static final int OctalEscape=131;
public static final int PARAMETER=132;
public static final int PARAMETER_LIST=133;
public static final int PARTIAL=134;
public static final int PARTIAL_LIST=135;
public static final int PLUS=136;
public static final int PLUS_ASSIGN=137;
public static final int POSTFIX_EXPR=138;
public static final int POSTFIX_EXPR_SUFFIX=139;
public static final int PRAGMA=140;
public static final int PREFIX=141;
public static final int PRIMARY_EXPR=142;
public static final int PROGRAM=143;
public static final int PROTOTYPE=144;
public static final int QMARK=145;
public static final int QUANTIFIER=146;
public static final int QUANTIFIER_EXPR=147;
public static final int RCURLY=148;
public static final int REAL_LITERAL=149;
public static final int RECV=150;
public static final int RECV_STMT=151;
public static final int RELATIONAL_EXPR=152;
public static final int RETURN=153;
public static final int RETURN_STMT=154;
public static final int RPAREN=155;
public static final int RSQUARE=156;
public static final int SELECT=157;
public static final int SELECT_STMT=158;
public static final int SELFCHANGE_OP=159;
public static final int SEMI=160;
public static final int SEND=161;
public static final int SEND_STMT=162;
public static final int SHARED=163;
public static final int SIMPLE_TYPE=164;
public static final int SINGLE_COMMENT=165;
public static final int SIZEOF=166;
public static final int SKEW_FACTOR=167;
public static final int SPEC=168;
public static final int SPEC_EXPR=169;
public static final int STATEMENT=170;
public static final int STATEMENT_LIST=171;
public static final int STATIC=172;
public static final int STRING_LITERAL=173;
public static final int STRUCT=174;
public static final int SUB=175;
public static final int SUB_ASSIGN=176;
public static final int SUFFIX=177;
public static final int SYSTEM=178;
public static final int SYS_VAR=179;
public static final int TASS=180;
public static final int TRUE=181;
public static final int TUPLE=182;
public static final int TYPEDEF=183;
public static final int TYPE_NAME=184;
public static final int TYPE_SPECIFIER=185;
public static final int UNARY_EXPR=186;
public static final int UNARY_OP=187;
public static final int VOID=188;
public static final int WHEN=189;
public static final int WHILE=190;
public static final int WHILE_STMT=191;
public static final int WHITESPACE=192;
public static final int WILDCARD_EXPR=193;
// delegates
// delegators
public Lexer[] getDelegates() {
return new Lexer[] {};
}
public MiniMPLexer() {}
public MiniMPLexer(CharStream input) {
this(input, new RecognizerSharedState());
}
public MiniMPLexer(CharStream input, RecognizerSharedState state) {
super(input,state);
}
@Override public String getGrammarFileName() { return "/home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g"; }
// $ANTLR start "DIGIT"
public final void mDIGIT() throws RecognitionException {
try {
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:666:7: ( '0' .. '9' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:
{
if ( (input.LA(1) >= '0' && input.LA(1) <= '9') ) {
input.consume();
}
else {
MismatchedSetException mse = new MismatchedSetException(null,input);
recover(mse);
throw mse;
}
}
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "DIGIT"
// $ANTLR start "LETTER"
public final void mLETTER() throws RecognitionException {
try {
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:669:8: ( 'a' .. 'z' | '_' | 'A' .. 'Z' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:
{
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;
}
}
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "LETTER"
// $ANTLR start "CHAR_LITERAL"
public final void mCHAR_LITERAL() throws RecognitionException {
try {
int _type = CHAR_LITERAL;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:674:2: ( '\\'' ~ ( '\\'' | '\\\\' ) '\\'' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:674:4: '\\'' ~ ( '\\'' | '\\\\' ) '\\''
{
match('\'');
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;
}
match('\'');
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "CHAR_LITERAL"
// $ANTLR start "STRING_LITERAL"
public final void mSTRING_LITERAL() throws RecognitionException {
try {
int _type = STRING_LITERAL;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:680:2: ( '\"' ( EscapeSequence |~ ( '\\\\' | '\"' ) )* '\"' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:680:4: '\"' ( EscapeSequence |~ ( '\\\\' | '\"' ) )* '\"'
{
match('\"');
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:680:8: ( EscapeSequence |~ ( '\\\\' | '\"' ) )*
loop1:
while (true) {
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 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:680:9: EscapeSequence
{
mEscapeSequence();
}
break;
case 2 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:680:26: ~ ( '\\\\' | '\"' )
{
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;
}
}
match('\"');
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "STRING_LITERAL"
// $ANTLR start "EscapeSequence"
public final void mEscapeSequence() throws RecognitionException {
try {
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:686:5: ( '\\\\' ( 'b' | 't' | 'n' | 'f' | 'r' | '\\\"' | '\\'' | '\\\\' ) | OctalEscape )
int alt2=2;
int LA2_0 = input.LA(1);
if ( (LA2_0=='\\') ) {
int LA2_1 = input.LA(2);
if ( (LA2_1=='\"'||LA2_1=='\''||LA2_1=='\\'||LA2_1=='b'||LA2_1=='f'||LA2_1=='n'||LA2_1=='r'||LA2_1=='t') ) {
alt2=1;
}
else if ( ((LA2_1 >= '0' && LA2_1 <= '7')) ) {
alt2=2;
}
else {
int nvaeMark = input.mark();
try {
input.consume();
NoViableAltException nvae =
new NoViableAltException("", 2, 1, input);
throw nvae;
} finally {
input.rewind(nvaeMark);
}
}
}
else {
NoViableAltException nvae =
new NoViableAltException("", 2, 0, input);
throw nvae;
}
switch (alt2) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:686:9: '\\\\' ( 'b' | 't' | 'n' | 'f' | 'r' | '\\\"' | '\\'' | '\\\\' )
{
match('\\');
if ( input.LA(1)=='\"'||input.LA(1)=='\''||input.LA(1)=='\\'||input.LA(1)=='b'||input.LA(1)=='f'||input.LA(1)=='n'||input.LA(1)=='r'||input.LA(1)=='t' ) {
input.consume();
}
else {
MismatchedSetException mse = new MismatchedSetException(null,input);
recover(mse);
throw mse;
}
}
break;
case 2 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:687:9: OctalEscape
{
mOctalEscape();
}
break;
}
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "EscapeSequence"
// $ANTLR start "OctalEscape"
public final void mOctalEscape() throws RecognitionException {
try {
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:692:5: ( '\\\\' ( '0' .. '3' ) ( '0' .. '7' ) ( '0' .. '7' ) | '\\\\' ( '0' .. '7' ) ( '0' .. '7' ) | '\\\\' ( '0' .. '7' ) )
int alt3=3;
int LA3_0 = input.LA(1);
if ( (LA3_0=='\\') ) {
int LA3_1 = input.LA(2);
if ( ((LA3_1 >= '0' && LA3_1 <= '3')) ) {
int LA3_2 = input.LA(3);
if ( ((LA3_2 >= '0' && LA3_2 <= '7')) ) {
int LA3_4 = input.LA(4);
if ( ((LA3_4 >= '0' && LA3_4 <= '7')) ) {
alt3=1;
}
else {
alt3=2;
}
}
else {
alt3=3;
}
}
else if ( ((LA3_1 >= '4' && LA3_1 <= '7')) ) {
int LA3_3 = input.LA(3);
if ( ((LA3_3 >= '0' && LA3_3 <= '7')) ) {
alt3=2;
}
else {
alt3=3;
}
}
else {
int nvaeMark = input.mark();
try {
input.consume();
NoViableAltException nvae =
new NoViableAltException("", 3, 1, input);
throw nvae;
} finally {
input.rewind(nvaeMark);
}
}
}
else {
NoViableAltException nvae =
new NoViableAltException("", 3, 0, input);
throw nvae;
}
switch (alt3) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:692:9: '\\\\' ( '0' .. '3' ) ( '0' .. '7' ) ( '0' .. '7' )
{
match('\\');
if ( (input.LA(1) >= '0' && input.LA(1) <= '3') ) {
input.consume();
}
else {
MismatchedSetException mse = new MismatchedSetException(null,input);
recover(mse);
throw mse;
}
if ( (input.LA(1) >= '0' && input.LA(1) <= '7') ) {
input.consume();
}
else {
MismatchedSetException mse = new MismatchedSetException(null,input);
recover(mse);
throw mse;
}
if ( (input.LA(1) >= '0' && input.LA(1) <= '7') ) {
input.consume();
}
else {
MismatchedSetException mse = new MismatchedSetException(null,input);
recover(mse);
throw mse;
}
}
break;
case 2 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:693:9: '\\\\' ( '0' .. '7' ) ( '0' .. '7' )
{
match('\\');
if ( (input.LA(1) >= '0' && input.LA(1) <= '7') ) {
input.consume();
}
else {
MismatchedSetException mse = new MismatchedSetException(null,input);
recover(mse);
throw mse;
}
if ( (input.LA(1) >= '0' && input.LA(1) <= '7') ) {
input.consume();
}
else {
MismatchedSetException mse = new MismatchedSetException(null,input);
recover(mse);
throw mse;
}
}
break;
case 3 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:694:9: '\\\\' ( '0' .. '7' )
{
match('\\');
if ( (input.LA(1) >= '0' && input.LA(1) <= '7') ) {
input.consume();
}
else {
MismatchedSetException mse = new MismatchedSetException(null,input);
recover(mse);
throw mse;
}
}
break;
}
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "OctalEscape"
// $ANTLR start "STATIC"
public final void mSTATIC() throws RecognitionException {
try {
int _type = STATIC;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:696:8: ( 'static' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:696:10: 'static'
{
match("static");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "STATIC"
// $ANTLR start "CONST"
public final void mCONST() throws RecognitionException {
try {
int _type = CONST;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:697:7: ( 'const' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:697:9: 'const'
{
match("const");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "CONST"
// $ANTLR start "DERIVATIVE"
public final void mDERIVATIVE() throws RecognitionException {
try {
int _type = DERIVATIVE;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:699:3: ( '\\\\D' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:699:5: '\\\\D'
{
match("\\D");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "DERIVATIVE"
// $ANTLR start "ABSTRACT"
public final void mABSTRACT() throws RecognitionException {
try {
int _type = ABSTRACT;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:700:9: ( 'abstract' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:700:11: 'abstract'
{
match("abstract");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "ABSTRACT"
// $ANTLR start "SYSTEM"
public final void mSYSTEM() throws RecognitionException {
try {
int _type = SYSTEM;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:701:8: ( 'system' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:701:10: 'system'
{
match("system");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "SYSTEM"
// $ANTLR start "GUARD"
public final void mGUARD() throws RecognitionException {
try {
int _type = GUARD;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:702:7: ( 'guard' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:702:9: 'guard'
{
match("guard");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "GUARD"
// $ANTLR start "ASSERT"
public final void mASSERT() throws RecognitionException {
try {
int _type = ASSERT;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:703:8: ( 'assert' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:703:10: 'assert'
{
match("assert");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "ASSERT"
// $ANTLR start "ASSUME"
public final void mASSUME() throws RecognitionException {
try {
int _type = ASSUME;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:704:8: ( 'assume' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:704:10: 'assume'
{
match("assume");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "ASSUME"
// $ANTLR start "ANY"
public final void mANY() throws RecognitionException {
try {
int _type = ANY;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:705:6: ( 'any' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:705:8: 'any'
{
match("any");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "ANY"
// $ANTLR start "CONTINUOUS"
public final void mCONTINUOUS() throws RecognitionException {
try {
int _type = CONTINUOUS;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:707:3: ( 'continuous' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:707:5: 'continuous'
{
match("continuous");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "CONTINUOUS"
// $ANTLR start "IS"
public final void mIS() throws RecognitionException {
try {
int _type = IS;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:708:5: ( 'is' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:708:7: 'is'
{
match("is");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "IS"
// $ANTLR start "BOOLEAN"
public final void mBOOLEAN() throws RecognitionException {
try {
int _type = BOOLEAN;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:711:9: ( 'boolean' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:711:11: 'boolean'
{
match("boolean");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "BOOLEAN"
// $ANTLR start "CHAR"
public final void mCHAR() throws RecognitionException {
try {
int _type = CHAR;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:712:6: ( 'char' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:712:8: 'char'
{
match("char");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "CHAR"
// $ANTLR start "INT"
public final void mINT() throws RecognitionException {
try {
int _type = INT;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:713:6: ( 'int' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:713:8: 'int'
{
match("int");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "INT"
// $ANTLR start "FLOAT"
public final void mFLOAT() throws RecognitionException {
try {
int _type = FLOAT;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:714:7: ( 'float' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:714:9: 'float'
{
match("float");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "FLOAT"
// $ANTLR start "DOUBLE"
public final void mDOUBLE() throws RecognitionException {
try {
int _type = DOUBLE;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:715:8: ( 'double' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:715:10: 'double'
{
match("double");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "DOUBLE"
// $ANTLR start "TRUE"
public final void mTRUE() throws RecognitionException {
try {
int _type = TRUE;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:718:6: ( 'true' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:718:8: 'true'
{
match("true");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "TRUE"
// $ANTLR start "FALSE"
public final void mFALSE() throws RecognitionException {
try {
int _type = FALSE;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:719:7: ( 'false' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:719:9: 'false'
{
match("false");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "FALSE"
// $ANTLR start "AT"
public final void mAT() throws RecognitionException {
try {
int _type = AT;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:722:5: ( '@' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:722:7: '@'
{
match('@');
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "AT"
// $ANTLR start "IF"
public final void mIF() throws RecognitionException {
try {
int _type = IF;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:723:5: ( 'if' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:723:7: 'if'
{
match("if");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "IF"
// $ANTLR start "ELSE"
public final void mELSE() throws RecognitionException {
try {
int _type = ELSE;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:724:6: ( 'else' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:724:8: 'else'
{
match("else");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "ELSE"
// $ANTLR start "WHILE"
public final void mWHILE() throws RecognitionException {
try {
int _type = WHILE;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:725:7: ( 'while' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:725:9: 'while'
{
match("while");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "WHILE"
// $ANTLR start "FOR"
public final void mFOR() throws RecognitionException {
try {
int _type = FOR;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:726:6: ( 'for' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:726:8: 'for'
{
match("for");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "FOR"
// $ANTLR start "VOID"
public final void mVOID() throws RecognitionException {
try {
int _type = VOID;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:727:6: ( 'void' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:727:8: 'void'
{
match("void");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "VOID"
// $ANTLR start "RETURN"
public final void mRETURN() throws RecognitionException {
try {
int _type = RETURN;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:728:8: ( 'return' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:728:10: 'return'
{
match("return");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "RETURN"
// $ANTLR start "SEND"
public final void mSEND() throws RecognitionException {
try {
int _type = SEND;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:729:6: ( 'send' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:729:8: 'send'
{
match("send");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "SEND"
// $ANTLR start "RECV"
public final void mRECV() throws RecognitionException {
try {
int _type = RECV;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:730:6: ( 'recv' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:730:8: 'recv'
{
match("recv");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "RECV"
// $ANTLR start "SPEC"
public final void mSPEC() throws RecognitionException {
try {
int _type = SPEC;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:731:6: ( 'spec' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:731:8: 'spec'
{
match("spec");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "SPEC"
// $ANTLR start "IMPL"
public final void mIMPL() throws RecognitionException {
try {
int _type = IMPL;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:732:6: ( 'impl' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:732:8: 'impl'
{
match("impl");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "IMPL"
// $ANTLR start "INPUT"
public final void mINPUT() throws RecognitionException {
try {
int _type = INPUT;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:733:7: ( 'input' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:733:9: 'input'
{
match("input");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "INPUT"
// $ANTLR start "OUTPUT"
public final void mOUTPUT() throws RecognitionException {
try {
int _type = OUTPUT;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:734:8: ( 'output' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:734:10: 'output'
{
match("output");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "OUTPUT"
// $ANTLR start "SHARED"
public final void mSHARED() throws RecognitionException {
try {
int _type = SHARED;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:735:8: ( 'shared' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:735:10: 'shared'
{
match("shared");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "SHARED"
// $ANTLR start "SELECT"
public final void mSELECT() throws RecognitionException {
try {
int _type = SELECT;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:736:8: ( 'select' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:736:10: 'select'
{
match("select");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "SELECT"
// $ANTLR start "WHEN"
public final void mWHEN() throws RecognitionException {
try {
int _type = WHEN;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:737:6: ( 'when' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:737:8: 'when'
{
match("when");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "WHEN"
// $ANTLR start "FORALL"
public final void mFORALL() throws RecognitionException {
try {
int _type = FORALL;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:738:8: ( 'forall' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:738:10: 'forall'
{
match("forall");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "FORALL"
// $ANTLR start "EXISTS"
public final void mEXISTS() throws RecognitionException {
try {
int _type = EXISTS;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:739:8: ( 'exists' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:739:10: 'exists'
{
match("exists");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "EXISTS"
// $ANTLR start "MALLOC"
public final void mMALLOC() throws RecognitionException {
try {
int _type = MALLOC;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:740:8: ( 'malloc' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:740:10: 'malloc'
{
match("malloc");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "MALLOC"
// $ANTLR start "TUPLE"
public final void mTUPLE() throws RecognitionException {
try {
int _type = TUPLE;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:742:7: ( 'tuple' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:742:9: 'tuple'
{
match("tuple");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "TUPLE"
// $ANTLR start "STRUCT"
public final void mSTRUCT() throws RecognitionException {
try {
int _type = STRUCT;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:743:8: ( 'struct' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:743:10: 'struct'
{
match("struct");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "STRUCT"
// $ANTLR start "SIZEOF"
public final void mSIZEOF() throws RecognitionException {
try {
int _type = SIZEOF;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:744:8: ( 'sizeof' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:744:10: 'sizeof'
{
match("sizeof");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "SIZEOF"
// $ANTLR start "TYPEDEF"
public final void mTYPEDEF() throws RecognitionException {
try {
int _type = TYPEDEF;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:745:9: ( 'typedef' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:745:11: 'typedef'
{
match("typedef");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "TYPEDEF"
// $ANTLR start "LPAREN"
public final void mLPAREN() throws RecognitionException {
try {
int _type = LPAREN;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:748:8: ( '(' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:748:10: '('
{
match('(');
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "LPAREN"
// $ANTLR start "RPAREN"
public final void mRPAREN() throws RecognitionException {
try {
int _type = RPAREN;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:749:8: ( ')' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:749:10: ')'
{
match(')');
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "RPAREN"
// $ANTLR start "LSQUARE"
public final void mLSQUARE() throws RecognitionException {
try {
int _type = LSQUARE;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:750:9: ( '[' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:750:11: '['
{
match('[');
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "LSQUARE"
// $ANTLR start "RSQUARE"
public final void mRSQUARE() throws RecognitionException {
try {
int _type = RSQUARE;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:751:9: ( ']' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:751:11: ']'
{
match(']');
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "RSQUARE"
// $ANTLR start "LCURLY"
public final void mLCURLY() throws RecognitionException {
try {
int _type = LCURLY;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:752:8: ( '{' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:752:10: '{'
{
match('{');
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "LCURLY"
// $ANTLR start "RCURLY"
public final void mRCURLY() throws RecognitionException {
try {
int _type = RCURLY;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:753:8: ( '}' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:753:10: '}'
{
match('}');
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "RCURLY"
// $ANTLR start "COLON"
public final void mCOLON() throws RecognitionException {
try {
int _type = COLON;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:754:7: ( ':' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:754:9: ':'
{
match(':');
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "COLON"
// $ANTLR start "SEMI"
public final void mSEMI() throws RecognitionException {
try {
int _type = SEMI;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:755:6: ( ';' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:755:8: ';'
{
match(';');
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "SEMI"
// $ANTLR start "COMMA"
public final void mCOMMA() throws RecognitionException {
try {
int _type = COMMA;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:756:7: ( ',' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:756:9: ','
{
match(',');
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "COMMA"
// $ANTLR start "DOT"
public final void mDOT() throws RecognitionException {
try {
int _type = DOT;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:757:6: ( '.' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:757:8: '.'
{
match('.');
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "DOT"
// $ANTLR start "PLUS"
public final void mPLUS() throws RecognitionException {
try {
int _type = PLUS;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:758:6: ( '+' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:758:8: '+'
{
match('+');
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "PLUS"
// $ANTLR start "SUB"
public final void mSUB() throws RecognitionException {
try {
int _type = SUB;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:759:6: ( '-' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:759:8: '-'
{
match('-');
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "SUB"
// $ANTLR start "MULTI"
public final void mMULTI() throws RecognitionException {
try {
int _type = MULTI;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:760:7: ( '*' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:760:9: '*'
{
match('*');
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "MULTI"
// $ANTLR start "DIV"
public final void mDIV() throws RecognitionException {
try {
int _type = DIV;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:761:6: ( '/' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:761:8: '/'
{
match('/');
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "DIV"
// $ANTLR start "MOD"
public final void mMOD() throws RecognitionException {
try {
int _type = MOD;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:762:6: ( '%' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:762:8: '%'
{
match('%');
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "MOD"
// $ANTLR start "AND"
public final void mAND() throws RecognitionException {
try {
int _type = AND;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:763:6: ( '&&' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:763:8: '&&'
{
match("&&");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "AND"
// $ANTLR start "OR"
public final void mOR() throws RecognitionException {
try {
int _type = OR;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:764:5: ( '||' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:764:7: '||'
{
match("||");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "OR"
// $ANTLR start "NOT"
public final void mNOT() throws RecognitionException {
try {
int _type = NOT;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:765:6: ( '~' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:765:8: '~'
{
match('~');
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "NOT"
// $ANTLR start "ASSIGN"
public final void mASSIGN() throws RecognitionException {
try {
int _type = ASSIGN;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:766:8: ( '=' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:766:10: '='
{
match('=');
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "ASSIGN"
// $ANTLR start "QMARK"
public final void mQMARK() throws RecognitionException {
try {
int _type = QMARK;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:767:7: ( '?' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:767:9: '?'
{
match('?');
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "QMARK"
// $ANTLR start "ADDR_OF"
public final void mADDR_OF() throws RecognitionException {
try {
int _type = ADDR_OF;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:768:9: ( '&' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:768:11: '&'
{
match('&');
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "ADDR_OF"
// $ANTLR start "ARROW"
public final void mARROW() throws RecognitionException {
try {
int _type = ARROW;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:770:7: ( '->' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:770:9: '->'
{
match("->");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "ARROW"
// $ANTLR start "DOUBLE_PLUS"
public final void mDOUBLE_PLUS() throws RecognitionException {
try {
int _type = DOUBLE_PLUS;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:773:3: ( '++' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:773:5: '++'
{
match("++");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "DOUBLE_PLUS"
// $ANTLR start "DOUBLE_SUB"
public final void mDOUBLE_SUB() throws RecognitionException {
try {
int _type = DOUBLE_SUB;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:775:3: ( '--' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:775:5: '--'
{
match("--");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "DOUBLE_SUB"
// $ANTLR start "PLUS_ASSIGN"
public final void mPLUS_ASSIGN() throws RecognitionException {
try {
int _type = PLUS_ASSIGN;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:777:3: ( '+=' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:777:5: '+='
{
match("+=");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "PLUS_ASSIGN"
// $ANTLR start "SUB_ASSIGN"
public final void mSUB_ASSIGN() throws RecognitionException {
try {
int _type = SUB_ASSIGN;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:779:3: ( '-=' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:779:5: '-='
{
match("-=");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "SUB_ASSIGN"
// $ANTLR start "MULTI_ASSIGN"
public final void mMULTI_ASSIGN() throws RecognitionException {
try {
int _type = MULTI_ASSIGN;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:781:3: ( '*=' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:781:5: '*='
{
match("*=");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "MULTI_ASSIGN"
// $ANTLR start "DIV_ASSIGN"
public final void mDIV_ASSIGN() throws RecognitionException {
try {
int _type = DIV_ASSIGN;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:783:3: ( '/=' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:783:5: '/='
{
match("/=");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "DIV_ASSIGN"
// $ANTLR start "MOD_ASSIGN"
public final void mMOD_ASSIGN() throws RecognitionException {
try {
int _type = MOD_ASSIGN;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:785:3: ( '%=' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:785:5: '%='
{
match("%=");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "MOD_ASSIGN"
// $ANTLR start "EQ"
public final void mEQ() throws RecognitionException {
try {
int _type = EQ;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:786:5: ( '==' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:786:7: '=='
{
match("==");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "EQ"
// $ANTLR start "NEQ"
public final void mNEQ() throws RecognitionException {
try {
int _type = NEQ;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:787:6: ( '!=' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:787:8: '!='
{
match("!=");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "NEQ"
// $ANTLR start "LT"
public final void mLT() throws RecognitionException {
try {
int _type = LT;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:788:5: ( '<' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:788:7: '<'
{
match('<');
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "LT"
// $ANTLR start "LTE"
public final void mLTE() throws RecognitionException {
try {
int _type = LTE;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:789:6: ( '<=' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:789:8: '<='
{
match("<=");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "LTE"
// $ANTLR start "GT"
public final void mGT() throws RecognitionException {
try {
int _type = GT;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:790:5: ( '>' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:790:7: '>'
{
match('>');
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "GT"
// $ANTLR start "GTE"
public final void mGTE() throws RecognitionException {
try {
int _type = GTE;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:791:6: ( '>=' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:791:8: '>='
{
match(">=");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "GTE"
// $ANTLR start "Exponent"
public final void mExponent() throws RecognitionException {
try {
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:796:3: ( ( 'e' | 'E' ) ( '+' | '-' )? ( '0' .. '9' )+ )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:796:5: ( 'e' | 'E' ) ( '+' | '-' )? ( '0' .. '9' )+
{
if ( input.LA(1)=='E'||input.LA(1)=='e' ) {
input.consume();
}
else {
MismatchedSetException mse = new MismatchedSetException(null,input);
recover(mse);
throw mse;
}
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:796:15: ( '+' | '-' )?
int alt4=2;
int LA4_0 = input.LA(1);
if ( (LA4_0=='+'||LA4_0=='-') ) {
alt4=1;
}
switch (alt4) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:
{
if ( input.LA(1)=='+'||input.LA(1)=='-' ) {
input.consume();
}
else {
MismatchedSetException mse = new MismatchedSetException(null,input);
recover(mse);
throw mse;
}
}
break;
}
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:796:26: ( '0' .. '9' )+
int cnt5=0;
loop5:
while (true) {
int alt5=2;
int LA5_0 = input.LA(1);
if ( ((LA5_0 >= '0' && LA5_0 <= '9')) ) {
alt5=1;
}
switch (alt5) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:
{
if ( (input.LA(1) >= '0' && input.LA(1) <= '9') ) {
input.consume();
}
else {
MismatchedSetException mse = new MismatchedSetException(null,input);
recover(mse);
throw mse;
}
}
break;
default :
if ( cnt5 >= 1 ) break loop5;
EarlyExitException eee = new EarlyExitException(5, input);
throw eee;
}
cnt5++;
}
}
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "Exponent"
// $ANTLR start "INT_LITERAL"
public final void mINT_LITERAL() throws RecognitionException {
try {
int _type = INT_LITERAL;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:798:3: ( '0' ( 'U' | 'u' | 'L' | 'l' | 'UL' | 'ul' )? | ( '1' .. '9' ) ( DIGIT )* ( 'U' | 'u' | 'L' | 'l' | 'UL' | 'ul' )? )
int alt9=2;
int LA9_0 = input.LA(1);
if ( (LA9_0=='0') ) {
alt9=1;
}
else if ( ((LA9_0 >= '1' && LA9_0 <= '9')) ) {
alt9=2;
}
else {
NoViableAltException nvae =
new NoViableAltException("", 9, 0, input);
throw nvae;
}
switch (alt9) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:798:5: '0' ( 'U' | 'u' | 'L' | 'l' | 'UL' | 'ul' )?
{
match('0');
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:798:9: ( 'U' | 'u' | 'L' | 'l' | 'UL' | 'ul' )?
int alt6=7;
switch ( input.LA(1) ) {
case 'U':
{
int LA6_1 = input.LA(2);
if ( (LA6_1=='L') ) {
alt6=5;
}
}
break;
case 'u':
{
int LA6_2 = input.LA(2);
if ( (LA6_2=='l') ) {
alt6=6;
}
}
break;
case 'L':
{
alt6=3;
}
break;
case 'l':
{
alt6=4;
}
break;
}
switch (alt6) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:798:10: 'U'
{
match('U');
}
break;
case 2 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:798:14: 'u'
{
match('u');
}
break;
case 3 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:798:18: 'L'
{
match('L');
}
break;
case 4 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:798:22: 'l'
{
match('l');
}
break;
case 5 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:798:26: 'UL'
{
match("UL");
}
break;
case 6 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:798:31: 'ul'
{
match("ul");
}
break;
}
}
break;
case 2 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:799:5: ( '1' .. '9' ) ( DIGIT )* ( 'U' | 'u' | 'L' | 'l' | 'UL' | 'ul' )?
{
if ( (input.LA(1) >= '1' && input.LA(1) <= '9') ) {
input.consume();
}
else {
MismatchedSetException mse = new MismatchedSetException(null,input);
recover(mse);
throw mse;
}
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:799:16: ( DIGIT )*
loop7:
while (true) {
int alt7=2;
int LA7_0 = input.LA(1);
if ( ((LA7_0 >= '0' && LA7_0 <= '9')) ) {
alt7=1;
}
switch (alt7) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:
{
if ( (input.LA(1) >= '0' && input.LA(1) <= '9') ) {
input.consume();
}
else {
MismatchedSetException mse = new MismatchedSetException(null,input);
recover(mse);
throw mse;
}
}
break;
default :
break loop7;
}
}
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:799:23: ( 'U' | 'u' | 'L' | 'l' | 'UL' | 'ul' )?
int alt8=7;
switch ( input.LA(1) ) {
case 'U':
{
int LA8_1 = input.LA(2);
if ( (LA8_1=='L') ) {
alt8=5;
}
}
break;
case 'u':
{
int LA8_2 = input.LA(2);
if ( (LA8_2=='l') ) {
alt8=6;
}
}
break;
case 'L':
{
alt8=3;
}
break;
case 'l':
{
alt8=4;
}
break;
}
switch (alt8) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:799:24: 'U'
{
match('U');
}
break;
case 2 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:799:28: 'u'
{
match('u');
}
break;
case 3 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:799:32: 'L'
{
match('L');
}
break;
case 4 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:799:36: 'l'
{
match('l');
}
break;
case 5 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:799:40: 'UL'
{
match("UL");
}
break;
case 6 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:799:45: 'ul'
{
match("ul");
}
break;
}
}
break;
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "INT_LITERAL"
// $ANTLR start "REAL_LITERAL"
public final void mREAL_LITERAL() throws RecognitionException {
try {
int _type = REAL_LITERAL;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:803:3: ( ( DIGIT )+ '.' ( DIGIT )* ( Exponent )? ( 'f' | 'F' )? | '.' ( DIGIT )+ ( Exponent )? ( 'f' | 'F' )? | ( DIGIT )+ Exponent ( 'f' | 'F' )? )
int alt19=3;
alt19 = dfa19.predict(input);
switch (alt19) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:803:5: ( DIGIT )+ '.' ( DIGIT )* ( Exponent )? ( 'f' | 'F' )?
{
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:803:5: ( DIGIT )+
int cnt10=0;
loop10:
while (true) {
int alt10=2;
int LA10_0 = input.LA(1);
if ( ((LA10_0 >= '0' && LA10_0 <= '9')) ) {
alt10=1;
}
switch (alt10) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:
{
if ( (input.LA(1) >= '0' && input.LA(1) <= '9') ) {
input.consume();
}
else {
MismatchedSetException mse = new MismatchedSetException(null,input);
recover(mse);
throw mse;
}
}
break;
default :
if ( cnt10 >= 1 ) break loop10;
EarlyExitException eee = new EarlyExitException(10, input);
throw eee;
}
cnt10++;
}
match('.');
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:803:16: ( DIGIT )*
loop11:
while (true) {
int alt11=2;
int LA11_0 = input.LA(1);
if ( ((LA11_0 >= '0' && LA11_0 <= '9')) ) {
alt11=1;
}
switch (alt11) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:
{
if ( (input.LA(1) >= '0' && input.LA(1) <= '9') ) {
input.consume();
}
else {
MismatchedSetException mse = new MismatchedSetException(null,input);
recover(mse);
throw mse;
}
}
break;
default :
break loop11;
}
}
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:803:23: ( Exponent )?
int alt12=2;
int LA12_0 = input.LA(1);
if ( (LA12_0=='E'||LA12_0=='e') ) {
alt12=1;
}
switch (alt12) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:803:23: Exponent
{
mExponent();
}
break;
}
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:803:33: ( 'f' | 'F' )?
int alt13=2;
int LA13_0 = input.LA(1);
if ( (LA13_0=='F'||LA13_0=='f') ) {
alt13=1;
}
switch (alt13) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:
{
if ( input.LA(1)=='F'||input.LA(1)=='f' ) {
input.consume();
}
else {
MismatchedSetException mse = new MismatchedSetException(null,input);
recover(mse);
throw mse;
}
}
break;
}
}
break;
case 2 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:804:5: '.' ( DIGIT )+ ( Exponent )? ( 'f' | 'F' )?
{
match('.');
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:804:9: ( DIGIT )+
int cnt14=0;
loop14:
while (true) {
int alt14=2;
int LA14_0 = input.LA(1);
if ( ((LA14_0 >= '0' && LA14_0 <= '9')) ) {
alt14=1;
}
switch (alt14) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:
{
if ( (input.LA(1) >= '0' && input.LA(1) <= '9') ) {
input.consume();
}
else {
MismatchedSetException mse = new MismatchedSetException(null,input);
recover(mse);
throw mse;
}
}
break;
default :
if ( cnt14 >= 1 ) break loop14;
EarlyExitException eee = new EarlyExitException(14, input);
throw eee;
}
cnt14++;
}
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:804:16: ( Exponent )?
int alt15=2;
int LA15_0 = input.LA(1);
if ( (LA15_0=='E'||LA15_0=='e') ) {
alt15=1;
}
switch (alt15) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:804:16: Exponent
{
mExponent();
}
break;
}
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:804:26: ( 'f' | 'F' )?
int alt16=2;
int LA16_0 = input.LA(1);
if ( (LA16_0=='F'||LA16_0=='f') ) {
alt16=1;
}
switch (alt16) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:
{
if ( input.LA(1)=='F'||input.LA(1)=='f' ) {
input.consume();
}
else {
MismatchedSetException mse = new MismatchedSetException(null,input);
recover(mse);
throw mse;
}
}
break;
}
}
break;
case 3 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:805:5: ( DIGIT )+ Exponent ( 'f' | 'F' )?
{
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:805:5: ( DIGIT )+
int cnt17=0;
loop17:
while (true) {
int alt17=2;
int LA17_0 = input.LA(1);
if ( ((LA17_0 >= '0' && LA17_0 <= '9')) ) {
alt17=1;
}
switch (alt17) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:
{
if ( (input.LA(1) >= '0' && input.LA(1) <= '9') ) {
input.consume();
}
else {
MismatchedSetException mse = new MismatchedSetException(null,input);
recover(mse);
throw mse;
}
}
break;
default :
if ( cnt17 >= 1 ) break loop17;
EarlyExitException eee = new EarlyExitException(17, input);
throw eee;
}
cnt17++;
}
mExponent();
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:805:21: ( 'f' | 'F' )?
int alt18=2;
int LA18_0 = input.LA(1);
if ( (LA18_0=='F'||LA18_0=='f') ) {
alt18=1;
}
switch (alt18) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:
{
if ( input.LA(1)=='F'||input.LA(1)=='f' ) {
input.consume();
}
else {
MismatchedSetException mse = new MismatchedSetException(null,input);
recover(mse);
throw mse;
}
}
break;
}
}
break;
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "REAL_LITERAL"
// $ANTLR start "SYS_VAR"
public final void mSYS_VAR() throws RecognitionException {
try {
int _type = SYS_VAR;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:810:3: ( 'PID' | 'NPROCS' )
int alt20=2;
int LA20_0 = input.LA(1);
if ( (LA20_0=='P') ) {
alt20=1;
}
else if ( (LA20_0=='N') ) {
alt20=2;
}
else {
NoViableAltException nvae =
new NoViableAltException("", 20, 0, input);
throw nvae;
}
switch (alt20) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:810:5: 'PID'
{
match("PID");
}
break;
case 2 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:811:5: 'NPROCS'
{
match("NPROCS");
}
break;
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "SYS_VAR"
// $ANTLR start "DEFINE"
public final void mDEFINE() throws RecognitionException {
try {
int _type = DEFINE;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:815:9: ( '#define' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:815:11: '#define'
{
match("#define");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "DEFINE"
// $ANTLR start "PRAGMA"
public final void mPRAGMA() throws RecognitionException {
try {
int _type = PRAGMA;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:817:9: ( '#pragma' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:817:11: '#pragma'
{
match("#pragma");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "PRAGMA"
// $ANTLR start "TASS"
public final void mTASS() throws RecognitionException {
try {
int _type = TASS;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:818:7: ( 'TASS' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:818:9: 'TASS'
{
match("TASS");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "TASS"
// $ANTLR start "INVARIANT"
public final void mINVARIANT() throws RecognitionException {
try {
int _type = INVARIANT;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:819:11: ( 'invariant' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:819:13: 'invariant'
{
match("invariant");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "INVARIANT"
// $ANTLR start "JOINT"
public final void mJOINT() throws RecognitionException {
try {
int _type = JOINT;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:820:8: ( 'joint' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:820:10: 'joint'
{
match("joint");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "JOINT"
// $ANTLR start "COLLECTIVE"
public final void mCOLLECTIVE() throws RecognitionException {
try {
int _type = COLLECTIVE;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:821:12: ( 'collective' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:821:14: 'collective'
{
match("collective");
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "COLLECTIVE"
// $ANTLR start "WHITESPACE"
public final void mWHITESPACE() throws RecognitionException {
try {
int _type = WHITESPACE;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:824:3: ( ( ' ' | '\\t' )+ )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:824:5: ( ' ' | '\\t' )+
{
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:824:5: ( ' ' | '\\t' )+
int cnt21=0;
loop21:
while (true) {
int alt21=2;
int LA21_0 = input.LA(1);
if ( (LA21_0=='\t'||LA21_0==' ') ) {
alt21=1;
}
switch (alt21) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:
{
if ( input.LA(1)=='\t'||input.LA(1)==' ' ) {
input.consume();
}
else {
MismatchedSetException mse = new MismatchedSetException(null,input);
recover(mse);
throw mse;
}
}
break;
default :
if ( cnt21 >= 1 ) break loop21;
EarlyExitException eee = new EarlyExitException(21, input);
throw eee;
}
cnt21++;
}
_channel = HIDDEN;
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "WHITESPACE"
// $ANTLR start "INCLUDE"
public final void mINCLUDE() throws RecognitionException {
try {
int _type = INCLUDE;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:827:10: ( '#include' ( WHITESPACE )* '<' ( ' ' | '!' | '#' .. ';' | '=' | '?' .. '[' | ']' .. '\\u00FF' )+ '>' | '#include' ( WHITESPACE )* '\"' ( ' ' | '!' | '#' .. ';' | '=' | '?' .. '[' | ']' .. '\\u00FF' )+ '\"' )
int alt26=2;
alt26 = dfa26.predict(input);
switch (alt26) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:827:12: '#include' ( WHITESPACE )* '<' ( ' ' | '!' | '#' .. ';' | '=' | '?' .. '[' | ']' .. '\\u00FF' )+ '>'
{
match("#include");
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:827:23: ( WHITESPACE )*
loop22:
while (true) {
int alt22=2;
int LA22_0 = input.LA(1);
if ( (LA22_0=='\t'||LA22_0==' ') ) {
alt22=1;
}
switch (alt22) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:827:23: WHITESPACE
{
mWHITESPACE();
}
break;
default :
break loop22;
}
}
match('<');
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:827:39: ( ' ' | '!' | '#' .. ';' | '=' | '?' .. '[' | ']' .. '\\u00FF' )+
int cnt23=0;
loop23:
while (true) {
int alt23=2;
int LA23_0 = input.LA(1);
if ( ((LA23_0 >= ' ' && LA23_0 <= '!')||(LA23_0 >= '#' && LA23_0 <= ';')||LA23_0=='='||(LA23_0 >= '?' && LA23_0 <= '[')||(LA23_0 >= ']' && LA23_0 <= '\u00FF')) ) {
alt23=1;
}
switch (alt23) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:
{
if ( (input.LA(1) >= ' ' && input.LA(1) <= '!')||(input.LA(1) >= '#' && input.LA(1) <= ';')||input.LA(1)=='='||(input.LA(1) >= '?' && input.LA(1) <= '[')||(input.LA(1) >= ']' && input.LA(1) <= '\u00FF') ) {
input.consume();
}
else {
MismatchedSetException mse = new MismatchedSetException(null,input);
recover(mse);
throw mse;
}
}
break;
default :
if ( cnt23 >= 1 ) break loop23;
EarlyExitException eee = new EarlyExitException(23, input);
throw eee;
}
cnt23++;
}
match('>');
}
break;
case 2 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:828:13: '#include' ( WHITESPACE )* '\"' ( ' ' | '!' | '#' .. ';' | '=' | '?' .. '[' | ']' .. '\\u00FF' )+ '\"'
{
match("#include");
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:828:24: ( WHITESPACE )*
loop24:
while (true) {
int alt24=2;
int LA24_0 = input.LA(1);
if ( (LA24_0=='\t'||LA24_0==' ') ) {
alt24=1;
}
switch (alt24) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:828:24: WHITESPACE
{
mWHITESPACE();
}
break;
default :
break loop24;
}
}
match('\"');
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:828:40: ( ' ' | '!' | '#' .. ';' | '=' | '?' .. '[' | ']' .. '\\u00FF' )+
int cnt25=0;
loop25:
while (true) {
int alt25=2;
int LA25_0 = input.LA(1);
if ( ((LA25_0 >= ' ' && LA25_0 <= '!')||(LA25_0 >= '#' && LA25_0 <= ';')||LA25_0=='='||(LA25_0 >= '?' && LA25_0 <= '[')||(LA25_0 >= ']' && LA25_0 <= '\u00FF')) ) {
alt25=1;
}
switch (alt25) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:
{
if ( (input.LA(1) >= ' ' && input.LA(1) <= '!')||(input.LA(1) >= '#' && input.LA(1) <= ';')||input.LA(1)=='='||(input.LA(1) >= '?' && input.LA(1) <= '[')||(input.LA(1) >= ']' && input.LA(1) <= '\u00FF') ) {
input.consume();
}
else {
MismatchedSetException mse = new MismatchedSetException(null,input);
recover(mse);
throw mse;
}
}
break;
default :
if ( cnt25 >= 1 ) break loop25;
EarlyExitException eee = new EarlyExitException(25, input);
throw eee;
}
cnt25++;
}
match('\"');
}
break;
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "INCLUDE"
// $ANTLR start "NEWLINE"
public final void mNEWLINE() throws RecognitionException {
try {
int _type = NEWLINE;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:831:9: ( ( ( '\\r' )? '\\n' )+ )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:831:11: ( ( '\\r' )? '\\n' )+
{
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:831:11: ( ( '\\r' )? '\\n' )+
int cnt28=0;
loop28:
while (true) {
int alt28=2;
int LA28_0 = input.LA(1);
if ( (LA28_0=='\n'||LA28_0=='\r') ) {
alt28=1;
}
switch (alt28) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:831:12: ( '\\r' )? '\\n'
{
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:831:12: ( '\\r' )?
int alt27=2;
int LA27_0 = input.LA(1);
if ( (LA27_0=='\r') ) {
alt27=1;
}
switch (alt27) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:831:12: '\\r'
{
match('\r');
}
break;
}
match('\n');
}
break;
default :
if ( cnt28 >= 1 ) break loop28;
EarlyExitException eee = new EarlyExitException(28, input);
throw eee;
}
cnt28++;
}
_channel = HIDDEN;
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "NEWLINE"
// $ANTLR start "SINGLE_COMMENT"
public final void mSINGLE_COMMENT() throws RecognitionException {
try {
int _type = SINGLE_COMMENT;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:835:3: ( '//' (~ ( '\\r' | '\\n' ) )* ( '\\r' )? '\\n' | '# ' (~ ( '\\r' | '\\n' ) )* ( '\\r' )? '\\n' )
int alt33=2;
int LA33_0 = input.LA(1);
if ( (LA33_0=='/') ) {
alt33=1;
}
else if ( (LA33_0=='#') ) {
alt33=2;
}
else {
NoViableAltException nvae =
new NoViableAltException("", 33, 0, input);
throw nvae;
}
switch (alt33) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:835:5: '//' (~ ( '\\r' | '\\n' ) )* ( '\\r' )? '\\n'
{
match("//");
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:835:10: (~ ( '\\r' | '\\n' ) )*
loop29:
while (true) {
int alt29=2;
int LA29_0 = input.LA(1);
if ( ((LA29_0 >= '\u0000' && LA29_0 <= '\t')||(LA29_0 >= '\u000B' && LA29_0 <= '\f')||(LA29_0 >= '\u000E' && LA29_0 <= '\uFFFF')) ) {
alt29=1;
}
switch (alt29) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:
{
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 loop29;
}
}
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:835:26: ( '\\r' )?
int alt30=2;
int LA30_0 = input.LA(1);
if ( (LA30_0=='\r') ) {
alt30=1;
}
switch (alt30) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:835:26: '\\r'
{
match('\r');
}
break;
}
match('\n');
_channel = HIDDEN;
}
break;
case 2 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:836:5: '# ' (~ ( '\\r' | '\\n' ) )* ( '\\r' )? '\\n'
{
match("# ");
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:836:10: (~ ( '\\r' | '\\n' ) )*
loop31:
while (true) {
int alt31=2;
int LA31_0 = input.LA(1);
if ( ((LA31_0 >= '\u0000' && LA31_0 <= '\t')||(LA31_0 >= '\u000B' && LA31_0 <= '\f')||(LA31_0 >= '\u000E' && LA31_0 <= '\uFFFF')) ) {
alt31=1;
}
switch (alt31) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:
{
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 loop31;
}
}
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:836:26: ( '\\r' )?
int alt32=2;
int LA32_0 = input.LA(1);
if ( (LA32_0=='\r') ) {
alt32=1;
}
switch (alt32) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:836:26: '\\r'
{
match('\r');
}
break;
}
match('\n');
_channel = HIDDEN;
}
break;
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "SINGLE_COMMENT"
// $ANTLR start "COMMENT"
public final void mCOMMENT() throws RecognitionException {
try {
int _type = COMMENT;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:840:3: ( '/*' ( options {greedy=false; } : . )* '*/' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:840:5: '/*' ( options {greedy=false; } : . )* '*/'
{
match("/*");
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:840:10: ( options {greedy=false; } : . )*
loop34:
while (true) {
int alt34=2;
int LA34_0 = input.LA(1);
if ( (LA34_0=='*') ) {
int LA34_1 = input.LA(2);
if ( (LA34_1=='/') ) {
alt34=2;
}
else if ( ((LA34_1 >= '\u0000' && LA34_1 <= '.')||(LA34_1 >= '0' && LA34_1 <= '\uFFFF')) ) {
alt34=1;
}
}
else if ( ((LA34_0 >= '\u0000' && LA34_0 <= ')')||(LA34_0 >= '+' && LA34_0 <= '\uFFFF')) ) {
alt34=1;
}
switch (alt34) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:840:38: .
{
matchAny();
}
break;
default :
break loop34;
}
}
match("*/");
_channel=HIDDEN;
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "COMMENT"
// $ANTLR start "IDENTIFIER"
public final void mIDENTIFIER() throws RecognitionException {
try {
int _type = IDENTIFIER;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:844:3: ( LETTER ( LETTER | DIGIT )* )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:844:5: LETTER ( LETTER | DIGIT )*
{
mLETTER();
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:844:12: ( LETTER | DIGIT )*
loop35:
while (true) {
int alt35=2;
int LA35_0 = input.LA(1);
if ( ((LA35_0 >= '0' && LA35_0 <= '9')||(LA35_0 >= 'A' && LA35_0 <= 'Z')||LA35_0=='_'||(LA35_0 >= 'a' && LA35_0 <= 'z')) ) {
alt35=1;
}
switch (alt35) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.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 loop35;
}
}
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "IDENTIFIER"
// $ANTLR start "BAR"
public final void mBAR() throws RecognitionException {
try {
int _type = BAR;
int _channel = DEFAULT_TOKEN_CHANNEL;
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:854:2: ( '|' )
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:854:4: '|'
{
match('|');
}
state.type = _type;
state.channel = _channel;
}
finally {
// do for sure before leaving
}
}
// $ANTLR end "BAR"
@Override
public void mTokens() throws RecognitionException {
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:8: ( CHAR_LITERAL | STRING_LITERAL | STATIC | CONST | DERIVATIVE | ABSTRACT | SYSTEM | GUARD | ASSERT | ASSUME | ANY | CONTINUOUS | IS | BOOLEAN | CHAR | INT | FLOAT | DOUBLE | TRUE | FALSE | AT | IF | ELSE | WHILE | FOR | VOID | RETURN | SEND | RECV | SPEC | IMPL | INPUT | OUTPUT | SHARED | SELECT | WHEN | FORALL | EXISTS | MALLOC | TUPLE | STRUCT | SIZEOF | TYPEDEF | LPAREN | RPAREN | LSQUARE | RSQUARE | LCURLY | RCURLY | COLON | SEMI | COMMA | DOT | PLUS | SUB | MULTI | DIV | MOD | AND | OR | NOT | ASSIGN | QMARK | ADDR_OF | ARROW | DOUBLE_PLUS | DOUBLE_SUB | PLUS_ASSIGN | SUB_ASSIGN | MULTI_ASSIGN | DIV_ASSIGN | MOD_ASSIGN | EQ | NEQ | LT | LTE | GT | GTE | INT_LITERAL | REAL_LITERAL | SYS_VAR | DEFINE | PRAGMA | TASS | INVARIANT | JOINT | COLLECTIVE | WHITESPACE | INCLUDE | NEWLINE | SINGLE_COMMENT | COMMENT | IDENTIFIER | BAR )
int alt36=94;
alt36 = dfa36.predict(input);
switch (alt36) {
case 1 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:10: CHAR_LITERAL
{
mCHAR_LITERAL();
}
break;
case 2 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:23: STRING_LITERAL
{
mSTRING_LITERAL();
}
break;
case 3 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:38: STATIC
{
mSTATIC();
}
break;
case 4 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:45: CONST
{
mCONST();
}
break;
case 5 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:51: DERIVATIVE
{
mDERIVATIVE();
}
break;
case 6 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:62: ABSTRACT
{
mABSTRACT();
}
break;
case 7 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:71: SYSTEM
{
mSYSTEM();
}
break;
case 8 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:78: GUARD
{
mGUARD();
}
break;
case 9 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:84: ASSERT
{
mASSERT();
}
break;
case 10 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:91: ASSUME
{
mASSUME();
}
break;
case 11 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:98: ANY
{
mANY();
}
break;
case 12 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:102: CONTINUOUS
{
mCONTINUOUS();
}
break;
case 13 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:113: IS
{
mIS();
}
break;
case 14 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:116: BOOLEAN
{
mBOOLEAN();
}
break;
case 15 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:124: CHAR
{
mCHAR();
}
break;
case 16 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:129: INT
{
mINT();
}
break;
case 17 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:133: FLOAT
{
mFLOAT();
}
break;
case 18 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:139: DOUBLE
{
mDOUBLE();
}
break;
case 19 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:146: TRUE
{
mTRUE();
}
break;
case 20 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:151: FALSE
{
mFALSE();
}
break;
case 21 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:157: AT
{
mAT();
}
break;
case 22 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:160: IF
{
mIF();
}
break;
case 23 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:163: ELSE
{
mELSE();
}
break;
case 24 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:168: WHILE
{
mWHILE();
}
break;
case 25 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:174: FOR
{
mFOR();
}
break;
case 26 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:178: VOID
{
mVOID();
}
break;
case 27 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:183: RETURN
{
mRETURN();
}
break;
case 28 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:190: SEND
{
mSEND();
}
break;
case 29 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:195: RECV
{
mRECV();
}
break;
case 30 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:200: SPEC
{
mSPEC();
}
break;
case 31 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:205: IMPL
{
mIMPL();
}
break;
case 32 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:210: INPUT
{
mINPUT();
}
break;
case 33 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:216: OUTPUT
{
mOUTPUT();
}
break;
case 34 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:223: SHARED
{
mSHARED();
}
break;
case 35 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:230: SELECT
{
mSELECT();
}
break;
case 36 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:237: WHEN
{
mWHEN();
}
break;
case 37 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:242: FORALL
{
mFORALL();
}
break;
case 38 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:249: EXISTS
{
mEXISTS();
}
break;
case 39 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:256: MALLOC
{
mMALLOC();
}
break;
case 40 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:263: TUPLE
{
mTUPLE();
}
break;
case 41 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:269: STRUCT
{
mSTRUCT();
}
break;
case 42 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:276: SIZEOF
{
mSIZEOF();
}
break;
case 43 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:283: TYPEDEF
{
mTYPEDEF();
}
break;
case 44 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:291: LPAREN
{
mLPAREN();
}
break;
case 45 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:298: RPAREN
{
mRPAREN();
}
break;
case 46 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:305: LSQUARE
{
mLSQUARE();
}
break;
case 47 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:313: RSQUARE
{
mRSQUARE();
}
break;
case 48 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:321: LCURLY
{
mLCURLY();
}
break;
case 49 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:328: RCURLY
{
mRCURLY();
}
break;
case 50 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:335: COLON
{
mCOLON();
}
break;
case 51 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:341: SEMI
{
mSEMI();
}
break;
case 52 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:346: COMMA
{
mCOMMA();
}
break;
case 53 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:352: DOT
{
mDOT();
}
break;
case 54 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:356: PLUS
{
mPLUS();
}
break;
case 55 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:361: SUB
{
mSUB();
}
break;
case 56 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:365: MULTI
{
mMULTI();
}
break;
case 57 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:371: DIV
{
mDIV();
}
break;
case 58 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:375: MOD
{
mMOD();
}
break;
case 59 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:379: AND
{
mAND();
}
break;
case 60 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:383: OR
{
mOR();
}
break;
case 61 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:386: NOT
{
mNOT();
}
break;
case 62 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:390: ASSIGN
{
mASSIGN();
}
break;
case 63 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:397: QMARK
{
mQMARK();
}
break;
case 64 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:403: ADDR_OF
{
mADDR_OF();
}
break;
case 65 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:411: ARROW
{
mARROW();
}
break;
case 66 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:417: DOUBLE_PLUS
{
mDOUBLE_PLUS();
}
break;
case 67 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:429: DOUBLE_SUB
{
mDOUBLE_SUB();
}
break;
case 68 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:440: PLUS_ASSIGN
{
mPLUS_ASSIGN();
}
break;
case 69 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:452: SUB_ASSIGN
{
mSUB_ASSIGN();
}
break;
case 70 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:463: MULTI_ASSIGN
{
mMULTI_ASSIGN();
}
break;
case 71 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:476: DIV_ASSIGN
{
mDIV_ASSIGN();
}
break;
case 72 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:487: MOD_ASSIGN
{
mMOD_ASSIGN();
}
break;
case 73 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:498: EQ
{
mEQ();
}
break;
case 74 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:501: NEQ
{
mNEQ();
}
break;
case 75 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:505: LT
{
mLT();
}
break;
case 76 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:508: LTE
{
mLTE();
}
break;
case 77 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:512: GT
{
mGT();
}
break;
case 78 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:515: GTE
{
mGTE();
}
break;
case 79 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:519: INT_LITERAL
{
mINT_LITERAL();
}
break;
case 80 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:531: REAL_LITERAL
{
mREAL_LITERAL();
}
break;
case 81 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:544: SYS_VAR
{
mSYS_VAR();
}
break;
case 82 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:552: DEFINE
{
mDEFINE();
}
break;
case 83 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:559: PRAGMA
{
mPRAGMA();
}
break;
case 84 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:566: TASS
{
mTASS();
}
break;
case 85 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:571: INVARIANT
{
mINVARIANT();
}
break;
case 86 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:581: JOINT
{
mJOINT();
}
break;
case 87 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:587: COLLECTIVE
{
mCOLLECTIVE();
}
break;
case 88 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:598: WHITESPACE
{
mWHITESPACE();
}
break;
case 89 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:609: INCLUDE
{
mINCLUDE();
}
break;
case 90 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:617: NEWLINE
{
mNEWLINE();
}
break;
case 91 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:625: SINGLE_COMMENT
{
mSINGLE_COMMENT();
}
break;
case 92 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:640: COMMENT
{
mCOMMENT();
}
break;
case 93 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:648: IDENTIFIER
{
mIDENTIFIER();
}
break;
case 94 :
// /home/svn/work/tass/1.2/r2549/src/edu/udel/cis/vsl/tass/front/minimp/parser/MiniMP.g:1:659: BAR
{
mBAR();
}
break;
}
}
protected DFA19 dfa19 = new DFA19(this);
protected DFA26 dfa26 = new DFA26(this);
protected DFA36 dfa36 = new DFA36(this);
static final String DFA19_eotS =
"\5\uffff";
static final String DFA19_eofS =
"\5\uffff";
static final String DFA19_minS =
"\2\56\3\uffff";
static final String DFA19_maxS =
"\1\71\1\145\3\uffff";
static final String DFA19_acceptS =
"\2\uffff\1\2\1\1\1\3";
static final String DFA19_specialS =
"\5\uffff}>";
static final String[] DFA19_transitionS = {
"\1\2\1\uffff\12\1",
"\1\3\1\uffff\12\1\13\uffff\1\4\37\uffff\1\4",
"",
"",
""
};
static final short[] DFA19_eot = DFA.unpackEncodedString(DFA19_eotS);
static final short[] DFA19_eof = DFA.unpackEncodedString(DFA19_eofS);
static final char[] DFA19_min = DFA.unpackEncodedStringToUnsignedChars(DFA19_minS);
static final char[] DFA19_max = DFA.unpackEncodedStringToUnsignedChars(DFA19_maxS);
static final short[] DFA19_accept = DFA.unpackEncodedString(DFA19_acceptS);
static final short[] DFA19_special = DFA.unpackEncodedString(DFA19_specialS);
static final short[][] DFA19_transition;
static {
int numStates = DFA19_transitionS.length;
DFA19_transition = new short[numStates][];
for (int i=0; i<numStates; i++) {
DFA19_transition[i] = DFA.unpackEncodedString(DFA19_transitionS[i]);
}
}
protected class DFA19 extends DFA {
public DFA19(BaseRecognizer recognizer) {
this.recognizer = recognizer;
this.decisionNumber = 19;
this.eot = DFA19_eot;
this.eof = DFA19_eof;
this.min = DFA19_min;
this.max = DFA19_max;
this.accept = DFA19_accept;
this.special = DFA19_special;
this.transition = DFA19_transition;
}
@Override
public String getDescription() {
return "802:1: REAL_LITERAL : ( ( DIGIT )+ '.' ( DIGIT )* ( Exponent )? ( 'f' | 'F' )? | '.' ( DIGIT )+ ( Exponent )? ( 'f' | 'F' )? | ( DIGIT )+ Exponent ( 'f' | 'F' )? );";
}
}
static final String DFA26_eotS =
"\14\uffff";
static final String DFA26_eofS =
"\14\uffff";
static final String DFA26_minS =
"\1\43\1\151\1\156\1\143\1\154\1\165\1\144\1\145\2\11\2\uffff";
static final String DFA26_maxS =
"\1\43\1\151\1\156\1\143\1\154\1\165\1\144\1\145\2\74\2\uffff";
static final String DFA26_acceptS =
"\12\uffff\1\1\1\2";
static final String DFA26_specialS =
"\14\uffff}>";
static final String[] DFA26_transitionS = {
"\1\1",
"\1\2",
"\1\3",
"\1\4",
"\1\5",
"\1\6",
"\1\7",
"\1\10",
"\1\11\26\uffff\1\11\1\uffff\1\13\31\uffff\1\12",
"\1\11\26\uffff\1\11\1\uffff\1\13\31\uffff\1\12",
"",
""
};
static final short[] DFA26_eot = DFA.unpackEncodedString(DFA26_eotS);
static final short[] DFA26_eof = DFA.unpackEncodedString(DFA26_eofS);
static final char[] DFA26_min = DFA.unpackEncodedStringToUnsignedChars(DFA26_minS);
static final char[] DFA26_max = DFA.unpackEncodedStringToUnsignedChars(DFA26_maxS);
static final short[] DFA26_accept = DFA.unpackEncodedString(DFA26_acceptS);
static final short[] DFA26_special = DFA.unpackEncodedString(DFA26_specialS);
static final short[][] DFA26_transition;
static {
int numStates = DFA26_transitionS.length;
DFA26_transition = new short[numStates][];
for (int i=0; i<numStates; i++) {
DFA26_transition[i] = DFA.unpackEncodedString(DFA26_transitionS[i]);
}
}
protected class DFA26 extends DFA {
public DFA26(BaseRecognizer recognizer) {
this.recognizer = recognizer;
this.decisionNumber = 26;
this.eot = DFA26_eot;
this.eof = DFA26_eof;
this.min = DFA26_min;
this.max = DFA26_max;
this.accept = DFA26_accept;
this.special = DFA26_special;
this.transition = DFA26_transition;
}
@Override
public String getDescription() {
return "827:1: INCLUDE : ( '#include' ( WHITESPACE )* '<' ( ' ' | '!' | '#' .. ';' | '=' | '?' .. '[' | ']' .. '\\u00FF' )+ '>' | '#include' ( WHITESPACE )* '\"' ( ' ' | '!' | '#' .. ';' | '=' | '?' .. '[' | ']' .. '\\u00FF' )+ '\"' );";
}
}
static final String DFA36_eotS =
"\3\uffff\2\64\1\uffff\7\64\1\uffff\6\64\11\uffff\1\124\1\130\1\134\1\136"+
"\1\142\1\144\1\146\1\150\1\uffff\1\152\2\uffff\1\154\1\156\2\157\2\64"+
"\1\uffff\2\64\3\uffff\14\64\1\u0087\1\64\1\u008b\20\64\34\uffff\1\157"+
"\2\64\3\uffff\17\64\1\u00b1\1\64\1\uffff\1\u00b3\2\64\1\uffff\4\64\1\u00bb"+
"\15\64\1\u00c9\6\64\1\u00d0\1\64\1\u00d2\5\64\1\u00d8\3\64\1\uffff\1\64"+
"\1\uffff\2\64\1\u00df\4\64\1\uffff\1\64\1\u00e5\2\64\1\u00e8\2\64\1\u00eb"+
"\1\u00ec\1\64\1\u00ee\2\64\1\uffff\1\64\1\u00f2\4\64\1\uffff\1\64\1\uffff"+
"\2\64\1\u00fa\2\64\1\uffff\3\64\1\u0100\1\u0101\1\64\1\uffff\1\64\1\u0104"+
"\1\u0105\2\64\1\uffff\1\u0108\1\64\1\uffff\1\64\1\u010b\2\uffff\1\64\1"+
"\uffff\3\64\1\uffff\1\u0110\1\u0111\1\u0112\1\u0113\1\u0114\1\u0115\1"+
"\u0116\1\uffff\3\64\1\u011a\1\u011b\2\uffff\2\64\2\uffff\1\u011e\1\u011f"+
"\1\uffff\1\64\1\u0121\1\uffff\1\u0122\1\u0123\1\u0124\1\u00c9\7\uffff"+
"\3\64\2\uffff\1\64\1\u0129\2\uffff\1\u012a\4\uffff\2\64\1\u012d\1\64\2"+
"\uffff\2\64\1\uffff\1\u0131\1\u0132\1\u0133\3\uffff";
static final String DFA36_eofS =
"\u0134\uffff";
static final String DFA36_minS =
"\1\11\2\uffff\1\145\1\150\1\uffff\1\142\1\165\1\146\1\157\1\141\1\157"+
"\1\162\1\uffff\1\154\1\150\1\157\1\145\1\165\1\141\11\uffff\1\60\1\53"+
"\1\55\1\75\1\52\1\75\1\46\1\174\1\uffff\1\75\2\uffff\2\75\2\56\1\111\1"+
"\120\1\40\1\101\1\157\3\uffff\1\141\1\163\1\154\1\145\1\141\1\172\1\154"+
"\1\141\2\163\1\171\1\141\1\60\1\160\1\60\1\160\2\157\1\154\1\162\2\165"+
"\2\160\1\163\1\151\1\145\1\151\1\143\1\164\1\154\34\uffff\1\56\1\104\1"+
"\122\3\uffff\1\123\1\151\1\164\1\165\1\164\1\144\1\145\1\143\1\162\1\145"+
"\1\163\1\154\1\162\1\164\1\145\1\60\1\162\1\uffff\1\60\1\165\1\141\1\uffff"+
"\2\154\1\141\1\163\1\60\1\142\1\145\1\154\2\145\1\163\1\154\1\156\1\144"+
"\1\165\1\166\1\160\1\154\1\60\1\117\1\123\1\156\1\151\1\143\1\145\1\60"+
"\1\143\1\60\1\145\1\157\1\164\1\151\1\145\1\60\2\162\1\155\1\uffff\1\144"+
"\1\uffff\1\164\1\162\1\60\1\145\1\164\1\145\1\154\1\uffff\1\154\1\60\1"+
"\145\1\144\1\60\1\164\1\145\2\60\1\162\1\60\1\165\1\157\1\uffff\1\103"+
"\1\60\1\164\1\143\1\164\1\155\1\uffff\1\164\1\uffff\1\144\1\146\1\60\1"+
"\156\1\143\1\uffff\1\141\1\164\1\145\2\60\1\151\1\uffff\1\141\2\60\1\154"+
"\1\145\1\uffff\1\60\1\145\1\uffff\1\163\1\60\2\uffff\1\156\1\uffff\1\164"+
"\1\143\1\123\1\uffff\7\60\1\uffff\1\165\1\164\1\143\2\60\2\uffff\1\141"+
"\1\156\2\uffff\2\60\1\uffff\1\146\1\60\1\uffff\4\60\7\uffff\1\157\1\151"+
"\1\164\2\uffff\1\156\1\60\2\uffff\1\60\4\uffff\1\165\1\166\1\60\1\164"+
"\2\uffff\1\163\1\145\1\uffff\3\60\3\uffff";
static final String DFA36_maxS =
"\1\176\2\uffff\1\171\1\157\1\uffff\1\163\1\165\1\163\3\157\1\171\1\uffff"+
"\1\170\1\150\1\157\1\145\1\165\1\141\11\uffff\1\71\1\75\1\76\3\75\1\46"+
"\1\174\1\uffff\1\75\2\uffff\2\75\2\145\1\111\1\120\1\160\1\101\1\157\3"+
"\uffff\1\162\1\163\1\156\1\145\1\141\1\172\1\156\1\141\2\163\1\171\1\141"+
"\1\172\1\166\1\172\1\160\2\157\1\154\1\162\2\165\2\160\1\163\3\151\2\164"+
"\1\154\34\uffff\1\145\1\104\1\122\3\uffff\1\123\1\151\1\164\1\165\1\164"+
"\1\144\1\145\1\143\1\162\1\145\1\164\1\154\1\162\1\164\1\165\1\172\1\162"+
"\1\uffff\1\172\1\165\1\141\1\uffff\2\154\1\141\1\163\1\172\1\142\1\145"+
"\1\154\2\145\1\163\1\154\1\156\1\144\1\165\1\166\1\160\1\154\1\172\1\117"+
"\1\123\1\156\1\151\1\143\1\145\1\172\1\143\1\172\1\145\1\157\1\164\1\151"+
"\1\145\1\172\2\162\1\155\1\uffff\1\144\1\uffff\1\164\1\162\1\172\1\145"+
"\1\164\1\145\1\154\1\uffff\1\154\1\172\1\145\1\144\1\172\1\164\1\145\2"+
"\172\1\162\1\172\1\165\1\157\1\uffff\1\103\1\172\1\164\1\143\1\164\1\155"+
"\1\uffff\1\164\1\uffff\1\144\1\146\1\172\1\156\1\143\1\uffff\1\141\1\164"+
"\1\145\2\172\1\151\1\uffff\1\141\2\172\1\154\1\145\1\uffff\1\172\1\145"+
"\1\uffff\1\163\1\172\2\uffff\1\156\1\uffff\1\164\1\143\1\123\1\uffff\7"+
"\172\1\uffff\1\165\1\164\1\143\2\172\2\uffff\1\141\1\156\2\uffff\2\172"+
"\1\uffff\1\146\1\172\1\uffff\4\172\7\uffff\1\157\1\151\1\164\2\uffff\1"+
"\156\1\172\2\uffff\1\172\4\uffff\1\165\1\166\1\172\1\164\2\uffff\1\163"+
"\1\145\1\uffff\3\172\3\uffff";
static final String DFA36_acceptS =
"\1\uffff\1\1\1\2\2\uffff\1\5\7\uffff\1\25\6\uffff\1\54\1\55\1\56\1\57"+
"\1\60\1\61\1\62\1\63\1\64\10\uffff\1\75\1\uffff\1\77\1\112\11\uffff\1"+
"\130\1\132\1\135\37\uffff\1\65\1\120\1\102\1\104\1\66\1\101\1\103\1\105"+
"\1\67\1\106\1\70\1\107\1\133\1\134\1\71\1\110\1\72\1\73\1\100\1\74\1\136"+
"\1\111\1\76\1\114\1\113\1\116\1\115\1\117\3\uffff\1\122\1\123\1\131\21"+
"\uffff\1\15\3\uffff\1\26\45\uffff\1\13\1\uffff\1\20\7\uffff\1\31\15\uffff"+
"\1\121\6\uffff\1\34\1\uffff\1\36\5\uffff\1\17\6\uffff\1\37\5\uffff\1\23"+
"\2\uffff\1\27\2\uffff\1\44\1\32\1\uffff\1\35\3\uffff\1\124\7\uffff\1\4"+
"\5\uffff\1\10\1\40\2\uffff\1\21\1\24\2\uffff\1\50\2\uffff\1\30\4\uffff"+
"\1\126\1\3\1\51\1\7\1\43\1\42\1\52\3\uffff\1\11\1\12\2\uffff\1\45\1\22"+
"\1\uffff\1\46\1\33\1\41\1\47\4\uffff\1\16\1\53\2\uffff\1\6\3\uffff\1\125"+
"\1\14\1\127";
static final String DFA36_specialS =
"\u0134\uffff}>";
static final String[] DFA36_transitionS = {
"\1\62\1\63\2\uffff\1\63\22\uffff\1\62\1\50\1\2\1\57\1\uffff\1\42\1\43"+
"\1\1\1\24\1\25\1\40\1\36\1\34\1\37\1\35\1\41\1\53\11\54\1\32\1\33\1\51"+
"\1\46\1\52\1\47\1\15\15\64\1\56\1\64\1\55\3\64\1\60\6\64\1\26\1\5\1\27"+
"\1\uffff\1\64\1\uffff\1\6\1\11\1\4\1\13\1\16\1\12\1\7\1\64\1\10\1\61"+
"\2\64\1\23\1\64\1\22\2\64\1\21\1\3\1\14\1\64\1\20\1\17\3\64\1\30\1\44"+
"\1\31\1\45",
"",
"",
"\1\67\2\uffff\1\71\1\72\6\uffff\1\70\3\uffff\1\65\4\uffff\1\66",
"\1\74\6\uffff\1\73",
"",
"\1\75\13\uffff\1\77\4\uffff\1\76",
"\1\100",
"\1\103\6\uffff\1\104\1\102\4\uffff\1\101",
"\1\105",
"\1\107\12\uffff\1\106\2\uffff\1\110",
"\1\111",
"\1\112\2\uffff\1\113\3\uffff\1\114",
"",
"\1\115\13\uffff\1\116",
"\1\117",
"\1\120",
"\1\121",
"\1\122",
"\1\123",
"",
"",
"",
"",
"",
"",
"",
"",
"",
"\12\125",
"\1\126\21\uffff\1\127",
"\1\132\17\uffff\1\133\1\131",
"\1\135",
"\1\141\4\uffff\1\140\15\uffff\1\137",
"\1\143",
"\1\145",
"\1\147",
"",
"\1\151",
"",
"",
"\1\153",
"\1\155",
"\1\125\1\uffff\12\125\13\uffff\1\125\37\uffff\1\125",
"\1\125\1\uffff\12\160\13\uffff\1\125\37\uffff\1\125",
"\1\161",
"\1\162",
"\1\140\103\uffff\1\163\4\uffff\1\165\6\uffff\1\164",
"\1\166",
"\1\167",
"",
"",
"",
"\1\170\20\uffff\1\171",
"\1\172",
"\1\174\1\uffff\1\173",
"\1\175",
"\1\176",
"\1\177",
"\1\u0081\1\uffff\1\u0080",
"\1\u0082",
"\1\u0083",
"\1\u0084",
"\1\u0085",
"\1\u0086",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\1\u0089\3\uffff\1\u0088\1\uffff\1\u008a",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\1\u008c",
"\1\u008d",
"\1\u008e",
"\1\u008f",
"\1\u0090",
"\1\u0091",
"\1\u0092",
"\1\u0093",
"\1\u0094",
"\1\u0095",
"\1\u0096",
"\1\u0098\3\uffff\1\u0097",
"\1\u0099",
"\1\u009b\20\uffff\1\u009a",
"\1\u009c",
"\1\u009d",
"",
"",
"",
"",
"",
"",
"",
"",
"",
"",
"",
"",
"",
"",
"",
"",
"",
"",
"",
"",
"",
"",
"",
"",
"",
"",
"",
"",
"\1\125\1\uffff\12\160\13\uffff\1\125\37\uffff\1\125",
"\1\u009e",
"\1\u009f",
"",
"",
"",
"\1\u00a0",
"\1\u00a1",
"\1\u00a2",
"\1\u00a3",
"\1\u00a4",
"\1\u00a5",
"\1\u00a6",
"\1\u00a7",
"\1\u00a8",
"\1\u00a9",
"\1\u00aa\1\u00ab",
"\1\u00ac",
"\1\u00ad",
"\1\u00ae",
"\1\u00af\17\uffff\1\u00b0",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\1\u00b2",
"",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\1\u00b4",
"\1\u00b5",
"",
"\1\u00b6",
"\1\u00b7",
"\1\u00b8",
"\1\u00b9",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\1\u00ba\31\64",
"\1\u00bc",
"\1\u00bd",
"\1\u00be",
"\1\u00bf",
"\1\u00c0",
"\1\u00c1",
"\1\u00c2",
"\1\u00c3",
"\1\u00c4",
"\1\u00c5",
"\1\u00c6",
"\1\u00c7",
"\1\u00c8",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\1\u00ca",
"\1\u00cb",
"\1\u00cc",
"\1\u00cd",
"\1\u00ce",
"\1\u00cf",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\1\u00d1",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\1\u00d3",
"\1\u00d4",
"\1\u00d5",
"\1\u00d6",
"\1\u00d7",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\1\u00d9",
"\1\u00da",
"\1\u00db",
"",
"\1\u00dc",
"",
"\1\u00dd",
"\1\u00de",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\1\u00e0",
"\1\u00e1",
"\1\u00e2",
"\1\u00e3",
"",
"\1\u00e4",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\1\u00e6",
"\1\u00e7",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\1\u00e9",
"\1\u00ea",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\1\u00ed",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\1\u00ef",
"\1\u00f0",
"",
"\1\u00f1",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\1\u00f3",
"\1\u00f4",
"\1\u00f5",
"\1\u00f6",
"",
"\1\u00f7",
"",
"\1\u00f8",
"\1\u00f9",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\1\u00fb",
"\1\u00fc",
"",
"\1\u00fd",
"\1\u00fe",
"\1\u00ff",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\1\u0102",
"",
"\1\u0103",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\1\u0106",
"\1\u0107",
"",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\1\u0109",
"",
"\1\u010a",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"",
"",
"\1\u010c",
"",
"\1\u010d",
"\1\u010e",
"\1\u010f",
"",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"",
"\1\u0117",
"\1\u0118",
"\1\u0119",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"",
"",
"\1\u011c",
"\1\u011d",
"",
"",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"",
"\1\u0120",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"",
"",
"",
"",
"",
"",
"",
"\1\u0125",
"\1\u0126",
"\1\u0127",
"",
"",
"\1\u0128",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"",
"",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"",
"",
"",
"",
"\1\u012b",
"\1\u012c",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\1\u012e",
"",
"",
"\1\u012f",
"\1\u0130",
"",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"\12\64\7\uffff\32\64\4\uffff\1\64\1\uffff\32\64",
"",
"",
""
};
static final short[] DFA36_eot = DFA.unpackEncodedString(DFA36_eotS);
static final short[] DFA36_eof = DFA.unpackEncodedString(DFA36_eofS);
static final char[] DFA36_min = DFA.unpackEncodedStringToUnsignedChars(DFA36_minS);
static final char[] DFA36_max = DFA.unpackEncodedStringToUnsignedChars(DFA36_maxS);
static final short[] DFA36_accept = DFA.unpackEncodedString(DFA36_acceptS);
static final short[] DFA36_special = DFA.unpackEncodedString(DFA36_specialS);
static final short[][] DFA36_transition;
static {
int numStates = DFA36_transitionS.length;
DFA36_transition = new short[numStates][];
for (int i=0; i<numStates; i++) {
DFA36_transition[i] = DFA.unpackEncodedString(DFA36_transitionS[i]);
}
}
protected class DFA36 extends DFA {
public DFA36(BaseRecognizer recognizer) {
this.recognizer = recognizer;
this.decisionNumber = 36;
this.eot = DFA36_eot;
this.eof = DFA36_eof;
this.min = DFA36_min;
this.max = DFA36_max;
this.accept = DFA36_accept;
this.special = DFA36_special;
this.transition = DFA36_transition;
}
@Override
public String getDescription() {
return "1:1: Tokens : ( CHAR_LITERAL | STRING_LITERAL | STATIC | CONST | DERIVATIVE | ABSTRACT | SYSTEM | GUARD | ASSERT | ASSUME | ANY | CONTINUOUS | IS | BOOLEAN | CHAR | INT | FLOAT | DOUBLE | TRUE | FALSE | AT | IF | ELSE | WHILE | FOR | VOID | RETURN | SEND | RECV | SPEC | IMPL | INPUT | OUTPUT | SHARED | SELECT | WHEN | FORALL | EXISTS | MALLOC | TUPLE | STRUCT | SIZEOF | TYPEDEF | LPAREN | RPAREN | LSQUARE | RSQUARE | LCURLY | RCURLY | COLON | SEMI | COMMA | DOT | PLUS | SUB | MULTI | DIV | MOD | AND | OR | NOT | ASSIGN | QMARK | ADDR_OF | ARROW | DOUBLE_PLUS | DOUBLE_SUB | PLUS_ASSIGN | SUB_ASSIGN | MULTI_ASSIGN | DIV_ASSIGN | MOD_ASSIGN | EQ | NEQ | LT | LTE | GT | GTE | INT_LITERAL | REAL_LITERAL | SYS_VAR | DEFINE | PRAGMA | TASS | INVARIANT | JOINT | COLLECTIVE | WHITESPACE | INCLUDE | NEWLINE | SINGLE_COMMENT | COMMENT | IDENTIFIER | BAR );";
}
}
}