Supplementing the Model with Handwritten Code : Mapping Rational Statemate Types into C : Constant Operators

Constant Operators
 

 

Parameters to these constant operators are user-defined types that were defined as enumerated types.