public class UnionAssumption extends java.lang.Object implements Assumption
Constructor and Description |
---|
UnionAssumption(Assumption first,
Assumption second) |
UnionAssumption(java.lang.String name,
Assumption first,
Assumption second) |
Modifier and Type | Method and Description |
---|---|
void |
check()
Checks that this assumption is still valid.
|
java.lang.String |
getName()
A name for the assumption that is used for debug output.
|
void |
invalidate()
Invalidates this assumption.
|
boolean |
isValid()
Checks whether the assumption is still valid.
|
public UnionAssumption(java.lang.String name, Assumption first, Assumption second)
public UnionAssumption(Assumption first, Assumption second)
public void check() throws InvalidAssumptionException
Assumption
Assumption.isValid()
method when writing
guest language interpreter code. The catch block should perform a node rewrite (see
Node.replace(Node)
) with a node that no longer relies on the assumption.check
in interface Assumption
InvalidAssumptionException
- If the assumption is no longer valid.public void invalidate()
Assumption
invalidate
in interface Assumption
public java.lang.String getName()
Assumption
getName
in interface Assumption
public boolean isValid()
Assumption
isValid
in interface Assumption