| Constructor and Description |
|---|
GlobalMetrics() |
| Modifier and Type | Method and Description |
|---|---|
void |
add(DebugContext debug)
Adds the values in
debug to the values in this object. |
org.graalvm.collections.EconomicMap<MetricKey,Long> |
asKeyValueMap()
Creates and returns a sorted map from metric names to their values in this object.
|
void |
clear()
Clears all values in this object.
|
Path |
print(OptionValues options)
Prints the values in this object to the file specified by
DebugOptions.AggregatedMetricsFile if present otherwise to
DebugContext.getDefaultLogStream(). |
Path |
print(OptionValues options,
String metricsFile)
Prints the values in this object to the file specified by
metricsFile if it is
non-null otherwise to DebugContext.getDefaultLogStream(). |
public void add(DebugContext debug)
debug to the values in this object.public void clear()
public org.graalvm.collections.EconomicMap<MetricKey,Long> asKeyValueMap()
public Path print(OptionValues options)
DebugOptions.AggregatedMetricsFile if present otherwise to
DebugContext.getDefaultLogStream().public Path print(OptionValues options, String metricsFile)
metricsFile if it is
non-null otherwise to DebugContext.getDefaultLogStream().