Statically Qualified Types in Timor.

Abstract

In earlier papers qualifying types were presented as a technique for dynamically qualifying objects in a general way. This paper considers how such types can be composed statically into the definitions of other types.

Call-out Bracket Methods in Timor.

“…Qualifying types can either be associated with individual target objects dynamically, by placing them in a List<:Qualifier*:> [5] or bracketing can be defined statically in type definitions [6]. In this section we consider how the dynamic case is affected by call-out brackets.…”

“…The syntax for declaring qualifiers statically for a new type was described in [6], a knowledge of which is assumed in this section. In the normal case, if a qualifier which has call-out brackets in its type definition appears in a static type declaration the callout brackets are applied in an analogous way to their dynamic use.…”

“…It is assumed that readers are familiar with the basic idea of qualifiers [5,6], so that we do not here repeat information about the structure of Timor nor how qualifiers work in general. In the current paper we refer to the bracket methods described in the earlier papers as call-in bracket methods.…”

“…The bracket methods which carry out such activities are applied to the incoming invocations of a target object's methods. A technique for statically incorporating qualifying types into other types was presented in [6].…”

Support for Object Oriented Transactions in Timor.

“…If an object is defined (at the type level) to have static qualifiers [7] these are considered to be an integral part of the object and are automatically copied as part of an object which is copied, i.e. they are part of the value returned by the dereferencing operator *.…”