TOPS-20 PASCAL Language Manual - Bitsavers
TOPS-20 PASCAL Language Manual - Bitsavers
TOPS-20 PASCAL Language Manual - Bitsavers
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
ISO CO~PLIANCE<br />
The DISPOSE procedure is calJed to dispose of a heap-allocated<br />
variable while a reference to the variable exists.<br />
Explanation: Not detected. Examples of such references are:<br />
passing the variable or a component of it to a<br />
formal VAR parameter, or using the variable in a<br />
WJTH statement (if the variable is a record).<br />
The value of file f changes while a reference to f~<br />
exists.<br />
Explanation: Not detected. An example of a reference to f~ is<br />
the passing of f- by reference to a routine; until<br />
the routine has ceased execution, you may not<br />
perform any operation on file f.<br />
The ordinal type of an actual parameter is not assignment compatible<br />
with the type of the corresponding formal parameter.<br />
Explanation:<br />
Detected at run time if checking was enabled during<br />
compilation of the called routine.<br />
The set type of an actual parameter is not assignment compatible<br />
the type of the corresponding formal parameter.<br />
with<br />
Explanation:<br />
Detected at run time if checking was enabled during<br />
compilation of the called routine.<br />
A file is not in Generation mode when a PUT, WRITE, WRITELN, or PAGE<br />
procedure is attempted.<br />
Explanation:<br />
Detected at run time.<br />
A file is in Undefined mode when a PUT, WRITE, WRITELN, or PAGE<br />
procedure is attempted.<br />
Explanation:<br />
Detected at run time.<br />
The result of an EOF function is not TRUE when a PUT, WRITE,<br />
or PAGE procedure is attempted.<br />
WRITELN,<br />
Explanation:<br />
Detected at run time.<br />
The value of the file buffer variable is undefined when a PUT<br />
procedure is attempted.<br />
Explanation:<br />
Not detected.<br />
A file is in Undefined mode when a RESET procedure is attempted.<br />
Explanation:<br />
Not detected.<br />
A file is not in Inspection mode when a GET, READ, or READLN procedure<br />
is attempted.<br />
Explanation:<br />
Detected at run time.<br />
A file is in Undefined mode when a GET, READ, or READLN procedure is<br />
attempted.<br />
Explanation:<br />
Detected at run time.<br />
The result of an EOF function is TRUE when a GET,<br />
procedure is attempted.<br />
READ,<br />
or READLN<br />
Explanation:<br />
Detected at run time.<br />
E-4