Qualifying Types with Bracket Methods in Timor

By: J. Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger

Abstract

A new kind of type is described whose objects (”qualifiers”) have bracket methods which can modify the run-time behaviour of other objects (”targets”). Bracket methods can qualify either specific methods of a target or can separately qualify their reader and writer methods, thus allowing general qualifiers to be developed for standard activities such as synchronisation, monitoring and protection.

Cite as:

J. Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger, “Qualifying Types with Bracket Methods in Timor”, Journal of Object Technology, Volume 3, no. 1 (January 2004), pp. 101-121, doi:10.5381/jot.2004.3.1.a1.

PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn

The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact