Changeset 923d25a for src/AST/Type.hpp

Timestamp:

Jul 23, 2020, 2:42:23 PM (4 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

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

Children:

d1ee9ec

Parents:

a8ed717

Message:

SueInstType? is a template that replaces {Struct,Union,Enum}InstType?, with using declarations keeping the interface the same.

File:

• src/AST/Type.hpp (modified) (2 diffs)

src/AST/Type.hpp

@@ -9 +9 @@
 // Author           : Aaron B. Moss
 // Created On       : Thu May 9 10:00:00 2019
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Wed Dec 11 21:56:46 2019
-// Update Count     : 5
+// Last Modified By : Andrew Beach
+// Last Modified On : Thu Jul 23 14:15:00 2020
+// Update Count     : 6
 //
 
@@ -354 +354 @@
 };
 
-/// instance of struct type
-class StructInstType final : public ReferenceToType {
-public:
-        readonly<StructDecl> base;
-
-        StructInstType(
+// Common implementation for the SUE instance types. Not to be used directly.
+template<typename decl_t>
+class SueInstType final : public ReferenceToType {
+public:
+        using base_type = decl_t;
+        readonly<decl_t> base;
+
+        SueInstType(
                 const std::string& n, CV::Qualifiers q = {}, std::vector<ptr<Attribute>> && as = {} )
         : ReferenceToType( n, q, std::move(as) ), base() {}
 
-        StructInstType(
-                const StructDecl * b, CV::Qualifiers q = {}, std::vector<ptr<Attribute>> && as = {} );
+        SueInstType(
+                const decl_t * b, CV::Qualifiers q = {}, std::vector<ptr<Attribute>> && as = {} );
 
         bool isComplete() const override;
 
-        const StructDecl * aggr() const override { return base; }
-
-        const Type * accept( Visitor & v ) const override { return v.visit( this ); }
-private:
-        StructInstType * clone() const override { return new StructInstType{ *this }; }
-        MUTATE_FRIEND
-};
-
-/// instance of union type
-class UnionInstType final : public ReferenceToType {
-public:
-        readonly<UnionDecl> base;
-
-        UnionInstType(
-                const std::string& n, CV::Qualifiers q = {}, std::vector<ptr<Attribute>> && as = {} )
-        : ReferenceToType( n, q, std::move(as) ), base() {}
-
-        UnionInstType(
-                const UnionDecl * b, CV::Qualifiers q = {}, std::vector<ptr<Attribute>> && as = {} );
-
-        bool isComplete() const override;
-
-        const UnionDecl * aggr() const override { return base; }
-
-        const Type * accept( Visitor & v ) const override { return v.visit( this ); }
-private:
-        UnionInstType * clone() const override { return new UnionInstType{ *this }; }
-        MUTATE_FRIEND
-};
-
-/// instance of enum type
-class EnumInstType final : public ReferenceToType {
-public:
-        readonly<EnumDecl> base;
-
-        EnumInstType(
-                const std::string& n, CV::Qualifiers q = {}, std::vector<ptr<Attribute>> && as = {} )
-        : ReferenceToType( n, q, std::move(as) ), base() {}
-
-        EnumInstType(
-                const EnumDecl * b, CV::Qualifiers q = {}, std::vector<ptr<Attribute>> && as = {} );
-
-        bool isComplete() const override;
-
-        const EnumDecl * aggr() const override { return base; }
-
-        const Type * accept( Visitor & v ) const override { return v.visit( this ); }
-private:
-        EnumInstType * clone() const override { return new EnumInstType{ *this }; }
-        MUTATE_FRIEND
-};
-
-/// instance of trait type
+        const decl_t * aggr() const override { return base; }
+
+        const Type * accept( Visitor & v ) const override { return v.visit( this ); }
+private:
+        SueInstType<decl_t> * clone() const override { return new SueInstType<decl_t>{ *this }; }
+        MUTATE_FRIEND
+};
+
+/// An instance of a struct type.
+using StructInstType = SueInstType<StructDecl>;
+
+/// An instance of a union type.
+using UnionInstType = SueInstType<UnionDecl>;
+
+/// An instance of an enum type.
+using EnumInstType = SueInstType<EnumDecl>;
+
+/// An instance of a trait type.
 class TraitInstType final : public ReferenceToType {
 public: