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

Class UnreachableAssumptions

java.lang.Object

com.google.gwt.dev.jjs.impl.gflow.unreachable.UnreachableAssumptions

All Implemented Interfaces:

Assumption<UnreachableAssumptions>

public class UnreachableAssumptions
extends Object
implements Assumption<UnreachableAssumptions>

Field Summary

Fields

Modifier and Type	Field and Description
static UnreachableAssumptions	REACHABLE
static UnreachableAssumptions	UNREACHABLE

Constructor Summary

Constructors

Constructor and Description
UnreachableAssumptions()

Method Summary

Modifier and Type	Method and Description
static boolean	isReachable(UnreachableAssumptions in)
UnreachableAssumptions	join(UnreachableAssumptions value) Compute least upper bound.
String	toString()

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode

Field Detail

REACHABLE

public static final UnreachableAssumptions REACHABLE

UNREACHABLE

public static final UnreachableAssumptions UNREACHABLE

Constructor Detail

UnreachableAssumptions

public UnreachableAssumptions()

Method Detail

isReachable

public static boolean isReachable(UnreachableAssumptions in)

join

public UnreachableAssumptions join(UnreachableAssumptions 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<UnreachableAssumptions>

toString

public String toString()

Overrides:

toString in class Object