Rational Statemate does not check your handwritten code. It is your responsibility to ensure that the code is legal and compilable. You can use with, use, include statements or any other mechanism supported by the language to reference packages or include files. Rational Statemate makes no attempt to interpret the code; it merely passes it on to the appropriate compiler.
To add your handwritten code to the template correctly, make sure you abide by the rules in the following sections:
● Mapping Rational Statemate types (primitive or user-defined) into C types for variables and subroutine parameters (Refer to Mapping Rational Statemate Types into C).