diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-10-29T11·22+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-10-29T11·22+0000 |
commit | a69534fc217666d53a418605de0ebb0879cbb2f7 (patch) | |
tree | b91bc4123796ff607c0c0b3861fe45ed37028bf3 /src/libutil/aterm.cc | |
parent | ed09821859e8e585c8479a3c3bf95e76d518d66f (diff) |
* Drop ATmake / ATMatcher also in handling store expressions.
Diffstat (limited to 'src/libutil/aterm.cc')
-rw-r--r-- | src/libutil/aterm.cc | 89 |
1 files changed, 0 insertions, 89 deletions
diff --git a/src/libutil/aterm.cc b/src/libutil/aterm.cc index fb734b3a0847..77bf8dab4c12 100644 --- a/src/libutil/aterm.cc +++ b/src/libutil/aterm.cc @@ -16,95 +16,6 @@ ostream & operator << (ostream & stream, ATerm 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, int & n) -{ - n = 0; - ATerm t; - pos = pos >> t; - if (failed(pos)) return pos; - if (ATgetType(t) != AT_INT) return fail(pos); - n = ATgetInt((ATermInt) t); - 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; -} - - Error badTerm(const format & f, ATerm t) { char * s = ATwriteToString(t); |