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 | } |