class AM_INITIAL_STMT < $AM_STMT
****
Statement with initial code for a postcondition.


Flattened version is here

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



Public


Readable Attributes
attr stmts:$AM_STMT;
**** Statements to execute.
attr tp:$TP;
**** The type which this is from.

Writable Attributes
attr stmts:$AM_STMT;
**** Statements to execute.
attr tp:$TP;
**** The type which this is from.

Features
copy:$AM_STMT