1 | /* |
---|
2 | * This file is part of the Cforall project |
---|
3 | * |
---|
4 | * $Id: Initializer.h,v 1.14 2005/08/29 20:59:25 rcbilson Exp $ |
---|
5 | * |
---|
6 | */ |
---|
7 | |
---|
8 | #ifndef INITIALIZER_H |
---|
9 | #define INITIALIZER_H |
---|
10 | |
---|
11 | #include "SynTree.h" |
---|
12 | #include "Visitor.h" |
---|
13 | #include "Mutator.h" |
---|
14 | |
---|
15 | #include <cassert> |
---|
16 | |
---|
17 | |
---|
18 | // Initializer: base class for object initializers (provide default values) |
---|
19 | class Initializer |
---|
20 | { |
---|
21 | public: |
---|
22 | // Initializer( std::string _name = std::string(""), int _pos = 0 ); |
---|
23 | Initializer( ); |
---|
24 | virtual ~Initializer(); |
---|
25 | |
---|
26 | static std::string designator_name( Expression *designator ); |
---|
27 | |
---|
28 | // void set_name( std::string newValue ) { name = newValue; } |
---|
29 | // std::string get_name() const { return name; } |
---|
30 | |
---|
31 | // void set_pos( int newValue ) { pos = newValue; } |
---|
32 | // int get_pos() const { return pos; } |
---|
33 | virtual void set_designators( std::list<Expression *> & ) { assert(false); } |
---|
34 | virtual std::list<Expression *> &get_designators() { |
---|
35 | assert(false); |
---|
36 | std::list<Expression *> *ret = 0; return *ret; // never reached |
---|
37 | } |
---|
38 | |
---|
39 | virtual Initializer *clone() const = 0; |
---|
40 | virtual void accept( Visitor &v ) = 0; |
---|
41 | virtual Initializer *acceptMutator( Mutator &m ) = 0; |
---|
42 | virtual void print( std::ostream &os, int indent = 0 ); |
---|
43 | |
---|
44 | private: |
---|
45 | // std::string name; |
---|
46 | // int pos; |
---|
47 | }; |
---|
48 | |
---|
49 | // SingleInit represents an initializer for a common object (e.g., int x = 4) |
---|
50 | class SingleInit : public Initializer |
---|
51 | { |
---|
52 | public: |
---|
53 | SingleInit( Expression *value, std::list< Expression *> &designators ); |
---|
54 | SingleInit( const SingleInit &other ); |
---|
55 | virtual ~SingleInit(); |
---|
56 | |
---|
57 | Expression *get_value() { return value; } |
---|
58 | void set_value( Expression *newValue ) { value = newValue; } |
---|
59 | |
---|
60 | void set_designators( std::list<Expression *> &newValue ) { designators = newValue; } |
---|
61 | std::list<Expression *> &get_designators() { return designators; } |
---|
62 | |
---|
63 | virtual SingleInit *clone() const; |
---|
64 | virtual void accept( Visitor &v ) { v.visit( this ); } |
---|
65 | virtual Initializer *acceptMutator( Mutator &m ) { return m.mutate( this ); } |
---|
66 | virtual void print( std::ostream &os, int indent = 0 ); |
---|
67 | |
---|
68 | private: |
---|
69 | //Constant *value; |
---|
70 | Expression *value; // has to be a compile-time constant |
---|
71 | std::list< Expression * > designators; |
---|
72 | }; |
---|
73 | |
---|
74 | // MemberInit represents an initializer for a member of an aggregate object |
---|
75 | // (e.g., struct q { int a } x = { a: 4 } ) |
---|
76 | class MemberInit : public Initializer |
---|
77 | { |
---|
78 | public: |
---|
79 | MemberInit( Expression *value, std::string member = std::string("") ); |
---|
80 | virtual ~MemberInit(); |
---|
81 | |
---|
82 | std::string get_member() { return member; } |
---|
83 | void set_member( std::string newValue ) { member = newValue; } |
---|
84 | Expression *get_value() { return value; } |
---|
85 | void set_value( Expression *newValue ) { value = newValue; } |
---|
86 | |
---|
87 | virtual MemberInit *clone() const; |
---|
88 | virtual void accept( Visitor &v ) { v.visit( this ); } |
---|
89 | virtual Initializer *acceptMutator( Mutator &m ) { return m.mutate( this ); } |
---|
90 | virtual void print( std::ostream &os, int indent = 0 ); |
---|
91 | |
---|
92 | private: |
---|
93 | std::string member; |
---|
94 | Expression *value; |
---|
95 | }; |
---|
96 | |
---|
97 | // ElementInit represents an initializer of an element of an array |
---|
98 | // (e.g., [10] int x = { [7]: 4 } |
---|
99 | class ElementInit : public Initializer |
---|
100 | { |
---|
101 | public: |
---|
102 | ElementInit( Expression *value ); |
---|
103 | virtual ~ElementInit(); |
---|
104 | |
---|
105 | int get_index() { return index; } |
---|
106 | void set_index( int newValue ) { index = newValue; } |
---|
107 | Expression *get_value() { return value; } |
---|
108 | void set_value( Expression *newValue ) { value = newValue; } |
---|
109 | |
---|
110 | virtual ElementInit *clone() const; |
---|
111 | virtual void accept( Visitor &v ) { v.visit( this ); } |
---|
112 | virtual Initializer *acceptMutator( Mutator &m ) { return m.mutate( this ); } |
---|
113 | virtual void print( std::ostream &os, int indent = 0 ); |
---|
114 | |
---|
115 | private: |
---|
116 | int index; |
---|
117 | Expression *value; |
---|
118 | }; |
---|
119 | |
---|
120 | // ListInit represents an initializer that is composed recursively of a list of initializers; this |
---|
121 | // is used to initialize an array or aggregate |
---|
122 | class ListInit : public Initializer |
---|
123 | { |
---|
124 | public: |
---|
125 | ListInit( std::list<Initializer*> &, |
---|
126 | std::list<Expression *> &designators = *(new std::list<Expression *>()) ); |
---|
127 | virtual ~ListInit(); |
---|
128 | |
---|
129 | void set_designators( std::list<Expression *> &newValue ) { designators = newValue; } |
---|
130 | std::list<Expression *> &get_designators() { return designators; } |
---|
131 | void set_initializers( std::list<Initializer*> &newValue ) { initializers = newValue; } |
---|
132 | std::list<Initializer*> &get_initializers() { return initializers; } |
---|
133 | |
---|
134 | std::list<Initializer*>::iterator begin_initializers() { return initializers.begin(); } |
---|
135 | std::list<Initializer*>::iterator end_initializers() { return initializers.end(); } |
---|
136 | |
---|
137 | virtual ListInit *clone() const; |
---|
138 | virtual void accept( Visitor &v ) { v.visit( this ); } |
---|
139 | virtual Initializer *acceptMutator( Mutator &m ) { return m.mutate( this ); } |
---|
140 | virtual void print( std::ostream &os, int indent = 0 ); |
---|
141 | |
---|
142 | private: |
---|
143 | std::list<Initializer*> initializers; // order *is* important |
---|
144 | std::list<Expression *> designators; |
---|
145 | }; |
---|
146 | |
---|
147 | |
---|
148 | #endif /* #ifndef INITIALIZER_H */ |
---|
149 | |
---|
150 | /* |
---|
151 | Local Variables: |
---|
152 | mode: c++ |
---|
153 | End: |
---|
154 | */ |
---|