1 /*
2
3 This file is part of the Maude 2 interpreter.
4
5 Copyright 1997-2003 SRI International, Menlo Park, CA 94025, USA.
6
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2 of the License, or
10 (at your option) any later version.
11
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with this program; if not, write to the Free Software
19 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307, USA.
20
21 */
22
23 //
24 // Implementation for class RootContainer
25 //
26
27 // utility stuff
28 #include "macros.hh"
29
30 // forward declarations
31 #include "core.hh"
32
33 // core class definitions
34 #include "rootContainer.hh"
35
36 RootContainer* RootContainer::listHead = 0;
37
38 #ifdef DUMP
39
40 void
dump(ostream & s)41 RootContainer::dump(ostream& s)
42 {
43 for (RootContainer* p = listHead; p; p = p->next)
44 {
45 s << static_cast<void*>(p) << endl;
46 Assert((p->prev == 0 && listHead == p) || p->prev->next == p,
47 "bad linked list");
48 }
49 }
50
51 #endif
52