com.oracle.truffle.api

Class CompilerAsserts

java.lang.Object

com.oracle.truffle.api.CompilerAsserts

public final class CompilerAsserts
extends Object

Assertions about the code produced by the Truffle compiler. All operations have no effect when either executed in the interpreter or in the compiled code. The assertions are checked during code generation and the Truffle compiler produces for failing assertions a stack trace that identifies the code position of the assertion in the context of the current compilation.

Since:

0.8 or earlier

Method Summary

Modifier and Type	Method and Description
static <T> void	compilationConstant(Object value) Assertion that the corresponding value is reduced to a constant during compilation.
static void	neverPartOfCompilation() Assertion that this code position should never be reached during compilation.
static void	neverPartOfCompilation(String message) Assertion that this code position should never be reached during compilation.
static <T> void	partialEvaluationConstant(Object value) Assertion that the corresponding value is reduced to a constant during the initial partial evaluation phase.

Methods inherited from class java.lang.Object

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

Method Detail

neverPartOfCompilation

public static void neverPartOfCompilation()

Assertion that this code position should never be reached during compilation. It can be used for exceptional code paths or rare code paths that should never be included in a compilation unit. See CompilerDirectives.transferToInterpreter() for the corresponding compiler directive.

Since:

0.8 or earlier

neverPartOfCompilation

public static void neverPartOfCompilation(String message)

Assertion that this code position should never be reached during compilation. It can be used for exceptional code paths or rare code paths that should never be included in a compilation unit. See CompilerDirectives.transferToInterpreter() for the corresponding compiler directive.

Parameters:

message - text associated with the bailout exception

Since:

0.8 or earlier

compilationConstant

public static <T> void compilationConstant(Object value)

Assertion that the corresponding value is reduced to a constant during compilation.

Parameters:

value - the value that must be constant during compilation

Since:

0.8 or earlier

partialEvaluationConstant

public static <T> void partialEvaluationConstant(Object value)

Assertion that the corresponding value is reduced to a constant during the initial partial evaluation phase.

Parameters:

value - the value that must be constant during compilation

Since:

0.8 or earlier