Package com.ibm.wala.util.ssa

A set of classes facilitating the construction of synthetic methods.

See: Description

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.

Package com.ibm.wala.util.ssa Description

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

Author:

Tobias Blaschke