com.ibm.wala.ssa
Class SSAOptions

java.lang.Object
  com.ibm.wala.ssa.SSAOptions

public class SSAOptions
extends java.lang.Object

Options that govern SSA construction

Nested Class Summary

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

SSAOptions()

Method Summary

static SSAOptions	defaultOptions()
boolean	equals(java.lang.Object arg0)
SSAOptions.DefaultValues	getDefaultValues()
boolean	getPreserveNames()
boolean	getUsePiNodes()
int	hashCode()
void	setDefaultValues(SSAOptions.DefaultValues defaultValues)
void	setPreserveNames(boolean b)
void	setUsePiNodes(boolean b)

Methods inherited from class java.lang.Object

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

Constructor Detail

SSAOptions

public SSAOptions()

Method Detail

getUsePiNodes

public boolean getUsePiNodes()

Returns:

true iff these options indicate pi nodes should be used

setUsePiNodes

public void setUsePiNodes(boolean b)

Parameters:

b - whether to use pi nodes when constructing ir

getPreserveNames

public boolean getPreserveNames()

Returns:

whether to use Pi nodes to preserve distinct value numbers for variables with different names at the source level.

setPreserveNames

public void setPreserveNames(boolean b)

Parameters:

b - whether to use Pi nodes to preserve distinct value numbers for variables with different names at the source level.

setDefaultValues

public void setDefaultValues(SSAOptions.DefaultValues defaultValues)

getDefaultValues

public SSAOptions.DefaultValues getDefaultValues()

defaultOptions

public static SSAOptions defaultOptions()

Returns:

the default SSA Options

equals

public boolean equals(java.lang.Object arg0)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object