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

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 policies
SSAOptions.DefaultValues	getDefaultValues()
SSAPiNodePolicy	getPiNodePolicy()
int	hashCode()
void	setDefaultValues(SSAOptions.DefaultValues defaultValues)
void	setPiNodePolicy(SSAPiNodePolicy piNodePolicy)

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Constructor Details

SSAOptions

public SSAOptions()

Method Details

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)

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object