1 3 7 8 10 13 15 16 17 18 23 24 26 28 29 30 31 33 34 35 36 37 38 39 40 41 42 44 45 46 48 49 51 52 53 54 55 56 58 59 * 1 * * * * * * * * PASCAL VALIDATION REPORT PASCAL PROCESSOR IDENTIFICATION MACHINE : Acorn Archimedes model COMPILER : 3L-Pascal 1.2, released November 1987. OPERATING SYSTEM : Arthur 1.2 released August 1987. TEST CONDITIONS DATE : 9th November 1987 TESTER : TEST SUITE VERSION : 4.3 REPORTER : , BSI COMPILER OPTIONS USED DURING VALIDATION Default options with the addition of: -STORE to make the compiler use in-store temporaries -NOWARN to suppress warning messages Manufacturer's statement of compliance The above processor complies with the requirements of level 1 of ISO 7185 with no exceptions. The processor contains extensions to ISO 7185 as described in the "3L-Pascal User's Guide" (Section 9.1). These extensions are disabled by default but may be enabled by means of a compiler option. The implementation defined features are as follows : E.1 Each value of the char-type corresponding to each allowed string-character (excluding chr(10) and chr(13)) are as defined in E.3 below. E.2 The subset of real numbers denoted by a signed-real is the set of values representable by the double-precision floating-point software emulator. This gives a precision of about 16 decimal places. E.3 The values of char-type are the ISO 646 (ASCII) character set extended with the ordinal values 128 to 255 inclusive to permit the use of the proposed ISO 6937 graphic characters. E.4 The ordinal numbers of each value of char-type are as defined by ISO 646, extended with the ordinal values 128 to 255 inclusive. E.5 The point at which the file operations rewrite, put, reset and get are performed differs depending on whether the file is a text file which has been connected to an interactive input device or not. (i) for text files connected to interactive input devices 'lazy input' is used whereby an implied 'get' on the file is delayed until a reference is made to the file buffer variable. An explicit 'get' will not be delayed. (ii) for all other files the operations will be performed at a point determined by the Arthur operating system. E.6 The value of maxint is 2147483647. E.7 The accuracy of the approximations of real operations depends on the representation of floating-point quantities as specified in E.2 above. This gives approximately 16 decimal digits of precision. E.8 The default value of TotalWidth for integer-type is 1. E.9 The default value of TotalWidth for real-type is 12. E.10 The default value of TotalWidth for Boolean-type is 5. E.11 The value of ExpDigits is 3. E.12 The exponent character is 'e'. E.13 The output of values of Boolean-type uses the representations 'True' and 'False'. E.14 The procedure page performs writeln if and only if required (to force EOLN as required by the standard) and then outputs a form feed character (ISO code 12). The effect on any particular device depends on that device. E.15 Program parameters may be bound to physical files or devices. This binding is performed by the system command which initiates the execution of the program. E.16 Rewrite has no effect on files bound to interactive output devices. The only effect of RESET on files bound to interactive devices is to clear EOF. E.17 This implementation supports the alternative representation of symbols permitted by the standard. The following errors are reported under all circumstances: D.16 D.23 D.33 D.34 D.42 D.54 D.56 D.58 The following errors are reported if the program was compiled with the relevant checks enabled: D.1 D.3 D.7 D.8 D.17 D.18 D.26 D.28 D.29 D.31 D.37 D.38 D.39 D.44 D.45 D.46 D.49 D.50 D.51 D.52 D.53 D.55 D.59 The following errors are reported under many, but not all, circumstances if the program is compiled with the relevant checks enabled: D.4 D.9 D.10 D.11 D.13 D.14 D.15 D.24 D.27 D.30 D.40 D.41 D.43 D.48 D.57 The following errors are never reported: D.2 D.5 D.6 D.12 D.19 D.20 D.21 D.22 D.25 D.32 D.35 D.36 D.47 Implementation dependent features F.1-F.8, F.10 and F.11 of Pascal are treated as undetected errors. The use of program-parameters corresponding to variables of other than file-type is treated as a detected error (F.9).