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

Packages that use SSAReturnInstruction

Package	Description
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.impl	This package provides some implementations of basic functions needed for various call graph construction algorithms.
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.
com.ibm.wala.util.ssa	A set of classes facilitating the construction of synthetic methods.

Uses of SSAReturnInstruction in com.ibm.wala.cfg

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

Modifier and Type	Method and Description
void	InducedCFG.BranchVisitor.visitReturn(SSAReturnInstruction instruction)

Uses of SSAReturnInstruction in com.ibm.wala.classLoader

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

Modifier and Type	Method and Description
SSAReturnInstruction	JavaLanguage.JavaInstructionFactory.ReturnInstruction(int iindex)
SSAReturnInstruction	JavaLanguage.JavaInstructionFactory.ReturnInstruction(int iindex, int result, boolean isPrimitive)

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

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

Modifier and Type	Method and Description
void	SimpleDemandPointerFlowGraph.StatementVisitor.visitReturn(SSAReturnInstruction instruction)
void	DemandPointerFlowGraph.StatementVisitor.visitReturn(SSAReturnInstruction instruction)

Uses of SSAReturnInstruction in com.ibm.wala.ipa.callgraph.impl

Methods in com.ibm.wala.ipa.callgraph.impl that return SSAReturnInstruction

Modifier and Type	Method and Description
SSAReturnInstruction	AbstractRootMethod.addReturn(int vn, boolean isPrimitive) Add a return statement

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

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

Modifier and Type	Method and Description
void	SSAPropagationCallGraphBuilder.ConstraintVisitor.visitReturn(SSAReturnInstruction instruction)
void	SSAPropagationCallGraphBuilder.InterestingVisitor.visitReturn(SSAReturnInstruction instruction)

Uses of SSAReturnInstruction in com.ibm.wala.ssa

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

Modifier and Type	Method and Description
SSAReturnInstruction	SSAInstructionFactory.ReturnInstruction(int iindex)
SSAReturnInstruction	SSAInstructionFactory.ReturnInstruction(int iindex, int result, boolean isPrimitive)

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

Modifier and Type	Method and Description
void	SSAInstruction.IVisitor.visitReturn(SSAReturnInstruction instruction)
void	SSAInstruction.Visitor.visitReturn(SSAReturnInstruction instruction)

Uses of SSAReturnInstruction in com.ibm.wala.util.ssa

Methods in com.ibm.wala.util.ssa that return SSAReturnInstruction

Modifier and Type	Method and Description
SSAReturnInstruction	TypeSafeInstructionFactory.ReturnInstruction(int iindex) Return from a void-function.
SSAReturnInstruction	TypeSafeInstructionFactory.ReturnInstruction(int iindex, SSAValue result) Check if the type of the SSAValue is assignable to the return-value of the method it's valid in.