FILE SHL Commands

The only valid commands are of the form:-

FILE SHL 1 my_file.cmd CHECKPOINT=10

FILE SHL 9 my_file.for

The first form is more usually issued in its symbolic form:-

$interactive_commands my_file.cmd CHECKPOINT=10

and is used to supply interactive commands that SNOMAN processes during execution. See section 3.6.

The second form triggers the writing of a special USER_DEFINE_TASK and set of SU dummies. The symbolic form is:-

$write_dummies my_file.for

see section 11.6.3