com.oracle.graal.phases

Class VerifyPhase<C>

java.lang.Object

com.oracle.graal.phases.BasePhase<C>

com.oracle.graal.phases.VerifyPhase<C>

Direct Known Subclasses:

AheadOfTimeVerificationPhase, VerifyDebugUsage, VerifyUsageWithEquals

public abstract class VerifyPhase<C>
extends BasePhase<C>

This phase serves as a verification, in order to check the graph for certain properties. The verify(StructuredGraph, Object) method will be used as an assertion, and implements the actual check. Instead of returning false, it is also valid to throw an VerifyPhase.VerificationError in the implemented verify(StructuredGraph, Object) method.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	VerifyPhase.VerificationError Thrown when verification performed by a VerifyPhase fails.

Field Summary

Fields inherited from class com.oracle.graal.phases.BasePhase

BEFORE_PHASE_DUMP_LEVEL, PHASE_DUMP_LEVEL

Constructor Summary

Constructors

Constructor and Description
VerifyPhase()

Method Summary

Modifier and Type	Method and Description
protected void	run(StructuredGraph graph, C context)
protected abstract boolean	verify(StructuredGraph graph, C context) Performs the actual verification.

Methods inherited from class com.oracle.graal.phases.BasePhase

apply, apply, createName, getName

Methods inherited from class java.lang.Object

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

Constructor Detail

VerifyPhase

public VerifyPhase()

Method Detail

run

protected final void run(StructuredGraph graph,
                         C context)

Specified by:

run in class BasePhase<C>

verify

protected abstract boolean verify(StructuredGraph graph,
                                  C context)

Performs the actual verification.

Throws:

VerifyPhase.VerificationError - if the verification fails