com.oracle.graal.printer

Class NoDeadCodeVerifyHandler

java.lang.Object

com.oracle.graal.printer.NoDeadCodeVerifyHandler

All Implemented Interfaces:

DebugVerifyHandler

public class NoDeadCodeVerifyHandler
extends Object
implements DebugVerifyHandler

Verifies that graphs have no dead code.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
(package private) static class	NoDeadCodeVerifyHandler.Options

Field Summary

Fields

Modifier and Type	Field and Description
private static Map<String,Boolean>	discovered Only the first instance of failure at any point is shown.
private static int	FATAL
private static int	INFO
private static int	OFF
private static int	VERBOSE

Constructor Summary

Constructors

Constructor and Description
NoDeadCodeVerifyHandler()

Method Summary

Modifier and Type	Method and Description
void	verify(Object object, String message) 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

Field Detail

OFF

private static final int OFF

See Also:

Constant Field Values

INFO

private static final int INFO

See Also:

Constant Field Values

VERBOSE

private static final int VERBOSE

See Also:

Constant Field Values

FATAL

private static final int FATAL

See Also:

Constant Field Values

discovered

private static final Map<String,Boolean> discovered

Only the first instance of failure at any point is shown. This will also be removed once all phases clean up their own dead code.

Constructor Detail

NoDeadCodeVerifyHandler

public NoDeadCodeVerifyHandler()

Method Detail

verify

public void verify(Object object,
                   String message)

Description copied from interface: DebugVerifyHandler

Verifies that a given object satisfies some invariants.

Specified by:

verify in interface DebugVerifyHandler

Parameters:

object - object to verify

message - description of verification context