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

Time units (s, ms, ns) in RoboChart & RoboSim #73

Open alvarohm opened 1 year ago

alvarohm commented 1 year ago

Allow undefined constants of real type to contain units.

Annotate the constant declaration with some sort of bracketing to avoid ambiguity. Reuse some of the grammar from p-models.