Covariantly Adjusting Co-Types in Timor

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

Abstract

We introduce a safe form of automatic covariant adjustment of the parameters of co-types, to reflect the different expanded types which occur in the subtype hierarchy of the initial expanded type. This potentially spares the programmer from writing such methods explicitly and helps to ensure consistency between co-types which are related via an adjustment hierarchy.

Cite as:

J. Leslie Keedy, Gisela Menger, Christian Heinlein, “Covariantly Adjusting Co-Types in Timor”, Journal of Object Technology, Volume 9, no. 1 (January 2010), pp. 35-55, doi:10.5381/jot.2010.9.1.c4.