UoY-RoboStar / robocert-textual

Textual plugin and CSP generator for RoboCert
Eclipse Public License 2.0
2 stars 0 forks source link

Constants must be visible in scope to be used #126

Open MattWindsor91 opened 2 years ago

MattWindsor91 commented 2 years ago

Right now, there is insufficient scoping policy to prevent, say, something targeting components of module Foraging from picking up the constant Foraging::ObstacleAvoidance::Avoid::turnSpeed. This constant may well be available in the CSP semantics as generated by the current RoboChart generator, but it should be hidden by the scoping rules as it is below Foraging in the component model.