Language Specification Lisa Pascal Feb82

LANGUAGE SPECIFICATION LISA PASCAL 19 February 1982 Rich Page / David Cas seres {file pas:pO; date 2/19/82] [file pas:pO; date 2/19/82] DATE: 19 February 1982 TO: Lis t FROM: Rich Page & David Cas seres SUBJECT: Lisa Pascal Language Specification -----------------,------ Here is the new Language Specification for Lisa Pascal. direct your comments to Rich Page. Please ,This Language Specification attempts to describe both the eventual definition of the Language and the current implementation. Inevitably, there are a few places where the two do not match. and these points are spelled out in the text. {file pas:pO; date 2/19/82} [file pas:pO; date 2/19/82] CONTENTS 1. IN'!RODUCTION •••••••••• ~ ••••• 0 ••••••••••••••••••••••••••••• ••• 1 1.1 Product Name and Number ••••••••••••••••••••••••••••••••••• l 1.2 Related Documents •• ~ •••••••••••••••••••••••••••••••••••••• l 1.3 Novel or Unusual Features ••••••••••••••••••••••••••••••••• l 1.4 Relation to Other Products •••••••••••••••••••••••••••••••• 2 1.5 Use Environment ••••••••••••••••••••••••••••••••••••••••••• 2 1.5.1 Hardware Environment •••••••••••••••••••••••••••••••••• 2 1.5.2 Software Environment •••••••••••••••••••••••••••••••••• 2 2 DEFINITIONS ••••••••••••••••••••••••••••••••••••••••••••••••••• 3 3 METALA.NGUAGE •••••••••••••••••••••••••••••••••••••••••••••••••• 5 4 'LEXICAL TOKEN'S •••••••••••••••• 0 ••••••••••••••••••••••••••••••• 7 4.1 General ••••••••••••••••••••••••••••••••••••••••••••••••••• 7 4.2 Special Symbols ••••••••••••••••••••••••••••••••••••••••••• 7 4.3 Identifiers ••••••••••••••••••••••••••••••••••••••••••••••• 8 4.4 Directives •••••.•••••••••.•••••••••••••••••••••••••••.•.•• 8 4. 5 Numbe rs • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • 8 4.6 Labels •••••••••••.•••.••••••••••••••••••...•••.••••••••••• 9 4.7 Quoted String Constants ••••••••••••••••••••••••••••••••••• 9 4.7 •. 1 Character Constants ••••••••••••••••••••••••••••••••.•• 10 4.8 Comments. Spaces. and Ends of Lines •••••••••••••••••••••• 10 5. BLOCKS. LOCALITY, AND SCOPE •••••••••••••••••••••••• ~ •••••••• 13 5. 1 Block. •••••••••••••••••••••••••••••••.••.•••••••••.••••.•• 13 5.2 Scope •••••••••••••••••••••••••••••••••••••••••••••••••••• 14 5.2.1 Defining Occurrence ••••••••••••••••••••••••••• : •••••• 14 5.2.2 Redefinition ••••••••••••••••••••••••••••••••••••••••• 14 5.2.3 Position of Defining Occurrence •••••••••••••••••••••• 15 6 CONSTANT-DEFINITIONS •••••••••••••••••• ~ •••••••••••••••••••••• 17 7 TyPE-DEFINITIONS ••••••••••••••••••••••••••••••••••••••••••••• 19 7.1 General •••••••••••••••••••••••••••••••••••••••••••••••••• 19 7.2 Simple-Types."•••••••••...••••••.•..••.•••••••.•.•.••.•••• 19 7.2.1 General •••••••••••••••••••••••••••••••••••••••••••••• l9 7.2.2 Standard Simple-Types •••••••••••••••••••••••••••••••• 20 7.2.3 Enumerated-Types ••••••••••••••••••••••••••••••••••••• 23 7.2.4 Subrange-Types ••••••••••••••••••••••••••••…