class AS_LOCK_STMT < $AS_STMT
****
A "lock" statement. (pSather)


Flattened version is here

Ancestors
$AS_STMT $NEXT{_} $AS_NODE $PROG_ERR
AS_STMT AS_NODE



Public


Readable Attributes
attr e_list: $AS_EXPR;
**** The expressions to be locked.
attr else_part:AS_STMT_LIST;
**** The "else" part.
attr if_when_part:AS_LOCK_IF_WHEN;
**** The list of "if - when" clauses.
attr no_else:BOOL;
**** True if there is no "else" part.
attr then_part: AS_STMT_LIST;

Writable Attributes
attr e_list: $AS_EXPR;
**** The expressions to be locked.
attr else_part:AS_STMT_LIST;
**** The "else" part.
attr if_when_part:AS_LOCK_IF_WHEN;
**** The list of "if - when" clauses.
attr no_else:BOOL;
**** True if there is no "else" part.
attr then_part: AS_STMT_LIST;

Features