Uses of Class
com.ibm.wala.util.ssa.SSAValue

Packages that use SSAValue

Package	Description
com.ibm.wala.util.ssa	A set of classes facilitating the construction of synthetic methods.

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

Subclasses of SSAValue in com.ibm.wala.util.ssa

Modifier and Type	Class and Description
static class	ParameterAccessor.Parameter The representation of a Parameter handled using a ParameterAccessor.

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

Modifier and Type	Method and Description
SSAValue	SSAValueManager.getCurrent(SSAValue.VariableKey key) Retrieve the SSA-Number that is valid for a type in the current scope.
SSAValue	SSAValueManager.getException() Create new SSAValue with UniqueKey and Exception-Type.
SSAValue	SSAValueManager.getFree(TypeReference type, SSAValue.VariableKey key) Returns and registers a free SSA-Number to a Type.
SSAValue	SSAValueManager.getSuper(SSAValue.VariableKey key) Retrieve the SSA-Number that is valid for a type in the super-ordinate scope.
SSAValue	SSAValueManager.getUnallocated(TypeReference type, SSAValue.VariableKey key) Get an unused number to assign to.
SSAValue	SSAValueManager.getUnmanaged(TypeReference type, SSAValue.VariableKey key) Retrieve a SSA-Value that is not under management.
SSAValue	SSAValueManager.getUnmanaged(TypeReference type, String name)

Methods in com.ibm.wala.util.ssa that return types with arguments of type SSAValue

Modifier and Type	Method and Description
List<SSAValue>	ParameterAccessor.connectThrough(ParameterAccessor callee, Set<? extends SSAValue> overrides, Set<? extends SSAValue> defaults, IClassHierarchy cha) Assign parameters to a call based on their type.
List<SSAValue>	ParameterAccessor.connectThrough(ParameterAccessor callee, Set<? extends SSAValue> overrides, Set<? extends SSAValue> defaults, IClassHierarchy cha, IInstantiator instantiator, Object... instantiatorArgs) Connects though parameters from the calling function (overridable) - CAUTION:.
List<SSAValue>	SSAValueManager.getAllForPhi(SSAValue.VariableKey key) Returns all "free" and "allocated" variables and the invalid ones in a sub-scope.

Methods in com.ibm.wala.util.ssa with parameters of type SSAValue

Modifier and Type	Method and Description
SSAArrayLoadInstruction	TypeSafeInstructionFactory.ArrayLoadInstruction(int iindex, SSAValue result, SSAValue array, int index) result = array[index].
SSAArrayStoreInstruction	TypeSafeInstructionFactory.ArrayStoreInstruction(int iindex, SSAValue array, int index, SSAValue value) array[index] = value.
SSAGetInstruction	TypeSafeInstructionFactory.GetInstruction(int iindex, SSAValue targetValue, FieldReference field) Reads static field into targetValue.
SSAGetInstruction	TypeSafeInstructionFactory.GetInstruction(int iindex, SSAValue targetValue, SSAValue containingInstance, FieldReference field) targetValue = containingInstance.field.
SSAInvokeInstruction	TypeSafeInstructionFactory.InvokeInstruction(int iindex, List<? extends SSAValue> params, SSAValue exception, CallSiteReference site) Instruction that calls a void-method.
SSAInvokeInstruction	TypeSafeInstructionFactory.InvokeInstruction(int iindex, SSAValue result, List<? extends SSAValue> params, SSAValue exception, CallSiteReference site) result = site(params).
protected boolean	ParameterAccessor.isAssignable(SSAValue from, SSAValue to, IClassHierarchy cha) Does "to x := from" hold?.
SSANewInstruction	TypeSafeInstructionFactory.NewInstruction(int iindex, SSAValue result, NewSiteReference site)
SSANewInstruction	TypeSafeInstructionFactory.NewInstruction(int iindex, SSAValue result, NewSiteReference site, Collection<? extends SSAValue> params)
SSAPhiInstruction	TypeSafeInstructionFactory.PhiInstruction(int iindex, SSAValue result, Collection<? extends SSAValue> params) Combine SSA-Values into a newone.
SSAPutInstruction	TypeSafeInstructionFactory.PutInstruction(int iindex, SSAValue newValue, FieldReference field) Writes newValue to static field.
SSAPutInstruction	TypeSafeInstructionFactory.PutInstruction(int iindex, SSAValue targetInstance, SSAValue newValue, FieldReference field) Writes newValue to field of targetInstance.
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.
void	SSAValueManager.setAllocation(SSAValue value, SSAInstruction setBy) Register a variable _after_ allocation.
void	SSAValueManager.setPhi(SSAValue value, SSAInstruction setBy) Register a Phi-Instruction _after_ added to the model.

Method parameters in com.ibm.wala.util.ssa with type arguments of type SSAValue

Modifier and Type	Method and Description
List<SSAValue>	ParameterAccessor.connectThrough(ParameterAccessor callee, Set<? extends SSAValue> overrides, Set<? extends SSAValue> defaults, IClassHierarchy cha) Assign parameters to a call based on their type.
List<SSAValue>	ParameterAccessor.connectThrough(ParameterAccessor callee, Set<? extends SSAValue> overrides, Set<? extends SSAValue> defaults, IClassHierarchy cha) Assign parameters to a call based on their type.
List<SSAValue>	ParameterAccessor.connectThrough(ParameterAccessor callee, Set<? extends SSAValue> overrides, Set<? extends SSAValue> defaults, IClassHierarchy cha, IInstantiator instantiator, Object... instantiatorArgs) Connects though parameters from the calling function (overridable) - CAUTION:.
List<SSAValue>	ParameterAccessor.connectThrough(ParameterAccessor callee, Set<? extends SSAValue> overrides, Set<? extends SSAValue> defaults, IClassHierarchy cha, IInstantiator instantiator, Object... instantiatorArgs) Connects though parameters from the calling function (overridable) - CAUTION:.
int[]	ParameterAccessor.forInvokeStatic(List<? extends SSAValue> args) Generate the params-param for an InvokeIstruction w/o type checking.
int[]	ParameterAccessor.forInvokeStatic(List<? extends SSAValue> args, ParameterAccessor target, IClassHierarchy cha) Generate the params-param for an InvokeIstruction with type checking.
int[]	ParameterAccessor.forInvokeVirtual(int self, List<? extends SSAValue> args) Generate the params-param for an InvokeIstruction w/o type checking.
int[]	ParameterAccessor.forInvokeVirtual(int self, List<? extends SSAValue> args, ParameterAccessor target, IClassHierarchy cha) Generate the params-param for an InvokeIstruction with type checking.
SSAInvokeInstruction	TypeSafeInstructionFactory.InvokeInstruction(int iindex, List<? extends SSAValue> params, SSAValue exception, CallSiteReference site) Instruction that calls a void-method.
SSAInvokeInstruction	TypeSafeInstructionFactory.InvokeInstruction(int iindex, SSAValue result, List<? extends SSAValue> params, SSAValue exception, CallSiteReference site) result = site(params).
SSANewInstruction	TypeSafeInstructionFactory.NewInstruction(int iindex, SSAValue result, NewSiteReference site, Collection<? extends SSAValue> params)
SSAPhiInstruction	TypeSafeInstructionFactory.PhiInstruction(int iindex, SSAValue result, Collection<? extends SSAValue> params) Combine SSA-Values into a newone.

Constructors in com.ibm.wala.util.ssa with parameters of type SSAValue

Constructor and Description
SSAValue(int number, SSAValue copyFrom) Create a new instance of the same type, validity and name.