-> 3.17.0 final.
[valgrind.git] / coregrind / pub_core_wordfm.h
blobf51dfabd93d4e387b7d1e89c211c9c976f40aa5d
2 /*--------------------------------------------------------------------*/
3 /*--- An AVL tree based finite map for word keys and word values. ---*/
4 /*--- Inspired by Haskell's "FiniteMap" library. ---*/
5 /*--- pub_core_wordfm.h ---*/
6 /*--------------------------------------------------------------------*/
8 /*
9 This file is part of Valgrind, a dynamic binary instrumentation
10 framework.
12 Copyright (C) 2007-2017 Julian Seward
13 jseward@acm.org
15 This code is based on previous work by Nicholas Nethercote
16 (coregrind/m_oset.c) which is
18 Copyright (C) 2005-2017 Nicholas Nethercote
19 njn@valgrind.org
21 which in turn was derived partially from:
23 AVL C library
24 Copyright (C) 2000,2002 Daniel Nagy
26 This program is free software; you can redistribute it and/or
27 modify it under the terms of the GNU General Public License as
28 published by the Free Software Foundation; either version 2 of
29 the License, or (at your option) any later version.
30 [...]
32 (taken from libavl-0.4/debian/copyright)
34 This program is free software; you can redistribute it and/or
35 modify it under the terms of the GNU General Public License as
36 published by the Free Software Foundation; either version 2 of the
37 License, or (at your option) any later version.
39 This program is distributed in the hope that it will be useful, but
40 WITHOUT ANY WARRANTY; without even the implied warranty of
41 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
42 General Public License for more details.
44 You should have received a copy of the GNU General Public License
45 along with this program; if not, see <http://www.gnu.org/licenses/>.
47 The GNU General Public License is contained in the file COPYING.
50 #ifndef __PUB_CORE_WORDFM_H
51 #define __PUB_CORE_WORDFM_H
53 /* No core-only exports; everything in this module is visible to both
54 the core and tools. */
56 #include "pub_tool_wordfm.h"
58 #endif /* ! __PUB_CORE_WORDFM_H */
60 /*--------------------------------------------------------------------*/
61 /*--- end pub_core_wordfm.h ---*/
62 /*--------------------------------------------------------------------*/