Supplementing Generated Ada : Referencing Model Elements : Arrays

Arrays

The intrinsics library offers a set of procedures that apply deferred assignments to the different types of Rational Statemate data-items. The assignment interface calls for each Rational Statemate type are listed in the following table:

 
procedure SETBA (BA_TRG : ADDRESS; TRG_L,TRG_FROM, TRG_TO ; INTERGER; BA_SRC : ADDRESS; SRC_L,SRC_FROM, SRC_TO : INTEGER):

 

The following APIs can be used to set arrays or slices of arrays. They all take source and destination arrays, and length. In case of slice assignment such as a1(3..5):=a2(1..3), the following call does:

set_array_<type>(a1(3..5)’address,a2(1..3)’address,3);