Contents

• Overview of the Language
  • Objects
  • The Theta Type System
  • Specifications
  • Classes and Inheritance
  • Modules
  • Parametric Polymorphism
  • Programs
• Lexical Considerations
  • Notation
  • Lexical Considerations
    • Case Insensitivity
    • Tokens and Separators
    • Comments
  • Reserved Words
  • Identifiers
  • Literals
  • Operators and Punctuation Symbols
• Types and Parameterized Types
  • Built-in Types
  • Type Designators
    • Simple Types
    • Parameterized Type Instantiations
    • Routine Types
    • Tagged Types
  • Type Equality
  • Type Hierarchy
    • Routine Type Hierarchy
• Scopes, Declarations, and Equates
  • Scoped Identifiers
  • Scoping Units
  • External Names
  • Scope Rules
  • Variables and Declarations
  • Equates
• Assignment
  • Type Inclusion
  • Assignment
    • Initialization Assignment
• Invocation
  • Form of Invocation
  • Call by Sharing
  • Run-Time Dispatch
  • Termination
• Expressions
  • Literals
  • Identifiers that denote objects
  • Constructors
  • Class Constructors
  • Instance Variable Selection
  • Field Selection
  • Routine Instantiation
  • Procedure Invocation
  • Binding
  • Method Selection
  • Prefix and Infix Operators
  • Fetch
  • & and [tex2html_wrap2912]
  • Precedence and Associativity
  • Constant Expressions
  • Primaries
• Statements
  • Simple Statements
  • Store Statement
  • Return Statement
  • Yield Statement
  • Signal Statement
  • If Statement
  • While Statement
  • For Statement
  • Break Statement
  • Continue Statement
  • Tagcase Statement
  • Typecase Statement
  • Begin Statement
  • Except Statement
    • Handlers without Declarations
    • Handlers with Declarations
    • Others Handler
    • Example
    • The Failure Exception
  • Resignal Statement
  • Exit Statement
  • Make Statement
• Specifications
  • Stand-Alone Routine Specifications
  • Type Specifications
  • Parameterized Specifications
  • Type Specification Examples
• Implementations
  • Modules
  • Stand-Alone Routine Implementations
  • Parameterized Implementations
  • Classes
    • Abbreviated Implementations
    • Same_object
    • Example
  • Inheritance
    • Defining Superclasses
    • Makers
    • Subclasses
    • Rules for Superclasses
    • Example of Inheritance
• Reference Grammar
• Built-in Types and Parameterized Types
• Any
• Null
• Bool
• Int
• Real
• Char
• String
• Array
• Sequence
• Vector
• Record
• Struct
• Oneof
• Maybe
• Routines
• Additional Types and Routines
• References
• Index