00001 package edu.ksu.cis.bandera.specification.predicate.analysis;
00002
00003
00004
00005 import edu.ksu.cis.bandera.specification.predicate.node.*;
00006
00007 public interface Analysis extends Switch
00008 {
00009 void caseAAddExpShiftExp(AAddExpShiftExp node);
00010 void caseAAndAndExp(AAndAndExp node);
00011 void caseAAndBinOp(AAndBinOp node);
00012 void caseAAndBitAndExp(AAndBitAndExp node);
00013 void caseAAndExclusiveOrExp(AAndExclusiveOrExp node);
00014 void caseAAndOrExp(AAndOrExp node);
00015 void caseAArrayAccessPrimaryExp(AArrayAccessPrimaryExp node);
00016 void caseABinaryExp(ABinaryExp node);
00017 void caseABitAndBinOp(ABitAndBinOp node);
00018 void caseABitComplementExp(ABitComplementExp node);
00019 void caseABitComplementUnaryNotPlusMinusExp(ABitComplementUnaryNotPlusMinusExp node);
00020 void caseABitOrBinOp(ABitOrBinOp node);
00021 void caseABitXorBinOp(ABitXorBinOp node);
00022 void caseABooleanPrimitiveType(ABooleanPrimitiveType node);
00023 void caseABytePrimitiveType(ABytePrimitiveType node);
00024 void caseACastUnaryNotPlusMinusExp(ACastUnaryNotPlusMinusExp node);
00025 void caseACharLiteral(ACharLiteral node);
00026 void caseACharPrimitiveType(ACharPrimitiveType node);
00027 void caseAColonExp(AColonExp node);
00028 void caseAComplementExp(AComplementExp node);
00029 void caseAComplementUnaryNotPlusMinusExp(AComplementUnaryNotPlusMinusExp node);
00030 void caseAConditionalExp(AConditionalExp node);
00031 void caseACpl(ACpl node);
00032 void caseADecIntLiteral(ADecIntLiteral node);
00033 void caseADecLongLiteral(ADecLongLiteral node);
00034 void caseADoubleLiteral(ADoubleLiteral node);
00035 void caseADoublePrimitiveType(ADoublePrimitiveType node);
00036 void caseAEndOfLineComment(AEndOfLineComment node);
00037 void caseAEqBitAndExp(AEqBitAndExp node);
00038 void caseAEqEqExp(AEqEqExp node);
00039 void caseAEqualBinOp(AEqualBinOp node);
00040 void caseAExpressionPropositionDefinition(AExpressionPropositionDefinition node);
00041 void caseAFalseLiteral(AFalseLiteral node);
00042 void caseAFieldAccessPrimaryExp(AFieldAccessPrimaryExp node);
00043 void caseAFloatLiteral(AFloatLiteral node);
00044 void caseAFloatPrimitiveType(AFloatPrimitiveType node);
00045 void caseAGreaterBinOp(AGreaterBinOp node);
00046 void caseAGreaterEqualBinOp(AGreaterEqualBinOp node);
00047 void caseAGreaterEqualRelExp(AGreaterEqualRelExp node);
00048 void caseAGreaterRelExp(AGreaterRelExp node);
00049 void caseAHexIntLiteral(AHexIntLiteral node);
00050 void caseAHexLongLiteral(AHexLongLiteral node);
00051 void caseAInclusiveOrAndExp(AInclusiveOrAndExp node);
00052 void caseAInstanceofExp(AInstanceofExp node);
00053 void caseAInstanceofRelExp(AInstanceofRelExp node);
00054 void caseAInstanceParams(AInstanceParams node);
00055 void caseAIntPrimitiveType(AIntPrimitiveType node);
00056 void caseAInvokePropositionDefinition(AInvokePropositionDefinition node);
00057 void caseALeftShiftExp(ALeftShiftExp node);
00058 void caseALessBinOp(ALessBinOp node);
00059 void caseALessEqualBinOp(ALessEqualBinOp node);
00060 void caseALessEqualRelExp(ALessEqualRelExp node);
00061 void caseALessRelExp(ALessRelExp node);
00062 void caseALiteralExp(ALiteralExp node);
00063 void caseALiteralPrimaryExp(ALiteralPrimaryExp node);
00064 void caseALocationPropositionDefinition(ALocationPropositionDefinition node);
00065 void caseALongPrimitiveType(ALongPrimitiveType node);
00066 void caseAMinusAddExp(AMinusAddExp node);
00067 void caseAMinusBinOp(AMinusBinOp node);
00068 void caseAMinusUnaryExp(AMinusUnaryExp node);
00069 void caseAMultAddExp(AMultAddExp node);
00070 void caseANameExp(ANameExp node);
00071 void caseANamePostfixExp(ANamePostfixExp node);
00072 void caseANavigationExp(ANavigationExp node);
00073 void caseANegativeExp(ANegativeExp node);
00074 void caseANeqEqExp(ANeqEqExp node);
00075 void caseANotEqualBinOp(ANotEqualBinOp node);
00076 void caseANullLiteral(ANullLiteral node);
00077 void caseAOctIntLiteral(AOctIntLiteral node);
00078 void caseAOctLongLiteral(AOctLongLiteral node);
00079 void caseAOrBinOp(AOrBinOp node);
00080 void caseAOrConditionalExp(AOrConditionalExp node);
00081 void caseAOrInclusiveOrExp(AOrInclusiveOrExp node);
00082 void caseAOrOrExp(AOrOrExp node);
00083 void caseAParamParamList(AParamParamList node);
00084 void caseAParamsParamList(AParamsParamList node);
00085 void caseAParenExp(AParenExp node);
00086 void caseAParenPrimaryExp(AParenPrimaryExp node);
00087 void caseAPlusAddExp(APlusAddExp node);
00088 void caseAPlusBinOp(APlusBinOp node);
00089 void caseAPlusUnaryExp(APlusUnaryExp node);
00090 void caseAPostfixUnaryNotPlusMinusExp(APostfixUnaryNotPlusMinusExp node);
00091 void caseAPrimaryPostfixExp(APrimaryPostfixExp node);
00092 void caseAQualifiedName(AQualifiedName node);
00093 void caseAQuestionConditionalExp(AQuestionConditionalExp node);
00094 void caseAQuestionExp(AQuestionExp node);
00095 void caseARelEqExp(ARelEqExp node);
00096 void caseAReturnPropositionDefinition(AReturnPropositionDefinition node);
00097 void caseAReturnValueExp(AReturnValueExp node);
00098 void caseAReturnValuePrimaryExp(AReturnValuePrimaryExp node);
00099 void caseAShiftLeftBinOp(AShiftLeftBinOp node);
00100 void caseAShiftRelExp(AShiftRelExp node);
00101 void caseAShortPrimitiveType(AShortPrimitiveType node);
00102 void caseASignedRightShiftExp(ASignedRightShiftExp node);
00103 void caseASignedShiftRightBinOp(ASignedShiftRightBinOp node);
00104 void caseASimpleName(ASimpleName node);
00105 void caseAStaticParams(AStaticParams node);
00106 void caseAStringLiteral(AStringLiteral node);
00107 void caseAStrongArrayNavigation(AStrongArrayNavigation node);
00108 void caseAStrongCastExp(AStrongCastExp node);
00109 void caseAStrongDivBinOp(AStrongDivBinOp node);
00110 void caseAStrongDivMultExp(AStrongDivMultExp node);
00111 void caseAStrongExpArrayAccess(AStrongExpArrayAccess node);
00112 void caseAStrongExpCastExp(AStrongExpCastExp node);
00113 void caseAStrongModBinOp(AStrongModBinOp node);
00114 void caseAStrongModMultExp(AStrongModMultExp node);
00115 void caseAStrongNameArrayAccess(AStrongNameArrayAccess node);
00116 void caseAStrongNameCastExp(AStrongNameCastExp node);
00117 void caseAStrongObjectFieldAccess(AStrongObjectFieldAccess node);
00118 void caseAStrongObjectNavigation(AStrongObjectNavigation node);
00119 void caseAStrongPrimitiveCastExp(AStrongPrimitiveCastExp node);
00120 void caseAThisExp(AThisExp node);
00121 void caseAThisPrimaryExp(AThisPrimaryExp node);
00122 void caseATimesBinOp(ATimesBinOp node);
00123 void caseATimesMultExp(ATimesMultExp node);
00124 void caseATrueLiteral(ATrueLiteral node);
00125 void caseAUnaryExpMultExp(AUnaryExpMultExp node);
00126 void caseAUnaryNotPlusMinusUnaryExp(AUnaryNotPlusMinusUnaryExp node);
00127 void caseAUnit(AUnit node);
00128 void caseAUnsignedRightShiftExp(AUnsignedRightShiftExp node);
00129 void caseAUnsignedShiftRightBinOp(AUnsignedShiftRightBinOp node);
00130 void caseAXorExclusiveOrExp(AXorExclusiveOrExp node);
00131 void caseAXorInclusiveOrExp(AXorInclusiveOrExp node);
00132 void caseEOF(EOF node);
00133 void caseStart(Start node);
00134 void caseTAnd(TAnd node);
00135 void caseTBitAnd(TBitAnd node);
00136 void caseTBitComplement(TBitComplement node);
00137 void caseTBitOr(TBitOr node);
00138 void caseTBitXor(TBitXor node);
00139 void caseTBoolean(TBoolean node);
00140 void caseTByte(TByte node);
00141 void caseTChar(TChar node);
00142 void caseTCharLiteral(TCharLiteral node);
00143 void caseTColon(TColon node);
00144 void caseTComma(TComma node);
00145 void caseTDecIntLiteral(TDecIntLiteral node);
00146 void caseTDecLongLiteral(TDecLongLiteral node);
00147 void caseTDim(TDim node);
00148 void caseTDocumentationComment(TDocumentationComment node);
00149 void caseTDot(TDot node);
00150 void caseTDouble(TDouble node);
00151 void caseTDoubleLiteral(TDoubleLiteral node);
00152 void caseTEndOfLineComment(TEndOfLineComment node);
00153 void caseTEqual(TEqual node);
00154 void caseTExpression(TExpression node);
00155 void caseTFalse(TFalse node);
00156 void caseTFloat(TFloat node);
00157 void caseTFloatLiteral(TFloatLiteral node);
00158 void caseTGreater(TGreater node);
00159 void caseTGreaterEqual(TGreaterEqual node);
00160 void caseTHexIntLiteral(THexIntLiteral node);
00161 void caseTHexLongLiteral(THexLongLiteral node);
00162 void caseTId(TId node);
00163 void caseTInstanceof(TInstanceof node);
00164 void caseTInt(TInt node);
00165 void caseTInvoke(TInvoke node);
00166 void caseTLBrace(TLBrace node);
00167 void caseTLBracket(TLBracket node);
00168 void caseTLess(TLess node);
00169 void caseTLessEqual(TLessEqual node);
00170 void caseTLocation(TLocation node);
00171 void caseTLong(TLong node);
00172 void caseTLParen(TLParen node);
00173 void caseTMinus(TMinus node);
00174 void caseTNot(TNot node);
00175 void caseTNotEqual(TNotEqual node);
00176 void caseTNull(TNull node);
00177 void caseTOctIntLiteral(TOctIntLiteral node);
00178 void caseTOctLongLiteral(TOctLongLiteral node);
00179 void caseTOr(TOr node);
00180 void caseTPlus(TPlus node);
00181 void caseTQuestion(TQuestion node);
00182 void caseTRBrace(TRBrace node);
00183 void caseTRBracket(TRBracket node);
00184 void caseTReturn(TReturn node);
00185 void caseTRetVal(TRetVal node);
00186 void caseTRParen(TRParen node);
00187 void caseTSemicolon(TSemicolon node);
00188 void caseTShiftLeft(TShiftLeft node);
00189 void caseTShort(TShort node);
00190 void caseTSignedShiftRight(TSignedShiftRight node);
00191 void caseTStar(TStar node);
00192 void caseTStringLiteral(TStringLiteral node);
00193 void caseTStrongDiv(TStrongDiv node);
00194 void caseTStrongMod(TStrongMod node);
00195 void caseTThis(TThis node);
00196 void caseTTraditionalComment(TTraditionalComment node);
00197 void caseTTrue(TTrue node);
00198 void caseTUnsignedShiftRight(TUnsignedShiftRight node);
00199 void caseTWeakDiv(TWeakDiv node);
00200 void caseTWeakMod(TWeakMod node);
00201 void caseTWhiteSpace(TWhiteSpace node);
00202 Object getIn(Node node);
00203 Object getOut(Node node);
00204 void setIn(Node node, Object in);
00205 void setOut(Node node, Object out);
00206 }
