org.graalvm.compiler.debug

Interface DebugVerifyHandler

All Superinterfaces:

DebugHandler

All Known Implementing Classes:

NoDeadCodeVerifyHandler

public interface DebugVerifyHandler
extends DebugHandler

Performs some kind of verification on an object.

Method Summary

Modifier and Type	Method and Description
void	verify(DebugContext debug, Object object, String format, Object... arguments) Verifies that a given object satisfies some invariants.

Method Detail

verify

void verify(DebugContext debug,
            Object object,
            String format,
            Object... arguments)

Verifies that a given object satisfies some invariants.

Parameters:

object - object to verify

debug - the debug context requesting the dump

format - a format string specifying a title that describes the context of the verification (e.g., the compiler phase in which request is made)

arguments - arguments referenced by the format specifiers in format