00001 /* 00002 Copyright (C) 2017- The University of Notre Dame 00003 This software is distributed under the GNU General Public License. 00004 See the file COPYING for details. 00005 */ 00006 00007 #ifndef STATS_H 00008 #define STATS_H 00009 00010 #include <stdio.h> 00011 #include <stdint.h> 00012 #include "jx.h" 00013 00016 void stats_enable (void); 00017 00021 void stats_unset (const char *name); 00022 00028 void stats_set (const char *name, int64_t value); 00029 00036 void stats_inc (const char *name, int64_t offset); 00037 00045 void stats_bin (const char *name, uint64_t value); 00046 00052 struct jx *stats_get (void); 00053 00054 #endif