Create a new SessionMetricCollector using the values currently known to this builder.
the name of the SessionMetricCollector
the session filter indicating the sessions this collector should apply to. The format of a session property filter is documented in Session
a new SessionMetricCollector with all of the current settings of this builder
Specifies whether the metric collector should export metrics to Prometheus or not.
The default is that metrics are not exported to Prometheus.
Adds the name of a session property to group by to the list known to this builder.
By default a builder will initially have no session properties to group by set.
the name of the session property. See Session for details of session properties
Specifies whether the metric collector should remove any metrics that have no matches.
The default is that the metric collector will not remove metrics with no matches.
true to indicate that metrics with no matches should be removed
Reset the builder.