27 lines
609 B
Coq
27 lines
609 B
Coq
|
module metrics
|
||
|
|
||
|
[heap]
|
||
|
struct NullCollector {}
|
||
|
|
||
|
pub fn new_null_collector() &NullCollector {
|
||
|
return &NullCollector{}
|
||
|
}
|
||
|
|
||
|
pub fn (c &NullCollector) counter_register(value u64, metric Metric) {}
|
||
|
|
||
|
pub fn (c &NullCollector) counter_increment(metric Metric) {}
|
||
|
|
||
|
pub fn (c &NullCollector) counter_decrement(metric Metric) {}
|
||
|
|
||
|
pub fn (c &NullCollector) counter_get(metric Metric) ?u64 {
|
||
|
return none
|
||
|
}
|
||
|
|
||
|
pub fn (c &NullCollector) histogram_register(metric Metric) {}
|
||
|
|
||
|
pub fn (c &NullCollector) histogram_add(value f64, metric Metric) {}
|
||
|
|
||
|
pub fn (c &NullCollector) histogram_get(metric Metric) ?[]f64 {
|
||
|
return none
|
||
|
}
|