Package com.ibm.wala.ssa
Class SSAOptions
- java.lang.Object
-
- com.ibm.wala.ssa.SSAOptions
-
public class SSAOptions extends Object
Options that govern SSA construction
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static interface
SSAOptions.DefaultValues
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
Constructors Constructor Description SSAOptions()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static SSAOptions
defaultOptions()
boolean
equals(Object obj)
static SSAPiNodePolicy
getAllBuiltInPiNodes()
return a policy that enables all built-in pi node policiesSSAOptions.DefaultValues
getDefaultValues()
SSAPiNodePolicy
getPiNodePolicy()
int
hashCode()
void
setDefaultValues(SSAOptions.DefaultValues defaultValues)
void
setPiNodePolicy(SSAPiNodePolicy piNodePolicy)
-
-
-
Method Detail
-
getAllBuiltInPiNodes
public static SSAPiNodePolicy getAllBuiltInPiNodes()
return a policy that enables all built-in pi node policies
-
setDefaultValues
public void setDefaultValues(SSAOptions.DefaultValues defaultValues)
-
getDefaultValues
public SSAOptions.DefaultValues getDefaultValues()
-
defaultOptions
public static SSAOptions defaultOptions()
- Returns:
- the default SSA Options
-
getPiNodePolicy
public SSAPiNodePolicy getPiNodePolicy()
-
setPiNodePolicy
public void setPiNodePolicy(SSAPiNodePolicy piNodePolicy)
-
-