Sather Home Page

Section 6.7.6:
Typecase Statement

The Typecase statement provides for explicit despatching on the actual type of an abstract object.

Concrete Syntax

Note that, in contrast to an ordinary case statement, this can only have one concrete type per guarded clause.

typecase statement = Typecase_SY, identifier,
type guard, guarded clause,
{type guard, guarded clause},
[default clause], End_SY ;

Abstract Syntax

Static Semantics

Dynamic Semantics


Specification Index Language Index Section 6 Index
Comments or enquiries should be made to Keith Hopper.
Page last modified: Tuesday, 22 May 2001.
Produced with Amaya