Changeset 446740a

Timestamp:

Mar 11, 2024, 9:00:04 PM (3 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

282061a

Parents:

6c8b76b

Message:

update for-control for iterating over enumeration type

File:

• src/Parser/parser.yy (modified) (7 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 : Wed Mar  6 10:51:55 2024
-// Update Count     : 6588
+// Last Modified On : Mon Mar 11 18:30:03 2024
+// Update Count     : 6589
 //
 
@@ -1270 +1270 @@
 // parenthesis:
 //
-//   if x + y + z; => "if ( x + y ) + z" or "if ( x ) + y + z"
+//   if x + y + z; => if ( x ) + y + z or if ( x + y ) + z
 //
 //   switch O { }
@@ -1596 +1596 @@
                 { SemanticError( yylloc, "syntax error, missing low/high value for up/down-to range so index is uninitialized." ); $$ = nullptr; }
 
-        | comma_expression ';' TYPEDEFname                                      // CFA, array type
+        | comma_expression ';' enum_key                                         // CFA, enum type
                 {
                         SemanticError( yylloc, "Type iterator is currently unimplemented." ); $$ = nullptr;
                         //$$ = forCtrl( new ExpressionNode( build_varref( $3 ) ), $1, nullptr, OperKinds::Range, nullptr, nullptr );
                 }
-        | comma_expression ';' downupdowneq TYPEDEFname         // CFA, array type
+        | comma_expression ';' downupdowneq enum_key            // CFA, enum type, reverse direction
                 {
                         if ( $3 == OperKinds::LEThan || $3 == OperKinds::GEThan ) {
@@ -1608 +1608 @@
                         SemanticError( yylloc, "Type iterator is currently unimplemented." ); $$ = nullptr;
                 }
+        ;
+
+enum_key:
+        TYPEDEFname
+        | ENUM TYPEDEFname
         ;
 
@@ -2240 +2245 @@
                 { $$ = build_type_qualifier( ast::CV::Atomic ); }
 
-                // forall must be a CV qualifier because it can appear in places where SC qualifiers are disallowed.
+                // forall is a CV qualifier because it can appear in places where SC qualifiers are disallowed.
                 //
                 //   void foo( forall( T ) T (*)( T ) ); // forward declaration
@@ -2572 +2577 @@
                         // Create new generic declaration with same name as previous forward declaration, where the IDENTIFIER is
                         // switched to a TYPEGENname. Link any generic arguments from typegen_name to new generic declaration and
+                        // delete newFromTypeGen.
                         if ( $3->kind == TypeData::SymbolicInst && ! $3->symbolic.isTypedef ) {
                                 $$ = DeclarationNode::newFromTypeData( $3 )->addQualifiers( $2 );
@@ -4027 +4033 @@
         abstract_parameter_ptr
         | '&' MUTEX attribute_list_opt
-                { $$ = DeclarationNode::newPointer( DeclarationNode::newFromTypeData( build_type_qualifier( ast::CV::Mutex ) ), OperKinds::AddressOf )->addQualifiers( $3 ); }
+                { $$ = DeclarationNode::newPointer( DeclarationNode::newFromTypeData( build_type_qualifier( ast::CV::Mutex ) ),
+                                                                                        OperKinds::AddressOf )->addQualifiers( $3 ); }
         | abstract_parameter_array attribute_list_opt
                 { $$ = $1->addQualifiers( $2 ); }