Visibility of inferred callout-to-field methods

[mosconi]

In the presence of an inferred callout-to-field (e.g. x), usage of the implicit callout method (e.g. getX()) is possible, but with no navigation capabilities (hover, F3) and no hint that this an inferred method. Perhaps it would be better to forbid direct usage of an implicitly generated callout-to-field method?

[mosconi]

Example code:

public team class MyTeam {
    public class MyRole playedBy MyBase {
        public void rm() {
            System.out.println(str); // inferred callout-to-field
            System.out.println(getStr()); // usage of implicit getter
        }
    }
}

[stephan]

Agreed, such usage should be forbidden.

Test is 3.3.20-otjld-inferred-callout-to-field-13.

Spec-update and implementation is in r21748.

[stephan]

See also the fix in r21750 (mainly CalloutImplementor).