Archive
Posts Tagged ‘constrained typedef’
Using constrained types in C
February 26, 2010
4 comments
When writing critical software, one of the advantages cited for using Ada rather than C is that Ada lets you define constrained types, like this:
type Percentage is Integer range 0 .. 100;
Need help with using C or C++ in critical systems? Click on my picture above.
David Crocker's Verification Blog 