// $ANTLR 3.4 /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g 2016-09-13 11:30:04

/*
    Ulysses OO-Action System Parser
    
    Copyright Graz University of Technology 2009
    Copyright AIT Austrian Institute of Technology 2013
 */
 package org.momut.ooas.parser;


import org.antlr.runtime.*;
import java.util.Stack;
import java.util.List;
import java.util.ArrayList;
import java.util.Map;
import java.util.HashMap;

@SuppressWarnings({"all", "warnings", "unchecked"})
public class ooaLexer extends Lexer {
    public static final int EOF=-1;
    public static final int T__116=116;
    public static final int T__117=117;
    public static final int T__118=118;
    public static final int T__119=119;
    public static final int T__120=120;
    public static final int T__121=121;
    public static final int FLOAT_OR_INT_OR_RANGE=4;
    public static final int LINE_COMMENT=5;
    public static final int T_ABORT=6;
    public static final int T_ABS=7;
    public static final int T_ACTIONS=8;
    public static final int T_AND=9;
    public static final int T_ASSIGNMENT=10;
    public static final int T_AUTOCONS=11;
    public static final int T_BAR=12;
    public static final int T_BIIMPLIES=13;
    public static final int T_BOOL=14;
    public static final int T_BREAK=15;
    public static final int T_CARD=16;
    public static final int T_CBRL=17;
    public static final int T_CBRR=18;
    public static final int T_CHAR=19;
    public static final int T_COLON=20;
    public static final int T_COMMA=21;
    public static final int T_COMMENT=22;
    public static final int T_CONC=23;
    public static final int T_CONSTS=24;
    public static final int T_CTRL=25;
    public static final int T_DCONC=26;
    public static final int T_DERIV=27;
    public static final int T_DIFF=28;
    public static final int T_DIGIT=29;
    public static final int T_DINTER=30;
    public static final int T_DIV=31;
    public static final int T_DO=32;
    public static final int T_DOM=33;
    public static final int T_DOMRESBY=34;
    public static final int T_DOMRESTO=35;
    public static final int T_DUNION=36;
    public static final int T_ELEMS=37;
    public static final int T_ELSE=38;
    public static final int T_END=39;
    public static final int T_EQUAL=40;
    public static final int T_EXISTS=41;
    public static final int T_FALSE=42;
    public static final int T_FLOAT=43;
    public static final int T_FLOATNUMBER=44;
    public static final int T_FOLDLR=45;
    public static final int T_FOLDRL=46;
    public static final int T_FORALL=47;
    public static final int T_GREATER=48;
    public static final int T_GREATEREQUAL=49;
    public static final int T_HEAD=50;
    public static final int T_IDENTIFIER=51;
    public static final int T_IDIV=52;
    public static final int T_IF=53;
    public static final int T_IMPLIES=54;
    public static final int T_IN=55;
    public static final int T_INDS=56;
    public static final int T_INFTY=57;
    public static final int T_INT=58;
    public static final int T_INTER=59;
    public static final int T_INTNUMBER=60;
    public static final int T_KILL=61;
    public static final int T_LEN=62;
    public static final int T_LESS=63;
    public static final int T_LESSEQUAL=64;
    public static final int T_LETTER=65;
    public static final int T_LIST=66;
    public static final int T_LPAREN=67;
    public static final int T_LSQPAREN=68;
    public static final int T_MAP=69;
    public static final int T_MAPS=70;
    public static final int T_MERGE=71;
    public static final int T_METHODS=72;
    public static final int T_MINUS=73;
    public static final int T_MOD=74;
    public static final int T_MUNION=75;
    public static final int T_NEW=76;
    public static final int T_NIL=77;
    public static final int T_NONDET=78;
    public static final int T_NOT=79;
    public static final int T_NOTEQUAL=80;
    public static final int T_OBS=81;
    public static final int T_OD=82;
    public static final int T_OF=83;
    public static final int T_OR=84;
    public static final int T_POINT=85;
    public static final int T_POW=86;
    public static final int T_PRIMED=87;
    public static final int T_PRIO=88;
    public static final int T_PROD=89;
    public static final int T_RANGETO=90;
    public static final int T_REQUIRES=91;
    public static final int T_RNG=92;
    public static final int T_RNGRESBY=93;
    public static final int T_RNGRESTO=94;
    public static final int T_RPAREN=95;
    public static final int T_RSQPAREN=96;
    public static final int T_SELF=97;
    public static final int T_SEMICOLON=98;
    public static final int T_SEQMOD_MAPOVERRIDE=99;
    public static final int T_SET=100;
    public static final int T_SKIP=101;
    public static final int T_STATIC=102;
    public static final int T_STRINGLITERAL=103;
    public static final int T_SUBSET=104;
    public static final int T_SUM=105;
    public static final int T_SYSTEM=106;
    public static final int T_TAIL=107;
    public static final int T_THEN=108;
    public static final int T_TO=109;
    public static final int T_TRUE=110;
    public static final int T_TYPES=111;
    public static final int T_UNION=112;
    public static final int T_VAR=113;
    public static final int T_WITH=114;
    public static final int T_WS=115;

    // delegates
    // delegators
    public Lexer[] getDelegates() {
        return new Lexer[] {};
    }

    public ooaLexer() {} 
    public ooaLexer(CharStream input) {
        this(input, new RecognizerSharedState());
    }
    public ooaLexer(CharStream input, RecognizerSharedState state) {
        super(input,state);
    }
    public String getGrammarFileName() { return "/home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g"; }

    // $ANTLR start "T__116"
    public final void mT__116() throws RecognitionException {
        try {
            int _type = T__116;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:12:8: ( '&' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:12:10: '&'
            {
            match('&'); if (state.failed) return ;

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T__116"

    // $ANTLR start "T__117"
    public final void mT__117() throws RecognitionException {
        try {
            int _type = T__117;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:13:8: ( '::' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:13:10: '::'
            {
            match("::"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T__117"

    // $ANTLR start "T__118"
    public final void mT__118() throws RecognitionException {
        try {
            int _type = T__118;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:14:8: ( ']|' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:14:10: ']|'
            {
            match("]|"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T__118"

    // $ANTLR start "T__119"
    public final void mT__119() throws RecognitionException {
        try {
            int _type = T__119;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:15:8: ( 'as' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:15:10: 'as'
            {
            match("as"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T__119"

    // $ANTLR start "T__120"
    public final void mT__120() throws RecognitionException {
        try {
            int _type = T__120;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:16:8: ( 'begin' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:16:10: 'begin'
            {
            match("begin"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T__120"

    // $ANTLR start "T__121"
    public final void mT__121() throws RecognitionException {
        try {
            int _type = T__121;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:17:8: ( '|[' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:17:10: '|['
            {
            match("|["); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T__121"

    // $ANTLR start "T_WS"
    public final void mT_WS() throws RecognitionException {
        try {
            int _type = T_WS;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:931:8: ( ( ' ' | '\\r' | '\\t' | '\\u000C' | '\\n' ) )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:931:10: ( ' ' | '\\r' | '\\t' | '\\u000C' | '\\n' )
            {
            if ( (input.LA(1) >= '\t' && input.LA(1) <= '\n')||(input.LA(1) >= '\f' && input.LA(1) <= '\r')||input.LA(1)==' ' ) {
                input.consume();
                state.failed=false;
            }
            else {
                if (state.backtracking>0) {state.failed=true; return ;}
                MismatchedSetException mse = new MismatchedSetException(null,input);
                recover(mse);
                throw mse;
            }


            if ( state.backtracking==0 ) {_channel=HIDDEN;}

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_WS"

    // $ANTLR start "T_COMMENT"
    public final void mT_COMMENT() throws RecognitionException {
        try {
            int _type = T_COMMENT;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:935:6: ( '/*' ( . )* '*/' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:935:8: '/*' ( . )* '*/'
            {
            match("/*"); if (state.failed) return ;



            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:935:13: ( . )*
            loop1:
            do {
                int alt1=2;
                int LA1_0 = input.LA(1);

                if ( (LA1_0=='*') ) {
                    int LA1_1 = input.LA(2);

                    if ( (LA1_1=='/') ) {
                        alt1=2;
                    }
                    else if ( ((LA1_1 >= '\u0000' && LA1_1 <= '.')||(LA1_1 >= '0' && LA1_1 <= '\uFFFF')) ) {
                        alt1=1;
                    }


                }
                else if ( ((LA1_0 >= '\u0000' && LA1_0 <= ')')||(LA1_0 >= '+' && LA1_0 <= '\uFFFF')) ) {
                    alt1=1;
                }


                switch (alt1) {
            	case 1 :
            	    // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:935:13: .
            	    {
            	    matchAny(); if (state.failed) return ;

            	    }
            	    break;

            	default :
            	    break loop1;
                }
            } while (true);


            match("*/"); if (state.failed) return ;



            if ( state.backtracking==0 ) {_channel=HIDDEN;}

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_COMMENT"

    // $ANTLR start "LINE_COMMENT"
    public final void mLINE_COMMENT() throws RecognitionException {
        try {
            int _type = LINE_COMMENT;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:939:6: ( '#' (~ ( '\\n' | '\\r' ) )* ( '\\r' )? '\\n' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:939:8: '#' (~ ( '\\n' | '\\r' ) )* ( '\\r' )? '\\n'
            {
            match('#'); if (state.failed) return ;

            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:939:12: (~ ( '\\n' | '\\r' ) )*
            loop2:
            do {
                int alt2=2;
                int LA2_0 = input.LA(1);

                if ( ((LA2_0 >= '\u0000' && LA2_0 <= '\t')||(LA2_0 >= '\u000B' && LA2_0 <= '\f')||(LA2_0 >= '\u000E' && LA2_0 <= '\uFFFF')) ) {
                    alt2=1;
                }


                switch (alt2) {
            	case 1 :
            	    // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.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();
            	        state.failed=false;
            	    }
            	    else {
            	        if (state.backtracking>0) {state.failed=true; return ;}
            	        MismatchedSetException mse = new MismatchedSetException(null,input);
            	        recover(mse);
            	        throw mse;
            	    }


            	    }
            	    break;

            	default :
            	    break loop2;
                }
            } while (true);


            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:939:26: ( '\\r' )?
            int alt3=2;
            int LA3_0 = input.LA(1);

            if ( (LA3_0=='\r') ) {
                alt3=1;
            }
            switch (alt3) {
                case 1 :
                    // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:939:26: '\\r'
                    {
                    match('\r'); if (state.failed) return ;

                    }
                    break;

            }


            match('\n'); if (state.failed) return ;

            if ( state.backtracking==0 ) {_channel=HIDDEN;}

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "LINE_COMMENT"

    // $ANTLR start "T_PRIMED"
    public final void mT_PRIMED() throws RecognitionException {
        try {
            int _type = T_PRIMED;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:943:2: ( '\\'' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:943:4: '\\''
            {
            match('\''); if (state.failed) return ;

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_PRIMED"

    // $ANTLR start "T_STRINGLITERAL"
    public final void mT_STRINGLITERAL() throws RecognitionException {
        try {
            int _type = T_STRINGLITERAL;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:946:2: ( '\"' ( ( '\"' '\"' )=> '\"' |~ '\"' )* '\"' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:946:4: '\"' ( ( '\"' '\"' )=> '\"' |~ '\"' )* '\"'
            {
            match('\"'); if (state.failed) return ;

            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:947:3: ( ( '\"' '\"' )=> '\"' |~ '\"' )*
            loop4:
            do {
                int alt4=3;
                int LA4_0 = input.LA(1);

                if ( (LA4_0=='\"') ) {
                    int LA4_1 = input.LA(2);

                    if ( (LA4_1=='\"') && (synpred1_ooa())) {
                        alt4=1;
                    }
                    else if ( ((LA4_1 >= '\u0000' && LA4_1 <= '!')||(LA4_1 >= '#' && LA4_1 <= '\uFFFF')) && (synpred1_ooa())) {
                        alt4=1;
                    }


                }
                else if ( ((LA4_0 >= '\u0000' && LA4_0 <= '!')||(LA4_0 >= '#' && LA4_0 <= '\uFFFF')) ) {
                    alt4=2;
                }


                switch (alt4) {
            	case 1 :
            	    // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:948:9: ( '\"' '\"' )=> '\"'
            	    {
            	    match('\"'); if (state.failed) return ;

            	    }
            	    break;
            	case 2 :
            	    // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:949:13: ~ '\"'
            	    {
            	    if ( (input.LA(1) >= '\u0000' && input.LA(1) <= '!')||(input.LA(1) >= '#' && input.LA(1) <= '\uFFFF') ) {
            	        input.consume();
            	        state.failed=false;
            	    }
            	    else {
            	        if (state.backtracking>0) {state.failed=true; return ;}
            	        MismatchedSetException mse = new MismatchedSetException(null,input);
            	        recover(mse);
            	        throw mse;
            	    }


            	    }
            	    break;

            	default :
            	    break loop4;
                }
            } while (true);


            match('\"'); if (state.failed) return ;

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_STRINGLITERAL"

    // $ANTLR start "T_ABORT"
    public final void mT_ABORT() throws RecognitionException {
        try {
            int _type = T_ABORT;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:955:9: ( 'abort' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:955:11: 'abort'
            {
            match("abort"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_ABORT"

    // $ANTLR start "T_ACTIONS"
    public final void mT_ACTIONS() throws RecognitionException {
        try {
            int _type = T_ACTIONS;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:957:2: ( 'actions' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:957:4: 'actions'
            {
            match("actions"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_ACTIONS"

    // $ANTLR start "T_ASSIGNMENT"
    public final void mT_ASSIGNMENT() throws RecognitionException {
        try {
            int _type = T_ASSIGNMENT;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:959:2: ( ':=' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:959:4: ':='
            {
            match(":="); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_ASSIGNMENT"

    // $ANTLR start "T_AUTOCONS"
    public final void mT_AUTOCONS() throws RecognitionException {
        try {
            int _type = T_AUTOCONS;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:960:11: ( 'autocons' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:960:13: 'autocons'
            {
            match("autocons"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_AUTOCONS"

    // $ANTLR start "T_BAR"
    public final void mT_BAR() throws RecognitionException {
        try {
            int _type = T_BAR;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:961:7: ( '|' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:961:9: '|'
            {
            match('|'); if (state.failed) return ;

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_BAR"

    // $ANTLR start "T_BOOL"
    public final void mT_BOOL() throws RecognitionException {
        try {
            int _type = T_BOOL;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:962:8: ( 'bool' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:962:10: 'bool'
            {
            match("bool"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_BOOL"

    // $ANTLR start "T_CBRL"
    public final void mT_CBRL() throws RecognitionException {
        try {
            int _type = T_CBRL;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:963:8: ( '{' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:963:10: '{'
            {
            match('{'); if (state.failed) return ;

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_CBRL"

    // $ANTLR start "T_CBRR"
    public final void mT_CBRR() throws RecognitionException {
        try {
            int _type = T_CBRR;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:964:8: ( '}' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:964:10: '}'
            {
            match('}'); if (state.failed) return ;

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_CBRR"

    // $ANTLR start "T_COLON"
    public final void mT_COLON() throws RecognitionException {
        try {
            int _type = T_COLON;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:965:9: ( ':' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:965:11: ':'
            {
            match(':'); if (state.failed) return ;

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_COLON"

    // $ANTLR start "T_COMMA"
    public final void mT_COMMA() throws RecognitionException {
        try {
            int _type = T_COMMA;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:966:9: ( ',' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:966:11: ','
            {
            match(','); if (state.failed) return ;

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_COMMA"

    // $ANTLR start "T_CHAR"
    public final void mT_CHAR() throws RecognitionException {
        try {
            int _type = T_CHAR;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:968:8: ( 'char' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:968:10: 'char'
            {
            match("char"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_CHAR"

    // $ANTLR start "T_CTRL"
    public final void mT_CTRL() throws RecognitionException {
        try {
            int _type = T_CTRL;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:969:9: ( 'ctr' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:969:11: 'ctr'
            {
            match("ctr"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_CTRL"

    // $ANTLR start "T_SYSTEM"
    public final void mT_SYSTEM() throws RecognitionException {
        try {
            int _type = T_SYSTEM;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:971:2: ( 'system' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:971:4: 'system'
            {
            match("system"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_SYSTEM"

    // $ANTLR start "T_DO"
    public final void mT_DO() throws RecognitionException {
        try {
            int _type = T_DO;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:972:6: ( 'do' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:972:8: 'do'
            {
            match("do"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_DO"

    // $ANTLR start "T_ELSE"
    public final void mT_ELSE() throws RecognitionException {
        try {
            int _type = T_ELSE;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:973:8: ( 'else' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:973:10: 'else'
            {
            match("else"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_ELSE"

    // $ANTLR start "T_END"
    public final void mT_END() throws RecognitionException {
        try {
            int _type = T_END;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:974:7: ( 'end' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:974:9: 'end'
            {
            match("end"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_END"

    // $ANTLR start "T_EQUAL"
    public final void mT_EQUAL() throws RecognitionException {
        try {
            int _type = T_EQUAL;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:975:9: ( '=' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:975:11: '='
            {
            match('='); if (state.failed) return ;

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_EQUAL"

    // $ANTLR start "T_EXISTS"
    public final void mT_EXISTS() throws RecognitionException {
        try {
            int _type = T_EXISTS;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:976:10: ( 'exists' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:976:12: 'exists'
            {
            match("exists"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_EXISTS"

    // $ANTLR start "T_FLOAT"
    public final void mT_FLOAT() throws RecognitionException {
        try {
            int _type = T_FLOAT;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:977:9: ( 'float' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:977:11: 'float'
            {
            match("float"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_FLOAT"

    // $ANTLR start "T_FORALL"
    public final void mT_FORALL() throws RecognitionException {
        try {
            int _type = T_FORALL;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:978:10: ( 'forall' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:978:12: 'forall'
            {
            match("forall"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_FORALL"

    // $ANTLR start "T_FALSE"
    public final void mT_FALSE() throws RecognitionException {
        try {
            int _type = T_FALSE;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:979:10: ( 'false' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:979:12: 'false'
            {
            match("false"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_FALSE"

    // $ANTLR start "T_IF"
    public final void mT_IF() throws RecognitionException {
        try {
            int _type = T_IF;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:980:6: ( 'if' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:980:8: 'if'
            {
            match("if"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_IF"

    // $ANTLR start "T_IN"
    public final void mT_IN() throws RecognitionException {
        try {
            int _type = T_IN;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:981:6: ( 'in' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:981:8: 'in'
            {
            match("in"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_IN"

    // $ANTLR start "T_INT"
    public final void mT_INT() throws RecognitionException {
        try {
            int _type = T_INT;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:982:7: ( 'int' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:982:9: 'int'
            {
            match("int"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_INT"

    // $ANTLR start "T_KILL"
    public final void mT_KILL() throws RecognitionException {
        try {
            int _type = T_KILL;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:983:8: ( 'kill' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:983:10: 'kill'
            {
            match("kill"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_KILL"

    // $ANTLR start "T_LIST"
    public final void mT_LIST() throws RecognitionException {
        try {
            int _type = T_LIST;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:984:8: ( 'list' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:984:10: 'list'
            {
            match("list"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_LIST"

    // $ANTLR start "T_LPAREN"
    public final void mT_LPAREN() throws RecognitionException {
        try {
            int _type = T_LPAREN;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:985:10: ( '(' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:985:12: '('
            {
            match('('); if (state.failed) return ;

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_LPAREN"

    // $ANTLR start "T_LSQPAREN"
    public final void mT_LSQPAREN() throws RecognitionException {
        try {
            int _type = T_LSQPAREN;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:986:11: ( '[' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:986:13: '['
            {
            match('['); if (state.failed) return ;

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_LSQPAREN"

    // $ANTLR start "T_MAP"
    public final void mT_MAP() throws RecognitionException {
        try {
            int _type = T_MAP;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:987:7: ( 'map' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:987:9: 'map'
            {
            match("map"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_MAP"

    // $ANTLR start "T_MAPS"
    public final void mT_MAPS() throws RecognitionException {
        try {
            int _type = T_MAPS;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:988:8: ( '->' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:988:10: '->'
            {
            match("->"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_MAPS"

    // $ANTLR start "T_METHODS"
    public final void mT_METHODS() throws RecognitionException {
        try {
            int _type = T_METHODS;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:990:2: ( 'methods' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:990:4: 'methods'
            {
            match("methods"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_METHODS"

    // $ANTLR start "T_NEW"
    public final void mT_NEW() throws RecognitionException {
        try {
            int _type = T_NEW;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:991:7: ( 'new' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:991:9: 'new'
            {
            match("new"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_NEW"

    // $ANTLR start "T_NIL"
    public final void mT_NIL() throws RecognitionException {
        try {
            int _type = T_NIL;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:992:7: ( 'nil' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:992:9: 'nil'
            {
            match("nil"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_NIL"

    // $ANTLR start "T_NONDET"
    public final void mT_NONDET() throws RecognitionException {
        try {
            int _type = T_NONDET;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:993:10: ( '[]' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:993:12: '[]'
            {
            match("[]"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_NONDET"

    // $ANTLR start "T_OBS"
    public final void mT_OBS() throws RecognitionException {
        try {
            int _type = T_OBS;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:994:7: ( 'obs' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:994:9: 'obs'
            {
            match("obs"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_OBS"

    // $ANTLR start "T_OD"
    public final void mT_OD() throws RecognitionException {
        try {
            int _type = T_OD;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:995:6: ( 'od' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:995:8: 'od'
            {
            match("od"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_OD"

    // $ANTLR start "T_OF"
    public final void mT_OF() throws RecognitionException {
        try {
            int _type = T_OF;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:996:6: ( 'of' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:996:8: 'of'
            {
            match("of"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_OF"

    // $ANTLR start "T_PRIO"
    public final void mT_PRIO() throws RecognitionException {
        try {
            int _type = T_PRIO;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:997:8: ( '//' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:997:10: '//'
            {
            match("//"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_PRIO"

    // $ANTLR start "T_REQUIRES"
    public final void mT_REQUIRES() throws RecognitionException {
        try {
            int _type = T_REQUIRES;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:999:2: ( 'requires' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:999:4: 'requires'
            {
            match("requires"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_REQUIRES"

    // $ANTLR start "T_RPAREN"
    public final void mT_RPAREN() throws RecognitionException {
        try {
            int _type = T_RPAREN;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1000:10: ( ')' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1000:12: ')'
            {
            match(')'); if (state.failed) return ;

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_RPAREN"

    // $ANTLR start "T_RSQPAREN"
    public final void mT_RSQPAREN() throws RecognitionException {
        try {
            int _type = T_RSQPAREN;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1001:11: ( ']' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1001:13: ']'
            {
            match(']'); if (state.failed) return ;

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_RSQPAREN"

    // $ANTLR start "T_SELF"
    public final void mT_SELF() throws RecognitionException {
        try {
            int _type = T_SELF;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1002:8: ( 'self' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1002:10: 'self'
            {
            match("self"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_SELF"

    // $ANTLR start "T_SET"
    public final void mT_SET() throws RecognitionException {
        try {
            int _type = T_SET;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1003:8: ( 'set' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1003:10: 'set'
            {
            match("set"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_SET"

    // $ANTLR start "T_SEMICOLON"
    public final void mT_SEMICOLON() throws RecognitionException {
        try {
            int _type = T_SEMICOLON;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1005:2: ( ';' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1005:4: ';'
            {
            match(';'); if (state.failed) return ;

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_SEMICOLON"

    // $ANTLR start "T_STATIC"
    public final void mT_STATIC() throws RecognitionException {
        try {
            int _type = T_STATIC;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1006:10: ( 'static' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1006:12: 'static'
            {
            match("static"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_STATIC"

    // $ANTLR start "T_SKIP"
    public final void mT_SKIP() throws RecognitionException {
        try {
            int _type = T_SKIP;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1007:8: ( 'skip' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1007:10: 'skip'
            {
            match("skip"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_SKIP"

    // $ANTLR start "T_BREAK"
    public final void mT_BREAK() throws RecognitionException {
        try {
            int _type = T_BREAK;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1008:9: ( 'break' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1008:11: 'break'
            {
            match("break"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_BREAK"

    // $ANTLR start "T_THEN"
    public final void mT_THEN() throws RecognitionException {
        try {
            int _type = T_THEN;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1009:8: ( 'then' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1009:10: 'then'
            {
            match("then"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_THEN"

    // $ANTLR start "T_TRUE"
    public final void mT_TRUE() throws RecognitionException {
        try {
            int _type = T_TRUE;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1010:10: ( 'true' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1010:12: 'true'
            {
            match("true"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_TRUE"

    // $ANTLR start "T_TO"
    public final void mT_TO() throws RecognitionException {
        try {
            int _type = T_TO;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1011:6: ( 'to' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1011:8: 'to'
            {
            match("to"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_TO"

    // $ANTLR start "T_TYPES"
    public final void mT_TYPES() throws RecognitionException {
        try {
            int _type = T_TYPES;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1012:9: ( 'types' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1012:11: 'types'
            {
            match("types"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_TYPES"

    // $ANTLR start "T_VAR"
    public final void mT_VAR() throws RecognitionException {
        try {
            int _type = T_VAR;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1013:7: ( 'var' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1013:9: 'var'
            {
            match("var"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_VAR"

    // $ANTLR start "T_WITH"
    public final void mT_WITH() throws RecognitionException {
        try {
            int _type = T_WITH;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1014:8: ( 'with' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1014:10: 'with'
            {
            match("with"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_WITH"

    // $ANTLR start "T_AND"
    public final void mT_AND() throws RecognitionException {
        try {
            int _type = T_AND;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1020:7: ( 'and' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1020:9: 'and'
            {
            match("and"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_AND"

    // $ANTLR start "T_BIIMPLIES"
    public final void mT_BIIMPLIES() throws RecognitionException {
        try {
            int _type = T_BIIMPLIES;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1022:2: ( '<=>' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1022:4: '<=>'
            {
            match("<=>"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_BIIMPLIES"

    // $ANTLR start "T_IMPLIES"
    public final void mT_IMPLIES() throws RecognitionException {
        try {
            int _type = T_IMPLIES;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1024:2: ( '=>' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1024:4: '=>'
            {
            match("=>"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_IMPLIES"

    // $ANTLR start "T_NOT"
    public final void mT_NOT() throws RecognitionException {
        try {
            int _type = T_NOT;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1025:7: ( 'not' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1025:9: 'not'
            {
            match("not"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_NOT"

    // $ANTLR start "T_NOTEQUAL"
    public final void mT_NOTEQUAL() throws RecognitionException {
        try {
            int _type = T_NOTEQUAL;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1026:11: ( '<>' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1026:13: '<>'
            {
            match("<>"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_NOTEQUAL"

    // $ANTLR start "T_OR"
    public final void mT_OR() throws RecognitionException {
        try {
            int _type = T_OR;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1027:6: ( 'or' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1027:8: 'or'
            {
            match("or"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_OR"

    // $ANTLR start "T_ABS"
    public final void mT_ABS() throws RecognitionException {
        try {
            int _type = T_ABS;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1030:7: ( 'abs' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1030:9: 'abs'
            {
            match("abs"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_ABS"

    // $ANTLR start "T_DIV"
    public final void mT_DIV() throws RecognitionException {
        try {
            int _type = T_DIV;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1031:7: ( '/' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1031:9: '/'
            {
            match('/'); if (state.failed) return ;

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_DIV"

    // $ANTLR start "T_GREATER"
    public final void mT_GREATER() throws RecognitionException {
        try {
            int _type = T_GREATER;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1033:2: ( '>' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1033:4: '>'
            {
            match('>'); if (state.failed) return ;

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_GREATER"

    // $ANTLR start "T_GREATEREQUAL"
    public final void mT_GREATEREQUAL() throws RecognitionException {
        try {
            int _type = T_GREATEREQUAL;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1035:2: ( '>=' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1035:4: '>='
            {
            match(">="); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_GREATEREQUAL"

    // $ANTLR start "T_IDIV"
    public final void mT_IDIV() throws RecognitionException {
        try {
            int _type = T_IDIV;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1036:8: ( 'div' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1036:10: 'div'
            {
            match("div"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_IDIV"

    // $ANTLR start "T_LESS"
    public final void mT_LESS() throws RecognitionException {
        try {
            int _type = T_LESS;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1037:8: ( '<' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1037:10: '<'
            {
            match('<'); if (state.failed) return ;

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_LESS"

    // $ANTLR start "T_LESSEQUAL"
    public final void mT_LESSEQUAL() throws RecognitionException {
        try {
            int _type = T_LESSEQUAL;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1039:2: ( '<=' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1039:4: '<='
            {
            match("<="); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_LESSEQUAL"

    // $ANTLR start "T_MOD"
    public final void mT_MOD() throws RecognitionException {
        try {
            int _type = T_MOD;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1040:7: ( 'mod' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1040:9: 'mod'
            {
            match("mod"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_MOD"

    // $ANTLR start "T_POW"
    public final void mT_POW() throws RecognitionException {
        try {
            int _type = T_POW;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1041:7: ( '**' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1041:9: '**'
            {
            match("**"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_POW"

    // $ANTLR start "T_PROD"
    public final void mT_PROD() throws RecognitionException {
        try {
            int _type = T_PROD;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1042:8: ( '*' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1042:10: '*'
            {
            match('*'); if (state.failed) return ;

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_PROD"

    // $ANTLR start "T_DERIV"
    public final void mT_DERIV() throws RecognitionException {
        try {
            int _type = T_DERIV;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1043:9: ( 'dt' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1043:11: 'dt'
            {
            match("dt"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_DERIV"

    // $ANTLR start "T_CARD"
    public final void mT_CARD() throws RecognitionException {
        try {
            int _type = T_CARD;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1046:8: ( 'card' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1046:10: 'card'
            {
            match("card"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_CARD"

    // $ANTLR start "T_CONC"
    public final void mT_CONC() throws RecognitionException {
        try {
            int _type = T_CONC;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1047:8: ( '^' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1047:10: '^'
            {
            match('^'); if (state.failed) return ;

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_CONC"

    // $ANTLR start "T_DCONC"
    public final void mT_DCONC() throws RecognitionException {
        try {
            int _type = T_DCONC;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1048:9: ( 'conc' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1048:11: 'conc'
            {
            match("conc"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_DCONC"

    // $ANTLR start "T_DIFF"
    public final void mT_DIFF() throws RecognitionException {
        try {
            int _type = T_DIFF;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1049:8: ( '\\\\' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1049:10: '\\\\'
            {
            match('\\'); if (state.failed) return ;

            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_DIFF"

    // $ANTLR start "T_DINTER"
    public final void mT_DINTER() throws RecognitionException {
        try {
            int _type = T_DINTER;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1050:10: ( 'dinter' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1050:12: 'dinter'
            {
            match("dinter"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_DINTER"

    // $ANTLR start "T_DUNION"
    public final void mT_DUNION() throws RecognitionException {
        try {
            int _type = T_DUNION;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1051:10: ( 'dunion' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1051:12: 'dunion'
            {
            match("dunion"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_DUNION"

    // $ANTLR start "T_ELEMS"
    public final void mT_ELEMS() throws RecognitionException {
        try {
            int _type = T_ELEMS;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1052:9: ( 'elems' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1052:11: 'elems'
            {
            match("elems"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_ELEMS"

    // $ANTLR start "T_HEAD"
    public final void mT_HEAD() throws RecognitionException {
        try {
            int _type = T_HEAD;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1053:8: ( 'hd' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1053:10: 'hd'
            {
            match("hd"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_HEAD"

    // $ANTLR start "T_INDS"
    public final void mT_INDS() throws RecognitionException {
        try {
            int _type = T_INDS;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1054:8: ( 'inds' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1054:10: 'inds'
            {
            match("inds"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_INDS"

    // $ANTLR start "T_INTER"
    public final void mT_INTER() throws RecognitionException {
        try {
            int _type = T_INTER;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1055:9: ( 'inter' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1055:11: 'inter'
            {
            match("inter"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_INTER"

    // $ANTLR start "T_LEN"
    public final void mT_LEN() throws RecognitionException {
        try {
            int _type = T_LEN;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1056:7: ( 'len' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1056:9: 'len'
            {
            match("len"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_LEN"

    // $ANTLR start "T_SEQMOD_MAPOVERRIDE"
    public final void mT_SEQMOD_MAPOVERRIDE() throws RecognitionException {
        try {
            int _type = T_SEQMOD_MAPOVERRIDE;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1058:2: ( '++' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1058:4: '++'
            {
            match("++"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_SEQMOD_MAPOVERRIDE"

    // $ANTLR start "T_SUBSET"
    public final void mT_SUBSET() throws RecognitionException {
        try {
            int _type = T_SUBSET;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1059:10: ( 'subset' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1059:12: 'subset'
            {
            match("subset"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_SUBSET"

    // $ANTLR start "T_TAIL"
    public final void mT_TAIL() throws RecognitionException {
        try {
            int _type = T_TAIL;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1060:8: ( 'tl' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1060:10: 'tl'
            {
            match("tl"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_TAIL"

    // $ANTLR start "T_UNION"
    public final void mT_UNION() throws RecognitionException {
        try {
            int _type = T_UNION;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1061:9: ( 'union' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1061:11: 'union'
            {
            match("union"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_UNION"

    // $ANTLR start "T_FOLDLR"
    public final void mT_FOLDLR() throws RecognitionException {
        try {
            int _type = T_FOLDLR;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1063:2: ( ':>:' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1063:4: ':>:'
            {
            match(":>:"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_FOLDLR"

    // $ANTLR start "T_FOLDRL"
    public final void mT_FOLDRL() throws RecognitionException {
        try {
            int _type = T_FOLDRL;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1065:2: ( ':<:' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1065:4: ':<:'
            {
            match(":<:"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_FOLDRL"

    // $ANTLR start "T_DOM"
    public final void mT_DOM() throws RecognitionException {
        try {
            int _type = T_DOM;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1069:7: ( 'dom' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1069:9: 'dom'
            {
            match("dom"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_DOM"

    // $ANTLR start "T_DOMRESBY"
    public final void mT_DOMRESBY() throws RecognitionException {
        try {
            int _type = T_DOMRESBY;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1071:2: ( '<-:' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1071:4: '<-:'
            {
            match("<-:"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_DOMRESBY"

    // $ANTLR start "T_DOMRESTO"
    public final void mT_DOMRESTO() throws RecognitionException {
        try {
            int _type = T_DOMRESTO;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1073:2: ( '<:' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1073:4: '<:'
            {
            match("<:"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_DOMRESTO"

    // $ANTLR start "T_RNG"
    public final void mT_RNG() throws RecognitionException {
        try {
            int _type = T_RNG;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1074:7: ( 'rng' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1074:9: 'rng'
            {
            match("rng"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_RNG"

    // $ANTLR start "T_RNGRESBY"
    public final void mT_RNGRESBY() throws RecognitionException {
        try {
            int _type = T_RNGRESBY;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1076:2: ( ':->' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1076:4: ':->'
            {
            match(":->"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_RNGRESBY"

    // $ANTLR start "T_RNGRESTO"
    public final void mT_RNGRESTO() throws RecognitionException {
        try {
            int _type = T_RNGRESTO;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1078:2: ( ':>' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1078:4: ':>'
            {
            match(":>"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_RNGRESTO"

    // $ANTLR start "T_MERGE"
    public final void mT_MERGE() throws RecognitionException {
        try {
            int _type = T_MERGE;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1079:9: ( 'merge' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1079:11: 'merge'
            {
            match("merge"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_MERGE"

    // $ANTLR start "T_MUNION"
    public final void mT_MUNION() throws RecognitionException {
        try {
            int _type = T_MUNION;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1080:10: ( 'munion' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1080:12: 'munion'
            {
            match("munion"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_MUNION"

    // $ANTLR start "T_CONSTS"
    public final void mT_CONSTS() throws RecognitionException {
        try {
            int _type = T_CONSTS;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1082:10: ( 'consts' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1082:12: 'consts'
            {
            match("consts"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_CONSTS"

    // $ANTLR start "T_INFTY"
    public final void mT_INFTY() throws RecognitionException {
        try {
            int _type = T_INFTY;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1086:9: ( ( T_MINUS | T_SUM )? 'inf' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1086:11: ( T_MINUS | T_SUM )? 'inf'
            {
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1086:11: ( T_MINUS | T_SUM )?
            int alt5=2;
            int LA5_0 = input.LA(1);

            if ( (LA5_0=='+'||LA5_0=='-') ) {
                alt5=1;
            }
            switch (alt5) {
                case 1 :
                    // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:
                    {
                    if ( input.LA(1)=='+'||input.LA(1)=='-' ) {
                        input.consume();
                        state.failed=false;
                    }
                    else {
                        if (state.backtracking>0) {state.failed=true; return ;}
                        MismatchedSetException mse = new MismatchedSetException(null,input);
                        recover(mse);
                        throw mse;
                    }


                    }
                    break;

            }


            match("inf"); if (state.failed) return ;



            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_INFTY"

    // $ANTLR start "T_INTNUMBER"
    public final void mT_INTNUMBER() throws RecognitionException {
        try {
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1093:2: ()
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1093:4: 
            {
            }


        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_INTNUMBER"

    // $ANTLR start "T_FLOATNUMBER"
    public final void mT_FLOATNUMBER() throws RecognitionException {
        try {
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1095:2: ()
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1095:4: 
            {
            }


        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_FLOATNUMBER"

    // $ANTLR start "T_RANGETO"
    public final void mT_RANGETO() throws RecognitionException {
        try {
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1097:2: ()
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1097:4: 
            {
            }


        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_RANGETO"

    // $ANTLR start "FLOAT_OR_INT_OR_RANGE"
    public final void mFLOAT_OR_INT_OR_RANGE() throws RecognitionException {
        try {
            int _type = FLOAT_OR_INT_OR_RANGE;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1100:2: ( ( T_MINUS | T_SUM )? ( T_DIGIT )+ ( ( T_POINT T_POINT )=>| ( T_POINT T_DIGIT )=> T_POINT ( T_DIGIT )+ ( ( 'e' | 'E' ) ( T_MINUS | T_SUM )? ( T_DIGIT )+ )? |) | T_POINT ( T_POINT |) | T_MINUS | T_SUM )
            int alt14=4;
            switch ( input.LA(1) ) {
            case '-':
                {
                int LA14_1 = input.LA(2);

                if ( ((LA14_1 >= '0' && LA14_1 <= '9')) ) {
                    alt14=1;
                }
                else {
                    alt14=3;
                }
                }
                break;
            case '0':
            case '1':
            case '2':
            case '3':
            case '4':
            case '5':
            case '6':
            case '7':
            case '8':
            case '9':
                {
                alt14=1;
                }
                break;
            case '.':
                {
                alt14=2;
                }
                break;
            case '+':
                {
                int LA14_4 = input.LA(2);

                if ( ((LA14_4 >= '0' && LA14_4 <= '9')) ) {
                    alt14=1;
                }
                else {
                    alt14=4;
                }
                }
                break;
            default:
                if (state.backtracking>0) {state.failed=true; return ;}
                NoViableAltException nvae =
                    new NoViableAltException("", 14, 0, input);

                throw nvae;

            }

            switch (alt14) {
                case 1 :
                    // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1100:5: ( T_MINUS | T_SUM )? ( T_DIGIT )+ ( ( T_POINT T_POINT )=>| ( T_POINT T_DIGIT )=> T_POINT ( T_DIGIT )+ ( ( 'e' | 'E' ) ( T_MINUS | T_SUM )? ( T_DIGIT )+ )? |)
                    {
                    // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1100:5: ( T_MINUS | T_SUM )?
                    int alt6=2;
                    int LA6_0 = input.LA(1);

                    if ( (LA6_0=='+'||LA6_0=='-') ) {
                        alt6=1;
                    }
                    switch (alt6) {
                        case 1 :
                            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:
                            {
                            if ( input.LA(1)=='+'||input.LA(1)=='-' ) {
                                input.consume();
                                state.failed=false;
                            }
                            else {
                                if (state.backtracking>0) {state.failed=true; return ;}
                                MismatchedSetException mse = new MismatchedSetException(null,input);
                                recover(mse);
                                throw mse;
                            }


                            }
                            break;

                    }


                    // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1100:22: ( T_DIGIT )+
                    int cnt7=0;
                    loop7:
                    do {
                        int alt7=2;
                        int LA7_0 = input.LA(1);

                        if ( ((LA7_0 >= '0' && LA7_0 <= '9')) ) {
                            alt7=1;
                        }


                        switch (alt7) {
                    	case 1 :
                    	    // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:
                    	    {
                    	    if ( (input.LA(1) >= '0' && input.LA(1) <= '9') ) {
                    	        input.consume();
                    	        state.failed=false;
                    	    }
                    	    else {
                    	        if (state.backtracking>0) {state.failed=true; return ;}
                    	        MismatchedSetException mse = new MismatchedSetException(null,input);
                    	        recover(mse);
                    	        throw mse;
                    	    }


                    	    }
                    	    break;

                    	default :
                    	    if ( cnt7 >= 1 ) break loop7;
                    	    if (state.backtracking>0) {state.failed=true; return ;}
                                EarlyExitException eee =
                                    new EarlyExitException(7, input);
                                throw eee;
                        }
                        cnt7++;
                    } while (true);


                    // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1101:3: ( ( T_POINT T_POINT )=>| ( T_POINT T_DIGIT )=> T_POINT ( T_DIGIT )+ ( ( 'e' | 'E' ) ( T_MINUS | T_SUM )? ( T_DIGIT )+ )? |)
                    int alt12=3;
                    int LA12_0 = input.LA(1);

                    if ( (LA12_0=='.') && (synpred3_ooa())) {
                        alt12=2;
                    }
                    else if ( (synpred2_ooa()) ) {
                        alt12=1;
                    }
                    else if ( (true) ) {
                        alt12=3;
                    }
                    else {
                        if (state.backtracking>0) {state.failed=true; return ;}
                        NoViableAltException nvae =
                            new NoViableAltException("", 12, 0, input);

                        throw nvae;

                    }
                    switch (alt12) {
                        case 1 :
                            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1102:5: ( T_POINT T_POINT )=>
                            {
                            if ( state.backtracking==0 ) {_type=T_INTNUMBER;}

                            }
                            break;
                        case 2 :
                            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1103:6: ( T_POINT T_DIGIT )=> T_POINT ( T_DIGIT )+ ( ( 'e' | 'E' ) ( T_MINUS | T_SUM )? ( T_DIGIT )+ )?
                            {
                            mT_POINT(); if (state.failed) return ;


                            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1103:35: ( T_DIGIT )+
                            int cnt8=0;
                            loop8:
                            do {
                                int alt8=2;
                                int LA8_0 = input.LA(1);

                                if ( ((LA8_0 >= '0' && LA8_0 <= '9')) ) {
                                    alt8=1;
                                }


                                switch (alt8) {
                            	case 1 :
                            	    // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:
                            	    {
                            	    if ( (input.LA(1) >= '0' && input.LA(1) <= '9') ) {
                            	        input.consume();
                            	        state.failed=false;
                            	    }
                            	    else {
                            	        if (state.backtracking>0) {state.failed=true; return ;}
                            	        MismatchedSetException mse = new MismatchedSetException(null,input);
                            	        recover(mse);
                            	        throw mse;
                            	    }


                            	    }
                            	    break;

                            	default :
                            	    if ( cnt8 >= 1 ) break loop8;
                            	    if (state.backtracking>0) {state.failed=true; return ;}
                                        EarlyExitException eee =
                                            new EarlyExitException(8, input);
                                        throw eee;
                                }
                                cnt8++;
                            } while (true);


                            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1103:44: ( ( 'e' | 'E' ) ( T_MINUS | T_SUM )? ( T_DIGIT )+ )?
                            int alt11=2;
                            int LA11_0 = input.LA(1);

                            if ( (LA11_0=='E'||LA11_0=='e') ) {
                                alt11=1;
                            }
                            switch (alt11) {
                                case 1 :
                                    // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1103:45: ( 'e' | 'E' ) ( T_MINUS | T_SUM )? ( T_DIGIT )+
                                    {
                                    if ( input.LA(1)=='E'||input.LA(1)=='e' ) {
                                        input.consume();
                                        state.failed=false;
                                    }
                                    else {
                                        if (state.backtracking>0) {state.failed=true; return ;}
                                        MismatchedSetException mse = new MismatchedSetException(null,input);
                                        recover(mse);
                                        throw mse;
                                    }


                                    // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1103:55: ( T_MINUS | T_SUM )?
                                    int alt9=2;
                                    int LA9_0 = input.LA(1);

                                    if ( (LA9_0=='+'||LA9_0=='-') ) {
                                        alt9=1;
                                    }
                                    switch (alt9) {
                                        case 1 :
                                            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:
                                            {
                                            if ( input.LA(1)=='+'||input.LA(1)=='-' ) {
                                                input.consume();
                                                state.failed=false;
                                            }
                                            else {
                                                if (state.backtracking>0) {state.failed=true; return ;}
                                                MismatchedSetException mse = new MismatchedSetException(null,input);
                                                recover(mse);
                                                throw mse;
                                            }


                                            }
                                            break;

                                    }


                                    // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1103:72: ( T_DIGIT )+
                                    int cnt10=0;
                                    loop10:
                                    do {
                                        int alt10=2;
                                        int LA10_0 = input.LA(1);

                                        if ( ((LA10_0 >= '0' && LA10_0 <= '9')) ) {
                                            alt10=1;
                                        }


                                        switch (alt10) {
                                    	case 1 :
                                    	    // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:
                                    	    {
                                    	    if ( (input.LA(1) >= '0' && input.LA(1) <= '9') ) {
                                    	        input.consume();
                                    	        state.failed=false;
                                    	    }
                                    	    else {
                                    	        if (state.backtracking>0) {state.failed=true; return ;}
                                    	        MismatchedSetException mse = new MismatchedSetException(null,input);
                                    	        recover(mse);
                                    	        throw mse;
                                    	    }


                                    	    }
                                    	    break;

                                    	default :
                                    	    if ( cnt10 >= 1 ) break loop10;
                                    	    if (state.backtracking>0) {state.failed=true; return ;}
                                                EarlyExitException eee =
                                                    new EarlyExitException(10, input);
                                                throw eee;
                                        }
                                        cnt10++;
                                    } while (true);


                                    }
                                    break;

                            }


                            if ( state.backtracking==0 ) {_type=T_FLOATNUMBER;}

                            }
                            break;
                        case 3 :
                            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1104:6: 
                            {
                            if ( state.backtracking==0 ) {_type=T_INTNUMBER;}

                            }
                            break;

                    }


                    }
                    break;
                case 2 :
                    // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1106:4: T_POINT ( T_POINT |)
                    {
                    mT_POINT(); if (state.failed) return ;


                    // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1107:3: ( T_POINT |)
                    int alt13=2;
                    int LA13_0 = input.LA(1);

                    if ( (LA13_0=='.') ) {
                        alt13=1;
                    }
                    else {
                        alt13=2;
                    }
                    switch (alt13) {
                        case 1 :
                            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1108:5: T_POINT
                            {
                            mT_POINT(); if (state.failed) return ;


                            if ( state.backtracking==0 ) {_type=T_RANGETO;}

                            }
                            break;
                        case 2 :
                            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1109:13: 
                            {
                            if ( state.backtracking==0 ) {_type=T_POINT;}

                            }
                            break;

                    }


                    }
                    break;
                case 3 :
                    // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1111:4: T_MINUS
                    {
                    mT_MINUS(); if (state.failed) return ;


                    if ( state.backtracking==0 ) {_type=T_MINUS;}

                    }
                    break;
                case 4 :
                    // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1112:4: T_SUM
                    {
                    mT_SUM(); if (state.failed) return ;


                    if ( state.backtracking==0 ) {_type=T_SUM;}

                    }
                    break;

            }
            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "FLOAT_OR_INT_OR_RANGE"

    // $ANTLR start "T_MINUS"
    public final void mT_MINUS() throws RecognitionException {
        try {
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1117:17: ( '-' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1117:19: '-'
            {
            match('-'); if (state.failed) return ;

            }


        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_MINUS"

    // $ANTLR start "T_SUM"
    public final void mT_SUM() throws RecognitionException {
        try {
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1118:16: ( '+' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1118:18: '+'
            {
            match('+'); if (state.failed) return ;

            }


        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_SUM"

    // $ANTLR start "T_POINT"
    public final void mT_POINT() throws RecognitionException {
        try {
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1119:17: ( '.' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1119:19: '.'
            {
            match('.'); if (state.failed) return ;

            }


        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_POINT"

    // $ANTLR start "T_IDENTIFIER"
    public final void mT_IDENTIFIER() throws RecognitionException {
        try {
            int _type = T_IDENTIFIER;
            int _channel = DEFAULT_TOKEN_CHANNEL;
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1125:2: ( T_LETTER ( T_LETTER | T_DIGIT )* )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1125:4: T_LETTER ( T_LETTER | T_DIGIT )*
            {
            mT_LETTER(); if (state.failed) return ;


            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1125:13: ( T_LETTER | T_DIGIT )*
            loop15:
            do {
                int alt15=2;
                int LA15_0 = input.LA(1);

                if ( (LA15_0=='$'||(LA15_0 >= '0' && LA15_0 <= '9')||(LA15_0 >= 'A' && LA15_0 <= 'Z')||LA15_0=='_'||(LA15_0 >= 'a' && LA15_0 <= 'z')) ) {
                    alt15=1;
                }


                switch (alt15) {
            	case 1 :
            	    // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:
            	    {
            	    if ( input.LA(1)=='$'||(input.LA(1) >= '0' && input.LA(1) <= '9')||(input.LA(1) >= 'A' && input.LA(1) <= 'Z')||input.LA(1)=='_'||(input.LA(1) >= 'a' && input.LA(1) <= 'z') ) {
            	        input.consume();
            	        state.failed=false;
            	    }
            	    else {
            	        if (state.backtracking>0) {state.failed=true; return ;}
            	        MismatchedSetException mse = new MismatchedSetException(null,input);
            	        recover(mse);
            	        throw mse;
            	    }


            	    }
            	    break;

            	default :
            	    break loop15;
                }
            } while (true);


            }

            state.type = _type;
            state.channel = _channel;
        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_IDENTIFIER"

    // $ANTLR start "T_LETTER"
    public final void mT_LETTER() throws RecognitionException {
        try {
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1134:2: ( '$' | 'A' .. 'Z' | 'a' .. 'z' | '_' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:
            {
            if ( input.LA(1)=='$'||(input.LA(1) >= 'A' && input.LA(1) <= 'Z')||input.LA(1)=='_'||(input.LA(1) >= 'a' && input.LA(1) <= 'z') ) {
                input.consume();
                state.failed=false;
            }
            else {
                if (state.backtracking>0) {state.failed=true; return ;}
                MismatchedSetException mse = new MismatchedSetException(null,input);
                recover(mse);
                throw mse;
            }


            }


        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_LETTER"

    // $ANTLR start "T_DIGIT"
    public final void mT_DIGIT() throws RecognitionException {
        try {
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1141:8: ( '0' .. '9' )
            // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:
            {
            if ( (input.LA(1) >= '0' && input.LA(1) <= '9') ) {
                input.consume();
                state.failed=false;
            }
            else {
                if (state.backtracking>0) {state.failed=true; return ;}
                MismatchedSetException mse = new MismatchedSetException(null,input);
                recover(mse);
                throw mse;
            }


            }


        }
        finally {
        	// do for sure before leaving
        }
    }
    // $ANTLR end "T_DIGIT"

    public void mTokens() throws RecognitionException {
        // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:8: ( T__116 | T__117 | T__118 | T__119 | T__120 | T__121 | T_WS | T_COMMENT | LINE_COMMENT | T_PRIMED | T_STRINGLITERAL | T_ABORT | T_ACTIONS | T_ASSIGNMENT | T_AUTOCONS | T_BAR | T_BOOL | T_CBRL | T_CBRR | T_COLON | T_COMMA | T_CHAR | T_CTRL | T_SYSTEM | T_DO | T_ELSE | T_END | T_EQUAL | T_EXISTS | T_FLOAT | T_FORALL | T_FALSE | T_IF | T_IN | T_INT | T_KILL | T_LIST | T_LPAREN | T_LSQPAREN | T_MAP | T_MAPS | T_METHODS | T_NEW | T_NIL | T_NONDET | T_OBS | T_OD | T_OF | T_PRIO | T_REQUIRES | T_RPAREN | T_RSQPAREN | T_SELF | T_SET | T_SEMICOLON | T_STATIC | T_SKIP | T_BREAK | T_THEN | T_TRUE | T_TO | T_TYPES | T_VAR | T_WITH | T_AND | T_BIIMPLIES | T_IMPLIES | T_NOT | T_NOTEQUAL | T_OR | T_ABS | T_DIV | T_GREATER | T_GREATEREQUAL | T_IDIV | T_LESS | T_LESSEQUAL | T_MOD | T_POW | T_PROD | T_DERIV | T_CARD | T_CONC | T_DCONC | T_DIFF | T_DINTER | T_DUNION | T_ELEMS | T_HEAD | T_INDS | T_INTER | T_LEN | T_SEQMOD_MAPOVERRIDE | T_SUBSET | T_TAIL | T_UNION | T_FOLDLR | T_FOLDRL | T_DOM | T_DOMRESBY | T_DOMRESTO | T_RNG | T_RNGRESBY | T_RNGRESTO | T_MERGE | T_MUNION | T_CONSTS | T_INFTY | FLOAT_OR_INT_OR_RANGE | T_IDENTIFIER )
        int alt16=110;
        alt16 = dfa16.predict(input);
        switch (alt16) {
            case 1 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:10: T__116
                {
                mT__116(); if (state.failed) return ;


                }
                break;
            case 2 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:17: T__117
                {
                mT__117(); if (state.failed) return ;


                }
                break;
            case 3 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:24: T__118
                {
                mT__118(); if (state.failed) return ;


                }
                break;
            case 4 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:31: T__119
                {
                mT__119(); if (state.failed) return ;


                }
                break;
            case 5 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:38: T__120
                {
                mT__120(); if (state.failed) return ;


                }
                break;
            case 6 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:45: T__121
                {
                mT__121(); if (state.failed) return ;


                }
                break;
            case 7 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:52: T_WS
                {
                mT_WS(); if (state.failed) return ;


                }
                break;
            case 8 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:57: T_COMMENT
                {
                mT_COMMENT(); if (state.failed) return ;


                }
                break;
            case 9 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:67: LINE_COMMENT
                {
                mLINE_COMMENT(); if (state.failed) return ;


                }
                break;
            case 10 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:80: T_PRIMED
                {
                mT_PRIMED(); if (state.failed) return ;


                }
                break;
            case 11 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:89: T_STRINGLITERAL
                {
                mT_STRINGLITERAL(); if (state.failed) return ;


                }
                break;
            case 12 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:105: T_ABORT
                {
                mT_ABORT(); if (state.failed) return ;


                }
                break;
            case 13 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:113: T_ACTIONS
                {
                mT_ACTIONS(); if (state.failed) return ;


                }
                break;
            case 14 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:123: T_ASSIGNMENT
                {
                mT_ASSIGNMENT(); if (state.failed) return ;


                }
                break;
            case 15 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:136: T_AUTOCONS
                {
                mT_AUTOCONS(); if (state.failed) return ;


                }
                break;
            case 16 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:147: T_BAR
                {
                mT_BAR(); if (state.failed) return ;


                }
                break;
            case 17 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:153: T_BOOL
                {
                mT_BOOL(); if (state.failed) return ;


                }
                break;
            case 18 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:160: T_CBRL
                {
                mT_CBRL(); if (state.failed) return ;


                }
                break;
            case 19 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:167: T_CBRR
                {
                mT_CBRR(); if (state.failed) return ;


                }
                break;
            case 20 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:174: T_COLON
                {
                mT_COLON(); if (state.failed) return ;


                }
                break;
            case 21 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:182: T_COMMA
                {
                mT_COMMA(); if (state.failed) return ;


                }
                break;
            case 22 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:190: T_CHAR
                {
                mT_CHAR(); if (state.failed) return ;


                }
                break;
            case 23 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:197: T_CTRL
                {
                mT_CTRL(); if (state.failed) return ;


                }
                break;
            case 24 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:204: T_SYSTEM
                {
                mT_SYSTEM(); if (state.failed) return ;


                }
                break;
            case 25 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:213: T_DO
                {
                mT_DO(); if (state.failed) return ;


                }
                break;
            case 26 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:218: T_ELSE
                {
                mT_ELSE(); if (state.failed) return ;


                }
                break;
            case 27 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:225: T_END
                {
                mT_END(); if (state.failed) return ;


                }
                break;
            case 28 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:231: T_EQUAL
                {
                mT_EQUAL(); if (state.failed) return ;


                }
                break;
            case 29 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:239: T_EXISTS
                {
                mT_EXISTS(); if (state.failed) return ;


                }
                break;
            case 30 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:248: T_FLOAT
                {
                mT_FLOAT(); if (state.failed) return ;


                }
                break;
            case 31 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:256: T_FORALL
                {
                mT_FORALL(); if (state.failed) return ;


                }
                break;
            case 32 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:265: T_FALSE
                {
                mT_FALSE(); if (state.failed) return ;


                }
                break;
            case 33 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:273: T_IF
                {
                mT_IF(); if (state.failed) return ;


                }
                break;
            case 34 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:278: T_IN
                {
                mT_IN(); if (state.failed) return ;


                }
                break;
            case 35 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:283: T_INT
                {
                mT_INT(); if (state.failed) return ;


                }
                break;
            case 36 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:289: T_KILL
                {
                mT_KILL(); if (state.failed) return ;


                }
                break;
            case 37 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:296: T_LIST
                {
                mT_LIST(); if (state.failed) return ;


                }
                break;
            case 38 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:303: T_LPAREN
                {
                mT_LPAREN(); if (state.failed) return ;


                }
                break;
            case 39 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:312: T_LSQPAREN
                {
                mT_LSQPAREN(); if (state.failed) return ;


                }
                break;
            case 40 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:323: T_MAP
                {
                mT_MAP(); if (state.failed) return ;


                }
                break;
            case 41 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:329: T_MAPS
                {
                mT_MAPS(); if (state.failed) return ;


                }
                break;
            case 42 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:336: T_METHODS
                {
                mT_METHODS(); if (state.failed) return ;


                }
                break;
            case 43 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:346: T_NEW
                {
                mT_NEW(); if (state.failed) return ;


                }
                break;
            case 44 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:352: T_NIL
                {
                mT_NIL(); if (state.failed) return ;


                }
                break;
            case 45 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:358: T_NONDET
                {
                mT_NONDET(); if (state.failed) return ;


                }
                break;
            case 46 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:367: T_OBS
                {
                mT_OBS(); if (state.failed) return ;


                }
                break;
            case 47 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:373: T_OD
                {
                mT_OD(); if (state.failed) return ;


                }
                break;
            case 48 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:378: T_OF
                {
                mT_OF(); if (state.failed) return ;


                }
                break;
            case 49 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:383: T_PRIO
                {
                mT_PRIO(); if (state.failed) return ;


                }
                break;
            case 50 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:390: T_REQUIRES
                {
                mT_REQUIRES(); if (state.failed) return ;


                }
                break;
            case 51 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:401: T_RPAREN
                {
                mT_RPAREN(); if (state.failed) return ;


                }
                break;
            case 52 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:410: T_RSQPAREN
                {
                mT_RSQPAREN(); if (state.failed) return ;


                }
                break;
            case 53 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:421: T_SELF
                {
                mT_SELF(); if (state.failed) return ;


                }
                break;
            case 54 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:428: T_SET
                {
                mT_SET(); if (state.failed) return ;


                }
                break;
            case 55 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:434: T_SEMICOLON
                {
                mT_SEMICOLON(); if (state.failed) return ;


                }
                break;
            case 56 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:446: T_STATIC
                {
                mT_STATIC(); if (state.failed) return ;


                }
                break;
            case 57 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:455: T_SKIP
                {
                mT_SKIP(); if (state.failed) return ;


                }
                break;
            case 58 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:462: T_BREAK
                {
                mT_BREAK(); if (state.failed) return ;


                }
                break;
            case 59 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:470: T_THEN
                {
                mT_THEN(); if (state.failed) return ;


                }
                break;
            case 60 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:477: T_TRUE
                {
                mT_TRUE(); if (state.failed) return ;


                }
                break;
            case 61 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:484: T_TO
                {
                mT_TO(); if (state.failed) return ;


                }
                break;
            case 62 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:489: T_TYPES
                {
                mT_TYPES(); if (state.failed) return ;


                }
                break;
            case 63 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:497: T_VAR
                {
                mT_VAR(); if (state.failed) return ;


                }
                break;
            case 64 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:503: T_WITH
                {
                mT_WITH(); if (state.failed) return ;


                }
                break;
            case 65 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:510: T_AND
                {
                mT_AND(); if (state.failed) return ;


                }
                break;
            case 66 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:516: T_BIIMPLIES
                {
                mT_BIIMPLIES(); if (state.failed) return ;


                }
                break;
            case 67 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:528: T_IMPLIES
                {
                mT_IMPLIES(); if (state.failed) return ;


                }
                break;
            case 68 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:538: T_NOT
                {
                mT_NOT(); if (state.failed) return ;


                }
                break;
            case 69 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:544: T_NOTEQUAL
                {
                mT_NOTEQUAL(); if (state.failed) return ;


                }
                break;
            case 70 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:555: T_OR
                {
                mT_OR(); if (state.failed) return ;


                }
                break;
            case 71 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:560: T_ABS
                {
                mT_ABS(); if (state.failed) return ;


                }
                break;
            case 72 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:566: T_DIV
                {
                mT_DIV(); if (state.failed) return ;


                }
                break;
            case 73 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:572: T_GREATER
                {
                mT_GREATER(); if (state.failed) return ;


                }
                break;
            case 74 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:582: T_GREATEREQUAL
                {
                mT_GREATEREQUAL(); if (state.failed) return ;


                }
                break;
            case 75 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:597: T_IDIV
                {
                mT_IDIV(); if (state.failed) return ;


                }
                break;
            case 76 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:604: T_LESS
                {
                mT_LESS(); if (state.failed) return ;


                }
                break;
            case 77 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:611: T_LESSEQUAL
                {
                mT_LESSEQUAL(); if (state.failed) return ;


                }
                break;
            case 78 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:623: T_MOD
                {
                mT_MOD(); if (state.failed) return ;


                }
                break;
            case 79 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:629: T_POW
                {
                mT_POW(); if (state.failed) return ;


                }
                break;
            case 80 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:635: T_PROD
                {
                mT_PROD(); if (state.failed) return ;


                }
                break;
            case 81 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:642: T_DERIV
                {
                mT_DERIV(); if (state.failed) return ;


                }
                break;
            case 82 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:650: T_CARD
                {
                mT_CARD(); if (state.failed) return ;


                }
                break;
            case 83 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:657: T_CONC
                {
                mT_CONC(); if (state.failed) return ;


                }
                break;
            case 84 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:664: T_DCONC
                {
                mT_DCONC(); if (state.failed) return ;


                }
                break;
            case 85 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:672: T_DIFF
                {
                mT_DIFF(); if (state.failed) return ;


                }
                break;
            case 86 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:679: T_DINTER
                {
                mT_DINTER(); if (state.failed) return ;


                }
                break;
            case 87 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:688: T_DUNION
                {
                mT_DUNION(); if (state.failed) return ;


                }
                break;
            case 88 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:697: T_ELEMS
                {
                mT_ELEMS(); if (state.failed) return ;


                }
                break;
            case 89 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:705: T_HEAD
                {
                mT_HEAD(); if (state.failed) return ;


                }
                break;
            case 90 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:712: T_INDS
                {
                mT_INDS(); if (state.failed) return ;


                }
                break;
            case 91 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:719: T_INTER
                {
                mT_INTER(); if (state.failed) return ;


                }
                break;
            case 92 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:727: T_LEN
                {
                mT_LEN(); if (state.failed) return ;


                }
                break;
            case 93 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:733: T_SEQMOD_MAPOVERRIDE
                {
                mT_SEQMOD_MAPOVERRIDE(); if (state.failed) return ;


                }
                break;
            case 94 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:754: T_SUBSET
                {
                mT_SUBSET(); if (state.failed) return ;


                }
                break;
            case 95 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:763: T_TAIL
                {
                mT_TAIL(); if (state.failed) return ;


                }
                break;
            case 96 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:770: T_UNION
                {
                mT_UNION(); if (state.failed) return ;


                }
                break;
            case 97 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:778: T_FOLDLR
                {
                mT_FOLDLR(); if (state.failed) return ;


                }
                break;
            case 98 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:787: T_FOLDRL
                {
                mT_FOLDRL(); if (state.failed) return ;


                }
                break;
            case 99 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:796: T_DOM
                {
                mT_DOM(); if (state.failed) return ;


                }
                break;
            case 100 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:802: T_DOMRESBY
                {
                mT_DOMRESBY(); if (state.failed) return ;


                }
                break;
            case 101 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:813: T_DOMRESTO
                {
                mT_DOMRESTO(); if (state.failed) return ;


                }
                break;
            case 102 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:824: T_RNG
                {
                mT_RNG(); if (state.failed) return ;


                }
                break;
            case 103 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:830: T_RNGRESBY
                {
                mT_RNGRESBY(); if (state.failed) return ;


                }
                break;
            case 104 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:841: T_RNGRESTO
                {
                mT_RNGRESTO(); if (state.failed) return ;


                }
                break;
            case 105 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:852: T_MERGE
                {
                mT_MERGE(); if (state.failed) return ;


                }
                break;
            case 106 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:860: T_MUNION
                {
                mT_MUNION(); if (state.failed) return ;


                }
                break;
            case 107 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:869: T_CONSTS
                {
                mT_CONSTS(); if (state.failed) return ;


                }
                break;
            case 108 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:878: T_INFTY
                {
                mT_INFTY(); if (state.failed) return ;


                }
                break;
            case 109 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:886: FLOAT_OR_INT_OR_RANGE
                {
                mFLOAT_OR_INT_OR_RANGE(); if (state.failed) return ;


                }
                break;
            case 110 :
                // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1:908: T_IDENTIFIER
                {
                mT_IDENTIFIER(); if (state.failed) return ;


                }
                break;

        }

    }

    // $ANTLR start synpred1_ooa
    public final void synpred1_ooa_fragment() throws RecognitionException {
        // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:948:9: ( '\"' '\"' )
        // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:948:11: '\"' '\"'
        {
        match('\"'); if (state.failed) return ;

        match('\"'); if (state.failed) return ;

        }

    }
    // $ANTLR end synpred1_ooa

    // $ANTLR start synpred2_ooa
    public final void synpred2_ooa_fragment() throws RecognitionException {
        // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1102:5: ( T_POINT T_POINT )
        // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1102:6: T_POINT T_POINT
        {
        mT_POINT(); if (state.failed) return ;


        mT_POINT(); if (state.failed) return ;


        }

    }
    // $ANTLR end synpred2_ooa

    // $ANTLR start synpred3_ooa
    public final void synpred3_ooa_fragment() throws RecognitionException {
        // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1103:6: ( T_POINT T_DIGIT )
        // /home/willi/svn/trunk/ooascompiler/ooasCompiler/src/org/momut/ooas/parser/ooa.g:1103:7: T_POINT T_DIGIT
        {
        mT_POINT(); if (state.failed) return ;


        mT_DIGIT(); if (state.failed) return ;


        }

    }
    // $ANTLR end synpred3_ooa

    public final boolean synpred2_ooa() {
        state.backtracking++;
        int start = input.mark();
        try {
            synpred2_ooa_fragment(); // can never throw exception
        } catch (RecognitionException re) {
            System.err.println("impossible: "+re);
        }
        boolean success = !state.failed;
        input.rewind(start);
        state.backtracking--;
        state.failed=false;
        return success;
    }
    public final boolean synpred1_ooa() {
        state.backtracking++;
        int start = input.mark();
        try {
            synpred1_ooa_fragment(); // can never throw exception
        } catch (RecognitionException re) {
            System.err.println("impossible: "+re);
        }
        boolean success = !state.failed;
        input.rewind(start);
        state.backtracking--;
        state.failed=false;
        return success;
    }
    public final boolean synpred3_ooa() {
        state.backtracking++;
        int start = input.mark();
        try {
            synpred3_ooa_fragment(); // can never throw exception
        } catch (RecognitionException re) {
            System.err.println("impossible: "+re);
        }
        boolean success = !state.failed;
        input.rewind(start);
        state.backtracking--;
        state.failed=false;
        return success;
    }


    protected DFA16 dfa16 = new DFA16(this);
    static final String DFA16_eotS =
        "\2\uffff\1\63\1\65\2\55\1\77\1\uffff\1\102\6\uffff\4\55\1\124\4"+
        "\55\1\uffff\1\136\1\55\1\54\3\55\2\uffff\3\55\1\171\1\173\1\175"+
        "\2\uffff\1\55\1\54\1\55\4\uffff\1\u0082\5\uffff\1\u0083\7\55\5\uffff"+
        "\11\55\1\u0097\1\55\1\u009a\4\55\2\uffff\3\55\1\u00a3\1\u00a7\3"+
        "\55\2\uffff\4\55\2\uffff\4\55\1\u00b4\1\u00b5\1\u00b6\4\55\1\u00bb"+
        "\1\55\1\u00bd\2\55\1\u00c1\10\uffff\1\u00c2\1\uffff\1\55\3\uffff"+
        "\1\55\1\u00c5\2\55\1\u00c8\4\55\1\u00cd\4\55\1\u00d3\3\55\1\u00d7"+
        "\1\uffff\1\u00d8\1\55\1\uffff\3\55\1\u00dd\4\55\1\uffff\1\u00e3"+
        "\1\55\1\144\1\uffff\2\55\1\u00e7\1\u00e8\2\55\1\u00eb\1\55\1\u00ed"+
        "\1\u00ee\1\u00ef\1\u00f0\3\uffff\1\55\1\u00f2\2\55\1\uffff\1\55"+
        "\1\uffff\1\u00f6\1\55\3\uffff\2\55\1\uffff\2\55\1\uffff\1\55\1\u00fd"+
        "\1\55\1\u00ff\1\uffff\1\u0100\1\u0101\2\55\1\u0104\1\uffff\1\55"+
        "\1\u0106\1\55\2\uffff\2\55\1\u010a\1\55\1\uffff\5\55\1\uffff\1\u0111"+
        "\1\u0112\1\u0113\2\uffff\2\55\1\uffff\1\55\4\uffff\1\55\1\uffff"+
        "\1\u0118\1\u0119\1\55\1\uffff\1\u011b\1\55\1\u011d\2\55\1\u0120"+
        "\1\uffff\1\u0121\3\uffff\2\55\1\uffff\1\55\1\uffff\3\55\1\uffff"+
        "\1\u0128\1\55\1\u012a\1\55\1\u012c\1\u012d\3\uffff\1\55\1\u012f"+
        "\2\55\2\uffff\1\u0132\1\uffff\1\u0133\1\uffff\2\55\2\uffff\1\u0136"+
        "\1\u0137\1\u0138\1\u0139\1\u013a\1\u013b\1\uffff\1\u013c\1\uffff"+
        "\1\u013d\2\uffff\1\55\1\uffff\1\u013f\1\55\2\uffff\1\u0141\1\55"+
        "\10\uffff\1\u0143\1\uffff\1\55\1\uffff\1\u0145\1\uffff\1\u0146\2"+
        "\uffff";
    static final String DFA16_eofS =
        "\u0147\uffff";
    static final String DFA16_minS =
        "\1\11\1\uffff\1\55\1\174\1\142\1\145\1\133\1\uffff\1\52\6\uffff"+
        "\1\141\1\145\1\151\1\154\1\76\1\141\1\146\1\151\1\145\1\uffff\1"+
        "\135\1\141\1\76\1\145\1\142\1\145\2\uffff\1\150\1\141\1\151\1\55"+
        "\1\75\1\52\2\uffff\1\144\1\53\1\156\4\uffff\1\72\5\uffff\1\44\1"+
        "\157\2\164\1\144\1\147\1\157\1\145\5\uffff\1\141\2\162\1\156\1\163"+
        "\1\154\1\141\1\151\1\142\1\44\1\156\1\44\1\156\1\145\1\144\1\151"+
        "\2\uffff\1\157\1\162\1\154\2\44\1\154\1\163\1\156\2\uffff\1\160"+
        "\1\162\1\144\1\156\2\uffff\1\167\1\154\1\164\1\163\3\44\1\161\1"+
        "\147\1\145\1\165\1\44\1\160\1\44\1\162\1\164\1\76\10\uffff\1\44"+
        "\1\uffff\1\151\3\uffff\1\162\1\44\1\151\1\157\1\44\1\151\1\154\1"+
        "\141\1\162\1\44\1\144\1\143\1\164\1\146\1\44\1\164\1\160\1\163\1"+
        "\44\1\uffff\1\44\1\164\1\uffff\1\151\1\145\1\155\1\44\1\163\2\141"+
        "\1\163\1\uffff\1\44\1\163\1\44\1\uffff\1\154\1\164\2\44\1\150\1"+
        "\147\1\44\1\151\4\44\3\uffff\1\165\1\44\1\156\1\145\1\uffff\1\145"+
        "\1\uffff\1\44\1\150\3\uffff\1\157\1\164\1\uffff\1\157\1\143\1\uffff"+
        "\1\156\1\44\1\153\1\44\1\uffff\2\44\1\164\1\145\1\44\1\uffff\1\151"+
        "\1\44\1\145\2\uffff\1\145\1\157\1\44\1\163\1\uffff\2\164\1\154\1"+
        "\145\1\162\1\uffff\3\44\2\uffff\1\157\1\145\1\uffff\1\157\4\uffff"+
        "\1\151\1\uffff\2\44\1\163\1\uffff\1\44\1\156\1\44\1\156\1\157\1"+
        "\44\1\uffff\1\44\3\uffff\1\163\1\155\1\uffff\1\143\1\uffff\1\164"+
        "\1\162\1\156\1\uffff\1\44\1\163\1\44\1\154\2\44\3\uffff\1\144\1"+
        "\44\1\156\1\162\2\uffff\1\44\1\uffff\1\44\1\uffff\1\163\1\156\2"+
        "\uffff\6\44\1\uffff\1\44\1\uffff\1\44\2\uffff\1\163\1\uffff\1\44"+
        "\1\145\2\uffff\1\44\1\163\10\uffff\1\44\1\uffff\1\163\1\uffff\1"+
        "\44\1\uffff\1\44\2\uffff";
    static final String DFA16_maxS =
        "\1\175\1\uffff\1\76\1\174\1\165\1\162\1\133\1\uffff\1\57\6\uffff"+
        "\1\164\1\171\1\165\1\170\1\76\1\157\1\156\2\151\1\uffff\1\135\1"+
        "\165\1\151\1\157\1\162\1\156\2\uffff\1\171\1\141\1\151\1\76\1\75"+
        "\1\52\2\uffff\1\144\1\151\1\156\4\uffff\1\72\5\uffff\1\172\1\163"+
        "\2\164\1\144\1\147\1\157\1\145\5\uffff\1\141\2\162\1\156\1\163\1"+
        "\164\1\141\1\151\1\142\1\172\1\166\1\172\1\156\1\163\1\144\1\151"+
        "\2\uffff\1\157\1\162\1\154\2\172\1\154\1\163\1\156\2\uffff\1\160"+
        "\1\164\1\144\1\156\2\uffff\1\167\1\154\1\164\1\163\3\172\1\161\1"+
        "\147\1\145\1\165\1\172\1\160\1\172\1\162\1\164\1\76\10\uffff\1\172"+
        "\1\uffff\1\151\3\uffff\1\162\1\172\1\151\1\157\1\172\1\151\1\154"+
        "\1\141\1\162\1\172\1\144\1\163\1\164\1\146\1\172\1\164\1\160\1\163"+
        "\1\172\1\uffff\1\172\1\164\1\uffff\1\151\1\145\1\155\1\172\1\163"+
        "\2\141\1\163\1\uffff\1\172\1\163\1\172\1\uffff\1\154\1\164\2\172"+
        "\1\150\1\147\1\172\1\151\4\172\3\uffff\1\165\1\172\1\156\1\145\1"+
        "\uffff\1\145\1\uffff\1\172\1\150\3\uffff\1\157\1\164\1\uffff\1\157"+
        "\1\143\1\uffff\1\156\1\172\1\153\1\172\1\uffff\2\172\1\164\1\145"+
        "\1\172\1\uffff\1\151\1\172\1\145\2\uffff\1\145\1\157\1\172\1\163"+
        "\1\uffff\2\164\1\154\1\145\1\162\1\uffff\3\172\2\uffff\1\157\1\145"+
        "\1\uffff\1\157\4\uffff\1\151\1\uffff\2\172\1\163\1\uffff\1\172\1"+
        "\156\1\172\1\156\1\157\1\172\1\uffff\1\172\3\uffff\1\163\1\155\1"+
        "\uffff\1\143\1\uffff\1\164\1\162\1\156\1\uffff\1\172\1\163\1\172"+
        "\1\154\2\172\3\uffff\1\144\1\172\1\156\1\162\2\uffff\1\172\1\uffff"+
        "\1\172\1\uffff\1\163\1\156\2\uffff\6\172\1\uffff\1\172\1\uffff\1"+
        "\172\2\uffff\1\163\1\uffff\1\172\1\145\2\uffff\1\172\1\163\10\uffff"+
        "\1\172\1\uffff\1\163\1\uffff\1\172\1\uffff\1\172\2\uffff";
    static final String DFA16_acceptS =
        "\1\uffff\1\1\5\uffff\1\7\1\uffff\1\11\1\12\1\13\1\22\1\23\1\25\11"+
        "\uffff\1\46\6\uffff\1\63\1\67\6\uffff\1\123\1\125\3\uffff\1\155"+
        "\1\156\1\2\1\16\1\uffff\1\142\1\147\1\24\1\3\1\64\10\uffff\1\6\1"+
        "\20\1\10\1\61\1\110\20\uffff\1\103\1\34\10\uffff\1\55\1\47\4\uffff"+
        "\1\51\1\154\21\uffff\1\105\1\144\1\145\1\114\1\112\1\111\1\117\1"+
        "\120\1\uffff\1\135\1\uffff\1\141\1\150\1\4\23\uffff\1\31\2\uffff"+
        "\1\121\10\uffff\1\41\3\uffff\1\42\14\uffff\1\57\1\60\1\106\4\uffff"+
        "\1\75\1\uffff\1\137\2\uffff\1\102\1\115\1\131\2\uffff\1\107\2\uffff"+
        "\1\101\4\uffff\1\27\5\uffff\1\66\3\uffff\1\143\1\113\4\uffff\1\33"+
        "\5\uffff\1\43\3\uffff\1\134\1\50\2\uffff\1\116\1\uffff\1\53\1\54"+
        "\1\104\1\56\1\uffff\1\146\3\uffff\1\77\6\uffff\1\21\1\uffff\1\26"+
        "\1\122\1\124\2\uffff\1\65\1\uffff\1\71\3\uffff\1\32\6\uffff\1\132"+
        "\1\44\1\45\4\uffff\1\73\1\74\1\uffff\1\100\1\uffff\1\14\2\uffff"+
        "\1\5\1\72\6\uffff\1\130\1\uffff\1\36\1\uffff\1\40\1\133\1\uffff"+
        "\1\151\2\uffff\1\76\1\140\2\uffff\1\153\1\30\1\70\1\136\1\126\1"+
        "\127\1\35\1\37\1\uffff\1\152\1\uffff\1\15\1\uffff\1\52\1\uffff\1"+
        "\17\1\62";
    static final String DFA16_specialS =
        "\u0147\uffff}>";
    static final String[] DFA16_transitionS = {
            "\2\7\1\uffff\2\7\22\uffff\1\7\1\uffff\1\13\1\11\1\55\1\uffff"+
            "\1\1\1\12\1\30\1\37\1\46\1\52\1\16\1\33\1\54\1\10\12\54\1\2"+
            "\1\40\1\44\1\23\1\45\2\uffff\32\55\1\31\1\50\1\3\1\47\1\55\1"+
            "\uffff\1\4\1\5\1\17\1\21\1\22\1\24\1\55\1\51\1\25\1\55\1\26"+
            "\1\27\1\32\1\34\1\35\2\55\1\36\1\20\1\41\1\53\1\42\1\43\3\55"+
            "\1\14\1\6\1\15",
            "",
            "\1\62\14\uffff\1\56\1\uffff\1\61\1\57\1\60",
            "\1\64",
            "\1\67\1\70\12\uffff\1\72\4\uffff\1\66\1\uffff\1\71",
            "\1\73\11\uffff\1\74\2\uffff\1\75",
            "\1\76",
            "",
            "\1\100\4\uffff\1\101",
            "",
            "",
            "",
            "",
            "",
            "",
            "\1\105\6\uffff\1\103\6\uffff\1\106\4\uffff\1\104",
            "\1\110\5\uffff\1\112\10\uffff\1\111\1\113\3\uffff\1\107",
            "\1\115\5\uffff\1\114\4\uffff\1\116\1\117",
            "\1\120\1\uffff\1\121\11\uffff\1\122",
            "\1\123",
            "\1\127\12\uffff\1\125\2\uffff\1\126",
            "\1\130\7\uffff\1\131",
            "\1\132",
            "\1\134\3\uffff\1\133",
            "",
            "\1\135",
            "\1\137\3\uffff\1\140\11\uffff\1\141\5\uffff\1\142",
            "\1\143\52\uffff\1\144",
            "\1\145\3\uffff\1\146\5\uffff\1\147",
            "\1\150\1\uffff\1\151\1\uffff\1\152\13\uffff\1\153",
            "\1\154\10\uffff\1\155",
            "",
            "",
            "\1\156\3\uffff\1\162\2\uffff\1\160\2\uffff\1\157\6\uffff\1"+
            "\161",
            "\1\163",
            "\1\164",
            "\1\167\14\uffff\1\170\2\uffff\1\165\1\166",
            "\1\172",
            "\1\174",
            "",
            "",
            "\1\176",
            "\1\177\75\uffff\1\144",
            "\1\u0080",
            "",
            "",
            "",
            "",
            "\1\u0081",
            "",
            "",
            "",
            "",
            "",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\u0084\3\uffff\1\u0085",
            "\1\u0086",
            "\1\u0087",
            "\1\u0088",
            "\1\u0089",
            "\1\u008a",
            "\1\u008b",
            "",
            "",
            "",
            "",
            "",
            "\1\u008c",
            "\1\u008d",
            "\1\u008e",
            "\1\u008f",
            "\1\u0090",
            "\1\u0091\7\uffff\1\u0092",
            "\1\u0093",
            "\1\u0094",
            "\1\u0095",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\14"+
            "\55\1\u0096\15\55",
            "\1\u0099\7\uffff\1\u0098",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\u009b",
            "\1\u009d\15\uffff\1\u009c",
            "\1\u009e",
            "\1\u009f",
            "",
            "",
            "\1\u00a0",
            "\1\u00a1",
            "\1\u00a2",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\3\55"+
            "\1\u00a5\1\55\1\u00a6\15\55\1\u00a4\6\55",
            "\1\u00a8",
            "\1\u00a9",
            "\1\u00aa",
            "",
            "",
            "\1\u00ab",
            "\1\u00ad\1\uffff\1\u00ac",
            "\1\u00ae",
            "\1\u00af",
            "",
            "",
            "\1\u00b0",
            "\1\u00b1",
            "\1\u00b2",
            "\1\u00b3",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\u00b7",
            "\1\u00b8",
            "\1\u00b9",
            "\1\u00ba",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\u00bc",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\u00be",
            "\1\u00bf",
            "\1\u00c0",
            "",
            "",
            "",
            "",
            "",
            "",
            "",
            "",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "",
            "\1\u00c3",
            "",
            "",
            "",
            "\1\u00c4",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\u00c6",
            "\1\u00c7",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\u00c9",
            "\1\u00ca",
            "\1\u00cb",
            "\1\u00cc",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\u00ce",
            "\1\u00cf\17\uffff\1\u00d0",
            "\1\u00d1",
            "\1\u00d2",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\u00d4",
            "\1\u00d5",
            "\1\u00d6",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\u00d9",
            "",
            "\1\u00da",
            "\1\u00db",
            "\1\u00dc",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\u00de",
            "\1\u00df",
            "\1\u00e0",
            "\1\u00e1",
            "",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\4\55"+
            "\1\u00e2\25\55",
            "\1\u00e4",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "",
            "\1\u00e5",
            "\1\u00e6",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\u00e9",
            "\1\u00ea",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\u00ec",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "",
            "",
            "",
            "\1\u00f1",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\u00f3",
            "\1\u00f4",
            "",
            "\1\u00f5",
            "",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\u00f7",
            "",
            "",
            "",
            "\1\u00f8",
            "\1\u00f9",
            "",
            "\1\u00fa",
            "\1\u00fb",
            "",
            "\1\u00fc",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\u00fe",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\u0102",
            "\1\u0103",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "",
            "\1\u0105",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\u0107",
            "",
            "",
            "\1\u0108",
            "\1\u0109",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\u010b",
            "",
            "\1\u010c",
            "\1\u010d",
            "\1\u010e",
            "\1\u010f",
            "\1\u0110",
            "",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "",
            "",
            "\1\u0114",
            "\1\u0115",
            "",
            "\1\u0116",
            "",
            "",
            "",
            "",
            "\1\u0117",
            "",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\u011a",
            "",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\u011c",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\u011e",
            "\1\u011f",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "",
            "",
            "",
            "\1\u0122",
            "\1\u0123",
            "",
            "\1\u0124",
            "",
            "\1\u0125",
            "\1\u0126",
            "\1\u0127",
            "",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\u0129",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\u012b",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "",
            "",
            "",
            "\1\u012e",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\u0130",
            "\1\u0131",
            "",
            "",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "",
            "\1\u0134",
            "\1\u0135",
            "",
            "",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "",
            "",
            "\1\u013e",
            "",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\u0140",
            "",
            "",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "\1\u0142",
            "",
            "",
            "",
            "",
            "",
            "",
            "",
            "",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "",
            "\1\u0144",
            "",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "",
            "\1\55\13\uffff\12\55\7\uffff\32\55\4\uffff\1\55\1\uffff\32"+
            "\55",
            "",
            ""
    };

    static final short[] DFA16_eot = DFA.unpackEncodedString(DFA16_eotS);
    static final short[] DFA16_eof = DFA.unpackEncodedString(DFA16_eofS);
    static final char[] DFA16_min = DFA.unpackEncodedStringToUnsignedChars(DFA16_minS);
    static final char[] DFA16_max = DFA.unpackEncodedStringToUnsignedChars(DFA16_maxS);
    static final short[] DFA16_accept = DFA.unpackEncodedString(DFA16_acceptS);
    static final short[] DFA16_special = DFA.unpackEncodedString(DFA16_specialS);
    static final short[][] DFA16_transition;

    static {
        int numStates = DFA16_transitionS.length;
        DFA16_transition = new short[numStates][];
        for (int i=0; i<numStates; i++) {
            DFA16_transition[i] = DFA.unpackEncodedString(DFA16_transitionS[i]);
        }
    }

    class DFA16 extends DFA {

        public DFA16(BaseRecognizer recognizer) {
            this.recognizer = recognizer;
            this.decisionNumber = 16;
            this.eot = DFA16_eot;
            this.eof = DFA16_eof;
            this.min = DFA16_min;
            this.max = DFA16_max;
            this.accept = DFA16_accept;
            this.special = DFA16_special;
            this.transition = DFA16_transition;
        }
        public String getDescription() {
            return "1:1: Tokens : ( T__116 | T__117 | T__118 | T__119 | T__120 | T__121 | T_WS | T_COMMENT | LINE_COMMENT | T_PRIMED | T_STRINGLITERAL | T_ABORT | T_ACTIONS | T_ASSIGNMENT | T_AUTOCONS | T_BAR | T_BOOL | T_CBRL | T_CBRR | T_COLON | T_COMMA | T_CHAR | T_CTRL | T_SYSTEM | T_DO | T_ELSE | T_END | T_EQUAL | T_EXISTS | T_FLOAT | T_FORALL | T_FALSE | T_IF | T_IN | T_INT | T_KILL | T_LIST | T_LPAREN | T_LSQPAREN | T_MAP | T_MAPS | T_METHODS | T_NEW | T_NIL | T_NONDET | T_OBS | T_OD | T_OF | T_PRIO | T_REQUIRES | T_RPAREN | T_RSQPAREN | T_SELF | T_SET | T_SEMICOLON | T_STATIC | T_SKIP | T_BREAK | T_THEN | T_TRUE | T_TO | T_TYPES | T_VAR | T_WITH | T_AND | T_BIIMPLIES | T_IMPLIES | T_NOT | T_NOTEQUAL | T_OR | T_ABS | T_DIV | T_GREATER | T_GREATEREQUAL | T_IDIV | T_LESS | T_LESSEQUAL | T_MOD | T_POW | T_PROD | T_DERIV | T_CARD | T_CONC | T_DCONC | T_DIFF | T_DINTER | T_DUNION | T_ELEMS | T_HEAD | T_INDS | T_INTER | T_LEN | T_SEQMOD_MAPOVERRIDE | T_SUBSET | T_TAIL | T_UNION | T_FOLDLR | T_FOLDRL | T_DOM | T_DOMRESBY | T_DOMRESTO | T_RNG | T_RNGRESBY | T_RNGRESTO | T_MERGE | T_MUNION | T_CONSTS | T_INFTY | FLOAT_OR_INT_OR_RANGE | T_IDENTIFIER );";
        }
    }
 

}