EMPTY は、ゼロ・エクステントの区域を戻します。 EMPTY は、区域のすべての割り振りを解放するのに使われます。
|
この関数の値は、変数が割り振られたときに、区域変数に割り当てられます。 以下に例を示します。
declare A area,
I based (P),
J based (Q);
allocate I in(A), J in (A);
A = empty();
/* Equivalent to: free I in (A), J in (A); */