class AM_TYPECASE_STMT < $AM_STMT

****	Typecase statement.

---

Ancestors

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

---

Public

Readable Attributes

attr else_stmts:$AM_STMT;

****	The else statements, also void stmts if there

attr has_void_stmts:BOOL;

****	True if has void stmts.

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 test:AM_LOCAL_EXPR;

****	Local variable to test.

attr tgts:FLIST{$TP};

****	The target types.

Writable Attributes

attr else_stmts:$AM_STMT;

****	The else statements, also void stmts if there

attr has_void_stmts:BOOL;

****	True if has void stmts.

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 test:AM_LOCAL_EXPR;

****	Local variable to test.

attr tgts:FLIST{$TP};

****	The target types.

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.

---