| Package | Description |
|---|---|
| com.ibm.wala.util.ssa |
A set of classes facilitating the construction of synthetic methods.
|
| 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.
|
| Modifier and Type | Field and Description |
|---|---|
SSAValue.VariableKey |
SSAValue.key
All variables with the same name in the source code share a key.
|
| 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.
|
| 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.
|
Copyright © 2015. All rights reserved.