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

Class CopyAssumption

java.lang.Object

com.google.gwt.dev.jjs.impl.gflow.copy.CopyAssumption

All Implemented Interfaces:

Assumption<CopyAssumption>

public class CopyAssumption
extends Object
implements Assumption<CopyAssumption>

Assumption class for CopyAnalysis.

Nested Class Summary

Nested Classes

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

Field Summary

Fields

Modifier and Type	Field and Description
static CopyAssumption	TOP Top value for copy analysis.

Constructor Summary

Constructors

Constructor and Description
CopyAssumption()
CopyAssumption(CopyAssumption result)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
JVariable	getOriginal(JVariable v)
int	hashCode()
CopyAssumption	join(CopyAssumption value) Compute least upper bound.
String	toString()

Methods inherited from class java.lang.Object

finalize, getClass

Field Detail

TOP

public static final CopyAssumption TOP

Top value for copy analysis. Means nothing is the copy of anything.

Constructor Detail

CopyAssumption

public CopyAssumption()

CopyAssumption

public CopyAssumption(CopyAssumption result)

Method Detail

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

getOriginal

public JVariable getOriginal(JVariable v)

hashCode

public int hashCode()

Overrides:

hashCode in class Object

join

public CopyAssumption join(CopyAssumption value)

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<CopyAssumption>

toString

public String toString()

Overrides:

toString in class Object