org.graalvm.compiler.phases

Class VerifyPhase<C>

java.lang.Object

org.graalvm.compiler.phases.BasePhase<C>

org.graalvm.compiler.phases.VerifyPhase<C>

All Implemented Interfaces:

PhaseSizeContract

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

Verifies a graph or class against one or more invariants.

Nested Class Summary

Nested Classes

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

Nested classes/interfaces inherited from class org.graalvm.compiler.phases.BasePhase

BasePhase.ApplyScope, BasePhase.BasePhaseStatistics, BasePhase.PhaseOptions, BasePhase.SharedGlobalPhaseState

Constructor Summary

Constructors

Constructor and Description
VerifyPhase()

Method Summary

Modifier and Type	Method and Description
protected void	run(StructuredGraph graph, C context)
protected abstract void	verify(StructuredGraph graph, C context) Checks graph against some invariants.
void	verifyClass(Class<?> clazz, MetaAccessProvider metaAccess) Checks clazz against some invariants.

Methods inherited from class org.graalvm.compiler.phases.BasePhase

apply, apply, applyScope, codeSizeIncrease, contractorName, equals, getName, hashCode, shouldDumpAfterAtBasicLevel, shouldDumpBeforeAtBasicLevel

Methods inherited from class java.lang.Object

clone, getClass, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.graalvm.compiler.phases.contract.PhaseSizeContract

checkContract

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 void verify(StructuredGraph graph,
                               C context)

Checks graph against some invariants.

Throws:

VerifyPhase.VerificationError - if the verification fails

verifyClass

public void verifyClass(Class<?> clazz,
                        MetaAccessProvider metaAccess)

Checks clazz against some invariants.

Parameters:

clazz - the class to verify

metaAccess - an object to get a ResolvedJavaType for clazz

Throws:

VerifyPhase.VerificationError - if the class violates some invariant