Package com.ibm.wala.util.ssa
A set of classes facilitating the construction of synthetic methods.
The usual methods of creating SummarizedMethods are error-prone and sometimes a bit
Inflexible. The tools provided in this package can be used to generate summarized
methods in a Type-Safe manner and assure all used methods are resolvable.
Needless to say that this method of generating synthetic methods is much slower than
the regular one.
- Since:
- 2013-10-25
-
Interface Summary Interface Description IInstantiator Used for CallBacks to create an Instance.SSAValue.VariableKey All variables with the same name in the source code. -
Class Summary Class Description ParameterAccessor Access parameters without confusion on their numbers.ParameterAccessor.Parameter The representation of a Parameter handled using a ParameterAccessor.ParameterAccessor.ParameterKey This key is identified by type and parameter number.SSAValue A number representating an SSA-Value and its type.SSAValue.NamedKey Identify variables by a string and type.SSAValue.TypeKey A key that matches variables by their type - does not compare to NamedKey.SSAValue.UniqueKey A key that cannot be recreated.SSAValue.WeaklyNamedKey This NamedKey also equals to TypeKeys.SSAValueManager Manage SSA-Variables in synthetic methods.TypeSafeInstructionFactory Intended for SyntheticMethods, uses JavaInstructionFactory. -
Enum Summary Enum Description ParameterAccessor.BasedOn The Constructor used to create ParameterAccessor influences the parameter-offset.ParameterAccessor.ParamerterDisposition The kind of parameter. -
Exception Summary Exception Description ClassLookupException Class is not in scope.