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 // Class for objects that are numbered within a module.
25 // This provides us with:
26 // (1) a way of getting back to the module containing an object; and
27 // (2) a number that is useful for indexing.
28 //
29 #ifndef _moduleItem_hh_
30 #define _moduleItem_hh_
31
32 class ModuleItem
33 {
34 public:
35 void setModuleInfo(Module* module, int indexWithinModule);
36 Module* getModule() const;
37 int getIndexWithinModule() const;
38
39 private:
40 Module* parentModule;
41 int indexWithinParent;
42 };
43
44 inline void
setModuleInfo(Module * module,int indexWithinModule)45 ModuleItem::setModuleInfo(Module* module, int indexWithinModule)
46 {
47 parentModule = module;
48 indexWithinParent = indexWithinModule;
49 }
50
51 inline Module*
getModule() const52 ModuleItem::getModule() const
53 {
54 return parentModule;
55 }
56
57 inline int
getIndexWithinModule() const58 ModuleItem::getIndexWithinModule() const
59 {
60 return indexWithinParent;
61 }
62
63 #endif
64