Changeset 409433da

Timestamp:

Mar 17, 2017, 5:34:05 PM (8 years ago)

Author:

Peter A. Buhr <pabuhr@…>

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:

89d129c

Parents:

615a096

Message:

support coroutine, monitor, thread as kind of structure

Location:

src

Files:

• Parser/DeclarationNode.cc (modified) (2 diffs)
• Parser/ParseNode.h (modified) (2 diffs)
• Parser/TypeData.cc (modified) (5 diffs)
• Parser/parser.yy (modified) (2 diffs)
• SynTree/Declaration.h (modified) (2 diffs)

src/Parser/DeclarationNode.cc

@@ -10 +10 @@
 // Created On       : Sat May 16 12:34:05 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Mar 17 08:46:05 2017
-// Update Count     : 1017
+// Last Modified On : Fri Mar 17 15:46:33 2017
+// Update Count     : 1018
 //
 
@@ -36 +36 @@
 const char * DeclarationNode::signednessNames[] = { "signed", "unsigned", "NoSignednessNames" };
 const char * DeclarationNode::lengthNames[] = { "short", "long", "long long", "NoLengthNames" };
-const char * DeclarationNode::aggregateNames[] = { "struct", "union", "context", "NoAggregateNames" };
+const char * DeclarationNode::aggregateNames[] = { "struct", "union", "trait", "coroutine", "monitor", "thread", "NoAggregateNames" };
 const char * DeclarationNode::typeClassNames[] = { "otype", "dtype", "ftype", "NoTypeClassNames" };
 const char * DeclarationNode::builtinTypeNames[] = { "__builtin_va_list", "NoBuiltinTypeNames" };

src/Parser/ParseNode.h

@@ -10 +10 @@
 // Created On       : Sat May 16 13:28:16 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Mar 16 08:32:43 2017
-// Update Count     : 776
+// Last Modified On : Fri Mar 17 15:42:18 2017
+// Update Count     : 777
 //
 
@@ -205 +205 @@
         enum Signedness { Signed, Unsigned, NoSignedness };
         enum Length { Short, Long, LongLong, NoLength };
-        enum Aggregate { Struct, Union, Trait, NoAggregate };
+        enum Aggregate { Struct, Union, Trait, Coroutine, Monitor, Thread, NoAggregate };
         enum TypeClass { Otype, Dtype, Ftype, Ttype, NoTypeClass };
         enum BuiltinType { Valist, Zero, One, NoBuiltinType };

src/Parser/TypeData.cc

@@ -10 +10 @@
 // Created On       : Sat May 16 15:12:51 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Mar 17 08:46:10 2017
-// Update Count     : 560
+// Last Modified On : Fri Mar 17 15:52:43 2017
+// Update Count     : 563
 //
 
@@ -619 +619 @@
         switch ( td->aggregate.kind ) {
           case DeclarationNode::Struct:
-                at = new StructDecl( *td->aggregate.name, attributes );
+          case DeclarationNode::Coroutine:
+          case DeclarationNode::Monitor:
+          case DeclarationNode::Thread:
+                at = new StructDecl( *td->aggregate.name, td->aggregate.kind, attributes );
                 buildForall( td->aggregate.params, at->get_parameters() );
                 break;
@@ -656 +659 @@
                           switch ( type->aggregate.kind ) {
                                 case DeclarationNode::Struct:
+                                case DeclarationNode::Coroutine:
+                                case DeclarationNode::Monitor:
+                                case DeclarationNode::Thread:
                                   ret = new StructInstType( buildQualifiers( type ), (StructDecl *)typedecl );
                                   break;
@@ -671 +677 @@
                           switch ( type->aggregate.kind ) {
                                 case DeclarationNode::Struct:
+                                case DeclarationNode::Coroutine:
+                                case DeclarationNode::Monitor:
+                                case DeclarationNode::Thread:
                                   ret = new StructInstType( buildQualifiers( type ), *type->aggregate.name );
                                   break;
@@ -703 +712 @@
                   switch ( type->aggregate.kind ) {
                         case DeclarationNode::Struct:
+                        case DeclarationNode::Coroutine:
+                        case DeclarationNode::Monitor:
+                        case DeclarationNode::Thread:
                           ret = new StructInstType( buildQualifiers( type ), *type->aggregate.name );
                           break;

src/Parser/parser.yy

@@ -10 +10 @@
 // Created On       : Sat Sep  1 20:22:55 2001
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Mar 16 12:57:03 2017
-// Update Count     : 2316
+// Last Modified On : Fri Mar 17 15:42:22 2017
+// Update Count     : 2317
 //
 
@@ -1638 +1638 @@
                 { $$ = DeclarationNode::Union; }
         | COROUTINE
-                { $$ = DeclarationNode::Struct; }
+                { $$ = DeclarationNode::Coroutine; }
         | MONITOR
-                { $$ = DeclarationNode::Struct; }
+                { $$ = DeclarationNode::Monitor; }
         | THREAD
-                { $$ = DeclarationNode::Struct; }
+                { $$ = DeclarationNode::Thread; }
         ;
 

src/SynTree/Declaration.h

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Mar 16 08:34:11 2017
-// Update Count     : 118
+// Last Modified On : Fri Mar 17 16:05:08 2017
+// Update Count     : 121
 //
 
@@ -255 +255 @@
         typedef AggregateDecl Parent;
   public:
-        StructDecl( const std::string &name, const std::list< Attribute * > & attributes = std::list< class Attribute * >() ) : Parent( name, attributes ) {}
+        StructDecl( const std::string &name, DeclarationNode::Aggregate kind = DeclarationNode::Struct, const std::list< Attribute * > & attributes = std::list< class Attribute * >() ) : Parent( name, attributes ), kind( kind ) {}
         StructDecl( const StructDecl &other ) : Parent( other ) {}
 
+        bool is_coroutine() { return kind == DeclarationNode::Coroutine; }
+        bool is_monitor() { return kind == DeclarationNode::Monitor; }
+        bool is_thread() { return kind == DeclarationNode::Thread; }
+
         virtual StructDecl *clone() const { return new StructDecl( *this ); }
         virtual void accept( Visitor &v ) { v.visit( this ); }
         virtual Declaration *acceptMutator( Mutator &m ) { return m.mutate( this ); }
   private:
+        DeclarationNode::Aggregate kind;
         virtual std::string typeString() const;
 };