Variables scope lookup is flawed
- create a component A with an input port a of type int
- create a subcomponent of A called B with an input port b
- in B create a state machine with a transition. In this transition it is allowed to write as guard “a == 1” (even if component B does not have any port called ‘a’)
The problem is that the lookup of variables definitions does not stop at the boundaries of components.
(from redmine: issue id 1089, created on 2012-12-18, closed on 2013-01-16)
- Uploads: