com.oracle.truffle.api.utilities

Class AlwaysValidAssumption

java.lang.Object

com.oracle.truffle.api.utilities.AlwaysValidAssumption

All Implemented Interfaces:

Assumption

public final class AlwaysValidAssumption
extends Object
implements Assumption

An assumption that is always valid. Used as a placeholder where an assumption is needed but never invalidated.

Since:

0.8 or earlier

Field Summary

Fields

Modifier and Type	Field and Description
static AlwaysValidAssumption	INSTANCE

Method Summary

Modifier and Type	Method and Description
void	check() Checks that this assumption is still valid.
String	getName() A name for the assumption that is used for debug output.
void	invalidate() Invalidates this assumption.
void	invalidate(String message) Invalidates this assumption.
boolean	isValid() Checks whether the assumption is still valid.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface com.oracle.truffle.api.Assumption

isValidAssumption, isValidAssumption

Field Detail

INSTANCE

public static final AlwaysValidAssumption INSTANCE

Since:

0.8 or earlier

Method Detail

check

public void check()
           throws InvalidAssumptionException

Description copied from interface: Assumption

Checks that this assumption is still valid. The method throws an exception, if this is no longer the case. This method is preferred over the 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.

Specified by:

check in interface Assumption

Throws:

InvalidAssumptionException - If the assumption is no longer valid.

Since:

0.8 or earlier

invalidate

public void invalidate()

Description copied from interface: Assumption

Invalidates this assumption. Performs no operation, if the assumption is already invalid.

Specified by:

invalidate in interface Assumption

Since:

0.8 or earlier

invalidate

public void invalidate(String message)

Description copied from interface: Assumption

Invalidates this assumption. Performs no operation, if the assumption is already invalid.

Specified by:

invalidate in interface Assumption

Parameters:

message - a message stating the reason of the invalidation

Since:

0.33

getName

public String getName()

Description copied from interface: Assumption

A name for the assumption that is used for debug output.

Specified by:

getName in interface Assumption

Returns:

the name of the assumption

Since:

0.8 or earlier

isValid

public boolean isValid()

Description copied from interface: Assumption

Checks whether the assumption is still valid.

Specified by:

isValid in interface Assumption

Returns:

a boolean value indicating the validity of the assumption

Since:

0.8 or earlier