Changes in src/AST/Decl.hpp [e67991f:e0e9a0b]

File:

• src/AST/Decl.hpp (modified) (7 diffs)

src/AST/Decl.hpp

@@ -87 +87 @@
         virtual const Type * get_type() const = 0;
         /// Set type of this declaration. May be verified by subclass
-        virtual void set_type(Type *) = 0;
+        virtual void set_type( const Type * ) = 0;
 
         const DeclWithType * accept( Visitor & v ) const override = 0;
@@ -102 +102 @@
         ptr<Expr> bitfieldWidth;
 
-        ObjectDecl( const CodeLocation & loc, const std::string & name, const Type * type,
-                const Init * init = nullptr, Storage::Classes storage = {},
-                Linkage::Spec linkage = Linkage::C, const Expr * bitWd = nullptr,
+        ObjectDecl( const CodeLocation & loc, const std::string & name, const Type * type, 
+                const Init * init = nullptr, Storage::Classes storage = {}, 
+                Linkage::Spec linkage = Linkage::C, const Expr * bitWd = nullptr, 
                 std::vector< ptr<Attribute> > && attrs = {}, Function::Specs fs = {} )
         : DeclWithType( loc, name, storage, linkage, std::move(attrs), fs ), type( type ),
@@ -110 +110 @@
 
         const Type* get_type() const override { return type; }
-        void set_type( Type * ty ) override { type = ty; }
+        void set_type( const Type * ty ) override { type = ty; }
 
         const DeclWithType * accept( Visitor& v ) const override { return v.visit( this ); }
@@ -132 +132 @@
 
         const Type * get_type() const override;
-        void set_type(Type * t) override;
+        void set_type( const Type * t ) override;
 
         bool has_body() const { return stmts; }
@@ -149 +149 @@
         std::vector<ptr<DeclWithType>> assertions;
 
-        NamedTypeDecl( const CodeLocation& loc, const std::string& name, Storage::Classes storage,
-                Type* b, Linkage::Spec spec = Linkage::Cforall )
+        NamedTypeDecl( 
+                const CodeLocation & loc, const std::string & name, Storage::Classes storage,
+                const Type * b, Linkage::Spec spec = Linkage::Cforall )
         : Decl( loc, name, storage, spec ), base( b ), params(), assertions() {}
 
@@ -185 +186 @@
         };
 
-        TypeDecl( const CodeLocation& loc, const std::string& name, Storage::Classes storage, Type* b,
-                TypeVar::Kind k, bool s, Type* i = nullptr )
+        TypeDecl( 
+                const CodeLocation & loc, const std::string & name, Storage::Classes storage, 
+                const Type * b, TypeVar::Kind k, bool s, const Type * i = nullptr )
         : NamedTypeDecl( loc, name, storage, b ), kind( k ), sized( k == TypeVar::Ttype || s ),
           init( i ) {}
@@ -321 +323 @@
 };
 
-/// With statement `with (...) ...`
-class WithStmt final : public Decl {
-public:
-        std::vector<ptr<Expr>> exprs;
-        ptr<Stmt> stmt;
-
-        WithStmt( const CodeLocation & loc, std::vector<ptr<Expr>> && exprs, const Stmt * stmt )
-        : Decl(loc, "", Storage::Auto, Linkage::Cforall), exprs(std::move(exprs)), stmt(stmt) {}
-
-        const Decl * accept( Visitor & v ) const override { return v.visit( this ); }
-private:
-        WithStmt * clone() const override { return new WithStmt{ *this }; }
-        MUTATE_FRIEND
-};
-
 class AsmDecl : public Decl {
 public: