Changeset 2e9b59b for src/SynTree

Timestamp:

Apr 19, 2022, 3:00:04 PM (3 years ago)

Author:

m3zulfiq <m3zulfiq@…>

Branches:

ADT, ast-experimental, master, pthread-emulation, qualifiedEnum

Children:

5b84a321

Parents:

ba897d21 (diff), bb7c77d (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

added benchmark and evaluations chapter to thesis

Location:

src/SynTree

Files:

• AggregateDecl.cc (modified) (2 diffs)
• BasicType.cc (modified) (1 diff)
• Declaration.h (modified) (4 diffs)
• Type.h (modified) (1 diff)
• Visitor.h (modified) (2 diffs)

src/SynTree/AggregateDecl.cc

@@ -59 +59 @@
         } // if
         os << " with body " << has_body();
-
         if ( ! parameters.empty() ) {
                 os << endl << indent << "... with parameters" << endl;
@@ -106 +105 @@
 const char * EnumDecl::typeString() const { return aggrString( Enum ); }
 
+void EnumDecl::print( std::ostream & os, Indenter indent ) const {
+        AggregateDecl::print(os, indent);
+        os << " with base? " << (base? "True" : "False") << std::endl;
+        if ( base ) {
+                os << "Base Type of Enum:" << std::endl;
+                base->print(os, indent);
+        }
+        os <<  std::endl << "End of EnumDecl::print" << std::endl;
+}
+
 const char * TraitDecl::typeString() const { return aggrString( Trait ); }
 

src/SynTree/BasicType.cc

@@ -29 +29 @@
 }
 
+bool BasicType::isWholeNumber() const {
+        return kind == Bool || 
+                kind ==Char ||
+                kind == SignedChar ||
+                kind == UnsignedChar ||
+                kind == ShortSignedInt ||
+                kind == ShortUnsignedInt ||
+                kind == SignedInt ||
+                kind == UnsignedInt ||
+                kind == LongSignedInt ||
+                kind == LongUnsignedInt ||
+                kind == LongLongSignedInt ||
+                kind ==LongLongUnsignedInt ||
+                kind == SignedInt128 ||
+                kind == UnsignedInt128;
+}
+
 bool BasicType::isInteger() const {
         return kind <= UnsignedInt128;

src/SynTree/Declaration.h

@@ -144 +144 @@
         virtual void print( std::ostream & os, Indenter indent = {} ) const override;
         virtual void printShort( std::ostream & os, Indenter indent = {} ) const override;
+
+        // TODO: Move to the right place
+        void checkAssignedValue() const;
 };
 
@@ -287 +290 @@
         AggregateDecl * set_body( bool body ) { AggregateDecl::body = body; return this; }
 
-        virtual void print( std::ostream & os, Indenter indent = {} ) const override final;
+        virtual void print( std::ostream & os, Indenter indent = {} ) const override;
         virtual void printShort( std::ostream & os, Indenter indent = {} ) const override;
   protected:
@@ -335 +338 @@
         typedef AggregateDecl Parent;
   public:
-        EnumDecl( const std::string & name, const std::list< Attribute * > & attributes = std::list< class Attribute * >(), LinkageSpec::Spec linkage = LinkageSpec::Cforall ) : Parent( name, attributes, linkage ) {}
-        EnumDecl( const EnumDecl & other ) : Parent( other ) {}
+        EnumDecl( const std::string & name,
+         const std::list< Attribute * > & attributes = std::list< class Attribute * >(),
+          LinkageSpec::Spec linkage = LinkageSpec::Cforall,
+          Type * baseType = nullptr ) : Parent( name, attributes, linkage ) , base( baseType ){}
+        EnumDecl( const EnumDecl & other ) : Parent( other ), base( other.base ) {}
 
         bool valueOf( Declaration * enumerator, long long int & value );
@@ -344 +350 @@
         virtual void accept( Visitor & v ) const override { v.visit( this ); }
         virtual Declaration * acceptMutator( Mutator & m )  override { return m.mutate( this ); }
-  private:
+        Type * base;
         std::unordered_map< std::string, long long int > enumValues;
+        virtual void print( std::ostream & os, Indenter indent = {} ) const override final;
+  private:
+        // std::unordered_map< std::string, long long int > enumValues;
         virtual const char * typeString() const override;
 };

src/SynTree/Type.h

@@ -268 +268 @@
         virtual Type *acceptMutator( Mutator & m ) override { return m.mutate( this ); }
         virtual void print( std::ostream & os, Indenter indent = {} ) const override;
-
+        bool isWholeNumber() const;
         bool isInteger() const;
 };

src/SynTree/Visitor.h

@@ -35 +35 @@
         virtual void visit( UnionDecl * node ) { visit( const_cast<const UnionDecl *>(node) ); }
         virtual void visit( const UnionDecl * aggregateDecl ) = 0;
-        virtual void visit( EnumDecl * node ) { visit( const_cast<const EnumDecl *>(node) ); }
+        virtual void visit( EnumDecl * node ) { visit( const_cast<const EnumDecl *>(node) ); } // Marker 1
         virtual void visit( const EnumDecl * aggregateDecl ) = 0;
         virtual void visit( TraitDecl * node ) { visit( const_cast<const TraitDecl *>(node) ); }
@@ -190 +190 @@
         virtual void visit( UnionInstType * node ) { visit( const_cast<const UnionInstType *>(node) ); }
         virtual void visit( const UnionInstType * aggregateUseType ) = 0;
-        virtual void visit( EnumInstType * node ) { visit( const_cast<const EnumInstType *>(node) ); }
+        virtual void visit( EnumInstType * node ) { visit( const_cast<const EnumInstType *>(node) ); } // Marker 2
         virtual void visit( const EnumInstType * aggregateUseType ) = 0;
         virtual void visit( TraitInstType * node ) { visit( const_cast<const TraitInstType *>(node) ); }