class AM_PRE_STMT < $AM_STMT
****
Statement representing a precondition.


Flattened version is here

Ancestors
$AM_STMT $NEXT{_} $AM $PROG_ERR
AM_STMT AM



Public


Readable Attributes
attr test:$AM_EXPR;
**** Expression to test.
attr tp:$TP;
**** The type which this is from.

Writable Attributes
attr test:$AM_EXPR;
**** Expression to test.
attr tp:$TP;
**** The type which this is from.

Features
copy:$AM_STMT