diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-11-18T10·47+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-11-18T10·47+0000 |
commit | 8798fae30450a88c339c8f23d7e0c75f5df2ef1c (patch) | |
tree | 53d271e89ee3d04490a94a7ea82cf2dc3bbc3c30 /src/libnix/aterm.cc | |
parent | 45610ae675f6f8d6ecbd48c495cb7012b143d531 (diff) |
* Source tree refactoring.
Diffstat (limited to 'src/libnix/aterm.cc')
-rw-r--r-- | src/libnix/aterm.cc | 93 |
1 files changed, 0 insertions, 93 deletions
diff --git a/src/libnix/aterm.cc b/src/libnix/aterm.cc deleted file mode 100644 index de7c359521a7..000000000000 --- a/src/libnix/aterm.cc +++ /dev/null @@ -1,93 +0,0 @@ -#include "aterm.hh" - - -string atPrint(ATerm t) -{ - if (!t) throw Error("attempt to print null aterm"); - char * s = ATwriteToString(t); - if (!s) throw Error("cannot print term"); - return s; -} - - -ostream & operator << (ostream & stream, ATerm e) -{ - return stream << atPrint(e); -} - - -ATMatcher & atMatch(ATMatcher & pos, ATerm t) -{ - pos.t = t; - pos.pos = ATMatcher::funPos; - return pos; -} - - -static inline bool failed(const ATMatcher & pos) -{ - return pos.pos == ATMatcher::failPos; -} - - -static inline ATMatcher & fail(ATMatcher & pos) -{ - pos.pos = ATMatcher::failPos; - return pos; -} - - -ATMatcher & operator >> (ATMatcher & pos, ATerm & out) -{ - out = 0; - if (failed(pos)) return pos; - if (pos.pos == ATMatcher::funPos || - ATgetType(pos.t) != AT_APPL || - pos.pos >= (int) ATgetArity(ATgetAFun(pos.t))) - return fail(pos); - out = ATgetArgument(pos.t, pos.pos); - pos.pos++; - return pos; -} - - -ATMatcher & operator >> (ATMatcher & pos, string & out) -{ - out = ""; - if (pos.pos == ATMatcher::funPos) { - if (ATgetType(pos.t) != AT_APPL) return fail(pos); - out = ATgetName(ATgetAFun(pos.t)); - pos.pos = 0; - } else { - ATerm t; - pos = pos >> t; - if (failed(pos)) return pos; - if (ATgetType(t) != AT_APPL || - ATgetArity(ATgetAFun(t)) != 0) - return fail(pos); - out = ATgetName(ATgetAFun(t)); - } - return pos; -} - - -ATMatcher & operator >> (ATMatcher & pos, const string & s) -{ - string s2; - pos = pos >> s2; - if (failed(pos)) return pos; - if (s != s2) return fail(pos); - return pos; -} - - -ATMatcher & operator >> (ATMatcher & pos, ATermList & out) -{ - out = 0; - ATerm t; - pos = pos >> t; - if (failed(pos)) return pos; - if (ATgetType(t) != AT_LIST) return fail(pos); - out = (ATermList) t; - return pos; -} |