search

nasa / fpp

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

Type aliases #113

Open bocchino opened 2 years ago

bocchino commented 2 years ago

Allow type aliases, e.g., type FwPacketDescriptorType = U32. That way we can generate code for the GDS and for the C++ implementation that keeps these types consistent.

bocchino commented 1 year ago

We can also check type bounds as discussed in #198.