Changeset 561354f for src/SynTree

Timestamp:

May 17, 2023, 1:33:39 AM (2 years ago)

Author:

JiadaL <j82liang@…>

Branches:

ADT

Children:

d6c464d

Parents:

28f8f15

Message:

Save progress

Location:

src/SynTree

Files:

• Declaration.h (modified) (2 diffs)
• Mutator.h (modified) (1 diff)
• SynTree.h (modified) (1 diff)
• Visitor.h (modified) (1 diff)

src/SynTree/Declaration.h

@@ -342 +342 @@
         enum EnumHiding { Visible, Hide } hide;
 
-        std::list<StructDecl*> data_constructors;
-        UnionDecl * data_union;
-        EnumDecl * tags;
-        StructDecl * tag_union;
-
         EnumDecl( const std::string & name,
          const std::list< Attribute * > & attributes = std::list< class Attribute * >(),
@@ -367 +362 @@
 };
 
+class AdtDecl : public AggregateDecl {
+        typedef AggregateDecl Parent;
+  public:
+        std::list<StructDecl*> data_constructors;
+        UnionDecl * data_union;
+        EnumDecl * tag;
+        StructDecl * tag_union;
+
+        AdtDecl( const std::string & name,
+         const std::list< Attribute * > & attributes = std::list< class Attribute * >(),
+         LinkageSpec::Spec linkage = LinkageSpec::Cforall, 
+         const std::list< StructDecl* > data_constructors = std::list< StructDecl * >(),
+         UnionDecl * data_union = nullptr, EnumDecl * tag = nullptr, StructDecl * tag_union = nullptr )
+         : Parent( name, attributes, linkage ), data_constructors(data_constructors), 
+         data_union( data_union ), tag( tag ), tag_union( tag_union ) {}
+
+        AdtDecl( const AdtDecl & other )
+         : Parent( other ) {}
+
+        virtual AdtDecl * clone() const override { return new AdtDecl( *this ); }
+        virtual void accept( Visitor & v ) override { v.visit( this ); }
+        virtual void accept( Visitor & v ) const override { v.visit( this ); }
+
+        virtual Declaration * acceptMutator( Mutator & m )  override { return m.mutate( this ); }
+        virtual void print( std::ostream & os, Indenter indent = {} ) const override final {
+                os << "AdtDecl ... " << indent;
+        }
+        
+private:
+        virtual const char * typeString() const override {
+                return "AdtDecl";
+        }
+};
+
 class TraitDecl : public AggregateDecl {
         typedef AggregateDecl Parent;

src/SynTree/Mutator.h

@@ -30 +30 @@
         virtual Declaration * mutate( UnionDecl * aggregateDecl ) = 0;
         virtual Declaration * mutate( EnumDecl * aggregateDecl ) = 0;
+        virtual Declaration * mutate( AdtDecl * aggregateDecl ) = 0;
         virtual Declaration * mutate( TraitDecl * aggregateDecl ) = 0;
         virtual Declaration * mutate( TypeDecl * typeDecl ) = 0;

src/SynTree/SynTree.h

@@ -31 +31 @@
 class UnionDecl;
 class EnumDecl;
+class AdtDecl;
 class TraitDecl;
 class NamedTypeDecl;

src/SynTree/Visitor.h

@@ -37 +37 @@
         virtual void visit( EnumDecl * node ) { visit( const_cast<const EnumDecl *>(node) ); }
         virtual void visit( const EnumDecl * aggregateDecl ) = 0;
+        virtual void visit( AdtDecl * node ) { visit( const_cast<const AdtDecl *>(node) ); }
+        virtual void visit( const AdtDecl * node ) = 0;
         virtual void visit( TraitDecl * node ) { visit( const_cast<const TraitDecl *>(node) ); }
         virtual void visit( const TraitDecl * aggregateDecl ) = 0;