org.graalvm.polyglot.tck

Interface ResultVerifier

All Superinterfaces:

Consumer<ResultVerifier.SnippetRun>

public interface ResultVerifier
extends Consumer<ResultVerifier.SnippetRun>

Allows a custom verification of a result of a snippet execution.

Since:

0.30

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	ResultVerifier.SnippetRun Provides the test execution data.

Method Summary

Modifier and Type	Method and Description
void	accept(ResultVerifier.SnippetRun snippetRun) Performs a verification of a result of a snippet execution.
static ResultVerifier	getDefaultResultVerifier() Creates a default ResultVerifier.
static ResultVerifier	getIdentityFunctionDefaultResultVerifier() Creates a default ResultVerifier for the IdentityFunctionTest.

Methods inherited from interface java.util.function.Consumer

andThen

Method Detail

accept

void accept(ResultVerifier.SnippetRun snippetRun)
     throws PolyglotException

Performs a verification of a result of a snippet execution. The custom ResultVerifier overrides the default snippet execution verification. The default verification tests that the result type is in bounds specified by the Snippet. The custom ResultVerifier can be used to do additional checking of a result or an execution exception throwing AssertionError in case of failed assertion. The custom ResultVerifier can hide an expected execution exception. For example the division operator snippet may provide a custom ResultVerifier hiding the execution exception for division by zero. To propagate the execution exception the ResultVerifier should re-throw it. The ResultVerifier can be used to resolve problems in the ErrorTypeTest by making the Snippet's parameter(s) more generic and restrict the required value in the verifier.

Specified by:

accept in interface Consumer<ResultVerifier.SnippetRun>

Parameters:

snippetRun - the snippet execution data. The ResultVerifier.SnippetRun provides the actual snippet parameters, the execution result, or the PolyglotException thrown by the execution. If the snippet execution throws an IllegalArgumentException, it's converted to PolyglotException.

Throws:

PolyglotException - may propagate the PolyglotException from the snippetRun

AssertionError - may throw an AssertionError as a result of a verification

Since:

0.30

getDefaultResultVerifier

static ResultVerifier getDefaultResultVerifier()

Creates a default ResultVerifier. The default ResultVerifier tests that the result type is in bounds specified by the Snippet.

Returns:

the default ResultVerifier

Since:

19.0

getIdentityFunctionDefaultResultVerifier

static ResultVerifier getIdentityFunctionDefaultResultVerifier()

Creates a default ResultVerifier for the IdentityFunctionTest. The returned ResultVerifier tests that the identity function does not change the parameter type.

Returns:

the default ResultVerifier for IdentityFunctionTest.

Since:

19.1.0