org.graalvm.compiler.nodes.util

Class GraphUtil.Options

java.lang.Object

org.graalvm.compiler.nodes.util.GraphUtil.Options

Enclosing class:

GraphUtil

public static class GraphUtil.Options
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static OptionKey<Boolean>	VerifyKillCFGUnusedNodes

Constructor Summary

Constructors

Constructor and Description
Options()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

VerifyKillCFGUnusedNodes

public static final OptionKey<Boolean> VerifyKillCFGUnusedNodes

Constructor Detail

Options

public Options()