UoY-RoboStar / robocert-textual

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

Naming of events between modules and platforms is not handled correctly #118

Closed MattWindsor91 closed 2 years ago

MattWindsor91 commented 2 years ago

The current rule in the generator is to take the Event at the non-World end when working out the CSP name for an World-bound event. This is not correct when that end is a module TargetActor; in this case, it should be the World, which represents the robotic platform.

In fact, we should likely tighten the WFC so that this situation provokes a requirement for a Connection to be present.