Revise syntax for init specifiers

nasa / fpp

F Prime Prime: A modeling language for F Prime

https://fprime.jpl.nasa.gov

Apache License 2.0

49 stars 31 forks source link

Revise syntax for init specifiers #90

Closed bocchino closed 3 years ago

bocchino commented 3 years ago

Move init specifiers into the scope of the instance definitions that they qualify. This should eliminate a potential source of errors when importing instance definitions from one module into another, because all the relevant init specifiers are guaranteed to come along.

[x] Revise spec
[x] Add syntax
[x] Add semantics
[x] Add code gen
[x] Revise User's Guide
[x] Update F Prime Ref example
[x] Remove old syntax
[x] Refactor

bocchino commented 3 years ago

Done in commit 148bff9d21165dffa7154259f408e89636a67ce2.