§4.3.(f) Base super calls

If a callin method rm is bound to a base method B1.m that in turn overrides an inherited method B0.m (B0 is a super class of B1), the callin method may use a special form of a base call denoted as

base.super.rm();

Such base super call invokes the super method of the bound base method, here B0.m. This invocation is not affected by any further callin binding.

A base super call bypasses both the original method B1.m and also other callin bindings that would be triggered by a regular base call. For this reason any application of this construct is flagged by a decapsulation warning (see §3.4).