summaryrefslogtreecommitdiff
path: root/src/parser/parser.h
diff options
context:
space:
mode:
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>2019-12-13 09:53:02 -0600
committerGitHub <noreply@github.com>2019-12-13 09:53:02 -0600
commit9acb8b8d0d529c4780191660f8ef2b51e4a92926 (patch)
tree1ee538fbc959102d4778cfc74047ee4df87a36c2 /src/parser/parser.h
parent866f7fb6d4642a51893b0978114b432f990f4c9d (diff)
Add support for set comprehension (#3312)
Diffstat (limited to 'src/parser/parser.h')
-rw-r--r--src/parser/parser.h8
1 files changed, 8 insertions, 0 deletions
diff --git a/src/parser/parser.h b/src/parser/parser.h
index 42badf4c5..642b81fb0 100644
--- a/src/parser/parser.h
+++ b/src/parser/parser.h
@@ -739,6 +739,14 @@ public:
*/
inline size_t scopeLevel() const { return d_symtab->getLevel(); }
+ /**
+ * Pushes a scope. All subsequent symbol declarations made are only valid in
+ * this scope, i.e. they are deleted on the next call to popScope.
+ *
+ * The argument bindingLevel is true, the assertion level is set to the
+ * current scope level. This determines which scope assertions are declared
+ * at.
+ */
inline void pushScope(bool bindingLevel = false) {
d_symtab->pushScope();
if(!bindingLevel) {
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback