| 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.Parameter
The representation of a Parameter handled using a ParameterAccessor.
|
| 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) |
| 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.
|
| 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.
|
| 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.
|
| Constructor and Description |
|---|
SSAValue(int number,
SSAValue copyFrom)
Create a new instance of the same type, validity and name.
|
Copyright © 2015. All rights reserved.