00001 package edu.ksu.cis.bandera.specification.analysis;
00002
00003
00004
00005 import edu.ksu.cis.bandera.specification.node.*;
00006
00007 public interface Analysis extends Switch
00008 {
00009 void caseAAndAndExp(AAndAndExp node);
00010 void caseAAndBinOp(AAndBinOp node);
00011 void caseAAndOrExp(AAndOrExp node);
00012 void caseAArgsArgs(AArgsArgs node);
00013 void caseAAssert(AAssert node);
00014 void caseAAssertDef(AAssertDef node);
00015 void caseAAssertionImport(AAssertionImport node);
00016 void caseABinaryExp(ABinaryExp node);
00017 void caseACommaFormatWord(ACommaFormatWord node);
00018 void caseACommaWord(ACommaWord node);
00019 void caseAComplementExp(AComplementExp node);
00020 void caseAComplementUnaryExp(AComplementUnaryExp node);
00021 void caseADotFormatWord(ADotFormatWord node);
00022 void caseADotWord(ADotWord node);
00023 void caseAExactQtlBinding(AExactQtlBinding node);
00024 void caseAExpWord(AExpWord node);
00025 void caseAFilterTypeOp(AFilterTypeOp node);
00026 void caseAFormat(AFormat node);
00027 void caseAFormatUnit(AFormatUnit node);
00028 void caseAHoleFormatWord(AHoleFormatWord node);
00029 void caseAIdArgs(AIdArgs node);
00030 void caseAIdFormatWord(AIdFormatWord node);
00031 void caseAIdIds(AIdIds node);
00032 void caseAIdsIds(AIdsIds node);
00033 void caseAIdWord(AIdWord node);
00034 void caseAImplicationExp(AImplicationExp node);
00035 void caseAImplyBinOp(AImplyBinOp node);
00036 void caseAImplyImplicationExp(AImplyImplicationExp node);
00037 void caseAInstanceQtlBinding(AInstanceQtlBinding node);
00038 void caseANameImportNames(ANameImportNames node);
00039 void caseANameNames(ANameNames node);
00040 void caseANamePrimaryTypeExp(ANamePrimaryTypeExp node);
00041 void caseANamesImportNames(ANamesImportNames node);
00042 void caseANamesNames(ANamesNames node);
00043 void caseANumberFormatWord(ANumberFormatWord node);
00044 void caseANumberWord(ANumberWord node);
00045 void caseAOnDemandImportName(AOnDemandImportName node);
00046 void caseAOpTypeExp(AOpTypeExp node);
00047 void caseAOrBinOp(AOrBinOp node);
00048 void caseAOrImplicationExp(AOrImplicationExp node);
00049 void caseAOrOrExp(AOrOrExp node);
00050 void caseAParenExp(AParenExp node);
00051 void caseAParenPrimaryExp(AParenPrimaryExp node);
00052 void caseAParenPrimaryTypeExp(AParenPrimaryTypeExp node);
00053 void caseAPredicateExp(APredicateExp node);
00054 void caseAPredicateImport(APredicateImport node);
00055 void caseAPredicatePrimaryExp(APredicatePrimaryExp node);
00056 void caseAPrimaryTypeExp(APrimaryTypeExp node);
00057 void caseAPrimaryUnaryExp(APrimaryUnaryExp node);
00058 void caseAPropertiesUnit(APropertiesUnit node);
00059 void caseAQtl(AQtl node);
00060 void caseAQualifiedName(AQualifiedName node);
00061 void caseASimpleName(ASimpleName node);
00062 void caseASpecificImportName(ASpecificImportName node);
00063 void caseATl(ATl node);
00064 void caseATlDef(ATlDef node);
00065 void caseATypeImport(ATypeImport node);
00066 void caseAUnaryAndExp(AUnaryAndExp node);
00067 void caseAUnionTypeOp(AUnionTypeOp node);
00068 void caseEOF(EOF node);
00069 void caseStart(Start node);
00070 void caseTAnd(TAnd node);
00071 void caseTAssertion(TAssertion node);
00072 void caseTAssertions(TAssertions node);
00073 void caseTColon(TColon node);
00074 void caseTComma(TComma node);
00075 void caseTDocumentationComment(TDocumentationComment node);
00076 void caseTDot(TDot node);
00077 void caseTDoubleQuote(TDoubleQuote node);
00078 void caseTEnable(TEnable node);
00079 void caseTEndOfLineComment(TEndOfLineComment node);
00080 void caseTForall(TForall node);
00081 void caseTGreater(TGreater node);
00082 void caseTId(TId node);
00083 void caseTImply(TImply node);
00084 void caseTImport(TImport node);
00085 void caseTInstance(TInstance node);
00086 void caseTLBrace(TLBrace node);
00087 void caseTLBracket(TLBracket node);
00088 void caseTLess(TLess node);
00089 void caseTLessEqual(TLessEqual node);
00090 void caseTLParen(TLParen node);
00091 void caseTMinus(TMinus node);
00092 void caseTNot(TNot node);
00093 void caseTNumber(TNumber node);
00094 void caseTOr(TOr node);
00095 void caseTPlus(TPlus node);
00096 void caseTPredicate(TPredicate node);
00097 void caseTRBrace(TRBrace node);
00098 void caseTRBracket(TRBracket node);
00099 void caseTRParen(TRParen node);
00100 void caseTSemicolon(TSemicolon node);
00101 void caseTStar(TStar node);
00102 void caseTTraditionalComment(TTraditionalComment node);
00103 void caseTWhiteSpace(TWhiteSpace node);
00104 Object getIn(Node node);
00105 Object getOut(Node node);
00106 void setIn(Node node, Object in);
00107 void setOut(Node node, Object out);
00108 }
