summaryrefslogtreecommitdiff
path: root/lib/bitset_stats.h
diff options
context:
space:
mode:
authorAkim Demaille <akim@epita.fr>2002-07-02 13:51:27 +0000
committerAkim Demaille <akim@epita.fr>2002-07-02 13:51:27 +0000
commit613f5e1a895b0742c9b6c5e9461e4cf3f7389d7e (patch)
tree0560faaca9522756393d5a9951d57b1face9a5de /lib/bitset_stats.h
parent524346a3a3088f7d28420fe711a7720980b88f48 (diff)
downloadbison-613f5e1a895b0742c9b6c5e9461e4cf3f7389d7e.tar.gz
* lib/libiberty.h: New.
* lib: Update the bitset implementation from upstream. * src/closure.c, src/lalr.c, src/output.c, src/print_graph.c, * src/state.c: Use BITSET_FOR_EACH, not BITSET_EXECUTE. * src/main.c: Adjust bitset stats calls.
Diffstat (limited to 'lib/bitset_stats.h')
-rw-r--r--lib/bitset_stats.h33
1 files changed, 33 insertions, 0 deletions
diff --git a/lib/bitset_stats.h b/lib/bitset_stats.h
new file mode 100644
index 00000000..2ebd29e7
--- /dev/null
+++ b/lib/bitset_stats.h
@@ -0,0 +1,33 @@
+/* Functions to support bitset statistics.
+ Copyright (C) 2002 Free Software Foundation, Inc.
+ Contributed by Michael Hayes (m.hayes@elec.canterbury.ac.nz).
+
+This program is free software; you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation; either version 2 of the License, or
+(at your option) any later version.
+
+This program is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with this program; if not, write to the Free Software
+Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
+
+#ifndef _BITSET_STATS_H
+#define _BITSET_STATS_H
+
+#include "bbitset.h"
+
+extern int bitset_stats_enabled;
+
+extern enum bitset_type bitset_stats_type_get PARAMS ((bitset));
+
+extern int bitset_stats_bytes PARAMS ((void));
+
+extern bitset bitset_stats_init PARAMS ((bitset, bitset_bindex,
+ enum bitset_type));
+
+#endif