Pascal News

8-Sep-Sl
1:
2:
Yet Another Extension
Function Locate(var parent,search:File) :Integer;
~ Pr~-assertions: parent.M=Directj parent.Pos is starting point. }
~ Post-assertions: parent.Pos=Locate+length(search) ,
t Locate is assigned the parent sequence number of the first elef!tent
of search (starting the search from the input va!ue of
parent.Pos).. If the search file cannot be found in parent, Lcca~::;'?
is returned as length(parent}. This defini~ion avoids S9€cia:­
case handling both within Locate and in the calling (;OCC. Conpare
this simplicity to the definition and use of DEC's BASIC ins':"/pos
function! }
label 1,2;
var 10calroot:Integer;
begin
localroot:=pos(parent) ;
while localroot