class AM_INITIAL_STMT < $AM_STMT

****	Statement with initial code for a postcondition.

---

Ancestors

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

---

Public

Readable Attributes

attr next:T;

****	Pointer to next element in list, if any.

attr source:SFILE_ID;

****	Information identifying the origin of a node in Sather source. It encodes the file and the character offset of the originating construct.

attr stmts:$AM_STMT;

****	Statements to execute.

attr tp:$TP;

****	The type which this is from.

Writable Attributes

attr next:T;

****	Pointer to next element in list, if any.

attr source:SFILE_ID;

****	Information identifying the origin of a node in Sather source. It encodes the file and the character offset of the originating construct.

attr stmts:$AM_STMT;

****	Statements to execute.

attr tp:$TP;

****	The type which this is from.

Features

append(l:T)

****	Append the list `l' to the end of the list self. self may not be void but `l' may be.

copy:$AM_STMT

create(source:SFILE_ID):SAME

****	A new object for the location `source' with default initialization.

insert(e:T)

****	Insert the single element `e' after self. Neither may be void, `e.next' must be void.

size:INT

****	The number of elements in the list starting with self. Self may be void.

---