diff options
Diffstat (limited to 'src/libutil/aterm.hh')
| -rw-r--r-- | src/libutil/aterm.hh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/libutil/aterm.hh b/src/libutil/aterm.hh index d38d8e3f4d7a..577b784be202 100644 --- a/src/libutil/aterm.hh +++ b/src/libutil/aterm.hh @@ -61,7 +61,7 @@ ATMatcher & atMatch(ATMatcher & pos, ATerm t); /* Get the next argument of an application. */ ATMatcher & operator >> (ATMatcher & pos, ATerm & out); -/* Get the name of the function symbol of an applicatin, or the next +/* Get the name of the function symbol of an application, or the next argument of an application as a string. */ ATMatcher & operator >> (ATMatcher & pos, string & out); @@ -70,6 +70,10 @@ ATMatcher & operator >> (ATMatcher & pos, string & out); ATMatcher & operator >> (ATMatcher & pos, const string & s); /* Get the next argument of an application, and verify that it is a + integer. */ +ATMatcher & operator >> (ATMatcher & pos, int & n); + +/* Get the next argument of an application, and verify that it is a list. */ ATMatcher & operator >> (ATMatcher & pos, ATermList & out); |