Changeset 907eccb for src/SymTab/Indexer.cc

Timestamp:

Dec 22, 2016, 3:23:49 PM (8 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:

4c8621ac

Parents:

0c286cf

Message:

added UntypedTupleExpr? to better differentiate typed and untyped contexts, simplifying some code

File:

• src/SymTab/Indexer.cc (modified) (2 diffs)

src/SymTab/Indexer.cc

@@ -453 +453 @@
         }
 
-        void Indexer::visit( TupleExpr *tupleExpr ) {
-                acceptNewScope( tupleExpr->get_result(), *this );
-                acceptAll( tupleExpr->get_exprs(), *this );
-        }
-
-        void Indexer::visit( TupleAssignExpr *tupleExpr ) {
-                acceptNewScope( tupleExpr->get_result(), *this );
-                maybeAccept( tupleExpr->get_stmtExpr(), *this );
-        }
-
         void Indexer::visit( TypeExpr *typeExpr ) {
                 acceptNewScope( typeExpr->get_result(), *this );
@@ -474 +464 @@
         }
 
+        void Indexer::visit( ImplicitCopyCtorExpr *impCpCtorExpr ) {
+                acceptNewScope( impCpCtorExpr->get_result(), *this );
+                maybeAccept( impCpCtorExpr->get_callExpr(), *this );
+                acceptAll( impCpCtorExpr->get_tempDecls(), *this );
+                acceptAll( impCpCtorExpr->get_returnDecls(), *this );
+                acceptAll( impCpCtorExpr->get_dtors(), *this );
+        }
+
+        void Indexer::visit( ConstructorExpr * ctorExpr ) {
+                acceptNewScope( ctorExpr->get_result(), *this );
+                maybeAccept( ctorExpr->get_callExpr(), *this );
+        }
+
+        void Indexer::visit( CompoundLiteralExpr *compLitExpr ) {
+                acceptNewScope( compLitExpr->get_result(), *this );
+                maybeAccept( compLitExpr->get_type(), *this );
+                maybeAccept( compLitExpr->get_initializer(), *this );
+        }
+
         void Indexer::visit( UntypedValofExpr *valofExpr ) {
                 acceptNewScope( valofExpr->get_result(), *this );
                 maybeAccept( valofExpr->get_body(), *this );
+        }
+
+        void Indexer::visit( RangeExpr *rangeExpr ) {
+                maybeAccept( rangeExpr->get_low(), *this );
+                maybeAccept( rangeExpr->get_high(), *this );
+        }
+
+        void Indexer::visit( UntypedTupleExpr *tupleExpr ) {
+                acceptNewScope( tupleExpr->get_result(), *this );
+                acceptAll( tupleExpr->get_exprs(), *this );
+        }
+
+        void Indexer::visit( TupleExpr *tupleExpr ) {
+                acceptNewScope( tupleExpr->get_result(), *this );
+                acceptAll( tupleExpr->get_exprs(), *this );
+        }
+
+        void Indexer::visit( TupleIndexExpr *tupleExpr ) {
+                acceptNewScope( tupleExpr->get_result(), *this );
+                maybeAccept( tupleExpr->get_tuple(), *this );
+        }
+
+        void Indexer::visit( MemberTupleExpr *tupleExpr ) {
+                acceptNewScope( tupleExpr->get_result(), *this );
+                maybeAccept( tupleExpr->get_member(), *this );
+                maybeAccept( tupleExpr->get_aggregate(), *this );
+        }
+
+        void Indexer::visit( TupleAssignExpr *tupleExpr ) {
+                acceptNewScope( tupleExpr->get_result(), *this );
+                maybeAccept( tupleExpr->get_stmtExpr(), *this );
+        }
+
+        void Indexer::visit( StmtExpr *stmtExpr ) {
+                acceptNewScope( stmtExpr->get_result(), *this );
+                maybeAccept( stmtExpr->get_statements(), *this );
+                acceptAll( stmtExpr->get_returnDecls(), *this );
+                acceptAll( stmtExpr->get_dtors(), *this );
+        }
+
+        void Indexer::visit( UniqueExpr *uniqueExpr ) {
+                acceptNewScope( uniqueExpr->get_result(), *this );
+                maybeAccept( uniqueExpr->get_expr(), *this );
         }