Required identifiers

Identifier Reference(s)

abs 6.6.6.2

arctan 6.6.6.2

Boolean 6.4.2.2

char 6.4.2.2

chr 6.6.6.4

cos 6.6.6.2

dispose 6.6.5.3

eof 6.6.6.5

eoln 6.6.6.5

exp 6.6.6.2

false 6.4.2.2

get 6.6.5.2

input 6.10

integer 6.4.2.2

ln 6.6.6.2

maxint 6.7.2.2

new 6.6.5.3

odd 6.6.6.5

ord 6.6.6.4

output 6.10

pack 6.6.5.4

page 6.9.5

pred 6.6.6.4

put 6.6.5.2

read 6.6.5.2, 6.9.1

readln 6.9.2

real 6.4.2.2

reset 6.6.5.2

rewrite 6.6.5.2

round 6.6.6.3

sin 6.6.6.2

sqr 6.6.6.2

sqrt 6.6.6.2

succ 6.6.6.4

text 6.4.3.5

true 6.4.2.2

trunc 6.6.6.3

unpack 6.6.5.4

write 6.6.5.2, 6.9.3

writeln 6.9.4

ISO/IEC 7185:1990(E)

Annex D

(Informative)

Errors

A complying processor is required to provide documentation concerning its treatment of errors. To facilitate the production of such documentation, all the errors specified in clause 6 are described again in this annex.

D.16.5.3.2

For an indexed-variable closest-containing a single index-expression, it is an error if the value of the index-expression is not assignment-compatible with the index-type of the array-type.

D.2 6.5.3.3

It is an error unless a variant is active for the entirety of each reference and access to each component of the variant.

D.3 6.5.4

It is an error if the pointer-variable of an identified-variable denotes a nil-value.

D.4 6.5.4

It is an error if the pointer-variable of an identified-variable is undefined.

D.5 6.5.4

It is an error to remove from its pointer-type the identifying-value of an identified-variable when a reference to the identified-variable exists.

D.6 6.5.5

It is an error to alter the value of a file-variable f when a reference to the buffer-variable f­ exists.

D.7 6.6.3.2

It is an error if the value of each corresponding actual value parameter is not assignment-compatible with the type possessed by the formal-parameter.

D.8 6.6.3.2

For a value parameter, it is an error if the actual-parameter is an expression of a set-type whose value is not assignment-compatible with the type possessed by the formal-parameter.

D.9 6.6.5.2

It is an error if the file mode is not Generation immediately prior to any use of put, write, writeln or page.

D.10 6.6.5.2

It is an error if the file is undefined immediately prior to any use of put, write, writeln or page.

D.11 6.6.5.2

It is an error if end-of-file is not true immediately prior to any use of put, write, writeln or page.

D.12 6.6.5.2

It is an error if the buffer-variable is undefined immediately prior to any use of put.

D.13 6.6.5.2

It is an error if the file is undefined immediately prior to any use of reset.

D.14 6.6.5.2

It is an error if the file mode is not Inspection immediately prior to any use of get or read.

D.15 6.6.5.2

It is an error if the file is undefined immediately prior to any use of get or read.

D.16 6.6.5.2

It is an error if end-of-file is true immediately prior to any use of get or read.

D.17 6.6.5.2

For read, it is an error if the value possessed by the buffer-variable is not assignment-compatible with the variable-access.

D.18 6.6.5.2

For write, it is an error if the value possessed by the expression is not assignment-compatible with the buffer-variable.

D.19 6.6.5.3

For new(p,c₁,...,c_n), it is an error if a variant of a variant-part within the new variable becomes active and a different variant of the variant-part is one of the specified variants.

D.20 6.6.5.3

For dispose(p), it is an error if the identifying-value had been created using the form new(p,c₁,...,c_n).

D.21 6.6.5.3

For dispose(p,k₁,...,k_m), it is an error unless the variable had been created using the form new(p,c₁,...,c_n) and m is equal to n.

D.22 6.6.5.3

For dispose(p,k₁,...,k_m), it is an error if the variants in the variable identified by the pointer value of p are different from those specified by the case-constants k₁,...,k_m.

D.23 6.6.5.3

For dispose, it is an error if the parameter of a pointer-type has a nil-value.

D.24 6.6.5.3

For dispose, it is an error if the parameter of a pointer-type is undefined.

D.25 6.6.5.3

It is an error if a variable created using the second form of new is accessed by the identified-variable of the variable-access of a factor, of an assignment-statement, or of an actual-parameter.

D.26 6.6.5.4

For pack, it is an error if the parameter of ordinal-type is not assignment-compatible with the index-type of the unpacked array parameter.

D.27 6.6.5.4

For pack, it is an error if any of the components of the unpacked array are both undefined and accessed.

D.28 6.6.5.4

For pack, it is an error if the index-type of the unpacked array is exceeded.

D.29 6.6.5.4

For unpack, it is an error if the parameter of ordinal-type is not assignment-compatible with the index-type of the unpacked array parameter.

D.30 6.6.5.4

For unpack, it is an error if any of the components of the packed array are undefined.

D.31 6.6.5.4

For unpack, it is an error if the index-type of the unpacked array is exceeded.

D.32 6.6.6.2

Sqr(x) computes the square of x. It is an error if such a value does not exist.

D.33 6.6.6.2

For ln(x), it is an error if x is not greater than zero.

D.34 6.6.6.2

For sqrt(x), it is an error if x is negative.

D.35 6.6.6.3

For trunc(x), the value of trunc(x) is such that if x is positive or zero then 0 £ x-trunc(x)<1; otherwise 1<x-trunc(x)£0. It is an error if such value does not exist.

D.36 6.6.6.3

For round(x), if x is positive or zero then round(x) is equivalent to trunc(x+0.5), otherwise round(x) is equivalent to trunc(x-0.5). It is an error if such a value does not exist.

D37 6.6.6.3

For chr(x), the function returns a result of char-type that is the value whose ordinal number is equal to the value of exxpression x if such a character value exists. It is an error if such a character value does not exist.

D.38 6.6.6.4

For succ(x), the function yields a value whose ordinal number is one greater than that of x, if such a value exists. It is an error if such a value does not exist.

D.39 6.6.6.4

For pred(x), the function yields a value whose ordinal number is one less than that of x, if such a value exists. It is an error if such a value does not exist.

D.40 6.6.6.5

When eof(f) is activated, it is an error if f is undefined.

D.41 6.6.6.5

When eoln(f) is activated, it is an error if f is undefined.

D.42 6.6.6.5

When eoln(f) is activated, it is an error if eof(f) is true.

D.43 6.7.1

An expression denotes a value unless a variable denoted by a variable-access contained by the expression is undefined at the time of its use, in which case that use is an error.

D.44 6.7.2.2

A term of the form x/y is an error if y is zero.

D.45 6.7.2.2

A term of the form i div j is an error if j is zero.

D.46 6.7.2.2

A term of the form i mod j is an error if j is zero or negative.

D.47 6.7.2.2

It is an error if an integer operation or function is not performed according to the mathematical rules for integer arithmetic.

D.48 6.7.3

It is an error if the result of an activation of a function is undefined upon completion of the algorithm of the activation.

D.49 6.8.2.2

For an assignment-statement, it is an error if the expression is of an ordinal-type whose value is not assignment-compatible with the type possessed by the variable or function-identifier.

D.50 6.8.2.2

For an assignment-statement, it is an error if the expression is of a set-type whose value is not assignment-compatible with the type possessed by the variable.

D.51 6.8.3.5

For a case-statement, it is an error if none of the case-constants is equal to the value of the case-index upon entry to the case-statement.

D.52 6.8.3.9

For a for-statement, it is an error if the value of the initial-value is not assignment-compatible with the type possessed by the control-variable if the statement of the for-statement is executed.

D.53 6.8.3.9

For a for-statement, it is an error if the value of the final-value is not assignment-compatible with the type possessed by the control-variable if the statement of the for-statement is executed.

D.54 6.9.1

On reading an integer from a textfile, after skipping preceding spaces and end-of-lines, it is an error if the rest of the sequence does not form a signed-integer.

D.55 6.9.1

On reading an integer from a textfile, it is an error if the value of the signed-integer read is not assignment-compatible with the type possessed by variable-access.

D.56 6.9.1

On reading a number from a textfile, after skipping preceding spaces and end-of-lines, it is an error if the rest of the sequence does not form a signed-number.

D.57 6.9.1

It is an error if the buffer-variable is undefined immediately prior to any use of read.

D.58 6.9.3.1

On writing to a textfile, the values of TotalWidth and FracDigits are greater than or equal to one; it is an error if either value is less than one.

D.59 6.10

The execution of any action, operation, or function, defined to operate on a variable, is an error if the variable is a program-parameter and, as a result of the binding of the program-parameter, the execution cannot be completed as defined.

D.60 6.6.3.8

For a conformant array, it is an error if the smallest or largest value specified by the index-type of the actual-parameter lies outside the closed interval specified by the index-type-specification of the conformant-array-schema.

ISO/IEC 7185:1990(E)

Annex E

(Informative)

Date: 2015-12-24; view: 947