206  Appendix A  ted,thetextfileprogramparameterOutr .. t.  isassumed. Page (f)  isanerroriff  is undefined or if f  is not in generation: node.  a ordinal function that returns the pre  IOUS ordinal value (predecessor) before the  ordinalparameterx,ifapredecessorexi.ls: ord(pred(x))  =  ord(x)  - 1.  P red (x)  is an error if x  is the smalle'  I  value of its type.  a file-handling procedure that appends the value of f" to the end of the sequence  of f. Put (f)  is an error if f  is undefined or is not in generation mode or if the buffer  variable f" is undefined. Following Put  f), f" is totally undefined.  See User Manual, Chapters 9 and 12. and Report Sections 11.4 and 12.1.  See User Manual, Chapters 9 and 12  and Report Sections 11.4 and 12.1.  See User Manual, Chapters 9 and 12. and Report Section 12.2.  See User Manuaf, Chapters 9 and 12. and Report Section 12.2.  a file-handling procedure that places  f  in inspection mode and causes the posi­ tion of f  to become the first position.  If f  is empty, eo f (f)  becomes true and f"  becomes totally undefined. Otherwise eo:: (f)  becomes false and f" becomes the  value of the first component of the sequence.  a file-handling procedure that replact;  f  with the empty sequence and places f  in generation mode. Eo f ( f)  becomes tI' Ie.  a transfer function that computes t r1  'I c'  (r  +  O. 5 )  for the real parameter r  >=  0.0, or trunc (r  - 0.5)  for the real parameter r  <  0.0, if such a value  exists in the type Integer. Otherwise it  I~  an error.  an arithmetic function that computes t  i:lt~  real sine of a real or integer parameter x  where x  is in radians.  Pred(x)  Put (f)  Read(f,v)  Read(f,vl, ... ,vn)  Readln  Readln(f,vl, ... ,vn)  Reset (f)  Rewrite (f)  Round(r)  Sin(x) 