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: