public interface ParameterSet
Modifier and Type | Method and Description |
---|---|
ParameterSet |
createChild(String name)
Create a new child parameter set with the given name, and return it.
|
Collection<ParameterSet> |
getChildren()
Return all child parameter sets of this parameter set.
|
long |
getCounter(int id)
Returns a single counter value corresponding to the specified statistic ID.
|
long[] |
getCounters(int[] ids)
Returns an array of counter values corresponding to the array of statistic IDs specified as the argument.
|
String |
getKey()
Get the fully qualified key of the parameter set
A parameter sets fully qualified key begins with the parameter set type name, followed by the
names of any parameter parameter sets (oldest first) and finally the name of the parameter set itself.
|
String |
getName()
Get the name of this parameter set
The name of a parameter set corresponds to the last part of the parameter sets fully qualified key.
|
ParameterSet |
getParent()
Return the parent parameter set, or null if this is the root
|
String[] |
getStatisticNames()
Return the names of all statistics, ordered by ID.
|
String getName()
The name of a parameter set corresponds to the last part of the parameter sets fully qualified key.
String getKey()
A parameter sets fully qualified key begins with the parameter set type name, followed by the names of any parameter parameter sets (oldest first) and finally the name of the parameter set itself.
ParameterSet createChild(String name)
Collection<ParameterSet> getChildren()
ParameterSet getParent()
String[] getStatisticNames()
long[] getCounters(int[] ids) throws UnrecognizedStatisticException
ids
- an array of statistic IDs to retrieveUnrecognizedStatisticException
- if one or more ids does not corresponding to a valid statistic ID.long getCounter(int id) throws UnrecognizedStatisticException
id
- the statistic ID to retriveUnrecognizedStatisticException
- if id
is not a valid statistic ID