Changes in / [633c711:fb31cb8]

File:

• src/Parser/parser.yy (modified) (9 diffs)

src/Parser/parser.yy

@@ -10 +10 @@
 // Created On       : Sat Sep  1 20:22:55 2001
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Mon Oct 16 11:07:29 2017
-// Update Count     : 2892
+// Last Modified On : Mon Oct  2 18:18:55 2017
+// Update Count     : 2835
 //
 
@@ -250 +250 @@
 %type<sn> exception_statement                   handler_clause                          finally_clause
 %type<catch_kind> handler_key
-%type<sn> mutex_statement
 %type<en> when_clause                                   when_clause_opt                         waitfor                                         timeout
 %type<sn> waitfor_statement
@@ -808 +807 @@
         | jump_statement
         | with_statement
-        | mutex_statement
         | waitfor_statement
         | exception_statement
@@ -1033 +1031 @@
         ;
 
-// If MUTEX becomes a general qualifier, there are shift/reduce conflicts, so change syntax to "with mutex".
-mutex_statement:
-        MUTEX '(' argument_expression_list ')' statement
-                { $$ = nullptr; }                                                               // FIX ME
-        ;
-
 when_clause:
         WHEN '(' comma_expression ')'
@@ -1557 +1549 @@
         | VOLATILE
                 { $$ = DeclarationNode::newTypeQualifier( Type::Volatile ); }
+        | MUTEX
+                { $$ = DeclarationNode::newTypeQualifier( Type::Mutex ); }
         | ATOMIC
                 { $$ = DeclarationNode::newTypeQualifier( Type::Atomic ); }
@@ -2709 +2703 @@
         paren_identifier attribute_list_opt
                 { $$ = $1->addQualifiers( $2 ); }
-        | '&' MUTEX paren_identifier attribute_list_opt
-                { $$ = $3->addPointer( DeclarationNode::newPointer( DeclarationNode::newTypeQualifier( Type::Mutex ), OperKinds::AddressOf ) )->addQualifiers( $4 ); }
         | identifier_parameter_ptr
         | identifier_parameter_array attribute_list_opt
@@ -2751 +2743 @@
 //
 //              typedef int foo;
-//              forall( otype T ) foo( T );
 //              int f( int foo ); // redefine typedef name in new scope
 //
@@ -2759 +2750 @@
         typedef attribute_list_opt
                 { $$ = $1->addQualifiers( $2 ); }
-        | '&' MUTEX typedef attribute_list_opt
-                { $$ = $3->addPointer( DeclarationNode::newPointer( DeclarationNode::newTypeQualifier( Type::Mutex ), OperKinds::AddressOf ) )->addQualifiers( $4 ); }
         | type_parameter_ptr
         | type_parameter_array attribute_list_opt
@@ -2907 +2896 @@
 abstract_parameter_declarator:
         abstract_parameter_ptr
-        | '&' MUTEX attribute_list_opt
-                { $$ = DeclarationNode::newPointer( DeclarationNode::newTypeQualifier( Type::Mutex ), OperKinds::AddressOf )->addQualifiers( $3 ); }
         | abstract_parameter_array attribute_list_opt
                 { $$ = $1->addQualifiers( $2 ); }