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.
this builder
Specifies a list of session property names to group by, replacing any current list known to this builder.
a list of session property names. See Session for details of session properties
this builder
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
this builder
Set the maximum number of groups maintained by the metric collector.
By default, the number of groups is not limited.
a positive integer
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
this builder
Reset the builder.
this Builder
A session metric collector builder.
A builder of this type may be created using newSessionMetricCollectorBuilder and used to create instances of SessionMetricCollector that can be supplied to putSessionMetricCollector.