|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ITACTransferFunction | |
---|---|
edu.cmu.cs.crystal.analysis.live | |
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). |
edu.cmu.cs.crystal.tac.eclipse | An internal package for creating three address code nodes based on the Eclipse AST. |
edu.cmu.cs.crystal.tac.model | The interfaces for the three-address code (TAC) instructions and variables. |
Uses of ITACTransferFunction in edu.cmu.cs.crystal.analysis.live |
---|
Classes in edu.cmu.cs.crystal.analysis.live that implement ITACTransferFunction | |
---|---|
class |
LiveVariableTransferFunction
|
Uses of ITACTransferFunction in edu.cmu.cs.crystal.simple |
---|
Classes in edu.cmu.cs.crystal.simple that implement ITACTransferFunction | |
---|---|
class |
AbstractingTransferFunction<LE>
This class implements additional transfer functions that abstract or group other transfer functions according to the instruction hierarchy. |
Constructors in edu.cmu.cs.crystal.simple with parameters of type ITACTransferFunction | |
---|---|
SimpleTACFlowAnalysis(ITACTransferFunction<LE> transferFunction,
IAnalysisInput analysisInput)
Creates a simple flow analysis with the given transfer function. |
Uses of ITACTransferFunction in edu.cmu.cs.crystal.tac |
---|
Constructors in edu.cmu.cs.crystal.tac with parameters of type ITACTransferFunction | |
---|---|
TACFlowAnalysis(ITACTransferFunction<LE> transferFunction,
CompilationUnitTACs eclipseTAC)
Creates a branch insensitive flow analysis object. |
|
TACFlowAnalysis(ITACTransferFunction<LE> transferFunction,
IAnalysisInput analysisInput)
Creates a branch insensitive flow analysis object |
Uses of ITACTransferFunction in edu.cmu.cs.crystal.tac.eclipse |
---|
Methods in edu.cmu.cs.crystal.tac.eclipse with parameters of type ITACTransferFunction | ||
---|---|---|
|
EclipseInstructionSequence.deriveResult(ITACTransferFunction<LE> tf,
TACInstruction targetInstr,
LE value,
boolean afterResult)
|
|
|
EclipseInstructionSequence.transfer(ITACTransferFunction<LE> tf,
LE value)
|
|
|
ReturnInstructionImpl.transfer(ITACTransferFunction<LE> tf,
LE value)
|
Uses of ITACTransferFunction in edu.cmu.cs.crystal.tac.model |
---|
Methods in edu.cmu.cs.crystal.tac.model with parameters of type ITACTransferFunction | ||
---|---|---|
|
TACInstruction.transfer(ITACTransferFunction<LE> tf,
LE value)
Use this method to transfer over an instruction. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |