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

Mapping Rational Statemate Types into C

The table below shows how Rational Statemate maps primitive types into corresponding C types:

 
Note: All Rational Statemate elements of type string are translated into allocated C elements.