[qvtd-dev] [Dev] Variable initializers and the evaluation environment

[Horacio Hoyos Rodriguez <hhr502@xxxxxxxxxx>]

Hi Ed,

 

I managed to track a bug related to the variable initializers. The issue is that since this variables are not used in the mapping call they are not added to the evaluation environment. The visit method for variables in EvaluationVisitorImpl checks that the variable has an initializer and if it does it visit is. However, as far as I can tell, the value of the initializer _expression_ is never used. Since the variable is being initialized, the result of evaluating the initializer _expression_ should be added to the evaluation environment as the value for the variable.

 

I fixed this on the visitGuardPattern method, but I am not sure if adding the value to the environment is responsibility of QVTi or if this should be done at the OCL level.

 

Regards,

 

 

Horacio Hoyos Rodríguez

EngD Student

University of York

 

http://www.york.ac.uk/docs/disclaimer/email.htm