source: src/SynTree/AggregateDecl.cc @ 39156ed

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since 39156ed was ac3362c, checked in by Rob Schluntz <rschlunt@…>, 6 years ago

Resolve enumerator initializers early to allow other passes to determine if expression is constexpr and to evaluate constexprs

  • Property mode set to 100644
File size: 3.7 KB
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// AggregateDecl.cc --
8//
9// Author           : Richard C. Bilson
10// Created On       : Sun May 17 23:56:39 2015
11// Last Modified By : Andrew Beach
12// Last Modified On : Fri Aug  4 14:22:00 2017
13// Update Count     : 22
14//
15
16#include <list>                  // for list
17#include <ostream>               // for operator<<, basic_ostream, ostream
18#include <string>                // for operator<<, string, char_traits
19
20#include "Attribute.h"           // for Attribute
21#include "Common/utility.h"      // for printAll, cloneAll, deleteAll
22#include "Declaration.h"         // for AggregateDecl, TypeDecl, Declaration
23#include "Parser/LinkageSpec.h"  // for Spec, linkageName, Cforall
24#include "Type.h"                // for Type, Type::StorageClasses
25
26
27AggregateDecl::AggregateDecl( const std::string &name, const std::list< Attribute * > & attributes, LinkageSpec::Spec linkage ) : Parent( name, Type::StorageClasses(), linkage ), body( false ), attributes( attributes ) {
28}
29
30AggregateDecl::AggregateDecl( const AggregateDecl &other ) : Parent( other ) {
31        cloneAll( other.members, members );
32        cloneAll( other.parameters, parameters );
33        cloneAll( other.attributes, attributes );
34        body = other.body;
35}
36
37AggregateDecl::~AggregateDecl() {
38        deleteAll( attributes );
39        deleteAll( parameters );
40        deleteAll( members );
41}
42
43void AggregateDecl::print( std::ostream &os, Indenter indent ) const {
44        using std::string;
45        using std::endl;
46
47        os << typeString() << " " << name << ":";
48        if ( get_linkage() != LinkageSpec::Cforall ) {
49                os << " " << LinkageSpec::linkageName( linkage );
50        } // if
51        os << " with body " << has_body();
52
53        if ( ! parameters.empty() ) {
54                os << endl << indent << "... with parameters" << endl;
55                printAll( parameters, os, indent+1 );
56        } // if
57        if ( ! members.empty() ) {
58                os << endl << indent << "... with members" << endl;
59                printAll( members, os, indent+1 );
60        } // if
61        if ( ! attributes.empty() ) {
62                os << endl << indent << "... with attributes" << endl;
63                printAll( attributes, os, indent+1 );
64        } // if
65        os << endl;
66}
67
68void AggregateDecl::printShort( std::ostream &os, Indenter indent ) const {
69        using std::string;
70        using std::endl;
71
72        os << typeString() << " " << name << " with body " << has_body() << endl;
73
74        if ( ! parameters.empty() ) {
75                os << indent << "... with parameters" << endl;
76                printAll( parameters, os, indent+1 );
77        } // if
78}
79
80std::string StructDecl::typeString() const { return "struct"; }
81
82std::string UnionDecl::typeString() const { return "union"; }
83
84std::string EnumDecl::typeString() const { return "enum"; }
85
86std::string TraitDecl::typeString() const { return "trait"; }
87
88bool EnumDecl::valueOf( Declaration * enumerator, long long int & value ) {
89        if ( enumValues.empty() ) {
90                long long int currentValue = 0;
91                for ( Declaration * member : members ) {
92                        ObjectDecl * field = strict_dynamic_cast< ObjectDecl * >( member );
93                        if ( field->init ) {
94                                SingleInit * init = strict_dynamic_cast< SingleInit * >( field->init );
95                                auto result = eval( init->value );
96                                if ( ! result.second ) SemanticError( init->location, toString( "Non-constexpr in initialization of enumerator: ", field ) );
97                                currentValue = result.first;
98                        }
99                        assertf( enumValues.count( field->name ) == 0, "Enum %s has multiple members with the name %s", name.c_str(), field->name.c_str() );
100                        enumValues[ field->name ] = currentValue;
101                        ++currentValue;
102                }
103        }
104        if ( enumValues.count( enumerator->name ) ) {
105                value = enumValues[ enumerator->name ];
106                return true;
107        }
108        return false;
109}
110
111// Local Variables: //
112// tab-width: 4 //
113// mode: c++ //
114// compile-command: "make install" //
115// End: //
Note: See TracBrowser for help on using the repository browser.