Supplementing the Model with Handwritten Code : Mapping Rational Statemate Types into C : Rules for Mapping into C

Rules for Mapping into C

The following table summarizes the rules of mapping into C for:

Note:  
 

(*) Primitive type is one of: integer, real, condition, or enumerated type.
In the above matrix, integers are taken as example.