Uses of Class
com.ibm.wala.ssa.SSACheckCastInstruction

Packages that use SSACheckCastInstruction

Package	Description
com.ibm.wala.analysis.typeInference	This package provides intraprocedural type inference over the SSA form.
com.ibm.wala.cfg	This package provides control-flow graph utilities.
com.ibm.wala.classLoader	This package provides functionality related to class loading and management of loaded classes.
com.ibm.wala.demandpa.flowgraph
com.ibm.wala.ipa.callgraph.propagation	This package provides the base layer for propagation-based call graph construction and pointer analysis.
com.ibm.wala.ssa	This package provides the WALA SSA IR.

Uses of SSACheckCastInstruction in com.ibm.wala.analysis.typeInference

Methods in com.ibm.wala.analysis.typeInference with parameters of type SSACheckCastInstruction

Modifier and Type	Method and Description
void	TypeInference.TypeOperatorFactory.visitCheckCast(SSACheckCastInstruction instruction)

Uses of SSACheckCastInstruction in com.ibm.wala.cfg

Methods in com.ibm.wala.cfg with parameters of type SSACheckCastInstruction

Modifier and Type	Method and Description
void	InducedCFG.PEIVisitor.visitCheckCast(SSACheckCastInstruction instruction)

Uses of SSACheckCastInstruction in com.ibm.wala.classLoader

Methods in com.ibm.wala.classLoader that return SSACheckCastInstruction

Modifier and Type	Method and Description
SSACheckCastInstruction	JavaLanguage.JavaInstructionFactory.CheckCastInstruction(int iindex, int result, int val, int[] typeValues, boolean isPEI)
SSACheckCastInstruction	JavaLanguage.JavaInstructionFactory.CheckCastInstruction(int iindex, int result, int val, int typeValue, boolean isPEI)
SSACheckCastInstruction	JavaLanguage.JavaInstructionFactory.CheckCastInstruction(int iindex, int result, int val, TypeReference[] types, boolean isPEI)
SSACheckCastInstruction	JavaLanguage.JavaInstructionFactory.CheckCastInstruction(int iindex, int result, int val, TypeReference type, boolean isPEI)

Uses of SSACheckCastInstruction in com.ibm.wala.demandpa.flowgraph

Methods in com.ibm.wala.demandpa.flowgraph with parameters of type SSACheckCastInstruction

Modifier and Type	Method and Description
void	SimpleDemandPointerFlowGraph.StatementVisitor.visitCheckCast(SSACheckCastInstruction instruction)
void	DemandPointerFlowGraph.StatementVisitor.visitCheckCast(SSACheckCastInstruction instruction)

Uses of SSACheckCastInstruction in com.ibm.wala.ipa.callgraph.propagation

Methods in com.ibm.wala.ipa.callgraph.propagation with parameters of type SSACheckCastInstruction

Modifier and Type	Method and Description
void	SSAPropagationCallGraphBuilder.ConstraintVisitor.visitCheckCast(SSACheckCastInstruction instruction)
void	SSAPropagationCallGraphBuilder.InterestingVisitor.visitCheckCast(SSACheckCastInstruction instruction)
void	PointerAnalysisImpl.ImplicitPointsToSetVisitor.visitCheckCast(SSACheckCastInstruction instruction)

Uses of SSACheckCastInstruction in com.ibm.wala.ssa

Methods in com.ibm.wala.ssa that return SSACheckCastInstruction

Modifier and Type	Method and Description
SSACheckCastInstruction	SSAInstructionFactory.CheckCastInstruction(int iindex, int result, int val, int[] typeValues, boolean isPEI)
SSACheckCastInstruction	SSAInstructionFactory.CheckCastInstruction(int iindex, int result, int val, int typeValue, boolean isPEI)
SSACheckCastInstruction	SSAInstructionFactory.CheckCastInstruction(int iindex, int result, int val, TypeReference[] types, boolean isPEI)
SSACheckCastInstruction	SSAInstructionFactory.CheckCastInstruction(int iindex, int result, int val, TypeReference type, boolean isPEI)

Methods in com.ibm.wala.ssa with parameters of type SSACheckCastInstruction

Modifier and Type	Method and Description
void	SSAInstruction.IVisitor.visitCheckCast(SSACheckCastInstruction instruction)
void	SSAInstruction.Visitor.visitCheckCast(SSACheckCastInstruction instruction)