public final class AlwaysValidAssumption extends java.lang.Object implements Assumption
Modifier and Type | Field and Description |
---|---|
static AlwaysValidAssumption |
INSTANCE |
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 static final AlwaysValidAssumption INSTANCE
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