org.graalvm.compiler.printer

Class NoDeadCodeVerifyHandler

java.lang.Object

org.graalvm.compiler.printer.NoDeadCodeVerifyHandler

All Implemented Interfaces:

DebugHandler, DebugVerifyHandler

public class NoDeadCodeVerifyHandler
extends Object
implements DebugVerifyHandler

Verifies that graphs have no dead code.

Constructor Summary

Constructors

Constructor and Description
NoDeadCodeVerifyHandler()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

NoDeadCodeVerifyHandler

public NoDeadCodeVerifyHandler()

Method Detail

verify

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

Description copied from interface: DebugVerifyHandler

Verifies that a given object satisfies some invariants.

Specified by:

verify in interface DebugVerifyHandler

Parameters:

debug - the debug context requesting the dump

object - object to verify

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

args - arguments referenced by the format specifiers in format