com.google.gwt.dev.jjs.impl.gflow.constants

Class ConstantsAssumption

java.lang.Object

com.google.gwt.dev.jjs.impl.gflow.constants.ConstantsAssumption

All Implemented Interfaces:

Assumption<ConstantsAssumption>

public class ConstantsAssumption
extends Object
implements Assumption<ConstantsAssumption>

Assumptions for ConstantsAnalysis. Is a map from variable into it's constant value. If variable is not present in the map, then it's not a constant. Empty ConstantsAssumption is a top of the lattice, and is not equals to null assumption (which is the bottom of every lattice).

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ConstantsAssumption.Updater Updates the assumption by copying it on first write.

Field Summary

Fields

Modifier and Type	Field and Description
static ConstantsAssumption	TOP A TOP for the lattice.

Constructor Summary

Constructors

Constructor and Description
ConstantsAssumption()
ConstantsAssumption(ConstantsAssumption a)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
JValueLiteral	get(JVariable variable) Get variable constant assumption.
boolean	hasAssumption(JVariable variable) Check if we have constant (i.e.
int	hashCode()
boolean	isEmpty()
ConstantsAssumption	join(ConstantsAssumption other) Compute least upper bound.
String	toDebugString()
String	toString()

Methods inherited from class java.lang.Object

finalize, getClass

Field Detail

TOP

public static ConstantsAssumption TOP

A TOP for the lattice. Means that all variables are not constant.

Constructor Detail

ConstantsAssumption

public ConstantsAssumption()

ConstantsAssumption

public ConstantsAssumption(ConstantsAssumption a)

Method Detail

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

get

public JValueLiteral get(JVariable variable)

Get variable constant assumption. null if there's no constant assumption for this variable.

hasAssumption

public boolean hasAssumption(JVariable variable)

Check if we have constant (i.e. not top and not bottom) assumption about the variable.

hashCode

public int hashCode()

Overrides:

hashCode in class Object

isEmpty

public boolean isEmpty()

join

public ConstantsAssumption join(ConstantsAssumption other)

Description copied from interface: Assumption

Compute least upper bound. Should accept null. It's allowed to return value, equal either to this or to other. If you're going to modify result of join operation, you have to copy it.

Specified by:

join in interface Assumption<ConstantsAssumption>

toDebugString

public String toDebugString()

toString

public String toString()

Overrides:

toString in class Object