We study a language construct superimpose for method-call interception (MCI). The construct enables a programmer to attach additional functionality to certain join points along the execution of specified method calls. This is done in a completely type-safe manner where the additional functionality shares its state with the registry location. We present the static and the dynamic semantics of MCI. We use a disciplined style of Natural semantics for an accessible specification of MCI. We organize the constructs in a design space so that we can add expressiveness to a simple object-oriented language core in a stepwise fashion. It is one simple extension to enable interactive MCI, that is, MCI code can interact with the objects involved in a method call. Another simple extension is to allow for collective MCI by using patterns for the calls to be intercepted.
@inproceedings{Laemmel02-AOSD,
author = "R.~L{\"a}mmel",
title = "{A Semantical Approach to Method-Call Interception}",
booktitle = "{Proc.\ of the 1st International Conference on
Aspect-Oriented Software Development (AOSD 2002)}",
year = 2002,
month = apr,
address = "Twente, The Netherlands",
publisher = "ACM Press",
pages = "41--55",
}