Uses of Interface
edu.cmu.cs.crystal.tac.ITACBranchSensitiveTransferFunction

Packages that use ITACBranchSensitiveTransferFunction
edu.cmu.cs.crystal.analysis.alias   
edu.cmu.cs.crystal.analysis.constant   
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 ITACBranchSensitiveTransferFunction in edu.cmu.cs.crystal.analysis.alias
 

Classes in edu.cmu.cs.crystal.analysis.alias that implement ITACBranchSensitiveTransferFunction
 class MayAliasTransferFunction
           
 

Uses of ITACBranchSensitiveTransferFunction in edu.cmu.cs.crystal.analysis.constant
 

Classes in edu.cmu.cs.crystal.analysis.constant that implement ITACBranchSensitiveTransferFunction
 class ConstantTransferFunction
           
 

Uses of ITACBranchSensitiveTransferFunction in edu.cmu.cs.crystal.tac
 

Classes in edu.cmu.cs.crystal.tac that implement ITACBranchSensitiveTransferFunction
 class AbstractTACBranchSensitiveTransferFunction<LE>
          Abstract base class for defining branch-sensitive flow analyses based on 3-address code instructions (TACInstruction).
 

Constructors in edu.cmu.cs.crystal.tac with parameters of type ITACBranchSensitiveTransferFunction
TACFlowAnalysis(ITACBranchSensitiveTransferFunction<LE> transferFunction, CompilationUnitTACs eclipseTAC)
          Creates a branch sensitive flow analysis object.
TACFlowAnalysis(ITACBranchSensitiveTransferFunction<LE> transferFunction, IAnalysisInput analysisInput)
          Creates a branch sensitive flow analysis object.
 

Uses of ITACBranchSensitiveTransferFunction in edu.cmu.cs.crystal.tac.eclipse
 

Methods in edu.cmu.cs.crystal.tac.eclipse with parameters of type ITACBranchSensitiveTransferFunction
<LE> IResult<LE>
EclipseInstructionSequence.deriveResult(ITACBranchSensitiveTransferFunction<LE> tf, List<ILabel> labels, TACInstruction targetInstr, LE value, boolean afterResult)
           
<LE> IResult<LE>
EclipseInstructionSequence.transfer(ITACBranchSensitiveTransferFunction<LE> tf, List<ILabel> labels, LE value)
           
<LE> IResult<LE>
ReturnInstructionImpl.transfer(ITACBranchSensitiveTransferFunction<LE> tf, List<ILabel> labels, LE value)
           
 

Uses of ITACBranchSensitiveTransferFunction in edu.cmu.cs.crystal.tac.model
 

Methods in edu.cmu.cs.crystal.tac.model with parameters of type ITACBranchSensitiveTransferFunction
<LE> IResult<LE>
TACInstruction.transfer(ITACBranchSensitiveTransferFunction<LE> tf, List<ILabel> labels, LE value)
          Use this method to transfer over an instruction.