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 terms containing quoted identifiers (references to real identifiers).
25 //
26 #ifndef _quotedIdentifierTerm_hh_
27 #define _quotedIdentifierTerm_hh_
28 #include "NA_Term.hh"
29
30 class QuotedIdentifierTerm : public NA_Term
31 {
32 public:
33 QuotedIdentifierTerm(QuotedIdentifierSymbol* symbol, int idIndex);
34
35 Term* deepCopy2(SymbolMap* map) const;
36 Term* normalize(bool full, bool& changed);
37 int compareArguments(const Term* other) const;
38 int compareArguments(const DagNode* other) const;
39 void overwriteWithDagNode(DagNode* old) const;
40 NA_DagNode* makeDagNode() const;
41 //
42 // Needed because we have hidden data.
43 //
44 Term* instantiate2(const Vector<Term*>& varBindings, SymbolMap* translator);
45
46 int getIdIndex() const;
47
48 private:
49 NO_COPYING(QuotedIdentifierTerm);
50
51 const int idIndex;
52 };
53
54 inline int
getIdIndex() const55 QuotedIdentifierTerm::getIdIndex() const
56 {
57 return idIndex;
58 }
59
60 #endif
61