/* This file was generated by SableCC (http://www.sablecc.org/). */

package MONAViewer.monalanguage.analysis;

import java.util.*;
import MONAViewer.monalanguage.node.*;

public class AnalysisAdapter implements Analysis
{
    private Hashtable in;
    private Hashtable out;

    public Object getIn(Node node)
    {
        if(in == null)
        {
            return null;
        }

        return in.get(node);
    }

    public void setIn(Node node, Object in)
    {
        if(this.in == null)
        {
            this.in = new Hashtable(1);
        }

        if(in != null)
        {
            this.in.put(node, in);
        }
        else
        {
            this.in.remove(node);
        }
    }
    public Object getOut(Node node)
    {
        if(out == null)
        {
            return null;
        }

        return out.get(node);
    }

    public void setOut(Node node, Object out)
    {
        if(this.out == null)
        {
            this.out = new Hashtable(1);
        }

        if(out != null)
        {
            this.out.put(node, out);
        }
        else
        {
            this.out.remove(node);
        }
    }
    public void caseStart(Start node)
    {
        defaultCase(node);
    }

    public void caseAStart(AStart node)
    {
        defaultCase(node);
    }
    public void caseAStrHeader(AStrHeader node)
    {
        defaultCase(node);
    }
    public void caseATreeHeader(ATreeHeader node)
    {
        defaultCase(node);
    }
    public void caseAM2lstrHeader(AM2lstrHeader node)
    {
        defaultCase(node);
    }
    public void caseAM2ltreeHeader(AM2ltreeHeader node)
    {
        defaultCase(node);
    }
    public void caseAAssertDeclaration(AAssertDeclaration node)
    {
        defaultCase(node);
    }
    public void caseAGuideDeclaration(AGuideDeclaration node)
    {
        defaultCase(node);
    }
    public void caseAUniverseDeclaration(AUniverseDeclaration node)
    {
        defaultCase(node);
    }
    public void caseADefault1Declaration(ADefault1Declaration node)
    {
        defaultCase(node);
    }
    public void caseADefault2Declaration(ADefault2Declaration node)
    {
        defaultCase(node);
    }
    public void caseAConstDeclaration(AConstDeclaration node)
    {
        defaultCase(node);
    }
    public void caseAVar0Declaration(AVar0Declaration node)
    {
        defaultCase(node);
    }
    public void caseAVar1Declaration(AVar1Declaration node)
    {
        defaultCase(node);
    }
    public void caseAVar2Declaration(AVar2Declaration node)
    {
        defaultCase(node);
    }
    public void caseATreeDeclaration(ATreeDeclaration node)
    {
        defaultCase(node);
    }
    public void caseAPredDeclaration(APredDeclaration node)
    {
        defaultCase(node);
    }
    public void caseAMacroDeclaration(AMacroDeclaration node)
    {
        defaultCase(node);
    }
    public void caseAExpDeclaration(AExpDeclaration node)
    {
        defaultCase(node);
    }
    public void caseAVerifyDeclaration(AVerifyDeclaration node)
    {
        defaultCase(node);
    }
    public void caseAExecuteDeclaration(AExecuteDeclaration node)
    {
        defaultCase(node);
    }
    public void caseAIncludeDeclaration(AIncludeDeclaration node)
    {
        defaultCase(node);
    }
    public void caseALastposDeclaration(ALastposDeclaration node)
    {
        defaultCase(node);
    }
    public void caseAAllposDeclaration(AAllposDeclaration node)
    {
        defaultCase(node);
    }
    public void caseATypeDeclaration(ATypeDeclaration node)
    {
        defaultCase(node);
    }
    public void caseAEx0Exp(AEx0Exp node)
    {
        defaultCase(node);
    }
    public void caseAEx1Exp(AEx1Exp node)
    {
        defaultCase(node);
    }
    public void caseAEx2Exp(AEx2Exp node)
    {
        defaultCase(node);
    }
    public void caseAAll0Exp(AAll0Exp node)
    {
        defaultCase(node);
    }
    public void caseAAll1Exp(AAll1Exp node)
    {
        defaultCase(node);
    }
    public void caseAAll2Exp(AAll2Exp node)
    {
        defaultCase(node);
    }
    public void caseAQuantExp(AQuantExp node)
    {
        defaultCase(node);
    }
    public void caseANameExp(ANameExp node)
    {
        defaultCase(node);
    }
    public void caseAUnivrootExp(AUnivrootExp node)
    {
        defaultCase(node);
    }
    public void caseACallExp(ACallExp node)
    {
        defaultCase(node);
    }
    public void caseATrueExp(ATrueExp node)
    {
        defaultCase(node);
    }
    public void caseAFalseExp(AFalseExp node)
    {
        defaultCase(node);
    }
    public void caseARootPredExp(ARootPredExp node)
    {
        defaultCase(node);
    }
    public void caseAEmptyPredExp(AEmptyPredExp node)
    {
        defaultCase(node);
    }
    public void caseAIntExp(AIntExp node)
    {
        defaultCase(node);
    }
    public void caseAEmptyExp(AEmptyExp node)
    {
        defaultCase(node);
    }
    public void caseASetExp(ASetExp node)
    {
        defaultCase(node);
    }
    public void caseAImportExp(AImportExp node)
    {
        defaultCase(node);
    }
    public void caseAExportExp(AExportExp node)
    {
        defaultCase(node);
    }
    public void caseAPrefixExp(APrefixExp node)
    {
        defaultCase(node);
    }
    public void caseAInstatespaceExp(AInstatespaceExp node)
    {
        defaultCase(node);
    }
    public void caseAVariantExp(AVariantExp node)
    {
        defaultCase(node);
    }
    public void caseASuccExp(ASuccExp node)
    {
        defaultCase(node);
    }
    public void caseAWellFormedTreeExp(AWellFormedTreeExp node)
    {
        defaultCase(node);
    }
    public void caseATypeExp(ATypeExp node)
    {
        defaultCase(node);
    }
    public void caseASometypeExp(ASometypeExp node)
    {
        defaultCase(node);
    }
    public void caseAConsttreeExp(AConsttreeExp node)
    {
        defaultCase(node);
    }
    public void caseATreerootExp(ATreerootExp node)
    {
        defaultCase(node);
    }
    public void caseARestrictExp(ARestrictExp node)
    {
        defaultCase(node);
    }
    public void caseADotExp(ADotExp node)
    {
        defaultCase(node);
    }
    public void caseAUpExp(AUpExp node)
    {
        defaultCase(node);
    }
    public void caseAMultExp(AMultExp node)
    {
        defaultCase(node);
    }
    public void caseADivExp(ADivExp node)
    {
        defaultCase(node);
    }
    public void caseAPlusModuloExp(APlusModuloExp node)
    {
        defaultCase(node);
    }
    public void caseAMinusModuloExp(AMinusModuloExp node)
    {
        defaultCase(node);
    }
    public void caseAPlusExp(APlusExp node)
    {
        defaultCase(node);
    }
    public void caseAMinusExp(AMinusExp node)
    {
        defaultCase(node);
    }
    public void caseASetminusExp(ASetminusExp node)
    {
        defaultCase(node);
    }
    public void caseAInterExp(AInterExp node)
    {
        defaultCase(node);
    }
    public void caseAUnionExp(AUnionExp node)
    {
        defaultCase(node);
    }
    public void caseAMinExp(AMinExp node)
    {
        defaultCase(node);
    }
    public void caseAMaxExp(AMaxExp node)
    {
        defaultCase(node);
    }
    public void caseALessExp(ALessExp node)
    {
        defaultCase(node);
    }
    public void caseALesseqExp(ALesseqExp node)
    {
        defaultCase(node);
    }
    public void caseAGreatereqExp(AGreatereqExp node)
    {
        defaultCase(node);
    }
    public void caseAGreaterExp(AGreaterExp node)
    {
        defaultCase(node);
    }
    public void caseAEqualExp(AEqualExp node)
    {
        defaultCase(node);
    }
    public void caseANotequalExp(ANotequalExp node)
    {
        defaultCase(node);
    }
    public void caseASubExp(ASubExp node)
    {
        defaultCase(node);
    }
    public void caseAInExp(AInExp node)
    {
        defaultCase(node);
    }
    public void caseANotinExp(ANotinExp node)
    {
        defaultCase(node);
    }
    public void caseANotExp(ANotExp node)
    {
        defaultCase(node);
    }
    public void caseAAndExp(AAndExp node)
    {
        defaultCase(node);
    }
    public void caseAOrExp(AOrExp node)
    {
        defaultCase(node);
    }
    public void caseAImplExp(AImplExp node)
    {
        defaultCase(node);
    }
    public void caseABiimplExp(ABiimplExp node)
    {
        defaultCase(node);
    }
    public void caseALet0Exp(ALet0Exp node)
    {
        defaultCase(node);
    }
    public void caseALet1Exp(ALet1Exp node)
    {
        defaultCase(node);
    }
    public void caseALet2Exp(ALet2Exp node)
    {
        defaultCase(node);
    }
    public void caseADef(ADef node)
    {
        defaultCase(node);
    }
    public void caseAPlusArithExp(APlusArithExp node)
    {
        defaultCase(node);
    }
    public void caseAMinusArithExp(AMinusArithExp node)
    {
        defaultCase(node);
    }
    public void caseAMultArithExp(AMultArithExp node)
    {
        defaultCase(node);
    }
    public void caseADivArithExp(ADivArithExp node)
    {
        defaultCase(node);
    }
    public void caseANegArithExp(ANegArithExp node)
    {
        defaultCase(node);
    }
    public void caseAIntegerArithExp(AIntegerArithExp node)
    {
        defaultCase(node);
    }
    public void caseAConstArithExp(AConstArithExp node)
    {
        defaultCase(node);
    }
    public void caseAFunc(AFunc node)
    {
        defaultCase(node);
    }
    public void caseABitsUniv(ABitsUniv node)
    {
        defaultCase(node);
    }
    public void caseAQUniv(AQUniv node)
    {
        defaultCase(node);
    }
    public void caseANameUniv(ANameUniv node)
    {
        defaultCase(node);
    }
    public void caseANameWhere(ANameWhere node)
    {
        defaultCase(node);
    }
    public void caseAVar0Par(AVar0Par node)
    {
        defaultCase(node);
    }
    public void caseAVar1Par(AVar1Par node)
    {
        defaultCase(node);
    }
    public void caseAVar2Par(AVar2Par node)
    {
        defaultCase(node);
    }
    public void caseAUniversePar(AUniversePar node)
    {
        defaultCase(node);
    }
    public void caseAParPar(AParPar node)
    {
        defaultCase(node);
    }
    public void caseAPwhere(APwhere node)
    {
        defaultCase(node);
    }
    public void caseAVar(AVar node)
    {
        defaultCase(node);
    }
    public void caseAComponent(AComponent node)
    {
        defaultCase(node);
    }
    public void caseAExpSetBody(AExpSetBody node)
    {
        defaultCase(node);
    }
    public void caseAIntervalSetBody(AIntervalSetBody node)
    {
        defaultCase(node);
    }
    public void caseAMapEntry(AMapEntry node)
    {
        defaultCase(node);
    }
    public void caseACallConstnode(ACallConstnode node)
    {
        defaultCase(node);
    }
    public void caseANameConstnode(ANameConstnode node)
    {
        defaultCase(node);
    }

    public void caseTIgnored(TIgnored node)
    {
        defaultCase(node);
    }
    public void caseTAll0(TAll0 node)
    {
        defaultCase(node);
    }
    public void caseTAll1(TAll1 node)
    {
        defaultCase(node);
    }
    public void caseTAll2(TAll2 node)
    {
        defaultCase(node);
    }
    public void caseTAnd(TAnd node)
    {
        defaultCase(node);
    }
    public void caseTArrow(TArrow node)
    {
        defaultCase(node);
    }
    public void caseTAssert(TAssert node)
    {
        defaultCase(node);
    }
    public void caseTBiimpl(TBiimpl node)
    {
        defaultCase(node);
    }
    public void caseTColon(TColon node)
    {
        defaultCase(node);
    }
    public void caseTComma(TComma node)
    {
        defaultCase(node);
    }
    public void caseTConst(TConst node)
    {
        defaultCase(node);
    }
    public void caseTDefault1(TDefault1 node)
    {
        defaultCase(node);
    }
    public void caseTDefault2(TDefault2 node)
    {
        defaultCase(node);
    }
    public void caseTDot(TDot node)
    {
        defaultCase(node);
    }
    public void caseTEmpty(TEmpty node)
    {
        defaultCase(node);
    }
    public void caseTEqual(TEqual node)
    {
        defaultCase(node);
    }
    public void caseTEx0(TEx0 node)
    {
        defaultCase(node);
    }
    public void caseTEx1(TEx1 node)
    {
        defaultCase(node);
    }
    public void caseTEx2(TEx2 node)
    {
        defaultCase(node);
    }
    public void caseTFalse(TFalse node)
    {
        defaultCase(node);
    }
    public void caseTGreater(TGreater node)
    {
        defaultCase(node);
    }
    public void caseTGreatereq(TGreatereq node)
    {
        defaultCase(node);
    }
    public void caseTGuide(TGuide node)
    {
        defaultCase(node);
    }
    public void caseTImpl(TImpl node)
    {
        defaultCase(node);
    }
    public void caseTIn(TIn node)
    {
        defaultCase(node);
    }
    public void caseTInter(TInter node)
    {
        defaultCase(node);
    }
    public void caseTInterval(TInterval node)
    {
        defaultCase(node);
    }
    public void caseTLbrace(TLbrace node)
    {
        defaultCase(node);
    }
    public void caseTLbracket(TLbracket node)
    {
        defaultCase(node);
    }
    public void caseTLess(TLess node)
    {
        defaultCase(node);
    }
    public void caseTLesseq(TLesseq node)
    {
        defaultCase(node);
    }
    public void caseTLet0(TLet0 node)
    {
        defaultCase(node);
    }
    public void caseTLet1(TLet1 node)
    {
        defaultCase(node);
    }
    public void caseTLet2(TLet2 node)
    {
        defaultCase(node);
    }
    public void caseTLparen(TLparen node)
    {
        defaultCase(node);
    }
    public void caseTMacro(TMacro node)
    {
        defaultCase(node);
    }
    public void caseTMax(TMax node)
    {
        defaultCase(node);
    }
    public void caseTMin(TMin node)
    {
        defaultCase(node);
    }
    public void caseTMinus(TMinus node)
    {
        defaultCase(node);
    }
    public void caseTModulo(TModulo node)
    {
        defaultCase(node);
    }
    public void caseTNot(TNot node)
    {
        defaultCase(node);
    }
    public void caseTNotequal(TNotequal node)
    {
        defaultCase(node);
    }
    public void caseTNotin(TNotin node)
    {
        defaultCase(node);
    }
    public void caseTOr(TOr node)
    {
        defaultCase(node);
    }
    public void caseTPlus(TPlus node)
    {
        defaultCase(node);
    }
    public void caseTPred(TPred node)
    {
        defaultCase(node);
    }
    public void caseTRbrace(TRbrace node)
    {
        defaultCase(node);
    }
    public void caseTRestrict(TRestrict node)
    {
        defaultCase(node);
    }
    public void caseTRbracket(TRbracket node)
    {
        defaultCase(node);
    }
    public void caseTUnivroot(TUnivroot node)
    {
        defaultCase(node);
    }
    public void caseTRparen(TRparen node)
    {
        defaultCase(node);
    }
    public void caseTSemicolon(TSemicolon node)
    {
        defaultCase(node);
    }
    public void caseTSetminus(TSetminus node)
    {
        defaultCase(node);
    }
    public void caseTSlash(TSlash node)
    {
        defaultCase(node);
    }
    public void caseTStar(TStar node)
    {
        defaultCase(node);
    }
    public void caseTVerify(TVerify node)
    {
        defaultCase(node);
    }
    public void caseTSub(TSub node)
    {
        defaultCase(node);
    }
    public void caseTTree(TTree node)
    {
        defaultCase(node);
    }
    public void caseTTrue(TTrue node)
    {
        defaultCase(node);
    }
    public void caseTUnion(TUnion node)
    {
        defaultCase(node);
    }
    public void caseTUniverse(TUniverse node)
    {
        defaultCase(node);
    }
    public void caseTUp(TUp node)
    {
        defaultCase(node);
    }
    public void caseTVar0(TVar0 node)
    {
        defaultCase(node);
    }
    public void caseTVar1(TVar1 node)
    {
        defaultCase(node);
    }
    public void caseTVar2(TVar2 node)
    {
        defaultCase(node);
    }
    public void caseTWhere(TWhere node)
    {
        defaultCase(node);
    }
    public void caseTInclude(TInclude node)
    {
        defaultCase(node);
    }
    public void caseTImport(TImport node)
    {
        defaultCase(node);
    }
    public void caseTExport(TExport node)
    {
        defaultCase(node);
    }
    public void caseTPrefix(TPrefix node)
    {
        defaultCase(node);
    }
    public void caseTM2lstr(TM2lstr node)
    {
        defaultCase(node);
    }
    public void caseTM2ltree(TM2ltree node)
    {
        defaultCase(node);
    }
    public void caseTLastpos(TLastpos node)
    {
        defaultCase(node);
    }
    public void caseTInstatespace(TInstatespace node)
    {
        defaultCase(node);
    }
    public void caseTExecute(TExecute node)
    {
        defaultCase(node);
    }
    public void caseTType(TType node)
    {
        defaultCase(node);
    }
    public void caseTSometype(TSometype node)
    {
        defaultCase(node);
    }
    public void caseTVariant(TVariant node)
    {
        defaultCase(node);
    }
    public void caseTSucc(TSucc node)
    {
        defaultCase(node);
    }
    public void caseTWs1s(TWs1s node)
    {
        defaultCase(node);
    }
    public void caseTWs2s(TWs2s node)
    {
        defaultCase(node);
    }
    public void caseTTreeroot(TTreeroot node)
    {
        defaultCase(node);
    }
    public void caseTConsttree(TConsttree node)
    {
        defaultCase(node);
    }
    public void caseTAllpos(TAllpos node)
    {
        defaultCase(node);
    }
    public void caseTInt(TInt node)
    {
        defaultCase(node);
    }
    public void caseTName(TName node)
    {
        defaultCase(node);
    }
    public void caseTString(TString node)
    {
        defaultCase(node);
    }

    public void caseEOF(EOF node)
    {
        defaultCase(node);
    }

    public void defaultCase(Node node)
    {
    }
}
