|
|
|
|
|
|
by MaxBarraclough
1285 days ago
|
|
|
This connects to another of Ada's advantages: language-integrated support for
subsetting the language. In the C world, you can define a subset of the
language, but if you want a tool to ensure compliance, you're on your own.
With Ada, you can define a 'profile' and have the compiler check compliance. This has been done with the Ravenscar profile (for real-time work) and, most
famously, the SPARK profile (for formal verification). (There isn't integrated support for user-defined style guide conformance
though. From the perspective I've used here, MISRA C is both a subset and a
style guide.) Some ancient documentation on RavenScar: https://gcc.gnu.org/onlinedocs/gcc-4.5.4/gnat_rm/Pragma-Prof... |
|
|