Changeset 7ff35e0e

Timestamp:

Jul 14, 2021, 4:01:37 PM (3 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

b238618

Parents:

ca69a8a

Message:

Implemented old ast boiler-plate for vtabletype.

Location:

src

Files:

• Common/PassVisitor.h (modified) (2 diffs)
• Common/PassVisitor.impl.h (modified) (1 diff)
• SynTree/Mutator.h (modified) (1 diff)
• SynTree/SynTree.h (modified) (1 diff)
• SynTree/Visitor.h (modified) (1 diff)

src/Common/PassVisitor.h

@@ -230 +230 @@
         virtual void visit( TypeofType * typeofType ) override final;
         virtual void visit( const TypeofType * typeofType ) override final;
+        virtual void visit( VTableType * vtableType ) override final;
+        virtual void visit( const VTableType * vtableType ) override final;
         virtual void visit( AttrType * attrType ) override final;
         virtual void visit( const AttrType * attrType ) override final;
@@ -343 +345 @@
         virtual Type * mutate( TupleType * tupleType ) override final;
         virtual Type * mutate( TypeofType * typeofType ) override final;
+        virtual Type * mutate( VTableType * vtableType ) override final;
         virtual Type * mutate( AttrType * attrType ) override final;
         virtual Type * mutate( VarArgsType * varArgsType ) override final;

src/Common/PassVisitor.impl.h

@@ -3610 +3610 @@
 
 //--------------------------------------------------------------------------
+// VTableType
+template< typename pass_type >
+void PassVisitor< pass_type >::visit( VTableType * node ) {
+        VISIT_START( node );
+
+        // Forall qualifiers should be on base type, not here
+        // maybeAccept_impl( node->forall, *this );
+        maybeAccept_impl( node->base, *this );
+
+        VISIT_END( node );
+}
+
+template< typename pass_type >
+void PassVisitor< pass_type >::visit( const VTableType * node ) {
+        VISIT_START( node );
+
+        // Forall qualifiers should be on base type, not here
+        // maybeAccept_impl( node->forall, *this );
+        maybeAccept_impl( node->base, *this );
+
+        VISIT_END( node );
+}
+
+template< typename pass_type >
+Type * PassVisitor< pass_type >::mutate( VTableType * node ) {
+        MUTATE_START( node );
+
+        // Forall qualifiers should be on base type, not here
+        // maybeMutate_impl( node->forall, *this );
+        maybeMutate_impl( node->base, *this );
+
+        MUTATE_END( Type, node );
+}
+
+//--------------------------------------------------------------------------
 // AttrType
 template< typename pass_type >

src/SynTree/Mutator.h

@@ -112 +112 @@
         virtual Type * mutate( TupleType * tupleType ) = 0;
         virtual Type * mutate( TypeofType * typeofType ) = 0;
+        virtual Type * mutate( VTableType * vtableType ) = 0;
         virtual Type * mutate( AttrType * attrType ) = 0;
         virtual Type * mutate( VarArgsType * varArgsType ) = 0;

src/SynTree/SynTree.h

@@ -119 +119 @@
 class TupleType;
 class TypeofType;
+class VTableType;
 class AttrType;
 class VarArgsType;

src/SynTree/Visitor.h

@@ -198 +198 @@
         virtual void visit( TypeofType * node ) { visit( const_cast<const TypeofType *>(node) ); }
         virtual void visit( const TypeofType * typeofType ) = 0;
+        virtual void visit( VTableType * node ) { visit( const_cast<const VTableType *>(node) ); }
+        virtual void visit( const VTableType * vtableType ) = 0;
         virtual void visit( AttrType * node ) { visit( const_cast<const AttrType *>(node) ); }
         virtual void visit( const AttrType * attrType ) = 0;