source: translator/InitTweak/InitModel.h @ 51587aa

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
Last change on this file since 51587aa was 51587aa, checked in by Peter A. Buhr <pabuhr@…>, 9 years ago

licencing: fourth groups of files

  • Property mode set to 100644
File size: 3.9 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// XXX.cc --
8//
9// Author           : Richard C. Bilson
10// Created On       : Mon May 18 07:44:20 2015
11// Last Modified By :
12// Last Modified On :
13// Update Count     : 0
14//
15#ifndef _INITTWEAK_MODEL_H_
16#define _INITTWEAK_MODEL_H_
17
18#include "Association.h"
19#include "SemanticError.h"
20#include "SynTree/Visitor.h"
21
22#include "SynTree/Initializer.h"
23#include "SynTree/Declaration.h"
24#include "SynTree/Expression.h"
25#include "SynTree/Type.h"
26
27namespace InitTweak {
28    class InitModelBuilder : public AssociationBuilder, public Visitor {
29      public:
30        InitModelBuilder( Declaration * );
31        ~InitModelBuilder();
32
33        virtual Association *grab_assoc() { taken = true; return building; }
34        virtual Association *get_assoc() { return building; }
35        void set_assoc( Association *newAssoc ) { building = newAssoc; }
36
37        void init();
38        static int interpretDimension( Expression *exp ) {
39            ConstantFolder folder( exp );
40            try {
41                return folder.get_constant();
42            } catch (...) {
43                throw SemanticError("Invalid array dimension");
44            }
45        }
46
47        // types
48        virtual void visit( ArrayType * );
49        virtual void visit( StructInstType * );
50        virtual void visit( UnionInstType * );
51        virtual void visit( EnumInstType * );
52        virtual void visit( ContextInstType * ) { throw 0; }
53        virtual void visit( TypeInstType * )    { throw 0; }
54        // virtual void visit( TupleType *tupleType );
55        // declarations
56        virtual void visit( StructDecl *);
57        virtual void visit( UnionDecl *);
58        virtual void visit( EnumDecl *);
59      private:
60        class ConstantFolder : public Visitor {
61          public:
62            ConstantFolder( Expression *_expr = 0 ): expr(_expr) {}
63            int get_constant() throw() { expr->accept( *this ); return value; }
64            void set_constant( Expression *newExp ) { expr = newExp; }
65            // Visitor interface
66            void visit( Expression * ) { throw 0; }
67            void visit( NameExpr * ) { throw 0; }
68            void visit( CastExpr * ) { throw 0; }
69            void visit( UntypedMemberExpr * ) { throw 0; }
70            void visit( VariableExpr * ) { throw 0; }
71            void visit( ConstantExpr * );
72            void visit( SizeofExpr * ) { throw 0; }
73            void visit( AttrExpr * ) { throw 0; }
74            void visit( LogicalExpr * ) { throw 0; }
75            void visit( ConditionalExpr * ) { throw 0; }
76            void visit( CommaExpr * ) { throw 0; }
77          private:
78            Expression *expr;
79            int value;
80        };
81
82        bool taken;
83        Declaration *decl;  // ?
84        Association *building;
85    };
86
87    class InitModelFiller : public AssociationFiller, public Visitor {
88      public:
89        InitModelFiller( Association *, Initializer *, bool _topLevel = false );
90        ~InitModelFiller() { /* pointers in here are not owned by object (never created by object either) */ }
91        virtual Association *get_assoc() { return model; }
92        virtual void set_assoc( Association *newAssoc ) { model = newAssoc; }
93
94        void init();
95        // Visitor interface
96        virtual void visit( SingleInit *singleInit );
97        virtual void visit( ListInit *listInit );
98      private:
99        Association *model;
100        Initializer *orgInit;
101        bool topLevel;
102        long int next;
103    };
104
105    class InitUnspooler : public AssociationVisitor {
106      public:
107        InitUnspooler() : init(0), taken( false ) {}
108        virtual ~InitUnspooler() { if (! taken && (init != 0)) { delete init; init = 0; } }
109        Initializer *get_initializer() { return init; }
110        Initializer *grab_initializer() { taken = true; return init; }
111
112        virtual void visit( SingleName * );
113        virtual void visit( PointAssociation * );
114        virtual void visit( RangeAssociation * ) { std::cerr << "InitUnspooler - In a range assoc" << std::endl; return; }
115      private:
116        Initializer *init;
117        bool taken;
118    };
119
120} // namespace InitTweak
121
122#endif // _INITTWEAK_MODEL_H_
123
124/*
125  Local Variables:
126  mode: c++
127  End:
128*/
129// Local Variables: //
130// tab-width: 4 //
131// mode: c++ //
132// compile-command: "make install" //
133// End: //
Note: See TracBrowser for help on using the repository browser.