Sather-K
The Language

Gerhard Goos

4/96

Gerhard Goos

Universität Karlsruhe, Fakultät für Informatik
und
Forschungszentrum Informatik Karlsruhe

Vincenz-Prießnitzstr. 3
D-76128 Karlsruhe, Deutschland
Email: ggoos@informatik.uni-karlsruhe.de
Version 1.4, October 31, 1996

SATHER-K is a version of SATHER, developed for teaching classical as well as object-oriented programming and design techniques, and as a basis for reusable class libraries and object-oriented frameworks. This report gives a precise language description for implementors.

• 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 ...