Local variables with same name
In the following property, g is used twice as a local variable :
bug : (occurrence_of Green_ENT g where g.param0=='NS')
and
(occurrence_of Green_ENT g where g.param0=='EW');
This property is accepted by Partrap-IDE but it fails to generate a correct java code because two methods have the same name "evaluateExprg". The pragmatic solution is to use different names : g1 and g2. But this bug raises two questions:
- Is the above property compliant with the static semantics of ParTraP?
- If it is compliant, then there is a bug in the generator.
Edited by Yves Ledru