search

UoY-RoboStar / robochart-textual

This repository contains the plugins for the RoboChart textual editor
Eclipse Public License 2.0
0 stars 1 forks source link

Support for required clocks #19

Closed pefribeiro closed 4 years ago

pefribeiro commented 4 years ago

Weakened TE2 and TS1 to only apply to StateMachineDef, and allow clocks in used interfaces. Clocks used in OperatonDefs can be either declared locally in used interfaces, or required.