Uses of Interface
edu.cmu.cs.crystal.tac.model.SourceVariableReadInstruction

Packages that use SourceVariableReadInstruction
edu.cmu.cs.crystal.analysis.constant   
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). 
 

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

Methods in edu.cmu.cs.crystal.analysis.constant with parameters of type SourceVariableReadInstruction
 IResult<TupleLatticeElement<Variable,BooleanConstantLE>> ConstantTransferFunction.transfer(SourceVariableReadInstruction instr, List<ILabel> labels, TupleLatticeElement<Variable,BooleanConstantLE> value)
           
 

Uses of SourceVariableReadInstruction in edu.cmu.cs.crystal.analysis.live
 

Methods in edu.cmu.cs.crystal.analysis.live with parameters of type SourceVariableReadInstruction
 TupleLatticeElement<Variable,LiveVariableLE> LiveVariableTransferFunction.transfer(SourceVariableReadInstruction instr, TupleLatticeElement<Variable,LiveVariableLE> value)
           
 

Uses of SourceVariableReadInstruction in edu.cmu.cs.crystal.simple
 

Methods in edu.cmu.cs.crystal.simple with parameters of type SourceVariableReadInstruction
 LE AbstractingTransferFunction.transfer(SourceVariableReadInstruction instr, LE value)
           
 

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

Methods in edu.cmu.cs.crystal.tac with parameters of type SourceVariableReadInstruction
 LE ITACTransferFunction.transfer(SourceVariableReadInstruction instr, LE value)
           
 IResult<LE> ITACBranchSensitiveTransferFunction.transfer(SourceVariableReadInstruction instr, List<ILabel> labels, LE value)
           
 IResult<LE> AbstractTACBranchSensitiveTransferFunction.transfer(SourceVariableReadInstruction instr, List<ILabel> labels, LE value)
           
 void SimpleInstructionVisitor.visit(SourceVariableReadInstruction instr)