Changeset 907eccb for src/SymTab

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

Location:

src/SymTab

Files:

• Indexer.cc (modified) (2 diffs)
• Indexer.h (modified) (1 diff)

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 );
         }
 

src/SymTab/Indexer.h

@@ -66 +66 @@
                 virtual void visit( TypeExpr *typeExpr );
                 virtual void visit( AsmExpr *asmExpr );
+                virtual void visit( ImplicitCopyCtorExpr *impCpCtorExpr );
+                virtual void visit( ConstructorExpr * ctorExpr );
+                virtual void visit( CompoundLiteralExpr *compLitExpr );
                 virtual void visit( UntypedValofExpr *valofExpr );
+                virtual void visit( RangeExpr *rangeExpr );
+                virtual void visit( UntypedTupleExpr *tupleExpr );
                 virtual void visit( TupleExpr *tupleExpr );
+                virtual void visit( TupleIndexExpr *tupleExpr );
+                virtual void visit( MemberTupleExpr *tupleExpr );
                 virtual void visit( TupleAssignExpr *tupleExpr );
+                virtual void visit( StmtExpr * stmtExpr );
+                virtual void visit( UniqueExpr * uniqueExpr );
 
                 virtual void visit( TraitInstType *contextInst );