Changeset 994d080 for src/Parser/parser.yy

Timestamp:

Jul 15, 2017, 8:35:37 AM (7 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:

bac5158

Parents:

24fc196

Message:

add exponential operator and syntax for catch predicate

File:

• src/Parser/parser.yy (modified) (8 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 : Thu Jul 13 14:38:54 2017
-// Update Count     : 2431
+// Last Modified On : Sat Jul 15 08:17:48 2017
+// Update Count     : 2450
 //
 
@@ -168 +168 @@
 %type<op> ptrref_operator                               unary_operator                          assignment_operator
 %type<en> primary_expression                    postfix_expression                      unary_expression
-%type<en> cast_expression                               multiplicative_expression       additive_expression                     shift_expression
-%type<en> relational_expression                 equality_expression                     AND_expression                          exclusive_OR_expression
-%type<en> inclusive_OR_expression               logical_AND_expression          logical_OR_expression           conditional_expression
-%type<en> constant_expression                   assignment_expression           assignment_expression_opt
+%type<en> cast_expression                               exponential_expression          multiplicative_expression       additive_expression
+%type<en> shift_expression                              relational_expression           equality_expression
+%type<en> AND_expression                                exclusive_OR_expression         inclusive_OR_expression
+%type<en> logical_AND_expression                logical_OR_expression
+%type<en> conditional_expression                constant_expression                     assignment_expression           assignment_expression_opt
 %type<en> comma_expression                              comma_expression_opt
-%type<en> argument_expression_list              argument_expression                     assignment_opt
+%type<en> argument_expression_list              argument_expression                     default_initialize_opt
 %type<fctl> for_control_expression
 %type<en> subrange
@@ -573 +574 @@
         ;
 
+exponential_expression:
+        cast_expression
+        | exponential_expression '\\' cast_expression
+                { $$ = new ExpressionNode( build_binary_val( OperKinds::Mod, $1, $3 ) ); }
+        ;
+
 multiplicative_expression:
-        cast_expression
-        | multiplicative_expression '*' cast_expression
+        exponential_expression
+        | multiplicative_expression '*' exponential_expression
                 { $$ = new ExpressionNode( build_binary_val( OperKinds::Mul, $1, $3 ) ); }
-        | multiplicative_expression '/' cast_expression
+        | multiplicative_expression '/' exponential_expression
                 { $$ = new ExpressionNode( build_binary_val( OperKinds::Div, $1, $3 ) ); }
-        | multiplicative_expression '%' cast_expression
+        | multiplicative_expression '%' exponential_expression
                 { $$ = new ExpressionNode( build_binary_val( OperKinds::Mod, $1, $3 ) ); }
         ;
@@ -972 +979 @@
                 { $$ = (StatementNode *)$1->set_last( new StatementNode( build_catch( $2, nullptr, new ExpressionNode( build_constantInteger( *$6 ) ), $9 ) ) ); }
 
-        | handler_key '(' push push exception_declaration pop ')' compound_statement pop
-                { $$ = new StatementNode( build_catch( $1, $5, nullptr, $8 ) ); }
-        | handler_clause handler_key '(' push push exception_declaration pop ')' compound_statement pop
-                { $$ = (StatementNode *)$1->set_last( new StatementNode( build_catch( $2, $6, nullptr, $9 ) ) ); }
+        | handler_key '(' push push exception_declaration handler_predicate_opt pop ')' compound_statement pop
+                { $$ = new StatementNode( build_catch( $1, $5, nullptr, $9 ) ); }
+        | handler_clause handler_key '(' push push exception_declaration handler_predicate_opt pop ')' compound_statement pop
+                { $$ = (StatementNode *)$1->set_last( new StatementNode( build_catch( $2, $6, nullptr, $10 ) ) ); }
+        ;
+
+handler_predicate_opt:
+        //empty
+        | ':' conditional_expression
         ;
 
@@ -1845 +1857 @@
 cfa_parameter_declaration:                                                              // CFA, new & old style parameter declaration
         parameter_declaration
-        | cfa_identifier_parameter_declarator_no_tuple identifier_or_type_name assignment_opt
+        | cfa_identifier_parameter_declarator_no_tuple identifier_or_type_name default_initialize_opt
                 { $$ = $1->addName( $2 ); }
-        | cfa_abstract_tuple identifier_or_type_name assignment_opt
+        | cfa_abstract_tuple identifier_or_type_name default_initialize_opt
                 // To obtain LR(1), these rules must be duplicated here (see cfa_abstract_declarator).
                 { $$ = $1->addName( $2 ); }
-        | type_qualifier_list cfa_abstract_tuple identifier_or_type_name assignment_opt
+        | type_qualifier_list cfa_abstract_tuple identifier_or_type_name default_initialize_opt
                 { $$ = $2->addName( $3 )->addQualifiers( $1 ); }
         | cfa_function_specifier
@@ -1867 +1879 @@
 parameter_declaration:
                 // No SUE declaration in parameter list.
-        declaration_specifier_nobody identifier_parameter_declarator assignment_opt
+        declaration_specifier_nobody identifier_parameter_declarator default_initialize_opt
                 {
                         typedefTable.addToEnclosingScope( TypedefTable::ID );
                         $$ = $2->addType( $1 )->addInitializer( $3 ? new InitializerNode( $3 ) : nullptr );
                 }
-        | declaration_specifier_nobody type_parameter_redeclarator assignment_opt
+        | declaration_specifier_nobody type_parameter_redeclarator default_initialize_opt
                 {
                         typedefTable.addToEnclosingScope( TypedefTable::ID );
@@ -1880 +1892 @@
 
 abstract_parameter_declaration:
-        declaration_specifier_nobody assignment_opt
+        declaration_specifier_nobody default_initialize_opt
                 { $$ = $1->addInitializer( $2 ? new InitializerNode( $2 ) : nullptr ); }
-        | declaration_specifier_nobody abstract_parameter_declarator assignment_opt
+        | declaration_specifier_nobody abstract_parameter_declarator default_initialize_opt
                 { $$ = $2->addType( $1 )->addInitializer( $3 ? new InitializerNode( $3 ) : nullptr ); }
         ;
@@ -3045 +3057 @@
         ;
 
-assignment_opt:
+default_initialize_opt:
         // empty
                 { $$ = nullptr; }