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

---