UoY-RoboStar / robocert-textual

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

Add constant-override targets #17

Closed MattWindsor91 closed 3 years ago

MattWindsor91 commented 3 years ago

Per #15, the next thing to do is teach the metamodel how to override targets' constant definitions. My current thought is to introduce a new Target that wraps a Target with constant overrides, and it should theoretically be possible to apply the same sort of overrides at the assertion level.