equal
deleted
inserted
replaced
229 |
229 |
230 void *search_expression_type_c::visit(symbolic_variable_c *symbol) { |
230 void *search_expression_type_c::visit(symbolic_variable_c *symbol) { |
231 symbol_c *res; |
231 symbol_c *res; |
232 |
232 |
233 /* Nope, now we assume it is a variable, and determine its type... */ |
233 /* Nope, now we assume it is a variable, and determine its type... */ |
234 res = search_varfb_instance_type->get_type(symbol); |
234 res = search_varfb_instance_type->get_basetype_decl(symbol); |
235 if (NULL != res) return res; |
235 if (NULL != res) return res; |
236 |
236 |
237 return NULL; |
237 return NULL; |
238 } |
238 } |
239 |
239 |
242 /********************************************/ |
242 /********************************************/ |
243 void *search_expression_type_c::visit(direct_variable_c *symbol) { |
243 void *search_expression_type_c::visit(direct_variable_c *symbol) { |
244 symbol_c *res; |
244 symbol_c *res; |
245 |
245 |
246 /* Nope, now we assume it is a variable, and determine its type... */ |
246 /* Nope, now we assume it is a variable, and determine its type... */ |
247 res = search_varfb_instance_type->get_type(symbol); |
247 res = search_varfb_instance_type->get_basetype_decl(symbol); |
248 if (NULL != res) return res; |
248 if (NULL != res) return res; |
249 |
249 |
250 return NULL; |
250 return NULL; |
251 } |
251 } |
252 |
252 |
256 |
256 |
257 void *search_expression_type_c::visit(array_variable_c *symbol) { |
257 void *search_expression_type_c::visit(array_variable_c *symbol) { |
258 symbol_c *res; |
258 symbol_c *res; |
259 |
259 |
260 /* Nope, now we assume it is a variable, and determine its type... */ |
260 /* Nope, now we assume it is a variable, and determine its type... */ |
261 res = search_varfb_instance_type->get_type(symbol); |
261 res = search_varfb_instance_type->get_basetype_decl(symbol); |
262 if (NULL != res) return res; |
262 if (NULL != res) return res; |
263 |
263 |
264 return NULL; |
264 return NULL; |
265 } |
265 } |
266 |
266 |
267 void *search_expression_type_c::visit(structured_variable_c *symbol) { |
267 void *search_expression_type_c::visit(structured_variable_c *symbol) { |
268 symbol_c *res; |
268 symbol_c *res; |
269 |
269 |
270 /* Nope, now we assume it is a variable, and determine its type... */ |
270 /* Nope, now we assume it is a variable, and determine its type... */ |
271 res = search_varfb_instance_type->get_type(symbol); |
271 res = search_varfb_instance_type->get_basetype_decl(symbol); |
272 if (NULL != res) return res; |
272 if (NULL != res) return res; |
273 |
273 |
274 return NULL; |
274 return NULL; |
275 } |
275 } |
276 |
276 |