Uses of Package
edu.cmu.cs.crystal.tac

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

Classes in edu.cmu.cs.crystal.tac used by edu.cmu.cs.crystal.analysis.alias
AbstractTACBranchSensitiveTransferFunction
          Abstract base class for defining branch-sensitive flow analyses based on 3-address code instructions (TACInstruction).
ITACBranchSensitiveTransferFunction
          Interface for defining branch-sensitive flow analysis transfer functions based on 3-address code instructions.
 

Classes in edu.cmu.cs.crystal.tac used by edu.cmu.cs.crystal.analysis.constant
ITACAnalysisContext
          This interface defines methods to map AST data structures to TAC variables.
ITACBranchSensitiveTransferFunction
          Interface for defining branch-sensitive flow analysis transfer functions based on 3-address code instructions.
 

Classes in edu.cmu.cs.crystal.tac used by edu.cmu.cs.crystal.analysis.live
ITACTransferFunction
          Interface for defining flow analysis transfer functions based on 3-address code instructions.
 

Classes in edu.cmu.cs.crystal.tac used by edu.cmu.cs.crystal.simple
ITACAnalysisContext
          This interface defines methods to map AST data structures to TAC variables.
ITACFlowAnalysis
          This interface defines methods to map AST data structures to TAC variables.
ITACTransferFunction
          Interface for defining flow analysis transfer functions based on 3-address code instructions.
TACFlowAnalysis
          This class implements flow analyses over 3-address code instructions (TACInstruction).
 

Classes in edu.cmu.cs.crystal.tac used by edu.cmu.cs.crystal.tac
ITACAnalysisContext
          This interface defines methods to map AST data structures to TAC variables.
ITACBranchSensitiveTransferFunction
          Interface for defining branch-sensitive flow analysis transfer functions based on 3-address code instructions.
ITACFlowAnalysis
          This interface defines methods to map AST data structures to TAC variables.
ITACTransferFunction
          Interface for defining flow analysis transfer functions based on 3-address code instructions.
 

Classes in edu.cmu.cs.crystal.tac used by edu.cmu.cs.crystal.tac.eclipse
ITACBranchSensitiveTransferFunction
          Interface for defining branch-sensitive flow analysis transfer functions based on 3-address code instructions.
ITACTransferFunction
          Interface for defining flow analysis transfer functions based on 3-address code instructions.
 

Classes in edu.cmu.cs.crystal.tac used by edu.cmu.cs.crystal.tac.model
ITACBranchSensitiveTransferFunction
          Interface for defining branch-sensitive flow analysis transfer functions based on 3-address code instructions.
ITACTransferFunction
          Interface for defining flow analysis transfer functions based on 3-address code instructions.