public class HotSpotGraalOptionValues extends Object
HotSpotGraalOptionValues.defaultOptions() method returns the options values initialized in a HotSpot VM. The
values are set via system properties with the "graal." prefix.| Modifier and Type | Field and Description |
|---|---|
static String |
GRAAL_OPTION_PROPERTY_PREFIX
The prefix for system properties that correspond to
Option annotated fields. |
| Constructor and Description |
|---|
HotSpotGraalOptionValues() |
| Modifier and Type | Method and Description |
|---|---|
static String |
asSystemPropertySetting(OptionValues options,
OptionKey<?> value)
Gets the system property assignment that would set the current value for a given option.
|
static OptionValues |
defaultOptions() |
static org.graalvm.collections.EconomicMap<OptionKey<?>,Object> |
parseOptions()
Gets and parses options based on saved system
properties.
|
public static final String GRAAL_OPTION_PROPERTY_PREFIX
Option annotated fields. A field
named MyOption will have its value set from a system property with the name
GRAAL_OPTION_PROPERTY_PREFIX + "MyOption".public static String asSystemPropertySetting(OptionValues options, OptionKey<?> value)
public static OptionValues defaultOptions()
public static org.graalvm.collections.EconomicMap<OptionKey<?>,Object> parseOptions()
Properties.load(java.io.Reader).