|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
ICFG
defines the interface for a control flow graph.ICFGAnalysis
defines the interface for an analysis based on
IProgramPoint
.ICFGCollection
defines the interface for a collection of control
flow graphs.IdentityEqualitor
implements the Equalitor
interface by
calling the Object.equals(Object)
and
Object.hashCode()
methods.DepthFirstAdapter.caseAAssignPtrStm(AAssignPtrStm)
before traversing the children of AAssignPtrStm
.
ReversedDepthFirstAdapter.caseAAssignPtrStm(AAssignPtrStm)
before traversing the children of AAssignPtrStm
.
DepthFirstAdapter.caseAAssignVarStm(AAssignVarStm)
before traversing the children of AAssignVarStm
.
ReversedDepthFirstAdapter.caseAAssignVarStm(AAssignVarStm)
before traversing the children of AAssignVarStm
.
DepthFirstAdapter.caseABinopExp(ABinopExp)
before traversing the children of ABinopExp
.
ReversedDepthFirstAdapter.caseABinopExp(ABinopExp)
before traversing the children of ABinopExp
.
DepthFirstAdapter.caseABlock(ABlock)
before traversing the children of ABlock
.
ReversedDepthFirstAdapter.caseABlock(ABlock)
before traversing the children of ABlock
.
DepthFirstAdapter.caseABlockStm(ABlockStm)
before traversing the children of ABlockStm
.
ReversedDepthFirstAdapter.caseABlockStm(ABlockStm)
before traversing the children of ABlockStm
.
DepthFirstAdapter.caseABody(ABody)
before traversing the children of ABody
.
ReversedDepthFirstAdapter.caseABody(ABody)
before traversing the children of ABody
.
DepthFirstAdapter.caseADeclStm(ADeclStm)
before traversing the children of ADeclStm
.
ReversedDepthFirstAdapter.caseADeclStm(ADeclStm)
before traversing the children of ADeclStm
.
DepthFirstAdapter.caseADerefExp(ADerefExp)
before traversing the children of ADerefExp
.
ReversedDepthFirstAdapter.caseADerefExp(ADerefExp)
before traversing the children of ADerefExp
.
DepthFirstAdapter.caseADivideBinop(ADivideBinop)
before traversing the children of ADivideBinop
.
ReversedDepthFirstAdapter.caseADivideBinop(ADivideBinop)
before traversing the children of ADivideBinop
.
DepthFirstAdapter.caseAEqBinop(AEqBinop)
before traversing the children of AEqBinop
.
ReversedDepthFirstAdapter.caseAEqBinop(AEqBinop)
before traversing the children of AEqBinop
.
DepthFirstAdapter.caseAFuncDecl(AFuncDecl)
before traversing the children of AFuncDecl
.
ReversedDepthFirstAdapter.caseAFuncDecl(AFuncDecl)
before traversing the children of AFuncDecl
.
DepthFirstAdapter.caseAFunctionCallExp(AFunctionCallExp)
before traversing the children of AFunctionCallExp
.
ReversedDepthFirstAdapter.caseAFunctionCallExp(AFunctionCallExp)
before traversing the children of AFunctionCallExp
.
DepthFirstAdapter.caseAFunctionPtrCallExp(AFunctionPtrCallExp)
before traversing the children of AFunctionPtrCallExp
.
ReversedDepthFirstAdapter.caseAFunctionPtrCallExp(AFunctionPtrCallExp)
before traversing the children of AFunctionPtrCallExp
.
DepthFirstAdapter.caseAGtBinop(AGtBinop)
before traversing the children of AGtBinop
.
ReversedDepthFirstAdapter.caseAGtBinop(AGtBinop)
before traversing the children of AGtBinop
.
DepthFirstAdapter.caseAIfThenElseStm(AIfThenElseStm)
before traversing the children of AIfThenElseStm
.
ReversedDepthFirstAdapter.caseAIfThenElseStm(AIfThenElseStm)
before traversing the children of AIfThenElseStm
.
DepthFirstAdapter.caseAIfThenStm(AIfThenStm)
before traversing the children of AIfThenStm
.
ReversedDepthFirstAdapter.caseAIfThenStm(AIfThenStm)
before traversing the children of AIfThenStm
.
DepthFirstAdapter.caseAInputExp(AInputExp)
before traversing the children of AInputExp
.
ReversedDepthFirstAdapter.caseAInputExp(AInputExp)
before traversing the children of AInputExp
.
DepthFirstAdapter.caseAIntConstExp(AIntConstExp)
before traversing the children of AIntConstExp
.
ReversedDepthFirstAdapter.caseAIntConstExp(AIntConstExp)
before traversing the children of AIntConstExp
.
DepthFirstAdapter.caseALocalDecl(ALocalDecl)
before traversing the children of ALocalDecl
.
ReversedDepthFirstAdapter.caseALocalDecl(ALocalDecl)
before traversing the children of ALocalDecl
.
DepthFirstAdapter.caseAMallocExp(AMallocExp)
before traversing the children of AMallocExp
.
ReversedDepthFirstAdapter.caseAMallocExp(AMallocExp)
before traversing the children of AMallocExp
.
DepthFirstAdapter.caseAMinusBinop(AMinusBinop)
before traversing the children of AMinusBinop
.
ReversedDepthFirstAdapter.caseAMinusBinop(AMinusBinop)
before traversing the children of AMinusBinop
.
DepthFirstAdapter.caseANullExp(ANullExp)
before traversing the children of ANullExp
.
ReversedDepthFirstAdapter.caseANullExp(ANullExp)
before traversing the children of ANullExp
.
DepthFirstAdapter.caseAOutputStm(AOutputStm)
before traversing the children of AOutputStm
.
ReversedDepthFirstAdapter.caseAOutputStm(AOutputStm)
before traversing the children of AOutputStm
.
DepthFirstAdapter.caseAPlusBinop(APlusBinop)
before traversing the children of APlusBinop
.
ReversedDepthFirstAdapter.caseAPlusBinop(APlusBinop)
before traversing the children of APlusBinop
.
DepthFirstAdapter.caseAPointerExp(APointerExp)
before traversing the children of APointerExp
.
ReversedDepthFirstAdapter.caseAPointerExp(APointerExp)
before traversing the children of APointerExp
.
DepthFirstAdapter.caseAProgram(AProgram)
before traversing the children of AProgram
.
ReversedDepthFirstAdapter.caseAProgram(AProgram)
before traversing the children of AProgram
.
DepthFirstAdapter.caseAReturnStm(AReturnStm)
before traversing the children of AReturnStm
.
ReversedDepthFirstAdapter.caseAReturnStm(AReturnStm)
before traversing the children of AReturnStm
.
DepthFirstAdapter.caseATimesBinop(ATimesBinop)
before traversing the children of ATimesBinop
.
ReversedDepthFirstAdapter.caseATimesBinop(ATimesBinop)
before traversing the children of ATimesBinop
.
DepthFirstAdapter.caseAVarExp(AVarExp)
before traversing the children of AVarExp
.
ReversedDepthFirstAdapter.caseAVarExp(AVarExp)
before traversing the children of AVarExp
.
DepthFirstAdapter.caseAWhileStm(AWhileStm)
before traversing the children of AWhileStm
.
ReversedDepthFirstAdapter.caseAWhileStm(AWhileStm)
before traversing the children of AWhileStm
.
newPoint
in the control flow graph after point
.
newPoint
in the control flow graph after point
.
newPoint
in the control flow graph before point
.
newPoint
in the control flow graph before point
.
DepthFirstAdapter.caseStart(Start)
before traversing the children of Start
.
ReversedDepthFirstAdapter.caseStart(Start)
before traversing the children of Start
.
Interprocedural
converts a collection of intraprocedural control flow
graphs into a single interprocedural control flow graph.IntersectionSetLattice
defines a set lattice with elements of type
L
and with intersection as least-upper-bound operator.IntersectionSetLattice
using the
IdentityEqualitor
as equalitor used for element equality.
IntersectionSetLattice
using the equalitor
as Equalitor
used for element equality.
IProgramPoint
defines the interface for a program point in a control
flow graph.true
if the current analysis is in the narrowing phase.
true
if the current analysis is in the widening phase.
|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |