Class SSAOptions
java.lang.Object
com.ibm.wala.ssa.SSAOptions
-
Nested Class Summary
Modifier and TypeClassDescriptionstatic interface
While SSA form makes the not-unreasonable assumption that values must be defined before they are used, many languages permit using undefined variables and simply give them some default value. -
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionstatic SSAOptions
boolean
static SSAPiNodePolicy
return a policy that enables all built-in pi node policiesint
hashCode()
void
setDefaultValues
(SSAOptions.DefaultValues defaultValues) void
setPiNodePolicy
(SSAPiNodePolicy piNodePolicy)
-
Constructor Details
-
SSAOptions
public SSAOptions()
-
-
Method Details
-
getAllBuiltInPiNodes
return a policy that enables all built-in pi node policies -
setDefaultValues
-
getDefaultValues
-
defaultOptions
- Returns:
- the default SSA Options
-
getPiNodePolicy
-
setPiNodePolicy
-
hashCode
-
equals
-