Changes in src/AST/Init.hpp [9e1d485:23f99e1]

File:

• src/AST/Init.hpp (modified) (5 diffs)

src/AST/Init.hpp

@@ -37 +37 @@
         : ParseNode( loc ), designators( std::move(ds) ) {}
 
-        Designation* accept( Visitor& v ) override { return v.visit( this ); }
+        const Designation* accept( Visitor& v ) const override { return v.visit( this ); }
 private:
         Designation* clone() const override { return new Designation{ *this }; }
 };
 
-/// Flag for whether to construct from initialzier
-enum ConstructFlag { DoConstruct, MaybeConstruct };
-
 /// Object initializer base class
 class Init : public ParseNode {
 public:
-        ConstructFlag maybeConstructed;
+        bool maybeConstructed;
 
-        Init( const CodeLocation& loc, ConstructFlag mc ) : ParseNode( loc ), maybeConstructed( mc ) {}
+        Init( const CodeLocation& loc, bool mc ) : ParseNode( loc ), maybeConstructed( mc ) {}
 
-        virtual Init* accept( Visitor& v ) override = 0;
+        const Init * accept( Visitor& v ) const override = 0;
 private:
-        virtual Init* clone() const override = 0;
+        const Init * clone() const override = 0;
 };
 
@@ -63 +60 @@
         ptr<Expr> value;
 
-        SingleInit( const CodeLocation& loc, Expr* val, ConstructFlag mc = DoConstruct )
+        SingleInit( const CodeLocation& loc, Expr* val, bool mc = false )
         : Init( loc, mc ), value( val ) {}
 
-        Init* accept( Visitor& v ) override { return v.visit( this ); }
+        const Init * accept( Visitor & v ) const override { return v.visit( this ); }
 private:
-        SingleInit* clone() const override { return new SingleInit{ *this }; }
+        SingleInit * clone() const override { return new SingleInit{ *this }; }
+
+        /// Must be copied in ALL derived classes
+        template<typename node_t>
+        friend auto mutate(const node_t * node);
 };
 
@@ -81 +82 @@
 
         ListInit( const CodeLocation& loc, std::vector<ptr<Init>>&& is,
-                std::vector<ptr<Designation>>&& ds = {}, ConstructFlag mc = DoConstruct );
+                std::vector<ptr<Designation>>&& ds = {}, bool mc = false );
 
         using iterator = std::vector<ptr<Init>>::iterator;
@@ -90 +91 @@
         const_iterator end() const { return initializers.end(); }
 
-        Init* accept( Visitor& v ) override { return v.visit( this ); }
+        const Init * accept( Visitor & v ) const override { return v.visit( this ); }
 private:
-        ListInit* clone() const override { return new ListInit{ *this }; }
+        ListInit * clone() const override { return new ListInit{ *this }; }
+
+        /// Must be copied in ALL derived classes
+        template<typename node_t>
+        friend auto mutate(const node_t * node);
 };
 
@@ -107 +112 @@
 
         ConstructorInit( const CodeLocation& loc, Stmt* ctor, Stmt* dtor, Init* init )
-        : Init( loc, DoConstruct ), ctor( ctor ), dtor( dtor ), init( init ) {}
+        : Init( loc, true ), ctor( ctor ), dtor( dtor ), init( init ) {}
 
-        Init* accept( Visitor& v ) override { return v.visit( this ); }
+        const Init * accept( Visitor & v ) const override { return v.visit( this ); }
 private:
-        ConstructorInit* clone() const override { return new ConstructorInit{ *this }; }
+        ConstructorInit * clone() const override { return new ConstructorInit{ *this }; }
+
+        /// Must be copied in ALL derived classes
+        template<typename node_t>
+        friend auto mutate(const node_t * node);
 };