SA.1 ARRAYS 1166.7 --May items be added? --(Answer:no,although array may be resized.) do Result:=false end; prunable:BOOLEAN is --May items be removed?(Answer:no.) do Result :false end; feature--Element change frozen put,enter(v:like item;i:INTEGER)is --Replace'i'-th entry,if in index interval,by'v'. do area.put(v,i-lower); end; force (v:like item;i:INTEGER)is --Assign item'v'to'i'-th entry. --Always applicable:resize the array if'i'falls out of --currently defined bounds;preserve existing items. do ifi<lower then auto resize (i,upper); elseifi>upper then auto resize (lower,i); end; put (v,i) ensure§A.1 ARRAYS 1166.7 -- May items be added? -- (Answer: no, although array may be resized.) do Result := false end; prunable: BOOLEAN is -- May items be removed? (Answer: no.) do Result := false end; feature -- Element change frozen put, enter (v: like item; i: INTEGER) is -- Replace `i’-th entry, if in index interval, by `v’. do area.put (v, i - lower); end; force (v: like item; i: INTEGER) is -- Assign item `v’ to `i’-th entry. -- Always applicable: resize the array if `i’ falls out of -- currently defined bounds; preserve existing items. do if i < lower then auto_resize (i, upper); elseif i > upper then auto_resize (lower, i); end; put (v, i) ensure