Contents

• Introduction
• Overview
  • Values, Objects, Classes and Types
    • Values
    • Objects and Methods
    • Entities
    • Types and Classes
    • Type Conformance
• Basic Symbols
  • Identifiers
  • Predefined Identifiers
  • Denotations
  • Delimiters
• Programs
  • Classes and Types
  • The General Processing Model
  • Class and Type Specifiers
  • Modifications
  • Syntactic Replacements
• Feature and Local Declarations
  • Scope Rules
  • Attributes
  • Processing Local Declarations
  • The Extent of Objects and Entities
  • Methods
• Statements
  • Assignments
  • Blocks and Exception Handling
  • Conditional Statements
  • Case Statements
  • Type Case Statements
  • Loops and the Break Statement
  • Method Calls
    • Procedure Calls
    • Stream Objects, Stream Calls and the Resume Statement
• Expressions
  • Evaluation of Expressions
    • Type Constructors
    • Bound Methods
  • Coercions and Overloading Resolution
  • Aggregates
• Predefined Features and Classes
  • Predefined Features
  • Predefined Classes
    • Array Classes
    • Simple Value Classes
• The Environment
  • Connecting a Program and the Environment
    • Program Execution
    • The Foreign Language Interface
• References
• About this document ...