Changeset 9bfc9da for src/SynTree/Type.h

Timestamp:

Mar 7, 2018, 4:59:00 PM (7 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

02c816fc

Parents:

2097cd4

Message:

Refactor makeSub into genericSubstitution

File:

• src/SynTree/Type.h (modified) (4 diffs)

src/SynTree/Type.h

@@ -178 +178 @@
         virtual bool isComplete() const { return true; }
 
-        virtual AggregateDecl * getAggr() {     assertf( false, "Non-aggregate type: %s", toString( this ).c_str() ); }
+        virtual AggregateDecl * getAggr() { assertf( false, "Non-aggregate type: %s", toCString( this ) ); }
+
+        virtual TypeSubstitution genericSubstitution() const;
 
         virtual Type *clone() const = 0;
@@ -329 +331 @@
         virtual unsigned size() const override { return base->size(); }
 
+        virtual TypeSubstitution genericSubstitution() const override;
+
         virtual ReferenceType *clone() const override { return new ReferenceType( *this ); }
         virtual void accept( Visitor & v ) override { v.visit( this ); }
@@ -406 +410 @@
         /// Accesses generic parameters of base struct (NULL if none such)
         std::list<TypeDecl*> * get_baseParameters();
+        const std::list<TypeDecl*> * get_baseParameters() const;
 
         virtual bool isComplete() const override;
 
         virtual AggregateDecl * getAggr() override;
+
+        virtual TypeSubstitution genericSubstitution() const override;
 
         /// Looks up the members of this struct named "name" and places them into "foundDecls".
@@ -439 +446 @@
 
         /// Accesses generic parameters of base union (NULL if none such)
-        std::list< TypeDecl * > * get_baseParameters();
+        std::list<TypeDecl*> * get_baseParameters();
+        const std::list<TypeDecl*> * get_baseParameters() const;
 
         virtual bool isComplete() const override;
 
         virtual AggregateDecl * getAggr() override;
+
+        virtual TypeSubstitution genericSubstitution() const override;
 
         /// looks up the members of this union named "name" and places them into "foundDecls"