OoasTools

// $ANTLR 3.2 Sep 23, 2009 12:02:23 ooa.g 2013-10-10 13:45:31

// The variable 'variable' is assigned but its value is never used.

#pragma warning disable 168, 219

// Unreachable code detected.

#pragma warning disable 162

/*

    Ulysses OO-Action System Parser

    Copyright Willibald Krenn 2009

 */

using System;

using Antlr.Runtime;

using IList 		= System.Collections.IList;

using ArrayList 	= System.Collections.ArrayList;

using Stack 		= Antlr.Runtime.Collections.StackList;

namespace  TUG.Mogentes 

{

public partial class ooaParser : Parser

{

    public static readonly string[] tokenNames = new string[] 

	{

        "<invalid>", 

		"<EOR>", 

		"<DOWN>", 

		"<UP>", 

		"T_CONSTS", 

		"T_TYPES", 

		"T_SYSTEM", 

		"T_SEMICOLON", 

		"T_IDENTIFIER", 

		"T_EQUAL", 

		"T_PRIO", 

		"T_NONDET", 

		"T_LPAREN", 

		"T_RPAREN", 

		"T_LIST", 

		"T_LSQPAREN", 

		"T_INTNUMBER", 

		"T_RSQPAREN", 

		"T_OF", 

		"T_COMMA", 

		"T_MAP", 

		"T_TO", 

		"T_QUANTITY", 

		"T_MINUS", 

		"T_INFTY", 

		"T_BOOL", 

		"T_INT", 

		"T_RANGETO", 

		"T_FLOAT", 

		"T_FLOATNUMBER", 

		"T_CHAR", 

		"T_CBRL", 

		"T_CBRR", 

		"T_AUTOCONS", 

		"T_VAR", 

		"T_METHODS", 

		"T_ACTIONS", 

		"T_DO", 

		"T_OD", 

		"T_STATIC", 

		"T_OBS", 

		"T_CTRL", 

		"T_COLON", 

		"T_END", 

		"T_CONT", 

		"T_REQUIRES", 

		"T_DERIV", 

		"T_SUM", 

		"T_DIFF", 

		"T_PROD", 

		"T_FOLDLR", 

		"T_FOLDRL", 

		"T_SKIP", 

		"T_ABORT", 

		"T_KILL", 

		"T_SELF", 

		"T_ASSIGNMENT", 

		"T_WITH", 

		"T_BIIMPLIES", 

		"T_GREATER", 

		"T_GREATEREQUAL", 

		"T_LESS", 

		"T_LESSEQUAL", 

		"T_NOTEQUAL", 

		"T_IMPLIES", 

		"T_IN", 

		"T_SET", 

		"T_NOT", 

		"T_SUBSET", 

		"T_OR", 

		"T_DIV", 

		"T_IDIV", 

		"T_MOD", 

		"T_UNION", 

		"T_INTER", 

		"T_AND", 

		"T_POW", 

		"T_CONC", 

		"T_DOMRESBY", 

		"T_DOMRESTO", 

		"T_RNGRESBY", 

		"T_RNGRESTO", 

		"T_MUNION", 

		"T_SEQMOD_MAPOVERRIDE", 

		"T_POINT", 

		"T_IF", 

		"T_THEN", 

		"T_ELSE", 

		"T_FORALL", 

		"T_EXISTS", 

		"T_TRUE", 

		"T_FALSE", 

		"T_NIL", 

		"T_STRINGLITERAL", 

		"T_NEW", 

		"T_BAR", 

		"T_MAPS", 

		"T_PRIMED", 

		"T_ABS", 

		"T_CARD", 

		"T_DCONC", 

		"T_DINTER", 

		"T_DUNION", 

		"T_ELEMS", 

		"T_HEAD", 

		"T_INDS", 

		"T_LEN", 

		"T_TAIL", 

		"T_DOM", 

		"T_RNG", 

		"T_MERGE", 

		"T_WS", 

		"T_COMMENT", 

		"LINE_COMMENT", 

		"T_DIGIT", 

		"FLOAT_OR_INT_OR_RANGE", 

		"T_LETTER", 

		"'|['", 

		"']|'", 

		"'begin'", 

		"'&'", 

		"'as'", 

		"'qval'", 

		"'steady'", 

		"'inc'", 

		"'dec'", 

		"'::'"

    };

    public const int T_FLOATNUMBER = 29;

    public const int T_SYSTEM = 6;

    public const int T_ELSE = 87;

    public const int T_LPAREN = 12;

    public const int T_DUNION = 102;

    public const int T_BOOL = 25;

    public const int T_METHODS = 35;

    public const int T_INDS = 105;

    public const int T_OR = 69;

    public const int EOF = -1;

    public const int T_OD = 38;

    public const int T_AND = 75;

    public const int T_OF = 18;

    public const int T_STRINGLITERAL = 93;

    public const int T_SET = 66;

    public const int T_SKIP = 52;

    public const int T_WITH = 57;

    public const int T_DOM = 108;

    public const int T_WS = 111;

    public const int T_VAR = 34;

    public const int T_SUM = 47;

    public const int T_REQUIRES = 45;

    public const int T_DINTER = 101;

    public const int T_HEAD = 104;

    public const int T_AUTOCONS = 33;

    public const int T_END = 43;

    public const int T_TRUE = 90;

    public const int T_LSQPAREN = 15;

    public const int T_PRIMED = 97;

    public const int T_MAPS = 96;

    public const int T_NIL = 92;

    public const int T_INFTY = 24;

    public const int T_IF = 85;

    public const int LINE_COMMENT = 113;

    public const int T_THEN = 86;

    public const int T_FLOAT = 28;

    public const int T_TAIL = 107;

    public const int T_SELF = 55;

    public const int T_MERGE = 110;

    public const int T_DIFF = 48;

    public const int T_FOLDRL = 51;

    public const int T_QUANTITY = 22;

    public const int T_IN = 65;

    public const int T_MUNION = 82;

    public const int T__126 = 126;

    public const int T__125 = 125;

    public const int T_INTER = 74;

    public const int T_SEMICOLON = 7;

    public const int T_FOLDLR = 50;

    public const int T_CARD = 99;

    public const int T_FALSE = 91;

    public const int T_CONT = 44;

    public const int T_SUBSET = 68;

    public const int T_COMMA = 19;

    public const int T_RANGETO = 27;

    public const int T_MINUS = 23;

    public const int T_CONC = 77;

    public const int T_IDIV = 71;

    public const int T_FORALL = 88;

    public const int T_DERIV = 46;

    public const int T_CONSTS = 4;

    public const int T_TYPES = 5;

    public const int T_GREATEREQUAL = 60;

    public const int T__118 = 118;

    public const int T_RNG = 109;

    public const int T__119 = 119;

    public const int T_MOD = 72;

    public const int T__117 = 117;

    public const int T_SEQMOD_MAPOVERRIDE = 83;

    public const int T__124 = 124;

    public const int T__123 = 123;

    public const int T_ELEMS = 103;

    public const int T__122 = 122;

    public const int T__121 = 121;

    public const int T_IMPLIES = 64;

    public const int T__120 = 120;

    public const int T_EXISTS = 89;

    public const int T_POW = 76;

    public const int T_COMMENT = 112;

    public const int T_RPAREN = 13;

    public const int T_PRIO = 10;

    public const int T_RNGRESBY = 80;

    public const int T_ABS = 98;

    public const int T_DIV = 70;

    public const int T_LIST = 14;

    public const int T_CBRL = 31;

    public const int T_DCONC = 100;

    public const int T_ABORT = 53;

    public const int T_CHAR = 30;

    public const int T_POINT = 84;

    public const int T_STATIC = 39;

    public const int T_CBRR = 32;

    public const int T_INT = 26;

    public const int T_COLON = 42;

    public const int T_PROD = 49;

    public const int T_ACTIONS = 36;

    public const int T_DIGIT = 114;

    public const int T_LESS = 61;

    public const int T_BAR = 95;

    public const int T_TO = 21;

    public const int T_NONDET = 11;

    public const int T_DOMRESBY = 78;

    public const int T_DOMRESTO = 79;

    public const int T_EQUAL = 9;

    public const int T_GREATER = 59;

    public const int T_KILL = 54;

    public const int T_RNGRESTO = 81;

    public const int T_RSQPAREN = 17;

    public const int T_NEW = 94;

    public const int T_INTNUMBER = 16;

    public const int T_UNION = 73;

    public const int T_OBS = 40;

    public const int T_BIIMPLIES = 58;

    public const int T_NOTEQUAL = 63;

    public const int T_IDENTIFIER = 8;

    public const int T_DO = 37;

    public const int FLOAT_OR_INT_OR_RANGE = 115;

    public const int T_LEN = 106;

    public const int T_NOT = 67;

    public const int T_ASSIGNMENT = 56;

    public const int T_LETTER = 116;

    public const int T_MAP = 20;

    public const int T_LESSEQUAL = 62;

    public const int T_CTRL = 41;

    // delegates

    // delegators

        public ooaParser(ITokenStream input)

    		: this(input, new RecognizerSharedState()) {

        }

        public ooaParser(ITokenStream input, RecognizerSharedState state)

    		: base(input, state) {

            InitializeCyclicDFAs();

        }

    override public string[] TokenNames {

		get { return ooaParser.tokenNames; }

    }

    override public string GrammarFileName {

		get { return "ooa.g"; }

    }

    // $ANTLR start "ooActionSystems"

    // ooa.g:137:1: ooActionSystems : ( T_CONSTS namedConstList )? T_TYPES namedTypeList T_SYSTEM comp= asTypeComposition[null] ;

    public void ooActionSystems() // throws RecognitionException [1]

    {   

        IdentifierList comp = default(IdentifierList);

        try 

    	{

            // ooa.g:138:2: ( ( T_CONSTS namedConstList )? T_TYPES namedTypeList T_SYSTEM comp= asTypeComposition[null] )

            // ooa.g:138:4: ( T_CONSTS namedConstList )? T_TYPES namedTypeList T_SYSTEM comp= asTypeComposition[null]

            {

            	initializeTopLevelParserState();

            	// ooa.g:140:11: ( T_CONSTS namedConstList )?

            	int alt1 = 2;

            	int LA1_0 = input.LA(1);

            	if ( (LA1_0 == T_CONSTS) )

            	{

            	    alt1 = 1;

            	}

            	switch (alt1) 

            	{

            	    case 1 :

            	        // ooa.g:140:12: T_CONSTS namedConstList

            	        {

            	        	Match(input,T_CONSTS,FOLLOW_T_CONSTS_in_ooActionSystems93); 

            	        	PushFollow(FOLLOW_namedConstList_in_ooActionSystems95);

            	        	namedConstList();

            	        	state.followingStackPointer--;

            	        }

            	        break;

            	}

            	Match(input,T_TYPES,FOLLOW_T_TYPES_in_ooActionSystems105); 

            	PushFollow(FOLLOW_namedTypeList_in_ooActionSystems113);

            	namedTypeList();

            	state.followingStackPointer--;

            	Match(input,T_SYSTEM,FOLLOW_T_SYSTEM_in_ooActionSystems118); 

            	PushFollow(FOLLOW_asTypeComposition_in_ooActionSystems125);

            	comp = asTypeComposition(null);

            	state.followingStackPointer--;

            	fixUpRun(comp);

            }

        }

        catch (RecognitionException re) 

    	{

            ReportError(re);

            Recover(input,re);

        }

        finally 

    	{

        }

        return ;

    }

    // $ANTLR end "ooActionSystems"

    // $ANTLR start "namedConstList"

    // ooa.g:155:1: namedConstList : namedConst ( T_SEMICOLON namedConst )* ;

    public void namedConstList() // throws RecognitionException [1]

    {   

        try 

    	{

            // ooa.g:156:2: ( namedConst ( T_SEMICOLON namedConst )* )

            // ooa.g:156:4: namedConst ( T_SEMICOLON namedConst )*

            {

            	PushFollow(FOLLOW_namedConst_in_namedConstList148);

            	namedConst();

            	state.followingStackPointer--;

            	// ooa.g:156:15: ( T_SEMICOLON namedConst )*

            	do 

            	{

            	    int alt2 = 2;

            	    int LA2_0 = input.LA(1);

            	    if ( (LA2_0 == T_SEMICOLON) )

            	    {

            	        alt2 = 1;

            	    }

            	    switch (alt2) 

            		{

            			case 1 :

            			    // ooa.g:156:16: T_SEMICOLON namedConst

            			    {

            			    	Match(input,T_SEMICOLON,FOLLOW_T_SEMICOLON_in_namedConstList151); 

            			    	PushFollow(FOLLOW_namedConst_in_namedConstList153);

            			    	namedConst();

            			    	state.followingStackPointer--;

            			    }

            			    break;

            			default:

            			    goto loop2;

            	    }

            	} while (true);

            	loop2:

            		;	// Stops C# compiler whining that label 'loop2' has no statements

            }

        }

        catch (RecognitionException re) 

    	{

            ReportError(re);

            Recover(input,re);

        }

        finally 

    	{

        }

        return ;

    }

    // $ANTLR end "namedConstList"

    // $ANTLR start "namedConst"

    // ooa.g:159:1: namedConst : aName= T_IDENTIFIER T_EQUAL anExpr= expression ;

    public void namedConst() // throws RecognitionException [1]

    {   

        IToken aName = null;

        Expression anExpr = default(Expression);

        try 

    	{

            // ooa.g:160:2: (aName= T_IDENTIFIER T_EQUAL anExpr= expression )

            // ooa.g:160:4: aName= T_IDENTIFIER T_EQUAL anExpr= expression

            {

            	aName=(IToken)Match(input,T_IDENTIFIER,FOLLOW_T_IDENTIFIER_in_namedConst169); 

            	Match(input,T_EQUAL,FOLLOW_T_EQUAL_in_namedConst173); 

            	PushFollow(FOLLOW_expression_in_namedConst179);

            	anExpr = expression();

            	state.followingStackPointer--;

            	addNamedConst(aName,anExpr);

            }

        }

        catch (RecognitionException re) 

    	{

            ReportError(re);

            Recover(input,re);

        }

        finally 

    	{

        }

        return ;

    }

    // $ANTLR end "namedConst"

    // $ANTLR start "namedTypeList"

    // ooa.g:170:1: namedTypeList : namedType ( T_SEMICOLON namedType )* ;

    public void namedTypeList() // throws RecognitionException [1]

    {   

        try 

    	{

            // ooa.g:171:2: ( namedType ( T_SEMICOLON namedType )* )

            // ooa.g:171:4: namedType ( T_SEMICOLON namedType )*

            {

            	PushFollow(FOLLOW_namedType_in_namedTypeList199);

            	namedType();

            	state.followingStackPointer--;

            	// ooa.g:171:14: ( T_SEMICOLON namedType )*

            	do 

            	{

            	    int alt3 = 2;

            	    int LA3_0 = input.LA(1);

            	    if ( (LA3_0 == T_SEMICOLON) )

            	    {

            	        alt3 = 1;

            	    }

            	    switch (alt3) 

            		{

            			case 1 :

            			    // ooa.g:171:15: T_SEMICOLON namedType

            			    {

            			    	Match(input,T_SEMICOLON,FOLLOW_T_SEMICOLON_in_namedTypeList202); 

            			    	PushFollow(FOLLOW_namedType_in_namedTypeList204);

            			    	namedType();

            			    	state.followingStackPointer--;

            			    }

            			    break;

            			default:

            			    goto loop3;

            	    }

            	} while (true);

            	loop3:

            		;	// Stops C# compiler whining that label 'loop3' has no statements

            }

        }

        catch (RecognitionException re) 

    	{

            ReportError(re);

            Recover(input,re);

        }

        finally 

    	{

        }

        return ;

    }

    // $ANTLR end "namedTypeList"

    // $ANTLR start "namedType"

    // ooa.g:174:1: namedType : aName= T_IDENTIFIER T_EQUAL (aType= complexType | anOoaType= ooActionSystem ) ;

    public void namedType() // throws RecognitionException [1]

    {   

        IToken aName = null;

        UlyssesType aType = default(UlyssesType);

        OoActionSystemType anOoaType = default(OoActionSystemType);

        try 

    	{

            // ooa.g:175:2: (aName= T_IDENTIFIER T_EQUAL (aType= complexType | anOoaType= ooActionSystem ) )

            // ooa.g:175:4: aName= T_IDENTIFIER T_EQUAL (aType= complexType | anOoaType= ooActionSystem )

            {

            	aName=(IToken)Match(input,T_IDENTIFIER,FOLLOW_T_IDENTIFIER_in_namedType220); 

            	Match(input,T_EQUAL,FOLLOW_T_EQUAL_in_namedType225); 

            	// ooa.g:177:3: (aType= complexType | anOoaType= ooActionSystem )

            	int alt4 = 2;

            	alt4 = dfa4.Predict(input);

            	switch (alt4) 

            	{

            	    case 1 :

            	        // ooa.g:178:4: aType= complexType

            	        {

            	        	PushFollow(FOLLOW_complexType_in_namedType237);

            	        	aType = complexType();

            	        	state.followingStackPointer--;

            	        	createNamedType(aName,aType);

            	        }

            	        break;

            	    case 2 :

            	        // ooa.g:179:5: anOoaType= ooActionSystem

            	        {

            	        	PushFollow(FOLLOW_ooActionSystem_in_namedType249);

            	        	anOoaType = ooActionSystem();

            	        	state.followingStackPointer--;

            	        	createNamedType(aName,anOoaType);

            	        }

            	        break;

            	}

            }

        }

        catch (RecognitionException re) 

    	{

            ReportError(re);

            Recover(input,re);

        }

        finally 

    	{

        }

        return ;

    }

    // $ANTLR end "namedType"

    // $ANTLR start "asTypeComposition"

    // ooa.g:185:1: asTypeComposition[IdentifierList top] returns [IdentifierList prioList] : asTypeCompositionParallel[prioList] ( T_PRIO asTypeCompositionParallel[prioList] )* ;

    public IdentifierList asTypeComposition(IdentifierList top) // throws RecognitionException [1]

    {   

        IdentifierList prioList = default(IdentifierList);

        try 

    	{

            // ooa.g:187:2: ( asTypeCompositionParallel[prioList] ( T_PRIO asTypeCompositionParallel[prioList] )* )

            // ooa.g:187:6: asTypeCompositionParallel[prioList] ( T_PRIO asTypeCompositionParallel[prioList] )*

            {

            	prioList = new PrioIdentifierList(top);

            	PushFollow(FOLLOW_asTypeCompositionParallel_in_asTypeComposition285);

            	asTypeCompositionParallel(prioList);

            	state.followingStackPointer--;

            	// ooa.g:188:40: ( T_PRIO asTypeCompositionParallel[prioList] )*

            	do 

            	{

            	    int alt5 = 2;

            	    int LA5_0 = input.LA(1);

            	    if ( (LA5_0 == T_PRIO) )

            	    {

            	        alt5 = 1;

            	    }

            	    switch (alt5) 

            		{

            			case 1 :

            			    // ooa.g:188:41: T_PRIO asTypeCompositionParallel[prioList]

            			    {

            			    	Match(input,T_PRIO,FOLLOW_T_PRIO_in_asTypeComposition290); 

            			    	PushFollow(FOLLOW_asTypeCompositionParallel_in_asTypeComposition292);

            			    	asTypeCompositionParallel(prioList);

            			    	state.followingStackPointer--;

            			    }

            			    break;

            			default:

            			    goto loop5;

            	    }

            	} while (true);

            	loop5:

            		;	// Stops C# compiler whining that label 'loop5' has no statements

            }

        }

        catch (RecognitionException re) 

    	{

            ReportError(re);

            Recover(input,re);

        }

        finally 

    	{

        }

        return prioList;

    }

    // $ANTLR end "asTypeComposition"

    // $ANTLR start "asTypeCompositionParallel"

    // ooa.g:191:1: asTypeCompositionParallel[IdentifierList top] : asTypeCompositionSequential[parList] ( T_NONDET asTypeCompositionSequential[parList] )* ;

    public void asTypeCompositionParallel(IdentifierList top) // throws RecognitionException [1]

    {   

        try 

    	{

            // ooa.g:192:2: ( asTypeCompositionSequential[parList] ( T_NONDET asTypeCompositionSequential[parList] )* )

            // ooa.g:192:6: asTypeCompositionSequential[parList] ( T_NONDET asTypeCompositionSequential[parList] )*

            {

            	IdentifierList parList = new NondetIdentifierList(top);

            	PushFollow(FOLLOW_asTypeCompositionSequential_in_asTypeCompositionParallel315);

            	asTypeCompositionSequential(parList);

            	state.followingStackPointer--;

            	// ooa.g:193:40: ( T_NONDET asTypeCompositionSequential[parList] )*

            	do 

            	{

            	    int alt6 = 2;

            	    int LA6_0 = input.LA(1);

            	    if ( (LA6_0 == T_NONDET) )

            	    {

            	        alt6 = 1;

            	    }

            	    switch (alt6) 

            		{

            			case 1 :

            			    // ooa.g:193:41: T_NONDET asTypeCompositionSequential[parList]

            			    {

            			    	Match(input,T_NONDET,FOLLOW_T_NONDET_in_asTypeCompositionParallel319); 

            			    	PushFollow(FOLLOW_asTypeCompositionSequential_in_asTypeCompositionParallel321);

            			    	asTypeCompositionSequential(parList);

            			    	state.followingStackPointer--;

            			    }

            			    break;

            			default:

            			    goto loop6;

            	    }

            	} while (true);

            	loop6:

            		;	// Stops C# compiler whining that label 'loop6' has no statements

            }

        }

        catch (RecognitionException re) 

    	{

            ReportError(re);

            Recover(input,re);

        }

        finally 

    	{

        }

        return ;

    }

    // $ANTLR end "asTypeCompositionParallel"

    // $ANTLR start "asTypeCompositionSequential"

    // ooa.g:196:1: asTypeCompositionSequential[IdentifierList top] : asTypeCompositionBlockParen[seqList] ;

    public void asTypeCompositionSequential(IdentifierList top) // throws RecognitionException [1]

    {   

        try 

    	{

            // ooa.g:197:2: ( asTypeCompositionBlockParen[seqList] )

            // ooa.g:197:6: asTypeCompositionBlockParen[seqList]

            {

            	IdentifierList seqList = new SeqIdentifierList(top);

            	PushFollow(FOLLOW_asTypeCompositionBlockParen_in_asTypeCompositionSequential343);

            	asTypeCompositionBlockParen(seqList);

            	state.followingStackPointer--;

            }

        }

        catch (RecognitionException re) 

    	{

            ReportError(re);

            Recover(input,re);

        }

        finally 

    	{

        }

        return ;

    }

    // $ANTLR end "asTypeCompositionSequential"

    // $ANTLR start "asTypeCompositionBlockParen"

    // ooa.g:201:1: asTypeCompositionBlockParen[IdentifierList top] : ( T_LPAREN asTypeComposition[top] T_RPAREN | aName= T_IDENTIFIER );

    public void asTypeCompositionBlockParen(IdentifierList top) // throws RecognitionException [1]

    {   

        IToken aName = null;

        try 

    	{

            // ooa.g:202:2: ( T_LPAREN asTypeComposition[top] T_RPAREN | aName= T_IDENTIFIER )

            int alt7 = 2;

            int LA7_0 = input.LA(1);

            if ( (LA7_0 == T_LPAREN) )

            {

                alt7 = 1;

            }

            else if ( (LA7_0 == T_IDENTIFIER) )

            {

                alt7 = 2;

            }

            else 

            {

                NoViableAltException nvae_d7s0 =

                    new NoViableAltException("", 7, 0, input);

                throw nvae_d7s0;

            }

            switch (alt7) 

            {

                case 1 :

                    // ooa.g:202:4: T_LPAREN asTypeComposition[top] T_RPAREN

                    {

                    	Match(input,T_LPAREN,FOLLOW_T_LPAREN_in_asTypeCompositionBlockParen358); 

                    	PushFollow(FOLLOW_asTypeComposition_in_asTypeCompositionBlockParen360);

                    	asTypeComposition(top);

                    	state.followingStackPointer--;

                    	Match(input,T_RPAREN,FOLLOW_T_RPAREN_in_asTypeCompositionBlockParen363); 

                    }

                    break;

                case 2 :

                    // ooa.g:203:4: aName= T_IDENTIFIER

                    {

                    	aName=(IToken)Match(input,T_IDENTIFIER,FOLLOW_T_IDENTIFIER_in_asTypeCompositionBlockParen370); 

                    	addToIdentifierList(top,aName);

                    }

                    break;

            }

        }

        catch (RecognitionException re) 

    	{

            ReportError(re);

            Recover(input,re);

        }

        finally 

    	{

        }

        return ;

    }

    // $ANTLR end "asTypeCompositionBlockParen"

    // $ANTLR start "complexType"

    // ooa.g:211:1: complexType returns [UlyssesType aTypeSymbol] : ( T_LIST T_LSQPAREN numOfElements= ( T_INTNUMBER | T_IDENTIFIER ) T_RSQPAREN T_OF innertype= complexType | T_LSQPAREN alistelem= T_IDENTIFIER ( T_COMMA otherlistelem= T_IDENTIFIER )* T_RSQPAREN | T_MAP ( T_LSQPAREN numOfElements= ( T_INTNUMBER | T_IDENTIFIER ) T_RSQPAREN )? mapfromtype= simpleType T_TO maptotype= complexType | T_QUANTITY T_OF T_LSQPAREN (alandmark= T_IDENTIFIER | alandmark= T_MINUS T_INFTY ) ( T_COMMA (otherlandmark= T_IDENTIFIER | otherlandmark= T_INFTY ) )* T_RSQPAREN | T_LPAREN aType= complexType ( T_COMMA anotherType= complexType )* T_RPAREN | r= simpleType );

    public UlyssesType complexType() // throws RecognitionException [1]

    {   

        UlyssesType aTypeSymbol = default(UlyssesType);

        IToken numOfElements = null;

        IToken alistelem = null;

        IToken otherlistelem = null;

        IToken alandmark = null;

        IToken otherlandmark = null;

        UlyssesType innertype = default(UlyssesType);

        UlyssesType mapfromtype = default(UlyssesType);

        UlyssesType maptotype = default(UlyssesType);

        UlyssesType aType = default(UlyssesType);

        UlyssesType anotherType = default(UlyssesType);

        UlyssesType r = default(UlyssesType);

        		aTypeSymbol = null;

        		alandmark = null;

        try 

    	{

            // ooa.g:217:2: ( T_LIST T_LSQPAREN numOfElements= ( T_INTNUMBER | T_IDENTIFIER ) T_RSQPAREN T_OF innertype= complexType | T_LSQPAREN alistelem= T_IDENTIFIER ( T_COMMA otherlistelem= T_IDENTIFIER )* T_RSQPAREN | T_MAP ( T_LSQPAREN numOfElements= ( T_INTNUMBER | T_IDENTIFIER ) T_RSQPAREN )? mapfromtype= simpleType T_TO maptotype= complexType | T_QUANTITY T_OF T_LSQPAREN (alandmark= T_IDENTIFIER | alandmark= T_MINUS T_INFTY ) ( T_COMMA (otherlandmark= T_IDENTIFIER | otherlandmark= T_INFTY ) )* T_RSQPAREN | T_LPAREN aType= complexType ( T_COMMA anotherType= complexType )* T_RPAREN | r= simpleType )

            int alt14 = 6;

            alt14 = dfa14.Predict(input);

            switch (alt14) 

            {

                case 1 :

                    // ooa.g:217:4: T_LIST T_LSQPAREN numOfElements= ( T_INTNUMBER | T_IDENTIFIER ) T_RSQPAREN T_OF innertype= complexType

                    {

                    	Match(input,T_LIST,FOLLOW_T_LIST_in_complexType401); 

                    	Match(input,T_LSQPAREN,FOLLOW_T_LSQPAREN_in_complexType404); 

                    	numOfElements = (IToken)input.LT(1);

                    	if ( input.LA(1) == T_IDENTIFIER || input.LA(1) == T_INTNUMBER ) 

                    	{

                    	    input.Consume();

                    	    state.errorRecovery = false;

                    	}

                    	else 

                    	{

                    	    MismatchedSetException mse = new MismatchedSetException(null,input);

                    	    throw mse;

                    	}

                    	Match(input,T_RSQPAREN,FOLLOW_T_RSQPAREN_in_complexType414); 

                    	Match(input,T_OF,FOLLOW_T_OF_in_complexType416); 

                    	PushFollow(FOLLOW_complexType_in_complexType421);

                    	innertype = complexType();

                    	state.followingStackPointer--;

                    	aTypeSymbol = createListType(numOfElements,innertype);

                    }

                    break;

                case 2 :

                    // ooa.g:221:4: T_LSQPAREN alistelem= T_IDENTIFIER ( T_COMMA otherlistelem= T_IDENTIFIER )* T_RSQPAREN

                    {

                    	Match(input,T_LSQPAREN,FOLLOW_T_LSQPAREN_in_complexType436); 

                    	alistelem=(IToken)Match(input,T_IDENTIFIER,FOLLOW_T_IDENTIFIER_in_complexType440); 

                    	aTypeSymbol = createListEnumType(alistelem);

                    	// ooa.g:222:4: ( T_COMMA otherlistelem= T_IDENTIFIER )*

                    	do 

                    	{

                    	    int alt8 = 2;

                    	    int LA8_0 = input.LA(1);

                    	    if ( (LA8_0 == T_COMMA) )

                    	    {

                    	        alt8 = 1;

                    	    }

                    	    switch (alt8) 

                    		{

                    			case 1 :

                    			    // ooa.g:222:5: T_COMMA otherlistelem= T_IDENTIFIER

                    			    {

                    			    	Match(input,T_COMMA,FOLLOW_T_COMMA_in_complexType449); 

                    			    	otherlistelem=(IToken)Match(input,T_IDENTIFIER,FOLLOW_T_IDENTIFIER_in_complexType453); 

                    			    	addToListEnumType(aTypeSymbol,otherlistelem);

                    			    }

                    			    break;

                    			default:

                    			    goto loop8;

                    	    }

                    	} while (true);

                    	loop8:

                    		;	// Stops C# compiler whining that label 'loop8' has no statements

                    	Match(input,T_RSQPAREN,FOLLOW_T_RSQPAREN_in_complexType459); 

                    }

                    break;

                case 3 :

                    // ooa.g:225:4: T_MAP ( T_LSQPAREN numOfElements= ( T_INTNUMBER | T_IDENTIFIER ) T_RSQPAREN )? mapfromtype= simpleType T_TO maptotype= complexType

                    {

                    	Match(input,T_MAP,FOLLOW_T_MAP_in_complexType469); 

                    	// ooa.g:225:12: ( T_LSQPAREN numOfElements= ( T_INTNUMBER | T_IDENTIFIER ) T_RSQPAREN )?

                    	int alt9 = 2;

                    	int LA9_0 = input.LA(1);

                    	if ( (LA9_0 == T_LSQPAREN) )

                    	{

                    	    alt9 = 1;

                    	}

                    	switch (alt9) 

                    	{

                    	    case 1 :

                    	        // ooa.g:225:13: T_LSQPAREN numOfElements= ( T_INTNUMBER | T_IDENTIFIER ) T_RSQPAREN

                    	        {

                    	        	Match(input,T_LSQPAREN,FOLLOW_T_LSQPAREN_in_complexType474); 

                    	        	numOfElements = (IToken)input.LT(1);

                    	        	if ( input.LA(1) == T_IDENTIFIER || input.LA(1) == T_INTNUMBER ) 

                    	        	{

                    	        	    input.Consume();

                    	        	    state.errorRecovery = false;

                    	        	}

                    	        	else 

                    	        	{

                    	        	    MismatchedSetException mse = new MismatchedSetException(null,input);

                    	        	    throw mse;

                    	        	}

                    	        	Match(input,T_RSQPAREN,FOLLOW_T_RSQPAREN_in_complexType484); 

                    	        }

                    	        break;

                    	}

                    	PushFollow(FOLLOW_simpleType_in_complexType490);

                    	mapfromtype = simpleType();

                    	state.followingStackPointer--;

                    	Match(input,T_TO,FOLLOW_T_TO_in_complexType492); 

                    	PushFollow(FOLLOW_complexType_in_complexType496);

                    	maptotype = complexType();

                    	state.followingStackPointer--;

                    	aTypeSymbol = createMapType(numOfElements,mapfromtype,maptotype);

                    }

                    break;

                case 4 :

                    // ooa.g:228:4: T_QUANTITY T_OF T_LSQPAREN (alandmark= T_IDENTIFIER | alandmark= T_MINUS T_INFTY ) ( T_COMMA (otherlandmark= T_IDENTIFIER | otherlandmark= T_INFTY ) )* T_RSQPAREN

                    {

                    	Match(input,T_QUANTITY,FOLLOW_T_QUANTITY_in_complexType510); 

                    	Match(input,T_OF,FOLLOW_T_OF_in_complexType512); 

                    	Match(input,T_LSQPAREN,FOLLOW_T_LSQPAREN_in_complexType514); 

                    	// ooa.g:228:31: (alandmark= T_IDENTIFIER | alandmark= T_MINUS T_INFTY )

                    	int alt10 = 2;

                    	int LA10_0 = input.LA(1);

                    	if ( (LA10_0 == T_IDENTIFIER) )

                    	{

                    	    alt10 = 1;

                    	}

                    	else if ( (LA10_0 == T_MINUS) )

                    	{

                    	    alt10 = 2;

                    	}

                    	else 

                    	{

                    	    NoViableAltException nvae_d10s0 =

                    	        new NoViableAltException("", 10, 0, input);

                    	    throw nvae_d10s0;

                    	}

                    	switch (alt10) 

                    	{

                    	    case 1 :

                    	        // ooa.g:228:32: alandmark= T_IDENTIFIER

                    	        {

                    	        	alandmark=(IToken)Match(input,T_IDENTIFIER,FOLLOW_T_IDENTIFIER_in_complexType519); 

                    	        }

                    	        break;

                    	    case 2 :

                    	        // ooa.g:228:56: alandmark= T_MINUS T_INFTY

                    	        {

                    	        	alandmark=(IToken)Match(input,T_MINUS,FOLLOW_T_MINUS_in_complexType524); 

                    	        	Match(input,T_INFTY,FOLLOW_T_INFTY_in_complexType526); 

                    	        }

                    	        break;

                    	}

                    	aTypeSymbol = createQrType(alandmark);

                    	// ooa.g:229:4: ( T_COMMA (otherlandmark= T_IDENTIFIER | otherlandmark= T_INFTY ) )*

                    	do 

                    	{

                    	    int alt12 = 2;

                    	    int LA12_0 = input.LA(1);

                    	    if ( (LA12_0 == T_COMMA) )

                    	    {

                    	        alt12 = 1;

                    	    }

                    	    switch (alt12) 

                    		{

                    			case 1 :

                    			    // ooa.g:229:5: T_COMMA (otherlandmark= T_IDENTIFIER | otherlandmark= T_INFTY )

                    			    {

                    			    	Match(input,T_COMMA,FOLLOW_T_COMMA_in_complexType536); 

                    			    	// ooa.g:229:13: (otherlandmark= T_IDENTIFIER | otherlandmark= T_INFTY )

                    			    	int alt11 = 2;

                    			    	int LA11_0 = input.LA(1);

                    			    	if ( (LA11_0 == T_IDENTIFIER) )

                    			    	{

                    			    	    alt11 = 1;

                    			    	}

                    			    	else if ( (LA11_0 == T_INFTY) )

                    			    	{

                    			    	    alt11 = 2;

                    			    	}

                    			    	else 

                    			    	{

                    			    	    NoViableAltException nvae_d11s0 =

                    			    	        new NoViableAltException("", 11, 0, input);

                    			    	    throw nvae_d11s0;

                    			    	}

                    			    	switch (alt11) 

                    			    	{

                    			    	    case 1 :

                    			    	        // ooa.g:229:14: otherlandmark= T_IDENTIFIER

                    			    	        {

                    			    	        	otherlandmark=(IToken)Match(input,T_IDENTIFIER,FOLLOW_T_IDENTIFIER_in_complexType541); 

                    			    	        }

                    			    	        break;

                    			    	    case 2 :

                    			    	        // ooa.g:229:41: otherlandmark= T_INFTY

                    			    	        {

                    			    	        	otherlandmark=(IToken)Match(input,T_INFTY,FOLLOW_T_INFTY_in_complexType545); 

                    			    	        }

                    			    	        break;

                    			    	}

                    			    	addToQrType(aTypeSymbol,otherlandmark);

                    			    }

                    			    break;

                    			default:

                    			    goto loop12;

                    	    }

                    	} while (true);

                    	loop12:

                    		;	// Stops C# compiler whining that label 'loop12' has no statements

                    	Match(input,T_RSQPAREN,FOLLOW_T_RSQPAREN_in_complexType552); 

                    }

                    break;

                case 5 :

                    // ooa.g:231:5: T_LPAREN aType= complexType ( T_COMMA anotherType= complexType )* T_RPAREN

                    {

                    	Match(input,T_LPAREN,FOLLOW_T_LPAREN_in_complexType562); 

                    	PushFollow(FOLLOW_complexType_in_complexType566);

                    	aType = complexType();

                    	state.followingStackPointer--;

                    	aTypeSymbol = createTupleType(aType);

                    	// ooa.g:232:4: ( T_COMMA anotherType= complexType )*

                    	do 

                    	{

                    	    int alt13 = 2;

                    	    int LA13_0 = input.LA(1);

                    	    if ( (LA13_0 == T_COMMA) )

                    	    {

                    	        alt13 = 1;

                    	    }

                    	    switch (alt13) 

                    		{

                    			case 1 :

                    			    // ooa.g:232:5: T_COMMA anotherType= complexType

                    			    {

                    			    	Match(input,T_COMMA,FOLLOW_T_COMMA_in_complexType575); 

                    			    	PushFollow(FOLLOW_complexType_in_complexType579);

                    			    	anotherType = complexType();

                    			    	state.followingStackPointer--;

                    			    	addToTupleType(aTypeSymbol,anotherType);

                    			    }

                    			    break;

                    			default:

                    			    goto loop13;

                    	    }

                    	} while (true);

                    	loop13:

                    		;	// Stops C# compiler whining that label 'loop13' has no statements

                    	Match(input,T_RPAREN,FOLLOW_T_RPAREN_in_complexType586); 

                    }

                    break;

                case 6 :

                    // ooa.g:235:4: r= simpleType

                    {

                    	PushFollow(FOLLOW_simpleType_in_complexType599);

                    	r = simpleType();

                    	state.followingStackPointer--;

                    	aTypeSymbol = r;

                    }

                    break;

            }

        }

        catch (RecognitionException re) 

    	{

            ReportError(re);

            Recover(input,re);

        }

        finally 

    	{

            fixupComplexType(aTypeSymbol);

        }

        return aTypeSymbol;

    }

    // $ANTLR end "complexType"

    // $ANTLR start "simpleType"

    // ooa.g:241:1: simpleType returns [UlyssesType aTypeSymbol] : ( T_BOOL | T_INT T_LSQPAREN rangeLow= ( T_INTNUMBER | T_INFTY | T_IDENTIFIER ) T_RANGETO rangeHigh= ( T_INTNUMBER | T_INFTY | T_IDENTIFIER ) T_RSQPAREN | T_FLOAT T_LSQPAREN rangeLow= ( T_FLOATNUMBER | T_INFTY | T_IDENTIFIER ) T_RANGETO rangeHigh= ( T_FLOATNUMBER | T_INFTY | T_IDENTIFIER ) T_RSQPAREN | T_CHAR | T_CBRL aRangeValue= T_IDENTIFIER ( T_EQUAL optVal= T_INTNUMBER )? ( T_COMMA otherRangeValue= T_IDENTIFIER ( T_EQUAL otherOptVal= T_INTNUMBER )? )* T_CBRR | aType= T_IDENTIFIER );

    public UlyssesType simpleType() // throws RecognitionException [1]

    {   

        UlyssesType aTypeSymbol = default(UlyssesType);

        IToken rangeLow = null;

        IToken rangeHigh = null;

        IToken aRangeValue = null;

        IToken optVal = null;

        IToken otherRangeValue = null;

        IToken otherOptVal = null;

        IToken aType = null;

        		aTypeSymbol = null;

        try 

    	{

            // ooa.g:246:2: ( T_BOOL | T_INT T_LSQPAREN rangeLow= ( T_INTNUMBER | T_INFTY | T_IDENTIFIER ) T_RANGETO rangeHigh= ( T_INTNUMBER | T_INFTY | T_IDENTIFIER ) T_RSQPAREN | T_FLOAT T_LSQPAREN rangeLow= ( T_FLOATNUMBER | T_INFTY | T_IDENTIFIER ) T_RANGETO rangeHigh= ( T_FLOATNUMBER | T_INFTY | T_IDENTIFIER ) T_RSQPAREN | T_CHAR | T_CBRL aRangeValue= T_IDENTIFIER ( T_EQUAL optVal= T_INTNUMBER )? ( T_COMMA otherRangeValue= T_IDENTIFIER ( T_EQUAL otherOptVal= T_INTNUMBER )? )* T_CBRR | aType= T_IDENTIFIER )

            int alt18 = 6;

            switch ( input.LA(1) ) 

            {

            case T_BOOL:

            	{

                alt18 = 1;

                }

                break;

            case T_INT:

            	{

                alt18 = 2;

                }

                break;

            case T_FLOAT:

            	{

                alt18 = 3;

                }

                break;

            case T_CHAR:

            	{

                alt18 = 4;

                }

                break;

            case T_CBRL:

            	{

                alt18 = 5;

                }

                break;

            case T_IDENTIFIER:

            	{

                alt18 = 6;

                }

                break;

            	default:

            	    NoViableAltException nvae_d18s0 =

            	        new NoViableAltException("", 18, 0, input);

            	    throw nvae_d18s0;

            }

            switch (alt18) 

            {

                case 1 :

                    // ooa.g:246:4: T_BOOL

                    {

                    	Match(input,T_BOOL,FOLLOW_T_BOOL_in_simpleType632); 

                    	aTypeSymbol = createBoolType();

                    }

                    break;

                case 2 :

                    // ooa.g:249:4: T_INT T_LSQPAREN rangeLow= ( T_INTNUMBER | T_INFTY | T_IDENTIFIER ) T_RANGETO rangeHigh= ( T_INTNUMBER | T_INFTY | T_IDENTIFIER ) T_RSQPAREN

                    {

                    	Match(input,T_INT,FOLLOW_T_INT_in_simpleType645); 

                    	Match(input,T_LSQPAREN,FOLLOW_T_LSQPAREN_in_simpleType647); 

                    	rangeLow = (IToken)input.LT(1);

                    	if ( input.LA(1) == T_IDENTIFIER || input.LA(1) == T_INTNUMBER || input.LA(1) == T_INFTY ) 

                    	{

                    	    input.Consume();

                    	    state.errorRecovery = false;

                    	}

                    	else 

                    	{

                    	    MismatchedSetException mse = new MismatchedSetException(null,input);

                    	    throw mse;

                    	}

                    	Match(input,T_RANGETO,FOLLOW_T_RANGETO_in_simpleType659); 

                    	rangeHigh = (IToken)input.LT(1);

                    	if ( input.LA(1) == T_IDENTIFIER || input.LA(1) == T_INTNUMBER || input.LA(1) == T_INFTY ) 

                    	{

                    	    input.Consume();

                    	    state.errorRecovery = false;

                    	}

                    	else 

                    	{

                    	    MismatchedSetException mse = new MismatchedSetException(null,input);

                    	    throw mse;

                    	}

                    	Match(input,T_RSQPAREN,FOLLOW_T_RSQPAREN_in_simpleType671); 

                    	aTypeSymbol = createIntType(rangeLow,rangeHigh);

                    }

                    break;

                case 3 :

                    // ooa.g:253:4: T_FLOAT T_LSQPAREN rangeLow= ( T_FLOATNUMBER | T_INFTY | T_IDENTIFIER ) T_RANGETO rangeHigh= ( T_FLOATNUMBER | T_INFTY | T_IDENTIFIER ) T_RSQPAREN

                    {

                    	Match(input,T_FLOAT,FOLLOW_T_FLOAT_in_simpleType690); 

                    	Match(input,T_LSQPAREN,FOLLOW_T_LSQPAREN_in_simpleType693); 

                    	rangeLow = (IToken)input.LT(1);

                    	if ( input.LA(1) == T_IDENTIFIER || input.LA(1) == T_INFTY || input.LA(1) == T_FLOATNUMBER ) 

                    	{

                    	    input.Consume();

                    	    state.errorRecovery = false;

                    	}

                    	else 

                    	{

                    	    MismatchedSetException mse = new MismatchedSetException(null,input);

                    	    throw mse;

                    	}

                    	Match(input,T_RANGETO,FOLLOW_T_RANGETO_in_simpleType705); 

                    	rangeHigh = (IToken)input.LT(1);

                    	if ( input.LA(1) == T_IDENTIFIER || input.LA(1) == T_INFTY || input.LA(1) == T_FLOATNUMBER ) 

                    	{

                    	    input.Consume();

                    	    state.errorRecovery = false;

                    	}

                    	else 

                    	{

                    	    MismatchedSetException mse = new MismatchedSetException(null,input);

                    	    throw mse;

                    	}

                    	Match(input,T_RSQPAREN,FOLLOW_T_RSQPAREN_in_simpleType717); 

                    	aTypeSymbol = createFloatType(rangeLow,rangeHigh);

                    }

                    break;

                case 4 :

                    // ooa.g:257:4: T_CHAR

                    {

                    	Match(input,T_CHAR,FOLLOW_T_CHAR_in_simpleType735); 

                    	aTypeSymbol = createCharType();

                    }

                    break;

                case 5 :

                    // ooa.g:261:4: T_CBRL aRangeValue= T_IDENTIFIER ( T_EQUAL optVal= T_INTNUMBER )? ( T_COMMA otherRangeValue= T_IDENTIFIER ( T_EQUAL otherOptVal= T_INTNUMBER )? )* T_CBRR

                    {

                    	Match(input,T_CBRL,FOLLOW_T_CBRL_in_simpleType751); 

                    	aRangeValue=(IToken)Match(input,T_IDENTIFIER,FOLLOW_T_IDENTIFIER_in_simpleType755); 

                    	// ooa.g:261:36: ( T_EQUAL optVal= T_INTNUMBER )?

                    	int alt15 = 2;

                    	int LA15_0 = input.LA(1);

                    	if ( (LA15_0 == T_EQUAL) )

                    	{

                    	    alt15 = 1;

                    	}

                    	switch (alt15) 

                    	{

                    	    case 1 :

                    	        // ooa.g:261:37: T_EQUAL optVal= T_INTNUMBER

                    	        {

                    	        	Match(input,T_EQUAL,FOLLOW_T_EQUAL_in_simpleType758); 

                    	        	optVal=(IToken)Match(input,T_INTNUMBER,FOLLOW_T_INTNUMBER_in_simpleType762); 

                    	        }

                    	        break;

                    	}

                    	aTypeSymbol = createEnumType(aRangeValue, optVal);

                    	// ooa.g:262:4: ( T_COMMA otherRangeValue= T_IDENTIFIER ( T_EQUAL otherOptVal= T_INTNUMBER )? )*

                    	do 

                    	{

                    	    int alt17 = 2;

                    	    int LA17_0 = input.LA(1);

                    	    if ( (LA17_0 == T_COMMA) )

                    	    {

                    	        alt17 = 1;

                    	    }

                    	    switch (alt17) 

                    		{

                    			case 1 :

                    			    // ooa.g:262:5: T_COMMA otherRangeValue= T_IDENTIFIER ( T_EQUAL otherOptVal= T_INTNUMBER )?

                    			    {

                    			    	Match(input,T_COMMA,FOLLOW_T_COMMA_in_simpleType773); 

                    			    	otherRangeValue=(IToken)Match(input,T_IDENTIFIER,FOLLOW_T_IDENTIFIER_in_simpleType777); 

                    			    	// ooa.g:262:42: ( T_EQUAL otherOptVal= T_INTNUMBER )?

                    			    	int alt16 = 2;

                    			    	int LA16_0 = input.LA(1);

                    			    	if ( (LA16_0 == T_EQUAL) )

                    			    	{

                    			    	    alt16 = 1;

                    			    	}

                    			    	switch (alt16) 

                    			    	{

                    			    	    case 1 :

                    			    	        // ooa.g:262:43: T_EQUAL otherOptVal= T_INTNUMBER

                    			    	        {

                    			    	        	Match(input,T_EQUAL,FOLLOW_T_EQUAL_in_simpleType780); 

                    			    	        	otherOptVal=(IToken)Match(input,T_INTNUMBER,FOLLOW_T_INTNUMBER_in_simpleType784); 

                    			    	        }

                    			    	        break;

                    			    	}

                    			    	addToEnumType(aTypeSymbol,otherRangeValue,otherOptVal); otherOptVal=null;

                    			    }

                    			    break;

                    			default:

                    			    goto loop17;

                    	    }

                    	} while (true);

                    	loop17:

                    		;	// Stops C# compiler whining that label 'loop17' has no statements

                    	Match(input,T_CBRR,FOLLOW_T_CBRR_in_simpleType792); 

                    }

                    break;

                case 6 :

                    // ooa.g:264:4: aType= T_IDENTIFIER

                    {

                    	aType=(IToken)Match(input,T_IDENTIFIER,FOLLOW_T_IDENTIFIER_in_simpleType803); 

                    	aTypeSymbol = getNamedType(aType);

                    }

                    break;

            }

        }

        catch (RecognitionException re) 

    	{

            ReportError(re);

            Recover(input,re);

        }

        finally 

    	{

            fixupSimpleType(aTypeSymbol);

        }

        return aTypeSymbol;

    }

    // $ANTLR end "simpleType"

    // $ANTLR start "ooActionSystem"

    // ooa.g:274:1: ooActionSystem returns [OoActionSystemType aTypeSymbol] : ( T_AUTOCONS )? T_SYSTEM ( T_LPAREN refinesSystemName= T_IDENTIFIER T_RPAREN )? '|[' ( T_VAR attrList )? ( T_METHODS methodList )? ( T_ACTIONS namedActionList )? ( T_DO (bl= actionBlock[null] )? T_OD )? ']|' ;

    public OoActionSystemType ooActionSystem() // throws RecognitionException [1]

    {   

        OoActionSystemType aTypeSymbol = default(OoActionSystemType);

        IToken refinesSystemName = null;

        Block bl = default(Block);

        		bool autoCons = false; 

        		aTypeSymbol = null;

        		refinesSystemName = null;

        try 

    	{

            // ooa.g:281:2: ( ( T_AUTOCONS )? T_SYSTEM ( T_LPAREN refinesSystemName= T_IDENTIFIER T_RPAREN )? '|[' ( T_VAR attrList )? ( T_METHODS methodList )? ( T_ACTIONS namedActionList )? ( T_DO (bl= actionBlock[null] )? T_OD )? ']|' )

            // ooa.g:281:9: ( T_AUTOCONS )? T_SYSTEM ( T_LPAREN refinesSystemName= T_IDENTIFIER T_RPAREN )? '|[' ( T_VAR attrList )? ( T_METHODS methodList )? ( T_ACTIONS namedActionList )? ( T_DO (bl= actionBlock[null] )? T_OD )? ']|'

            {

            	// ooa.g:281:9: ( T_AUTOCONS )?

            	int alt19 = 2;

            	int LA19_0 = input.LA(1);

            	if ( (LA19_0 == T_AUTOCONS) )

            	{

            	    alt19 = 1;

            	}

            	switch (alt19) 

            	{

            	    case 1 :

            	        // ooa.g:281:10: T_AUTOCONS

            	        {

            	        	Match(input,T_AUTOCONS,FOLLOW_T_AUTOCONS_in_ooActionSystem846); 

            	        	autoCons = true;

            	        }

            	        break;

            	}

            	Match(input,T_SYSTEM,FOLLOW_T_SYSTEM_in_ooActionSystem855); 

            	// ooa.g:282:12: ( T_LPAREN refinesSystemName= T_IDENTIFIER T_RPAREN )?

            	int alt20 = 2;

            	int LA20_0 = input.LA(1);

            	if ( (LA20_0 == T_LPAREN) )

            	{

            	    alt20 = 1;

            	}

            	switch (alt20) 

            	{

            	    case 1 :

            	        // ooa.g:282:13: T_LPAREN refinesSystemName= T_IDENTIFIER T_RPAREN

            	        {

            	        	Match(input,T_LPAREN,FOLLOW_T_LPAREN_in_ooActionSystem858); 

            	        	refinesSystemName=(IToken)Match(input,T_IDENTIFIER,FOLLOW_T_IDENTIFIER_in_ooActionSystem862); 

            	        	Match(input,T_RPAREN,FOLLOW_T_RPAREN_in_ooActionSystem864); 

            	        }

            	        break;

            	}

            	aTypeSymbol = createOoaType(refinesSystemName,autoCons);

            	Match(input,117,FOLLOW_117_in_ooActionSystem877); 

            	// ooa.g:285:4: ( T_VAR attrList )?

            	int alt21 = 2;

            	int LA21_0 = input.LA(1);

            	if ( (LA21_0 == T_VAR) )

            	{

            	    alt21 = 1;

            	}

            	switch (alt21) 

            	{

            	    case 1 :

            	        // ooa.g:285:5: T_VAR attrList

            	        {

            	        	Match(input,T_VAR,FOLLOW_T_VAR_in_ooActionSystem883); 

            	        	PushFollow(FOLLOW_attrList_in_ooActionSystem885);

            	        	attrList();

            	        	state.followingStackPointer--;

            	        }

            	        break;

            	}

            	// ooa.g:286:4: ( T_METHODS methodList )?

            	int alt22 = 2;

            	int LA22_0 = input.LA(1);

            	if ( (LA22_0 == T_METHODS) )

            	{

            	    alt22 = 1;

            	}

            	switch (alt22) 

            	{

            	    case 1 :

            	        // ooa.g:286:5: T_METHODS methodList

            	        {

            	        	Match(input,T_METHODS,FOLLOW_T_METHODS_in_ooActionSystem893); 

            	        	PushFollow(FOLLOW_methodList_in_ooActionSystem895);

            	        	methodList();

            	        	state.followingStackPointer--;

            	        }

            	        break;

            	}

            	// ooa.g:287:4: ( T_ACTIONS namedActionList )?

            	int alt23 = 2;

            	int LA23_0 = input.LA(1);

            	if ( (LA23_0 == T_ACTIONS) )

            	{

            	    alt23 = 1;

            	}

            	switch (alt23) 

            	{

            	    case 1 :

            	        // ooa.g:287:5: T_ACTIONS namedActionList

            	        {

            	        	Match(input,T_ACTIONS,FOLLOW_T_ACTIONS_in_ooActionSystem903); 

            	        	PushFollow(FOLLOW_namedActionList_in_ooActionSystem905);

            	        	namedActionList();

            	        	state.followingStackPointer--;

            	        }

            	        break;

            	}

            	// ooa.g:288:4: ( T_DO (bl= actionBlock[null] )? T_OD )?

            	int alt25 = 2;

            	int LA25_0 = input.LA(1);