Generalise ImplicitEdges to non-system modules

UoY-RoboStar / robocert-textual

Textual plugin and CSP generator for RoboCert

Eclipse Public License 2.0

2 stars 0 forks source link

Generalise ImplicitEdges to non-system modules #94

Closed MattWindsor91 closed 2 years ago

MattWindsor91 commented 2 years ago

The current implementation of ImplicitEdge is overly restrictive in that it expects the pair of modules to be a SystemModuleActor and a ContextActor. In fact, it should be any Actor and a ContextActor, with wellformedness conditions making sure that the other Actor can't be the context, is the only other actor, etc etc.

MattWindsor91 commented 2 years ago

ImplicitEdges no longer exist; closing.