class AM_PRE_STMT < $AM_STMT |
---|
**** | Statement representing a precondition. |
$AM_STMT | $NEXT{_} | $AM | $PROG_ERR | AM_STMT | AM |
attr test:$AM_EXPR; |
---|
**** | Expression to test. |
attr tp:$TP; |
---|
**** | The type which this is from. |
attr test:$AM_EXPR; |
---|
**** | Expression to test. |
attr tp:$TP; |
---|
**** | The type which this is from. |
copy:$AM_STMT |
---|