ISO/IEC INTERNATIONAL STANDARD 13816 Second edition 2007-10-01 Information technology Programming languages, their environments and system software interfaces Programming language ISLiSP Technologies de I'information Langages de programmation, leurs environnements et interfaces de logiciel systeme Langage de programmation /SLISP Reference number ISO/IEC 13816:2007(E) IEC Tso @ISO/IEC2007 I without license from IHS Not for Resale ISO/IEC 13816:2007(E) PDF disclaimer This PDF file may contain embedded typefaces. In accordance with Adobe's licensing policy, this file may be printed or viewed but shall not be edited unless the typefaces which are embedded are licensed to and installed on the computer performing the editing. In accepts no liability in this area. Adobe is a trademark of Adobe Systems Incorporated. Details of the software products used to create this PDF file can be found in the General Info relative to the file; the PDF-creation parameters were optimized for printing. Every care has been taken to ensure that the file is suitable for use by IsO member bodies. In the unlikely event that a problem relating to it is found, please inform the Central Secretariat at the address given below COPYRIGHT PROTECTED DOCUMENT ISO/IEC2007 All rights reserved. Unless otherwise specified, no part of this publication may be reproduced or utilized in any form or by any means, IsO's member body in the country of the requester. ISO copyright office Case postale 56. CH-1211 Geneva 20 Tel. + 41 22 749 01 11 Fax + 41 22 749 09 47 E-mail [email protected] Web www.iso.org Published in Switzerland @ ISO/IEC 2007 - All rights reserved ed without license from IHS Not for Resale ISO/IEC 13816:2007(E) Contents 1 Scope 1 2 Normative references 1 3 Compliance of ISLIsP processors and text 2 4 Terms and definitions 2 5 Notation and conventions 7 6Lexemes 9 6.1 Separators 10 6.2 Comments 10 Textual representation 10 Reserved identifiers 11 9 Errors 11 9.1 Classes of error specification 12 9.2 Pervasive error types 12 10 Classes 13 10.1 Metaclasses 13 10.2 Predefined classes 15 10.3 Standard classes 16 10.3.1 Slots 16 10.3.2 Creating instances of classes 16 11 Scope and extent 17 11.1 The lexical principle 17 11.2 Scope of identifiers 17 11.3 Some specific scope rules 18 11.4 Extent 18 12 Forms and evaluation 19 12.1 Forms 19 12.2 Function application forms 20 12.3 Special forms 20 12.4 Defining forms 21 12.5 Macro forms . 21 12.6 The evaluation model 21 12.7 Functions 22 12.8 Defining operators 26 13 Predicates 28 13.1 Boolean values 28 13.2 Class predicates 28 13.3 Equality 29 13.4 Logical connectives 31 14 Control structure 33 14.1 Constants 14.2 Variables 34 @ ISO/IEC 2007 - All rights reserved ii Copyright International Organization for Standardization nse from IHS Not for Resale ISO/IEC 13816:2007(E) 14.3 Dynamic variables 37 14.4 Conditional expressions 38 14.5 Sequencing forms 40 14.6 Iteration . 41 14.7Non-local exits 42 14.7.1 Establishing and invoking non-local exits 42 14.7.2 Assuring data consistency during non-local exits 46 15 0bjects 47 15.1 Defining classes 47 15.1.1 Determining the class precedence list 50 15.1.2 Accessing slots 51 15.1.3 Inheritance of slots and slot options 51 15.2 Generic functions . 52 15.2.1 Defining generic functions 52 15.2.2 Defining methods for generic functions 54 15.2.2.1 Agreement on parameter specializers and qualifers . 55 15.2.2.2 Congruent lambda-lists for all methods of a generic function 55 15.2.3 Inheritance of methods . 55 15.3 Calling generic functions . 56 15.3.1 Selecting the applicable methods 56 15.3.2 Sorting the applicable methods 56 15.3.3 Applying methods 57 15.3.3.1 Simple method combination 57 15.3.3.2 Standard method combination 57 15.3.4 Calling more general methods 59 15.4 Object creation and initialization 60 15.4.1 Initialize-object 60 15.5 Class enquiry 61 16 Macros 61 17 Declarations and coercions 63 18Symbol class 65 18.1 Symbol names 65 18.1.1 Notation for symbols 65