|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ITACAnalysisContext | |
---|---|
edu.cmu.cs.crystal.analysis.constant | |
edu.cmu.cs.crystal.simple | This package is for creating very simple flow analyses; if you're new to flow analyses, start here. |
edu.cmu.cs.crystal.tac | This package contains classes and interfaces for writing flow analyses based on three-address code (TAC). |
Uses of ITACAnalysisContext in edu.cmu.cs.crystal.analysis.constant |
---|
Methods in edu.cmu.cs.crystal.analysis.constant with parameters of type ITACAnalysisContext | |
---|---|
void |
ConstantTransferFunction.setAnalysisContext(ITACAnalysisContext analysisContext)
|
Uses of ITACAnalysisContext in edu.cmu.cs.crystal.simple |
---|
Methods in edu.cmu.cs.crystal.simple that return ITACAnalysisContext | |
---|---|
ITACAnalysisContext |
AbstractingTransferFunction.getAnalysisContext()
|
Methods in edu.cmu.cs.crystal.simple with parameters of type ITACAnalysisContext | |
---|---|
void |
AbstractingTransferFunction.setAnalysisContext(ITACAnalysisContext analysisContext)
|
Uses of ITACAnalysisContext in edu.cmu.cs.crystal.tac |
---|
Methods in edu.cmu.cs.crystal.tac that return ITACAnalysisContext | |
---|---|
ITACAnalysisContext |
AbstractTACBranchSensitiveTransferFunction.getAnalysisContext()
|
Methods in edu.cmu.cs.crystal.tac with parameters of type ITACAnalysisContext | |
---|---|
void |
ITACBranchSensitiveTransferFunction.setAnalysisContext(ITACAnalysisContext context)
This method is used to pass a variable query interface to the transfer function. |
void |
AbstractTACBranchSensitiveTransferFunction.setAnalysisContext(ITACAnalysisContext analysisContext)
|
void |
ITACTransferFunction.setAnalysisContext(ITACAnalysisContext context)
This method is used to pass a variable query interface to the transfer function. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |