Changeset fa2c005 for src/SynTree/Type.h

Timestamp:

Jun 8, 2023, 3:19:43 PM (12 months ago)

Author:

JiadaL <j82liang@…>

Branches:

ADT

Parents:

044ae62

Message:

Finish Adt POC

File:

• src/SynTree/Type.h (modified) (1 diff)

src/SynTree/Type.h

@@ -476 +476 @@
 };
 
+class AdtInstType : public ReferenceToType {
+        typedef ReferenceToType  Parent;
+  public:
+        AdtDecl * baseAdt;
+
+        AdtInstType( const Type::Qualifiers & tq, const std::string & name, const std::list< Attribute * > & attributes = std::list< Attribute * >()  ) : Parent( tq, name, attributes ), baseAdt( 0 ) {}
+        AdtInstType( const Type::Qualifiers & tq, AdtDecl * baseAdt, const std::list< Attribute * > & attributes = std::list< Attribute * >()  );
+        AdtInstType( const AdtInstType & other ) : Parent( other ), baseAdt( other.baseAdt ) {}
+
+        AdtDecl * get_baseAdt() const { return baseAdt; }
+        void set_baseAdt( AdtDecl * newValue ) { baseAdt = newValue; }
+        
+        std::list<TypeDecl*> * get_baseParameters();
+        const std::list<TypeDecl*> * get_baseParameters() const;
+
+        virtual bool isComplete() const override;
+
+        virtual AggregateDecl * getAggr() const override;
+        
+        virtual TypeSubstitution genericSubstitution() const override;
+
+        void lookup( const std::string & name, std::list< Declaration* > & foundDecls ) const override;
+
+        virtual AdtInstType * clone() const override { return new AdtInstType( * this ); }
+        virtual void accept( Visitor & v ) override { v.visit( this ); }
+        virtual void accept( Visitor & v ) const override { v.visit( this ); }
+        virtual Type * acceptMutator( Mutator & m ) override { return m.mutate( this ); }
+
+        virtual void print( std::ostream & os, Indenter indenter = {} ) const override;
+  private:
+        virtual std::string typeString() const override;
+};
+
 class UnionInstType : public ReferenceToType {
         typedef ReferenceToType Parent;