search

nasa / fpp

F Prime Prime: A modeling language for F Prime
https://fprime.jpl.nasa.gov
Apache License 2.0
46 stars 31 forks source link

Rename enter exprs to transition exprs #485

Closed bocchino closed 1 month ago

bocchino commented 1 month ago

Calling [ do-expr ] enter qual-ident an "enter expression" seems confusing, since it's not just an enter; it's also an optional do. I propose to rename this construct a "transition expression." This renaming works better in the spec and in the algorithm descriptions. E.g., the flattening algorithm maps flattened transitions to these constructs.

This change affects the parser and AST, but it's a simple renaming change.

bocchino commented 1 month ago

Merging this. The change is underway in #486.