class AS_ARG_MODE
****
argument modes




Public


Readable Attributes
attr mod:INT;
attr next:T;
**** Pointer to next element in list, if any.

Writable Attributes
attr mod:INT;
attr next:T;
**** Pointer to next element in list, if any.

Writable Shareds
shared in_mode:INT := 1;
shared inout_mode:INT := 3;
shared once_mode:INT := 4;
shared out_mode:INT := 2;

Features
append(l:T)
**** Append the list `l' to the end of the list self. self may not be void but `l' may be.
create(m: INT): SAME
insert(e:T)
**** Insert the single element `e' after self. Neither may be void, `e.next' must be void.
is_out_inout : BOOL
size:INT
**** The number of elements in the list starting with self. Self may be void.


Private

shared in_mode:INT := 1;
shared inout_mode:INT := 3;
shared once_mode:INT := 4;
shared out_mode:INT := 2;