Project

General

Profile

root / trunk / compiler / cppAst / ast / expressions / Expression.cpp @ 9

1 7 krennw
/**
2
  *
3
  *                  OOAS Compiler - C++ AST
4
  *
5
  * Copyright 2015, AIT Austrian Institute of Technology.
6
  * All rights reserved.
7
  *
8
  * SEE THE "LICENSE" FILE FOR THE TERMS UNDER WHICH THIS FILE IS PROVIDED.
9
  *
10
  * If you modify the file please update the list of contributors below to in-
11
  * clude your name. Please also stick to the coding convention of using TABs
12
  * to do the basic (block-level) indentation and spaces for anything after
13
  * that. (Enable the display of special chars and it should be pretty obvious
14
  * what this means.) Also, remove all trailing whitespace.
15
  *
16
  * Contributors:
17
  *               Willibald Krenn (AIT)
18
  *               Stephan Zimmerer (AIT)
19
  *               Christoph Czurda (AIT)
20
  *
21
  */
22 2 krennw
23
24
25
#include "Expression.hpp"
26
#include <ast/expressions/TernaryOperator.hpp>
27
#include <ast/expressions/BinaryOperator.hpp>
28
#include <ast/expressions/UnaryOperator.hpp>
29
#include <ast/expressions/ForallQuantifier.hpp>
30
#include <ast/expressions/ExistsQuantifier.hpp>
31
#include <ast/expressions/ListConstructor.hpp>
32
#include <ast/expressions/TupleConstructor.hpp>
33
#include <ast/expressions/ObjectConstructor.hpp>
34
#include <ast/expressions/IdentifierExpression.hpp>
35
#include <ast/expressions/TypeExpression.hpp>
36
#include <ast/expressions/TupleMapAccessExpression.hpp>
37
#include <ast/expressions/CallExpression.hpp>
38
#include <ast/expressions/AccessExpression.hpp>
39
#include <ast/expressions/ValueExpression.hpp>
40
#include <ast/expressions/SetConstructor.hpp>
41
#include <ast/expressions/TupleMapAccessExpression.hpp>
42
#include <ast/expressions/CallExpression.hpp>
43
#include <ast/expressions/AccessExpression.hpp>
44
45
namespace Ast {
46
47
48
static void abstractError(ExpressionKind ) {
49
        throw new Base::NotImplementedException();
50
}
51
52
53
54
Base::FuncPtr Expression::s_exprVmt [2][EXPRESSIONKIND_NR_ITEMS] =
55
{
56
                {
57
                        /* conditional = 0, */                 (Base::FuncPtr) &TernaryOperator::create,
58
                        /* domresby = 1, */                    (Base::FuncPtr) &abstractError,  // ops on maps not supported
59
                        /* domresto = 2, */                    (Base::FuncPtr) &abstractError,  // ops on maps not supported
60
                        /* rngresby = 3, */                    (Base::FuncPtr) &abstractError,  // ops on maps not supported
61
                        /* rngresto = 4, */                    (Base::FuncPtr) &abstractError,  // ops on maps not supported
62
                        /* munion = 5, */                      (Base::FuncPtr) &abstractError,  // ops on maps not supported
63
                        /* conc = 6, */                        (Base::FuncPtr) &BinaryOperator::create,
64
                        /* diff = 7, */                        (Base::FuncPtr) &BinaryOperator::create,
65
                        /* inter = 8, */                       (Base::FuncPtr) &BinaryOperator::create,
66
                        /* elemin = 9, */                      (Base::FuncPtr) &BinaryOperator::create,
67
                        /* notelemin = 10, */                  (Base::FuncPtr) &BinaryOperator::create,
68
                        /* subset = 11, */                     (Base::FuncPtr) &BinaryOperator::create,
69
                        /* _union = 12, */                     (Base::FuncPtr) &BinaryOperator::create,
70
                        /* div = 13, */                        (Base::FuncPtr) &BinaryOperator::create,
71
                        /* greater = 14, */                    (Base::FuncPtr) &BinaryOperator::create,
72
                        /* greaterequal = 15, */               (Base::FuncPtr) &BinaryOperator::create,
73
                        /* idiv = 16, */                       (Base::FuncPtr) &BinaryOperator::create,
74
                        /* less = 17, */                       (Base::FuncPtr) &BinaryOperator::create,
75
                        /* lessequal = 18, */                  (Base::FuncPtr) &BinaryOperator::create,
76
                        /* minus = 19, */                      (Base::FuncPtr) &BinaryOperator::create,
77
                        /* mod = 20, */                        (Base::FuncPtr) &BinaryOperator::create,
78
                        /* pow = 21, */                        (Base::FuncPtr) &BinaryOperator::create,
79
                        /* prod = 22, */                       (Base::FuncPtr) &BinaryOperator::create,
80
                        /* sum = 23, */                        (Base::FuncPtr) &BinaryOperator::create,
81
                        /* _and = 24, */                       (Base::FuncPtr) &BinaryOperator::create,
82
                        /* biimplies = 25, */                  (Base::FuncPtr) &BinaryOperator::create,
83
                        /* implies = 26, */                    (Base::FuncPtr) &BinaryOperator::create,
84
                        /* _or = 27, */                        (Base::FuncPtr) &BinaryOperator::create,
85
                        /* equal = 28, */                      (Base::FuncPtr) &BinaryOperator::create,
86
                        /* notequal = 29, */                   (Base::FuncPtr) &BinaryOperator::create,
87
                        /* seqmod_mapoverride = 30, */         (Base::FuncPtr) &abstractError,
88
                        /* dom = 31, */                        (Base::FuncPtr) &abstractError,  // ops on maps not supported
89
                        /* range = 32, */                      (Base::FuncPtr) &abstractError,  // ops on maps not supported
90
                        /* merge = 33, */                      (Base::FuncPtr) &abstractError,  // ops on maps not supported
91
                        /* card = 34, */                       (Base::FuncPtr) &UnaryOperator::create,
92
                        /* dconc = 35, */                      (Base::FuncPtr) &UnaryOperator::create,
93
                        /* dinter = 36, */                     (Base::FuncPtr) &UnaryOperator::create,
94
                        /* dunion = 37, */                     (Base::FuncPtr) &UnaryOperator::create,
95
                        /* elems = 38, */                      (Base::FuncPtr) &UnaryOperator::create,
96
                        /* head = 39, */                       (Base::FuncPtr) &UnaryOperator::create,
97
                        /* inds = 40, */                       (Base::FuncPtr) &UnaryOperator::create,
98
                        /* len = 41, */                        (Base::FuncPtr) &UnaryOperator::create,
99
                        /* tail = 42, */                       (Base::FuncPtr) &UnaryOperator::create,
100
                        /* unminus = 43, */                    (Base::FuncPtr) &UnaryOperator::create,
101
                        /* unplus = 44, */                     (Base::FuncPtr) &UnaryOperator::create,
102
                        /* _not = 45, */                       (Base::FuncPtr) &UnaryOperator::create,
103
                        /* abs = 46, */                        (Base::FuncPtr) &UnaryOperator::create,
104
                        /* forall = 47, */                     (Base::FuncPtr) &ForallQuantifier::create,
105
                        /* exists = 48, */                     (Base::FuncPtr) &ExistsQuantifier::create,
106
                        /* ListConstr = 49, */                 (Base::FuncPtr) &ListConstructor::create,
107
                        /* SetConstr = 50, */                  (Base::FuncPtr) &SetConstructor::create,
108
                        /* MapConstr = 51, */                  (Base::FuncPtr) &abstractError,  // ops on maps not supported
109
                        /* TupleConstr = 52, */                (Base::FuncPtr) &TupleConstructor::create,
110
                        /* ObjectConstr = 53, */               (Base::FuncPtr) &ObjectConstructor::create,
111
                        /* QValConstr = 54, */                 (Base::FuncPtr) &abstractError,
112
                        /* Identifier = 55, */                 (Base::FuncPtr) &IdentifierExpression::create,
113
                        /* UnresolvedIdentifier = 56, */       (Base::FuncPtr) &abstractError,
114
                        /* Type = 57, */                       (Base::FuncPtr) &TypeExpression::create,
115
                        /* TupleMapAccess = 58, */             (Base::FuncPtr) &TupleMapAccessExpression::create,
116
                        /* Call = 59, */                       (Base::FuncPtr) &CallExpression::create,
117
                        /* Access = 60, */                     (Base::FuncPtr) &AccessExpression::create,
118
                        /* Primed = 61, */                     (Base::FuncPtr) &abstractError,
119
                        /* Cast = 62, */                       (Base::FuncPtr) &UnaryOperator::create,
120
                        /* foldLR = 63, */                     (Base::FuncPtr) &TernaryOperator::create,
121
                        /* foldRL = 64, */                     (Base::FuncPtr) &abstractError,
122
                        /* Value_Integer = 65, */              (Base::FuncPtr) &IntValueExpression::create,
123
                        /* Value_Bool = 66, */                 (Base::FuncPtr) &BoolValueExpression::create,
124
                        /* Value_Reference = 67, */            (Base::FuncPtr) &RefValueExpression::create
125
                },
126
                {
127
                        /* conditional = 0, */                 (Base::FuncPtr) &TernaryOperator::createCopy,
128
                        /* domresby = 1, */                    (Base::FuncPtr) &abstractError,  // ops on maps not supported
129
                        /* domresto = 2, */                    (Base::FuncPtr) &abstractError,  // ops on maps not supported
130
                        /* rngresby = 3, */                    (Base::FuncPtr) &abstractError,  // ops on maps not supported
131
                        /* rngresto = 4, */                    (Base::FuncPtr) &abstractError,  // ops on maps not supported
132
                        /* munion = 5, */                      (Base::FuncPtr) &abstractError,  // ops on maps not supported
133
                        /* conc = 6, */                        (Base::FuncPtr) &BinaryOperator::createCopy,
134
                        /* diff = 7, */                        (Base::FuncPtr) &BinaryOperator::createCopy,
135
                        /* inter = 8, */                       (Base::FuncPtr) &BinaryOperator::createCopy,
136
                        /* elemin = 9, */                      (Base::FuncPtr) &BinaryOperator::createCopy,
137
                        /* notelemin = 10, */                  (Base::FuncPtr) &BinaryOperator::createCopy,
138
                        /* subset = 11, */                     (Base::FuncPtr) &BinaryOperator::createCopy,
139
                        /* _union = 12, */                     (Base::FuncPtr) &BinaryOperator::createCopy,
140
                        /* div = 13, */                        (Base::FuncPtr) &BinaryOperator::createCopy,
141
                        /* greater = 14, */                    (Base::FuncPtr) &BinaryOperator::createCopy,
142
                        /* greaterequal = 15, */               (Base::FuncPtr) &BinaryOperator::createCopy,
143
                        /* idiv = 16, */                       (Base::FuncPtr) &BinaryOperator::createCopy,
144
                        /* less = 17, */                       (Base::FuncPtr) &BinaryOperator::createCopy,
145
                        /* lessequal = 18, */                  (Base::FuncPtr) &BinaryOperator::createCopy,
146
                        /* minus = 19, */                      (Base::FuncPtr) &BinaryOperator::createCopy,
147
                        /* mod = 20, */                        (Base::FuncPtr) &BinaryOperator::createCopy,
148
                        /* pow = 21, */                        (Base::FuncPtr) &BinaryOperator::createCopy,
149
                        /* prod = 22, */                       (Base::FuncPtr) &BinaryOperator::createCopy,
150
                        /* sum = 23, */                        (Base::FuncPtr) &BinaryOperator::createCopy,
151
                        /* _and = 24, */                       (Base::FuncPtr) &BinaryOperator::createCopy,
152
                        /* biimplies = 25, */                  (Base::FuncPtr) &BinaryOperator::createCopy,
153
                        /* implies = 26, */                    (Base::FuncPtr) &BinaryOperator::createCopy,
154
                        /* _or = 27, */                        (Base::FuncPtr) &BinaryOperator::createCopy,
155
                        /* equal = 28, */                      (Base::FuncPtr) &BinaryOperator::createCopy,
156
                        /* notequal = 29, */                   (Base::FuncPtr) &BinaryOperator::createCopy,
157
                        /* seqmod_mapoverride = 30, */         (Base::FuncPtr) &abstractError,
158
                        /* dom = 31, */                        (Base::FuncPtr) &abstractError,  // ops on maps not supported
159
                        /* range = 32, */                      (Base::FuncPtr) &abstractError,  // ops on maps not supported
160
                        /* merge = 33, */                      (Base::FuncPtr) &abstractError,  // ops on maps not supported
161
                        /* card = 34, */                       (Base::FuncPtr) &UnaryOperator::createCopy,
162
                        /* dconc = 35, */                      (Base::FuncPtr) &UnaryOperator::createCopy,
163
                        /* dinter = 36, */                     (Base::FuncPtr) &UnaryOperator::createCopy,
164
                        /* dunion = 37, */                     (Base::FuncPtr) &UnaryOperator::createCopy,
165
                        /* elems = 38, */                      (Base::FuncPtr) &UnaryOperator::createCopy,
166
                        /* head = 39, */                       (Base::FuncPtr) &UnaryOperator::createCopy,
167
                        /* inds = 40, */                       (Base::FuncPtr) &UnaryOperator::createCopy,
168
                        /* len = 41, */                        (Base::FuncPtr) &UnaryOperator::createCopy,
169
                        /* tail = 42, */                       (Base::FuncPtr) &UnaryOperator::createCopy,
170
                        /* unminus = 43, */                    (Base::FuncPtr) &UnaryOperator::createCopy,
171
                        /* unplus = 44, */                     (Base::FuncPtr) &UnaryOperator::createCopy,
172
                        /* _not = 45, */                       (Base::FuncPtr) &UnaryOperator::createCopy,
173
                        /* abs = 46, */                        (Base::FuncPtr) &UnaryOperator::createCopy,
174
                        /* forall = 47, */                     (Base::FuncPtr) &ForallQuantifier::createCopy,
175
                        /* exists = 48, */                     (Base::FuncPtr) &ExistsQuantifier::createCopy,
176
                        /* ListConstr = 49, */                 (Base::FuncPtr) &ListConstructor::createCopy,
177
                        /* SetConstr = 50, */                  (Base::FuncPtr) &SetConstructor::createCopy,
178
                        /* MapConstr = 51, */                  (Base::FuncPtr) &abstractError,  // ops on maps not supported
179
                        /* TupleConstr = 52, */                (Base::FuncPtr) &TupleConstructor::createCopy,
180
                        /* ObjectConstr = 53, */               (Base::FuncPtr) &ObjectConstructor::createCopy,
181
                        /* QValConstr = 54, */                 (Base::FuncPtr) &abstractError,
182
                        /* Identifier = 55, */                 (Base::FuncPtr) &IdentifierExpression::createCopy,
183
                        /* UnresolvedIdentifier = 56, */       (Base::FuncPtr) &abstractError,
184
                        /* Type = 57, */                       (Base::FuncPtr) &TypeExpression::createCopy,
185
                        /* TupleMapAccess = 58, */             (Base::FuncPtr) &TupleMapAccessExpression::createCopy,
186
                        /* Call = 59, */                       (Base::FuncPtr) &CallExpression::createCopy,
187
                        /* Access = 60, */                     (Base::FuncPtr) &AccessExpression::createCopy,
188
                        /* Primed = 61, */                     (Base::FuncPtr) &abstractError,
189
                        /* Cast = 62, */                       (Base::FuncPtr) &UnaryOperator::createCopy,
190
                        /* foldLR = 63, */                     (Base::FuncPtr) &TernaryOperator::createCopy,
191
                        /* foldRL = 64, */                     (Base::FuncPtr) &abstractError,
192
                        /* Value_Integer = 65, */              (Base::FuncPtr) &IntValueExpression::createCopy,
193
                        /* Value_Bool = 66, */                 (Base::FuncPtr) &BoolValueExpression::createCopy,
194
                        /* Value_Reference = 67, */            (Base::FuncPtr) &RefValueExpression::createCopy
195
                }
196
};
197
198
199
Expression* Expression::createVirtual(ExpressionKind k) {
200
        return (std::uint8_t)k < EXPRESSIONKIND_NR_ITEMS ? ((ConstrPtr)s_exprVmt[0][(std::uint8_t)k])(k) : nullptr;
201
}
202
203
Expression* Expression::createVirtual(const Expression& toCopy) {
204
        std::uint8_t kind ((std::uint8_t)toCopy.kind());
205
        return ((CopyConstrPtr)s_exprVmt[1][kind])(toCopy);
206
}
207
208
void Expression::accept(IAstVisitor& ) {
209
        throw new Base::NotImplementedException();
210
};
211
212
}