- •Acknowledgements
- •Introduction
- •Information technology --- Programming languages --- Pascal
- •1 Scope
- •2 Normative reference
- •3 Definitions
- •3.1 Error
- •4 Definitional conventions
- •5 Compliance
- •5.1 Processors
- •5.2 Programs
- •6 Requirements
- •6.1 Lexical tokens
- •6.1.1 General
- •6.1.2 Special-symbols
- •6.1.3 Identifiers
- •6.1.4 Directives
- •6.1.5 Numbers
- •6.1.6 Labels
- •6.1.7 Character-strings
- •6.1.8 Token separators
- •6.1.9 Lexical alternatives
- •6.2 Blocks, scopes, and activations
- •6.2.1 Blocks
- •6.2.2 Scopes
- •6.2.3 Activations
- •6.3 Constant-definitions
- •6.4 Type-definitions
- •6.4.1 General
- •6.4.2 Simple-types
- •6.4.2.1 General
- •6.4.2.2 Required simple-types
- •6.4.2.3 Enumerated-types
- •6.4.2.4 Subrange-types
- •6.4.3 Structured-types
- •6.4.3.1 General
- •6.4.3.2 Array-types
- •6.4.3.3 Record-types
- •6.4.3.5 File-types
- •6.4.4 Pointer-types
- •6.4.5 Compatible types
- •6.4.7 Example of a type-definition-part
- •6.5 Declarations and denotations of variables
- •6.5.1 Variable-declarations
- •6.5.2 Entire-variables
- •6.5.3 Component-variables
- •6.5.3.1 General
- •6.5.3.2 Indexed-variables
- •6.5.3.3 Field-designators
- •6.5.4 Identified-variables
- •6.5.5 Buffer-variables
- •6.6 Procedure and function declarations
- •6.6.1 Procedure-declarations
- •6.6.2 Function-declarations
- •6.6.3 Parameters
- •6.6.3.1 General
- •6.6.3.2 Value parameters
- •6.6.3.3 Variable parameters
- •6.6.3.4 Procedural parameters
- •6.6.3.5 Functional parameters
- •6.6.3.6 Parameter list congruity
- •6.6.3.7 Conformant array parameters
- •6.6.3.8 Conformability
- •6.6.5.3 Dynamic allocation procedures
- •6.6.5.4 Transfer procedures
- •6.6.6 Required functions
- •6.6.6.1 General
- •6.6.6.2 Arithmetic functions
- •6.6.6.3 Transfer functions
- •6.6.6.4 Ordinal functions
- •6.6.6.5 Boolean functions
- •6.7 Expressions
- •6.7.1 General
- •6.7.2 Operators
- •6.7.2.1 General
- •6.7.2.2 Arithmetic operators
- •6.7.2.3 Boolean operators
- •6.7.2.4 Set operators
- •6.7.2.5 Relational operators
- •6.7.3 Function-designators
- •6.8 Statements
- •6.8.1 General
- •6.8.2 Simple-statements
- •6.8.2.1 General
- •6.8.2.2 Assignment-statements
- •6.8.2.3 Procedure-statements
- •6.8.2.4 Goto-statements
- •6.8.3.5 Case-statements
- •6.8.3.6 Repetitive-statements
- •6.8.3.7 Repeat-statements
- •6.8.3.8 While-statements
- •6.8.3.10 With-statements
- •6.9 Input and output
- •6.9.1 The procedure read
- •6.9.2 The procedure readln
- •6.9.3 The procedure write
- •6.9.3.1 Write-parameters
- •6.9.3.2 Char-type
- •6.9.3.3 Integer-type
- •6.9.3.4 Real-type
- •6.9.3.5 Boolean-type
- •6.9.3.6 String-types
- •6.9.4 The procedure writeln
- •6.9.5 The procedure page
- •6.10 Programs
- •Annex a
- •Collected syntax
- •Annex b
- •Cross-references
- •Annex c
- •Required identifiers
- •Identifier Reference(s)
- •Annex d
- •Annex e
- •Implementation-defined features
- •Annex f
- •Implementation-dependent features
6.1.4 Directives
A directive shall only occur in a procedure-declaration or a function-declaration. The only directive shall be the required directive forward (see 6.6.1 and 6.6.2). No directive shall have the same spelling as any word-symbol.
directive = letter { letter | digit } .
NOTE --- Many processors provide, as an extension, the directive external, which is used to specify that the procedure-block or function-block corresponding to that procedure-heading or function-heading is external to the program-block. Usually it is in a library in a form to be input to, or that has been produced by, the processor.
6.1.5 Numbers
An unsigned-integer shall denote in decimal notation a value of integer-type (see 6.4.2.2). An unsigned-real shall denote in decimal notation a value of real-type (see 6.4.2.2). The letter 'e' preceding a scale-factor shall mean times ten to the power of. The value denoted by an unsigned-integer shall be in the closed interval 0 to maxint (see 6.4.2.2 and 6.7.2.2).
signed-number = signed-integer | signed-real .
signed-real = [ sign ] unsigned-real .
signed-integer = [ sign ] unsigned-integer .
unsigned-number = unsigned-integer | unsigned-real .
sign = '+' | '-' .
unsigned-real= digit-sequence '.' fractional-part [ 'e' scale-factor] ½ digit-sequence 'e' scale-factor .
unsigned-integer = digit-sequence .
fractional-part = digit-sequence .
scale-factor = [ sign ] digit-sequence .
digit-sequence = digit { digit } .
Examples:
1e10
1
+100
-0.1
5e-3
87.35E+8
6.1.6 Labels
Labels shall be digit-sequences and shall be distinguished by their apparent integral values and shall be in the closed interval 0 to 9999. The spelling of a label shall be its apparent integral value.
label = digit-sequence .
6.1.7 Character-strings
A character-string containing a single string-element shall denote a value of the required char-type (see 6.4.2.2). A character-string containing more than one string-element shall denote a value of a string-type (see 6.4.3.2) with the same number of components as the character-string contains string-elements. All character-strings with a given number of components shall possess the same string-type.
There shall be an implementation-defined one-to-one correspondence between the set of alternatives from which string-elements are drawn and a subset of the values of the required char-type. The occurrence of a string-element in a character-string shall denote the occurrence of the corresponding value of char-type.
character-string = ''' string-element { string-element } ''' .
string-element = apostrophe-image | string-character .
apostrophe-image = '''' .
string-character = one-of-a-set-of-implementation-defined-characters .
NOTE --- Conventionally, the apostrophe-image is regarded as a substitute for the apostrophe character, which cannot be a string-character.
Examples:
'A'
';'
''''
'Pascal'
'THIS IS A STRING'