mirror of
https://github.com/ebean-orm/ebean.git
synced 2024-04-21 10:51:47 +00:00
15 lines
313 B
Java
15 lines
313 B
Java
package io.ebeaninternal.metric;
|
|
|
|
import io.ebean.meta.MetaTimedMetric;
|
|
|
|
/**
|
|
* Extend public MetaTimedMetric with ability to set details from profile location.
|
|
*/
|
|
public interface TimedMetricStats extends MetaTimedMetric {
|
|
|
|
/**
|
|
* Additionally set the location.
|
|
*/
|
|
void setLocation(String location);
|
|
}
|