Assumption

All Known Implementing Classes:

AlwaysValidAssumption, NeverValidAssumption, UnionAssumption
```
public interface Assumption
```
An assumption is a global boolean flag that starts with the value true (i.e., the assumption is valid) and can subsequently be invalidated (using Assumption.invalidate()). Once invalidated, an assumption can never get valid again. Assumptions can be created using the TruffleRuntime.createAssumption() or the TruffleRuntime.createAssumption(String) method. The Truffle compiler has special knowledge of this class in order to produce efficient machine code for checking an assumption in case the assumption object is a compile time constant. Therefore, assumptions should be stored in final fields in Truffle nodes. All instances of classes implementing Assumption must be held in final fields for compiler optimizations to take effect.

Since:

0.8 or earlier

Method Summary

All Methods Static Methods Instance Methods Abstract Methods Default Methods
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.
`default void`	`invalidate(String message)` Invalidates this assumption.
`boolean`	`isValid()` Checks whether the assumption is still valid.
`static boolean`	`isValidAssumption(Assumption assumption)` Checks whether an assumption is not `null` and valid.
`static boolean`	`isValidAssumption(Assumption[] assumptions)` Checks whether all assumptions in an array are not `null` and valid.

- Method Detail
  - check
```
void check()
    throws InvalidAssumptionException
```
    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.
    
    Throws:
    
    InvalidAssumptionException - If the assumption is no longer valid.
    
    Since:
    
    0.8 or earlier
  - isValid
```
boolean isValid()
```
    Checks whether the assumption is still valid.
    
    Returns:
    
    a boolean value indicating the validity of the assumption
    
    Since:
    
    0.8 or earlier
  - invalidate
```
void invalidate()
```
    Invalidates this assumption. Performs no operation, if the assumption is already invalid.
    
    Since:
    
    0.8 or earlier
  - invalidate
```
default void invalidate(String message)
```
    Invalidates this assumption. Performs no operation, if the assumption is already invalid.
    
    Parameters:
    
    message - a message stating the reason of the invalidation
    
    Since:
    
    0.33
  - getName
```
String getName()
```
    A name for the assumption that is used for debug output.
    
    Returns:
    
    the name of the assumption
    
    Since:
    
    0.8 or earlier
  - isValidAssumption
```
static boolean isValidAssumption(Assumption assumption)
```
    Checks whether an assumption is not null and valid.
    
    Since:
    
    19.0
  - isValidAssumption
```
static boolean isValidAssumption(Assumption[] assumptions)
```
    Checks whether all assumptions in an array are not null and valid. Returns false if the assumptions array itself is null. This method is designed for compilation. Note that the provided assumptions array must be a compilation final array with dimensions set to one.
    
    Since:
    
    19.0

Interface Assumption

Method Summary

Method Detail

check

isValid

invalidate

invalidate

getName

isValidAssumption

isValidAssumption