TOPS-20 PASCAL Language Manual - Bitsavers

ISO COMPLIANCE
In a FOR statement, thp type of the final value is not assignment
compatible with the type of the control variable and the statement in
the loop body is executed.
Explanation:
Detected at run time if checking was enabled during
compilation. Assignment compatibility is not
enforced if the statement in the loop body can
never be executed.
When an integer is being read from a text file, the ~igits read do not
constitute a valid integer value. (Initial spaces and end-of-line
markers are skipped.)
Explanation:
Detected at run time.
When an integer is being read from a text file, the type of the
read is not assignment compatible with the type of the variable.
value
Explanation:
Detected at run time.
When a real number is read from a text file, the digits read do not
constitute a valid real number. (Initial spaces and end-of-line
markers are skipped.)
Explanation:
Detected at run time.
The value of the file buffer variable is undefined when a READ or
READLN procedure is performed.
Explanation:
Not detected.
A WRITE or WRITELN procedure specifies a field width in which the
integers representing the total width and the number of fractional
digits are less than 1.
Explanation:
Detected at run time.
The bounds of an array passed to a conformant array parameter are
outside the range specified by the conformant array's index type.
Explanation:
Not detected.
E.4 EXCEPTIONS AND RESTRICTIONS
PASCAL-20 is not able to detect a number of violations of the ISO 7185
standard. Violations that are not defined as errors are listed below.
1. Statements threatening a FOR-loop control variable are not
detected. A statement "threatens" a variable if it occurs
within the FOR-loop or within a prior procedure, and if it is
one of the following kinds of statements:
• A READ or READLN statement containing the variable
• An assignment statement with the variable to the left of
the' :='
• A procedure or function call with the variable as a
formal VAR parameter
E-8