Changes in src/AST/Decl.hpp [14cebb7a:360b2e13]

File:

• src/AST/Decl.hpp (modified) (1 diff)

src/AST/Decl.hpp

@@ -115 +115 @@
 };
 
+/// Base class for named type aliases
+class NamedTypeDecl : public Decl {
+public:
+        ptr<Type> base;
+        std::vector<ptr<TypeDecl>> parameters;
+        std::vector<ptr<DeclWithType>> assertions;
+
+        NamedTypeDecl( const CodeLocation& loc, const std::string& name, Storage::Classes storage, 
+                Type* b, Linkage::Spec spec = Linkage::Cforall )
+        : Decl( loc, name, storage, spec ), base( b ), parameters(), assertions() {}
+
+        /// Produces a name for the kind of alias
+        virtual std::string typeString() const = 0;
+
+private:
+        NamedTypeDecl* clone() const override = 0;
+};
+
+/// Cforall type variable: `dtype T`
+class TypeDecl final : public NamedTypeDecl {
+public:
+        /// type variable variants. otype is a specialized dtype
+        enum Kind { Dtype, Ftype, Ttype, NUMBER_OF_KINDS } kind;
+        bool sized;
+        ptr<Type> init;
+
+        /// Data extracted from a type decl
+        struct Data {
+                Kind kind;
+                bool isComplete;
+
+                Data() : kind( (Kind)-1 ), isComplete( false ) {}
+                Data( TypeDecl* d ) : kind( d->kind ), isComplete( d->sized ) {}
+                Data( Kind k, bool c ) : kind( k ), isComplete( c ) {}
+                Data( const Data& d1, const Data& d2 ) 
+                : kind( d1.kind ), isComplete( d1.isComplete || d2.isComplete ) {}
+
+                bool operator== ( const Data& o ) const {
+                        return kind == o.kind && isComplete == o.isComplete;
+                }
+                bool operator!= ( const Data& o ) const { return !(*this == o); }
+        };
+
+        TypeDecl( const CodeLocation& loc, const std::string& name, Storage::Classes storage, Type* b, 
+                Kind k, bool s, Type* i = nullptr )
+        : NamedTypeDecl( loc, name, storage, b ), kind( k ), sized( k == Ttype || s ), init( i ) {}
+
+        std::string typeString() const override;
+        /// Produces a name for generated code
+        std::string genTypeString() const;
+
+        Decl* accept( Visitor& v ) override { return v.visit( this ); }
+private:
+        TypeDecl* clone() const override { return new TypeDecl{ *this }; }
+};
+
+/// C-style typedef `typedef Foo Bar`
+class TypedefDecl final : public NamedTypeDecl {
+public:
+        TypedefDecl( const CodeLocation& loc, const std::string& name, Storage::Classes storage, 
+                Type* b, Linkage::Spec spec = Linkage::Cforall )
+        : NamedTypeDecl( loc, name, storage, b, spec ) {}
+
+        std::string typeString() const override { return "typedef"; }
+
+        Decl* accept( Visitor& v ) override { return v.visit( this ); }
+private:
+        TypedefDecl* clone() const override { return new TypedefDecl{ *this }; }
+};
+
 /// Aggregate type declaration base class
 class AggregateDecl : public Decl {