UoY-RoboStar / robocert-textual

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

De-merge StandardActor #85

Closed MattWindsor91 closed 2 years ago

MattWindsor91 commented 2 years ago

I thought that having targets and worlds be defined by an enumeration on the same StandardActor metaclass would be tidier; it isn't, as we have to do x instanceof StandardActor y && y.getRelationship() == z. It'd be easier to have those relationships as sub-metaclasses.