source: translator/InitTweak/Association.h @ a32b204

aaron-thesisarm-ehcleanup-dtorsctordeferred_resndemanglergc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerresolv-newstringwith_gc
Last change on this file since a32b204 was a32b204, checked in by Peter A. Buhr <pabuhr@…>, 7 years ago

licencing: second groups of files

  • Property mode set to 100644
File size: 7.1 KB
Line 
1#ifndef _ASSOCIATE_H_
2#define _ASSOCIATE_H_
3
4#include <map>
5#include <list>
6#include <string>
7#include <vector>
8#include <iostream>
9#include <stdexcept>
10#include <algorithm>
11
12#include "SynTree/Expression.h"
13#include "diet_map.h"
14
15class Association;
16class SingleName;
17class PointAssociation;
18class RangeAssociation;
19
20// ** exceptions
21class AssocException : public std::exception {
22public:
23  AssocException() {}
24  AssocException( std::string _what ) : what( _what ) {}
25  ~AssocException() throw () {}
26
27  std::string get_what() const { return what; }
28  void set_what( std::string newValue ) { what = newValue; }
29private:
30  std::string what;
31};
32
33// ** visitors
34class AssociationVisitor {
35public:
36  AssociationVisitor() {}
37  virtual ~AssociationVisitor() {}
38
39  virtual void visit( SingleName * ) = 0;
40  virtual void visit( PointAssociation * ) = 0;
41  virtual void visit( RangeAssociation * ) = 0;
42};
43
44// ** containers
45class Association {
46 public:
47  virtual ~Association();
48
49  virtual Association *clone() = 0;
50  virtual long int add_single( std::string, Expression *) = 0;
51  virtual long int add_single( long int, Expression *expr) = 0;
52
53  virtual Association *operator[]( int idx ) = 0;
54  virtual Association *operator[]( std::string ) = 0;
55
56  //  virtual AssociationIterator *get_iterator() = 0;
57
58  virtual void accept( AssociationVisitor & ) = 0;
59  virtual void display( std::ostream & ) = 0;
60};
61
62class SingleName : public Association {
63public:
64  SingleName( Expression *initExpr = 0 ) : expr( initExpr ) {}
65  virtual ~SingleName();
66
67  virtual SingleName *clone() {
68    return 0; // XXX!
69  }
70
71  virtual long int add_single( long int idx, Expression *newExpr) {
72    if ( expr == 0 ) //|| *expr == *newExpr )
73      expr = newExpr;
74    return 0;
75  }
76
77  virtual long int add_single( std::string str, Expression *newExpr) {
78    if ( expr == 0 ) //|| *expr == *newExpr )
79      expr = newExpr;
80    return 0;
81  }
82
83  virtual Association *operator[]( int idx ) { assert(false); }
84  virtual Association *operator[]( std::string idx ) { assert(false); }
85
86  virtual void accept( AssociationVisitor &v ) { v.visit( this ); }
87  virtual void display( std::ostream &os ) {
88    os << "Single association" << std::endl;
89  }
90
91  Expression *get_expr() const { return expr; }
92
93private:
94  Expression *expr;
95  Expression *deflt;
96};
97
98class PointAssociation : public Association {
99public:
100  typedef std::map< std::string, std::pair< long int, Association *> > map_type;
101
102  PointAssociation() {}
103  PointAssociation( const PointAssociation &other ) {
104    copy( other.anonym.begin(), other.anonym.end(), back_inserter( anonym ));
105  }
106
107  virtual ~PointAssociation();
108
109  virtual PointAssociation *clone() {
110    return ( new PointAssociation( *this ) );
111  }
112
113  virtual long int add_single( long int idx, Expression *expr) {
114    long int ret;
115
116    if ( idx >= (long int)ordering.size() ) throw AssocException("extra (spurious) members");
117
118    if ( ordering[ idx ] == "")
119      std::cerr << "Checkpoint 2" << std::endl;
120    else {
121      assert( table[ordering[idx]].second != 0 );
122      ret = idx;
123      table[ ordering[idx] ].second->add_single("", expr );
124    }
125    return ret;
126  }
127
128  virtual long int add_single( std::string idx, Expression *expr) {
129    if ( idx == "" )
130      std::cerr << "Checkpoint 1" << std::endl;
131    else {
132      map_type::iterator j;
133      if (  (j = table.find( idx )) == table.end() )  // this doesn't amount for reachable members deeper down the structure, fix
134        throw AssocException("No such member");
135      else
136        return add_single( j->second.first, expr );
137    }
138
139    return -1;
140  }
141
142  void add_member( std::string str ) {
143    if ( table.find( str ) != table.end() ) return;
144    ordering.push_back( str );
145    if ( str != "" ) {
146      std::pair<long int, Association *> p( ordering.size() - 1, 0 );
147      table.insert( std::pair< std::string, std::pair<long int, Association *> >(str, p) );
148    }
149    return;
150  }
151
152  virtual void set_member( std::string str, Association *assoc ) {
153    if ( str == "" )
154      anonym.push_back( assoc );
155    else  if ( table.find( str ) == table.end() )
156      throw AssocException( "no such member" );
157    else
158      table[ str ] = std::pair<long int, Association *>(ordering.size() - 1, assoc);
159
160    return;
161  }
162
163  virtual Association *operator[]( int idx ) {
164    if ( ordering[idx] == "" ) {
165      std::cerr << "Error, anonymous members not implemented yet" << std::endl;
166      throw 0;
167    } else
168      return table[ ordering[idx] ].second;
169  }
170
171  virtual Association *operator[]( std::string idx ) {
172    if ( table.find( idx ) == table.end() )
173      throw AssocException("Member not found");
174    else
175      return table[ idx ].second;
176  }
177
178  /*
179  virtual AssociationIterator *get_iterator() {
180    PointAssocIterator *it;
181    return it;
182  }
183  */
184
185  void accept( AssociationVisitor &v ) { v.visit( this ); }
186
187  virtual void display( std::ostream &os ) {
188    os << "Point association: " << std::endl;
189    for ( map_type::iterator i = table.begin(); i != table.end(); i++ ) {
190      os << "Member [" << i->first << ", index = " << i->second.first << "]";
191      if ( i->second.second != 0 )
192        i->second.second->display( os );
193      else
194        std::cerr << "No recursive association" << std::endl;
195
196      os << std::endl;
197    }
198  }
199
200  const int size() const { return ordering.size(); }
201
202private:
203  PointAssociation &operator=(const PointAssociation &);
204  std::vector<std::string> ordering;
205  std::list< Association * > anonym;
206  std::map< std::string, std::pair<long int, Association *> > table;
207};
208
209class RangeAssociation : public Association {
210public:
211  static const int UNDEF;
212  RangeAssociation( int _hi= UNDEF ) : hi( _hi ) {
213    std::cerr << "Constructed RangeAssociation with: [" << hi << "]" << std::endl;
214  }
215
216  virtual ~RangeAssociation();
217
218  virtual RangeAssociation *clone() {
219    return 0; // XXX !!!!
220  }
221
222  virtual Association *operator[]( int idx ) {
223    return 0; // XXX !!!
224  }
225
226  virtual Association *operator[]( std::string idx ) { assert(false); return 0; }
227
228  /*
229  virtual AssociationIterator *get_iterator() {
230    RangeAssocIterator *it;
231    return it;
232  }
233  */
234
235  virtual long int add_single( long int idx, Expression *newExpr) { return 0; }
236  virtual long int add_single( std::string, Expression *) { return 0; }
237  void accept( AssociationVisitor &v ) { v.visit( this ); }
238  virtual void display( std::ostream &os ) {
239    os << "Range association, with limit: " << std::endl;
240  }
241
242private:
243  int hi;
244  diet::diet_tree<int> tree;
245  /*
246  for ( diet_tree<int>::iterator i = tree.begin(); i != tree.end(); i++ )
247    std::cout << "--(" << (*i).first << ", " << (*i).second << ")--" << std::endl;
248  diet_tree<int> tree;
249  tree.insert(100,200);
250  */
251};
252
253// ** builders
254class AssociationBuilder {
255public:
256  /* AssociationBuilder( Declaration * ) */
257  virtual ~AssociationBuilder() {}
258  virtual Association *get_assoc() = 0;
259  virtual Association *grab_assoc() = 0;
260  virtual void set_assoc(   Association * ) = 0;
261};
262
263class AssociationFiller {
264public:
265  // AssociationFiller( Declaration * ) {}
266  virtual ~AssociationFiller() {}
267  virtual Association *get_assoc() = 0;
268  virtual void set_assoc( Association * ) = 0;
269};
270
271#endif //#define _ASSOCIATE_H_
272
273/*
274  Local Variables:
275  mode: c++
276  End:
277*/
Note: See TracBrowser for help on using the repository browser.