com.oracle.truffle.api.utilities

Class UnionAssumption

java.lang.Object

com.oracle.truffle.api.utilities.UnionAssumption

All Implemented Interfaces:

Assumption

public class UnionAssumption
extends Object
implements Assumption

An assumption that combines two other assumptions. A check on this assumption checks both of the child assumptions.

Since:

0.8 or earlier

Constructor Summary

Constructors

Constructor and Description
UnionAssumption(Assumption first, Assumption second)
UnionAssumption(String name, Assumption first, Assumption second)

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

Constructor Detail

UnionAssumption

public UnionAssumption(String name,
                       Assumption first,
                       Assumption second)

Since:

0.8 or earlier

UnionAssumption

public UnionAssumption(Assumption first,
                       Assumption second)

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