On exceptions as first-class objects in Ada 95

Authors:
Thomas Wolf
Affiliations:
Paranor AG, Switzerland
Venue:
ACM SIGAda Ada Letters - Exception handling for a 21st century programming language proceedings
Year:
2001

Citing 3
Cited 0

Exception handling and object-oriented programming: towards a synthesis

OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
A systematic approach for implementing fault tolerant software designs in Ada

TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Regaining Control of Exception Handling

Regaining Control of Exception Handling

Quantified Score

Hi-index	0.00

Visualization

Abstract

This short position paper argues that it might be beneficial to try to bring the exception model of Ada 95 more in-line with the object-oriented model of programming. In particular, it is felt that exceptions --- being such an important concept for the development of fault-tolerant software --- have deserved a promotion to first-class objects of the language. It is proposed to resolve the somewhat awkward dichotomy of exceptions and exception occurrences as it exists now in Ada 95 by treating exceptions as (tagged) types, and exception occurrences as their instances.