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.