class AM_PROTECT_STMT < $AM_STMT

****	Protect statement.

---

Ancestors

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

---

Public

Readable Attributes

attr body:$AM_STMT;

****	The body of the protect.

attr else_stmts:$AM_STMT;

****	The else statements.

attr next:T;

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

attr no_else:BOOL;

****	True if there is no "else" part.

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:FLIST{$AM_STMT};

****	The statement lists.

attr tgts:FLIST{$TP};

****	The target types for the "whens".

Writable Attributes

attr body:$AM_STMT;

****	The body of the protect.

attr else_stmts:$AM_STMT;

****	The else statements.

attr next:T;

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

attr no_else:BOOL;

****	True if there is no "else" part.

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:FLIST{$AM_STMT};

****	The statement lists.

attr tgts:FLIST{$TP};

****	The target types for the "whens".

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.

---