class AM_INITIAL_STMT < $AM_STMT |
---|
**** | Statement with initial code for a postcondition. |
$AM_STMT | $NEXT{_} | $AM | $PROG_ERR | AM_STMT | AM |
attr stmts:$AM_STMT; |
---|
**** | Statements to execute. |
attr tp:$TP; |
---|
**** | The type which this is from. |
attr stmts:$AM_STMT; |
---|
**** | Statements to execute. |
attr tp:$TP; |
---|
**** | The type which this is from. |
copy:$AM_STMT |
---|