Changeset 44b4114 for src/Common

Timestamp:

Feb 14, 2018, 4:18:37 PM (7 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

f5883bd

Parents:

490ff5c3

git-author:

Rob Schluntz <rschlunt@…> (02/14/18 16:17:36)

git-committer:

Rob Schluntz <rschlunt@…> (02/14/18 16:18:37)

Message:

Add DeletedExpr? node for use of deleted identifiers

Location:

src/Common

Files:

• PassVisitor.h (modified) (2 diffs)
• PassVisitor.impl.h (modified) (1 diff)

src/Common/PassVisitor.h ¶

@@ -121 +121 @@
         virtual void visit( UntypedInitExpr *  initExpr ) override final;
         virtual void visit( InitExpr *  initExpr ) override final;
+        virtual void visit( DeletedExpr *  delExpr ) override final;
 
         virtual void visit( VoidType * basicType ) override final;
@@ -215 +216 @@
         virtual Expression * mutate( UntypedInitExpr *  initExpr ) override final;
         virtual Expression * mutate( InitExpr *  initExpr ) override final;
+        virtual Expression * mutate( DeletedExpr *  delExpr ) override final;
 
         virtual Type * mutate( VoidType * basicType ) override final;

src/Common/PassVisitor.impl.h ¶

@@ -1976 +1976 @@
 }
 
+//--------------------------------------------------------------------------
+// DeletedExpr
+template< typename pass_type >
+void PassVisitor< pass_type >::visit( DeletedExpr * node ) {
+        VISIT_START( node );
+
+        indexerScopedAccept( node->result, *this );
+        maybeAccept_impl( node->expr, *this );
+        // don't visit deleteStmt, because it is a pointer to somewhere else in the tree.
+
+        VISIT_END( node );
+}
+
+template< typename pass_type >
+Expression * PassVisitor< pass_type >::mutate( DeletedExpr * node ) {
+        MUTATE_START( node );
+
+        indexerScopedMutate( node->env, *this );
+        indexerScopedMutate( node->result, *this );
+        maybeMutate_impl( node->expr, *this );
+
+        MUTATE_END( Expression, node );
+}
+
+
 template< typename pass_type >
 void PassVisitor< pass_type >::visit( VoidType * node ) {