Semantics of annotations to the new statement (side-effects)

[Bernhard Haumacher (haui at haumacher dot de)]

The location expression introduced in ticket:86 may cause side-effects. This is considered to be a misuse of the annotation. Even so the observations of such side effects should be reasonable.

Example

/** @at foo() */
for (int n = 0; n < cnt; n++) {
    new R();
}

Problem

If such usage of the annotation is allowed (see ticket:88), the effect should be the same as a Java declaration. The usage depicted above should evaluate the method foo() once and use the result for all allocations done inside the loop.

See also

ticket:88, ticket:90

todo since 1.04e.