All Known Implementing Classes:

AllDefinitionsFinder, AllVariableUses, AnalysisAdapter, AndAggregator, ASTCleaner, ASTCleanerTwo, ASTParentNodeFinder, ASTUsesAndDefs, BooleanConditionSimplification, ClosestAbruptTargetFinder, CopyPropagation, CPApplication, DecrementIncrementStmtCreation, DeInliningFinalFields, DepthFirstAdapter, EliminateConditions, ExtraLabelNamesRemover, ForLoopCreator, IfElseSplitter, infoGatheringAnalysis, InitializationDeclarationShortcut, LabelToNodeMapper, LocalVariableCleaner, LoopStrengthener, MethodCallFinder, NewStringBufferSimplification, OrAggregatorFour, OrAggregatorOne, OrAggregatorTwo, PushLabeledBlockIn, ShortcutArrayInit, ShortcutIfGenerator, SimplifyConditions, SimplifyExpressions, StaticDefinitionFinder, SuperFirstStmtHandler, TypeCastingError, UnreachableCodeEliminator, UselessAbruptStmtRemover, UselessLabeledBlockRemover
```
public interface Analysis
```

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`void`	`caseArrayRef(ArrayRef ar)`
`void`	`caseASTAndCondition(ASTAndCondition ac)`
`void`	`caseASTBinaryCondition(ASTBinaryCondition bc)`
`void`	`caseASTDoWhileNode(ASTDoWhileNode node)`
`void`	`caseASTForLoopNode(ASTForLoopNode node)`
`void`	`caseASTIfElseNode(ASTIfElseNode node)`
`void`	`caseASTIfNode(ASTIfNode node)`
`void`	`caseASTLabeledBlockNode(ASTLabeledBlockNode node)`
`void`	`caseASTMethodNode(ASTMethodNode node)`
`void`	`caseASTOrCondition(ASTOrCondition oc)`
`void`	`caseASTStatementSequenceNode(ASTStatementSequenceNode node)`
`void`	`caseASTSwitchNode(ASTSwitchNode node)`
`void`	`caseASTSynchronizedBlockNode(ASTSynchronizedBlockNode node)`
`void`	`caseASTTryNode(ASTTryNode node)`
`void`	`caseASTUnaryCondition(ASTUnaryCondition uc)`
`void`	`caseASTUnconditionalLoopNode(ASTUnconditionalLoopNode node)`
`void`	`caseASTWhileNode(ASTWhileNode node)`
`void`	`caseBinopExpr(BinopExpr be)`
`void`	`caseCastExpr(CastExpr ce)`
`void`	`caseDefinitionStmt(DefinitionStmt s)`
`void`	`caseDVariableDeclarationStmt(DVariableDeclarationStmt s)`
`void`	`caseExpr(Expr e)`
`void`	`caseInstanceFieldRef(InstanceFieldRef ifr)`
`void`	`caseInstanceInvokeExpr(InstanceInvokeExpr iie)`
`void`	`caseInstanceOfExpr(InstanceOfExpr ioe)`
`void`	`caseInvokeExpr(InvokeExpr ie)`
`void`	`caseInvokeStmt(InvokeStmt s)`
`void`	`caseNewArrayExpr(NewArrayExpr nae)`
`void`	`caseNewMultiArrayExpr(NewMultiArrayExpr nmae)`
`void`	`caseRef(Ref r)`
`void`	`caseReturnStmt(ReturnStmt s)`
`void`	`caseStaticFieldRef(StaticFieldRef sfr)`
`void`	`caseStmt(Stmt s)`
`void`	`caseThrowStmt(ThrowStmt s)`
`void`	`caseType(Type t)`
`void`	`caseUnopExpr(UnopExpr ue)`
`void`	`caseValue(Value v)`

Method Detail

caseASTMethodNode

void caseASTMethodNode(ASTMethodNode node)

caseASTSynchronizedBlockNode

void caseASTSynchronizedBlockNode(ASTSynchronizedBlockNode node)

caseASTLabeledBlockNode

void caseASTLabeledBlockNode(ASTLabeledBlockNode node)

caseASTUnconditionalLoopNode

void caseASTUnconditionalLoopNode(ASTUnconditionalLoopNode node)

caseASTSwitchNode

void caseASTSwitchNode(ASTSwitchNode node)

caseASTIfNode
```
void caseASTIfNode(ASTIfNode node)
```

caseASTIfElseNode

void caseASTIfElseNode(ASTIfElseNode node)

caseASTWhileNode

void caseASTWhileNode(ASTWhileNode node)

caseASTForLoopNode

void caseASTForLoopNode(ASTForLoopNode node)

caseASTDoWhileNode

void caseASTDoWhileNode(ASTDoWhileNode node)

caseASTTryNode

void caseASTTryNode(ASTTryNode node)

caseASTStatementSequenceNode

void caseASTStatementSequenceNode(ASTStatementSequenceNode node)

caseASTUnaryCondition

void caseASTUnaryCondition(ASTUnaryCondition uc)

caseASTBinaryCondition

void caseASTBinaryCondition(ASTBinaryCondition bc)

caseASTAndCondition

void caseASTAndCondition(ASTAndCondition ac)

caseASTOrCondition

void caseASTOrCondition(ASTOrCondition oc)

caseType
```
void caseType(Type t)
```

caseDefinitionStmt

void caseDefinitionStmt(DefinitionStmt s)

caseReturnStmt
```
void caseReturnStmt(ReturnStmt s)
```

caseInvokeStmt
```
void caseInvokeStmt(InvokeStmt s)
```

caseThrowStmt
```
void caseThrowStmt(ThrowStmt s)
```

caseDVariableDeclarationStmt

void caseDVariableDeclarationStmt(DVariableDeclarationStmt s)

caseStmt
```
void caseStmt(Stmt s)
```

caseValue
```
void caseValue(Value v)
```

caseExpr
```
void caseExpr(Expr e)
```

caseRef
```
void caseRef(Ref r)
```

caseBinopExpr
```
void caseBinopExpr(BinopExpr be)
```

caseUnopExpr
```
void caseUnopExpr(UnopExpr ue)
```

caseNewArrayExpr

void caseNewArrayExpr(NewArrayExpr nae)

caseNewMultiArrayExpr

void caseNewMultiArrayExpr(NewMultiArrayExpr nmae)

caseInstanceOfExpr

void caseInstanceOfExpr(InstanceOfExpr ioe)

caseInvokeExpr
```
void caseInvokeExpr(InvokeExpr ie)
```

caseInstanceInvokeExpr

void caseInstanceInvokeExpr(InstanceInvokeExpr iie)

caseCastExpr
```
void caseCastExpr(CastExpr ce)
```

caseArrayRef
```
void caseArrayRef(ArrayRef ar)
```

caseInstanceFieldRef

void caseInstanceFieldRef(InstanceFieldRef ifr)

caseStaticFieldRef

void caseStaticFieldRef(StaticFieldRef sfr)

Interface Analysis

Method Summary

Method Detail

caseASTMethodNode

caseASTSynchronizedBlockNode

caseASTLabeledBlockNode

caseASTUnconditionalLoopNode

caseASTSwitchNode

caseASTIfNode

caseASTIfElseNode

caseASTWhileNode

caseASTForLoopNode

caseASTDoWhileNode

caseASTTryNode

caseASTStatementSequenceNode

caseASTUnaryCondition

caseASTBinaryCondition

caseASTAndCondition

caseASTOrCondition

caseType

caseDefinitionStmt

caseReturnStmt

caseInvokeStmt

caseThrowStmt

caseDVariableDeclarationStmt

caseStmt

caseValue

caseExpr

caseRef

caseBinopExpr

caseUnopExpr

caseNewArrayExpr

caseNewMultiArrayExpr

caseInstanceOfExpr

caseInvokeExpr

caseInstanceInvokeExpr

caseCastExpr

caseArrayRef

caseInstanceFieldRef

caseStaticFieldRef