Qualifying Types with Bracket Methods in Timor.
J. Leslie Keedy, Klaus Espenlaub, Christian Paul Heinlein, Gisela Menger · The Journal of Object Technology · 2004
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.Qualifiers are associated with a target when it is created, in the form of a qualifier list.Individual qualifiers can be dynamically added to and removed from the list even while the target object is active.