org.graalvm.compiler.graph

Class Graph.Options

java.lang.Object

org.graalvm.compiler.graph.Graph.Options

Enclosing class:

Graph

public static class Graph.Options
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static OptionKey<Integer>	GraphCompressionThreshold
static OptionKey<Boolean>	VerifyGraalGraphEdges
static OptionKey<Boolean>	VerifyGraalGraphs

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

VerifyGraalGraphs

public static final OptionKey<Boolean> VerifyGraalGraphs

VerifyGraalGraphEdges

public static final OptionKey<Boolean> VerifyGraalGraphEdges

GraphCompressionThreshold

public static final OptionKey<Integer> GraphCompressionThreshold

Constructor Detail

Options

public Options()