Package org.eclipse.microprofile.metrics
Interface MetricFilter
public interface MetricFilter
A filter used to determine whether or not a metric should be reported, among other things.
-
Field Summary
Modifier and TypeFieldDescriptionstatic final MetricFilter
Matches all metrics, regardless of type orMetricID
. -
Method Summary