|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttip.cfg.CFGAnalysisAdapter
tip.cfg.FlowAnalysis<EqualitySet<ABinopExp>>
tip.cfg.dfa.AvailableExpressionsAnalysis
public class AvailableExpressionsAnalysis
AvailableExpressionsAnalysis
implements the Available Expressions
forwards-must analysis. It utilizes the ExpressionEqualitor
for definining equality on expression.
Constructor Summary | |
---|---|
AvailableExpressionsAnalysis()
Creates a new AvailableExpressionsAnalysis analysis. |
Method Summary | |
---|---|
boolean |
caseCAssignVarStmPoint(AAssignVarStm node,
CAssignVarStmPoint point)
Computes the variable the program associated with the assignment statement node . |
boolean |
caseCIfThenElseStmPoint(AIfThenElseStm node,
CIfThenElseStmPoint point)
Computes the variable the program associated with the if-then-else statement node . |
boolean |
caseCIfThenStmPoint(AIfThenStm node,
CIfThenStmPoint point)
Computes the variable the program associated with the if-then statement node . |
boolean |
caseCOutputStmPoint(AOutputStm node,
COutputStmPoint point)
Computes the variable the program associated with the output statement node . |
boolean |
caseCReturnStmPoint(AReturnStm node,
CReturnStmPoint point)
Computes the variable the program associated with the return statement node . |
boolean |
caseCWhileStmPoint(AWhileStm node,
CWhileStmPoint point)
Computes the variable the program associated with the while statement node . |
boolean |
caseEntryPoint(Node node,
EntryPoint point)
Computes the variable for the entry point point . |
String |
getVariableString(EqualitySet<ABinopExp> variable)
Returns a textual representation of variable . |
Methods inherited from class tip.cfg.FlowAnalysis |
---|
defaultNode, end, getDependencySet, getLattice, getName, getVariable, getVariableStringForPoint, getVariableStringForPoint, setVariable, start |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public AvailableExpressionsAnalysis()
AvailableExpressionsAnalysis
analysis.
Method Detail |
---|
public boolean caseEntryPoint(Node node, EntryPoint point)
point
.
caseEntryPoint
in interface ICFGAnalysis
caseEntryPoint
in class CFGAnalysisAdapter
node
- the associated nodepoint
- the entry point in question
true
if the variable for point
changedpublic boolean caseCAssignVarStmPoint(AAssignVarStm node, CAssignVarStmPoint point)
node
.
caseCAssignVarStmPoint
in interface ICFGAnalysis
caseCAssignVarStmPoint
in class CFGAnalysisAdapter
node
- the assignment statement in questionpoint
- the point for which the variable is computed
true
if the variable for point
has changedpublic boolean caseCIfThenStmPoint(AIfThenStm node, CIfThenStmPoint point)
node
.
caseCIfThenStmPoint
in interface ICFGAnalysis
caseCIfThenStmPoint
in class CFGAnalysisAdapter
node
- the if-then statement in questionpoint
- the point for which the variable is computed
true
if the variable for point
has changedpublic boolean caseCIfThenElseStmPoint(AIfThenElseStm node, CIfThenElseStmPoint point)
node
.
caseCIfThenElseStmPoint
in interface ICFGAnalysis
caseCIfThenElseStmPoint
in class CFGAnalysisAdapter
node
- the if-then-else statement in questionpoint
- the point for which the variable is computed
true
if the variable for point
has changedpublic boolean caseCWhileStmPoint(AWhileStm node, CWhileStmPoint point)
node
.
caseCWhileStmPoint
in interface ICFGAnalysis
caseCWhileStmPoint
in class CFGAnalysisAdapter
node
- the while statement in questionpoint
- the point for which the variable is computed
true
if the variable for point
has changedpublic boolean caseCOutputStmPoint(AOutputStm node, COutputStmPoint point)
node
.
caseCOutputStmPoint
in interface ICFGAnalysis
caseCOutputStmPoint
in class CFGAnalysisAdapter
node
- the output statement in questionpoint
- the point for which the variable is computed
true
if the variable for point
has changedpublic boolean caseCReturnStmPoint(AReturnStm node, CReturnStmPoint point)
node
.
caseCReturnStmPoint
in interface ICFGAnalysis
caseCReturnStmPoint
in class CFGAnalysisAdapter
node
- the return statement in questionpoint
- the point for which the variable is computed
true
if the variable for point
has changedpublic String getVariableString(EqualitySet<ABinopExp> variable)
variable
. NodeText
is
passed to EqualitySet.toString(Stringifier)
in order to let
EqualitySet
print each element as defined by NodeText
.
variable
- the variable for which a textual representation is returned
variable
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |