mirror of
https://github.com/ebean-orm/ebean.git
synced 2024-04-21 10:51:47 +00:00
27 lines
484 B
Java
27 lines
484 B
Java
package io.ebeaninternal.server.profile;
|
|
|
|
import io.ebean.ProfileLocation;
|
|
import io.ebean.meta.MetricVisitor;
|
|
import io.ebeaninternal.metric.TimedMetric;
|
|
|
|
/**
|
|
* ProfileLocation that collects timing metrics.
|
|
*/
|
|
public interface TimedProfileLocation extends ProfileLocation {
|
|
|
|
/**
|
|
* Return the label.
|
|
*/
|
|
String getLabel();
|
|
|
|
/**
|
|
* Return the metric.
|
|
*/
|
|
TimedMetric getMetric();
|
|
|
|
/**
|
|
* Visit the non empty metrics.
|
|
*/
|
|
void visit(MetricVisitor visitor);
|
|
}
|