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

---