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

package MONAViewer.monalanguage.analysis;

import MONAViewer.monalanguage.node.*;

public interface Analysis extends Switch
{
    Object getIn(Node node);
    void setIn(Node node, Object in);
    Object getOut(Node node);
    void setOut(Node node, Object out);

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

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