Uses of Interface
com.ibm.wala.util.ssa.SSAValue.VariableKey

Packages that use SSAValue.VariableKey

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

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

Classes in com.ibm.wala.util.ssa that implement SSAValue.VariableKey

Modifier and Type	Class and Description
static class	ParameterAccessor.ParameterKey This key is identified by type and parameter number.
static class	SSAValue.NamedKey Identify variables by a string and type.
static class	SSAValue.TypeKey A key that matches variables by their type - does not compare to NamedKey.
static class	SSAValue.UniqueKey A key that cannot be recreated.
static class	SSAValue.WeaklyNamedKey This NamedKey also equals to TypeKeys.

Fields in com.ibm.wala.util.ssa declared as SSAValue.VariableKey

Modifier and Type	Field and Description
SSAValue.VariableKey	SSAValue.key All variables with the same name in the source code share a key.

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

Modifier and Type	Method and Description
List<SSAValue>	SSAValueManager.getAllForPhi(SSAValue.VariableKey key) Returns all "free" and "allocated" variables and the invalid ones in a sub-scope.
SSAValue	SSAValueManager.getCurrent(SSAValue.VariableKey key) Retrieve the SSA-Number that is valid for a type in the current scope.
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.
void	SSAValueManager.invalidate(SSAValue.VariableKey key) Marks all known instances of VariableKey invalid.
boolean	SSAValueManager.isSeen(SSAValue.VariableKey key) Return if the type is managed by this class.
boolean	SSAValueManager.isSeen(SSAValue.VariableKey key, boolean withSuper) Return if the type is managed by this class.
boolean	SSAValueManager.needsAllocation(SSAValue.VariableKey key) Returns if an instance for that type needs to be allocated.
boolean	SSAValueManager.needsPhi(SSAValue.VariableKey key) Returns if a PhiInstruction (still) has to be added.

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

Constructor and Description
SSAValue(int number, TypeReference type, MethodReference validIn, SSAValue.VariableKey key) Makes a SSAValue with number and type valid in the specified Method.