Changes in src/Parser/parser.yy [bd85400:3cfe27f]

File:

• src/Parser/parser.yy (modified) (17 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 Feb  1 18:22:42 2016
-// Update Count     : 1483
+// Last Modified On : Thu Mar 24 16:16:16 2016
+// Update Count     : 1498
 // 
 
@@ -51 +51 @@
 #include <cstdio>
 #include <stack>
+#include "lex.h"
+#include "parser.h"
+#include "ParseNode.h"
 #include "TypedefTable.h"
-#include "lex.h"
-#include "ParseNode.h"
 #include "TypeData.h"
 #include "LinkageSpec.h"
@@ -74 +75 @@
 %token FORALL LVALUE                                                                    // CFA
 %token VOID CHAR SHORT INT LONG FLOAT DOUBLE SIGNED UNSIGNED
+%token VALIST                                                                                   // GCC
 %token BOOL COMPLEX IMAGINARY                                                   // C99
 %token TYPEOF LABEL                                                                             // GCC
 %token ENUM STRUCT UNION
-%token TYPE FTYPE DTYPE CONTEXT                                                 // CFA
+%token OTYPE FTYPE DTYPE TRAIT                                          // CFA
 %token SIZEOF OFFSETOF
 %token ATTRIBUTE EXTENSION                                                              // GCC
@@ -171 +173 @@
 %type<decl> basic_declaration_specifier basic_type_name basic_type_specifier direct_type_name indirect_type_name
 
-%type<decl> context_declaration context_declaration_list context_declaring_list context_specifier
+%type<decl> trait_declaration trait_declaration_list trait_declaring_list trait_specifier
 
 %type<decl> declaration declaration_list declaration_list_opt declaration_qualifier_list
@@ -197 +199 @@
 %type<decl> new_array_parameter_1st_dimension
 
-%type<decl> new_context_declaring_list new_declaration new_field_declaring_list
+%type<decl> new_trait_declaring_list new_declaration new_field_declaring_list
 %type<decl> new_function_declaration new_function_return new_function_specifier
 
@@ -448 +450 @@
                 { $$ = new CompositeExprNode( new OperatorNode( OperatorNode::SizeOf ), new TypeValueNode( $3 )); }
         | OFFSETOF '(' type_name_no_function ',' no_attr_identifier ')'
-        { $$ = new CompositeExprNode( new OperatorNode( OperatorNode::OffsetOf ), new TypeValueNode( $3 ), new VarRefNode( $5 )); }
+                { $$ = new CompositeExprNode( new OperatorNode( OperatorNode::OffsetOf ), new TypeValueNode( $3 ), new VarRefNode( $5 )); }
         | ATTR_IDENTIFIER
                 { $$ = new CompositeExprNode( new OperatorNode( OperatorNode::Attr ), new VarRefNode( $1 )); }
@@ -1020 +1022 @@
         | new_function_declaration pop ';'
         | type_declaring_list pop ';'
-        | context_specifier pop ';'
+        | trait_specifier pop ';'
         ;
 
@@ -1027 +1029 @@
                 {
                         typedefTable.addToEnclosingScope( TypedefTable::ID );
-                        $$ = $1;
+                        $$ = $1->addInitializer( $2 );
                 }
         | declaration_qualifier_list new_variable_specifier initializer_opt
@@ -1034 +1036 @@
                 {
                         typedefTable.addToEnclosingScope( TypedefTable::ID );
-                        $$ = $2->addQualifiers( $1 );
+                        $$ = $2->addQualifiers( $1 )->addInitializer( $3 );;
                 }
         | new_variable_declaration pop ',' push identifier_or_type_name initializer_opt
                 {
                         typedefTable.addToEnclosingScope( *$5, TypedefTable::ID );
-                        $$ = $1->appendList( $1->cloneType( $5 ) );
+                        $$ = $1->appendList( $1->cloneType( $5 )->addInitializer( $6 ) );
                 }
         ;
@@ -1345 +1347 @@
         | IMAGINARY                                                                                     // C99
                 { $$ = DeclarationNode::newBasicType( DeclarationNode::Imaginary ); }
+        | VALIST                                                                                        // GCC, __builtin_va_list
+                { $$ = DeclarationNode::newBuiltinType( DeclarationNode::Valist ); }
         ;
 
@@ -1803 +1807 @@
 
 type_class:                                                                                             // CFA
-        TYPE
+        OTYPE
                 { $$ = DeclarationNode::Type; }
         | DTYPE
@@ -1821 +1825 @@
         '|' no_attr_identifier_or_type_name '(' type_name_list ')'
                 {
-                        typedefTable.openContext( *$2 );
-                        $$ = DeclarationNode::newContextUse( $2, $4 );
-                }
-        | '|' '{' push context_declaration_list '}'
+                        typedefTable.openTrait( *$2 );
+                        $$ = DeclarationNode::newTraitUse( $2, $4 );
+                }
+        | '|' '{' push trait_declaration_list '}'
                 { $$ = $4; }
-        | '|' '(' push type_parameter_list pop ')' '{' push context_declaration_list '}' '(' type_name_list ')'
+        | '|' '(' push type_parameter_list pop ')' '{' push trait_declaration_list '}' '(' type_name_list ')'
                 { $$ = 0; }
         ;
@@ -1841 +1845 @@
 
 type_declaring_list:                                                                    // CFA
-        TYPE type_declarator
-                { $$ = $2; }
-        | storage_class_list TYPE type_declarator
+        OTYPE type_declarator
+                { $$ = $2; }
+        | storage_class_list OTYPE type_declarator
                 { $$ = $3->addQualifiers( $1 ); }
         | type_declaring_list ',' type_declarator
@@ -1869 +1873 @@
         ;
 
-context_specifier:                                                                              // CFA
-        CONTEXT no_attr_identifier_or_type_name '(' push type_parameter_list pop ')' '{' '}'
+trait_specifier:                                                                                // CFA
+        TRAIT no_attr_identifier_or_type_name '(' push type_parameter_list pop ')' '{' '}'
                 {
                         typedefTable.addToEnclosingScope( *$2, TypedefTable::ID );
-                        $$ = DeclarationNode::newContext( $2, $5, 0 );
-                }
-        | CONTEXT no_attr_identifier_or_type_name '(' push type_parameter_list pop ')' '{'
-                {
-                        typedefTable.enterContext( *$2 );
+                        $$ = DeclarationNode::newTrait( $2, $5, 0 );
+                }
+        | TRAIT no_attr_identifier_or_type_name '(' push type_parameter_list pop ')' '{'
+                {
+                        typedefTable.enterTrait( *$2 );
                         typedefTable.enterScope();
                 }
-          context_declaration_list '}'
-                {
-                        typedefTable.leaveContext();
+          trait_declaration_list '}'
+                {
+                        typedefTable.leaveTrait();
                         typedefTable.addToEnclosingScope( *$2, TypedefTable::ID );
-                        $$ = DeclarationNode::newContext( $2, $5, $10 );
-                }
-        ;
-
-context_declaration_list:                                                               // CFA
-        context_declaration
-        | context_declaration_list push context_declaration
+                        $$ = DeclarationNode::newTrait( $2, $5, $10 );
+                }
+        ;
+
+trait_declaration_list:                                                         // CFA
+        trait_declaration
+        | trait_declaration_list push trait_declaration
                 { $$ = $1->appendList( $3 ); }
         ;
 
-context_declaration:                                                                    // CFA
-        new_context_declaring_list pop ';'
-        | context_declaring_list pop ';'
-        ;
-
-new_context_declaring_list:                                                             // CFA
+trait_declaration:                                                                      // CFA
+        new_trait_declaring_list pop ';'
+        | trait_declaring_list pop ';'
+        ;
+
+new_trait_declaring_list:                                                               // CFA
         new_variable_specifier
                 {
@@ -1910 +1914 @@
                         $$ = $1;
                 }
-        | new_context_declaring_list pop ',' push identifier_or_type_name
+        | new_trait_declaring_list pop ',' push identifier_or_type_name
                 {
                         typedefTable.addToEnclosingScope2( *$5, TypedefTable::ID );
@@ -1917 +1921 @@
         ;
 
-context_declaring_list:                                                                 // CFA
+trait_declaring_list:                                                                   // CFA
         type_specifier declarator
                 {
@@ -1923 +1927 @@
                         $$ = $2->addType( $1 );
                 }
-        | context_declaring_list pop ',' push declarator
+        | trait_declaring_list pop ',' push declarator
                 {
                         typedefTable.addToEnclosingScope2( TypedefTable::ID );