org.graalvm.compiler.truffle.runtime

Class OptimizedAssumption

java.lang.Object

com.oracle.truffle.api.impl.AbstractAssumption

org.graalvm.compiler.truffle.runtime.OptimizedAssumption

All Implemented Interfaces:

com.oracle.truffle.api.Assumption

public final class OptimizedAssumption
extends com.oracle.truffle.api.impl.AbstractAssumption

An assumption that when invalidated will cause all registered dependencies to be invalidated.

Field Summary

Fields inherited from class com.oracle.truffle.api.impl.AbstractAssumption

isValid, name

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

ALWAYS_VALID, NEVER_VALID

Constructor Summary

Constructors

Constructor and Description
OptimizedAssumption(String name)

Method Summary

Modifier and Type	Method and Description
void	check()
int	countDependencies() Gets the number of dependencies registered with this assumption.
void	invalidate()
void	invalidate(String message)
boolean	isValid()
Consumer<OptimizedAssumptionDependency>	registerDependency() Registers some dependent code with this assumption.
void	removeDeadDependencies() Removes all invalid dependencies.

Methods inherited from class com.oracle.truffle.api.impl.AbstractAssumption

getName, toString

Methods inherited from class java.lang.Object

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

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

create, create, isValidAssumption, isValidAssumption

Constructor Detail

OptimizedAssumption

public OptimizedAssumption(String name)

Method Detail

check

public void check()
           throws com.oracle.truffle.api.nodes.InvalidAssumptionException

Throws:

com.oracle.truffle.api.nodes.InvalidAssumptionException

invalidate

public void invalidate()

invalidate

public void invalidate(String message)

removeDeadDependencies

public void removeDeadDependencies()

Removes all invalid dependencies.

countDependencies

public int countDependencies()

Gets the number of dependencies registered with this assumption.

registerDependency

public Consumer<OptimizedAssumptionDependency> registerDependency()

Registers some dependent code with this assumption. As the dependent code may not yet be available, a Consumer is returned that must be notified when the code becomes available. If there is an error while compiling or installing the code, the returned consumer must be called with a null argument. If this assumption is already invalid, then null is returned in which case the caller (e.g., the compiler) must ensure the dependent code is never executed.

isValid

public boolean isValid()