Changeset b0d9ff7 for src/Common

Timestamp:

Sep 1, 2022, 1:27:52 PM (22 months ago)

Author:

JiadaL <j82liang@…>

Branches:

ADT, ast-experimental, master, pthread-emulation, qualifiedEnum

Children:

12df6fe

Parents:

def751f

Message:

Fix up the QualifiedNameExpr?. It should now work on both old AST and new AST. There are some known bugs to fix so make all-tests will fail.

Location:

src/Common

Files:

• CodeLocationTools.cpp (modified) (1 diff)
• PassVisitor.h (modified) (3 diffs)
• PassVisitor.impl.h (modified) (1 diff)

src/Common/CodeLocationTools.cpp

@@ -137 +137 @@
     macro(UntypedExpr, Expr) \
     macro(NameExpr, Expr) \
+        macro(QualifiedNameExpr, Expr) \
     macro(AddressExpr, Expr) \
     macro(LabelAddressExpr, Expr) \

src/Common/PassVisitor.h

@@ -133 +133 @@
         virtual void visit( NameExpr * nameExpr ) override final;
         virtual void visit( const NameExpr * nameExpr ) override final;
+        virtual void visit ( QualifiedNameExpr * qualifiedNameExpr ) override final;
+        virtual void visit ( const QualifiedNameExpr * qualifiedNameExpr ) override final;
         virtual void visit( CastExpr * castExpr ) override final;
         virtual void visit( const CastExpr * castExpr ) override final;
@@ -325 +327 @@
         virtual Expression * mutate( TupleExpr * tupleExpr ) override final;
         virtual Expression * mutate( TupleIndexExpr * tupleExpr ) override final;
-        virtual Expression * mutate( TupleAssignExpr * assignExpr ) override final;
+        virtual Expression * mutate( TupleAssignExpr * assignExpr ) override final; 
         virtual Expression * mutate( StmtExpr *  stmtExpr ) override final;
         virtual Expression * mutate( UniqueExpr *  uniqueExpr ) override final;
@@ -333 +335 @@
         virtual Expression * mutate( DefaultArgExpr * argExpr ) override final;
         virtual Expression * mutate( GenericExpr * genExpr ) override final;
+        virtual Expression * mutate( QualifiedNameExpr * qualifiedNameExpr ) override final;
 
         virtual Type * mutate( VoidType * basicType ) override final;

src/Common/PassVisitor.impl.h

@@ -1927 +1927 @@
 
 //--------------------------------------------------------------------------
+// QualifiedNameExpr
+template< typename pass_type >
+void PassVisitor< pass_type >::visit( QualifiedNameExpr * node ) {
+        VISIT_START( node );
+
+        indexerScopedAccept( node->result, *this );
+        maybeAccept_impl( node->type_decl, *this );
+        maybeAccept_impl( node->var, *this );
+
+        VISIT_END( node );
+}
+
+template< typename pass_type >
+void PassVisitor< pass_type >::visit( const QualifiedNameExpr * node ) {
+        VISIT_START( node );
+
+        indexerScopedAccept( node->result, *this );
+        maybeAccept_impl( node->type_decl, *this );
+        maybeAccept_impl( node->var, *this );
+
+        VISIT_END( node );
+}
+
+template< typename pass_type >
+Expression * PassVisitor< pass_type >::mutate( QualifiedNameExpr * node ) {
+        MUTATE_START( node );
+
+    indexerScopedMutate( node->env   , *this );
+    indexerScopedMutate( node->result, *this );
+        maybeMutate_impl( node->type_decl, *this );
+        maybeAccept_impl( node->var, *this );
+
+        MUTATE_END( Expression, node );
+}
+
+//--------------------------------------------------------------------------
 // CastExpr
 template< typename pass_type >