Create "method stubs" for methods that fail method access precondition

[khatchad]

It's conveivable that when a precondition fails due to a method access error that, like the Pull Up refactoring, we could also migrate that method to the interface. For example, we could create a "stub" method in the interface (like the abstract one if the Pull Up refactoring).

Not quite sure about this yet.

[khatchad]

I suppose these could be abstract methods.

[khatchad]

But, actually, in this case, a stub won't help because there is no relation between B and I:

Before

package p;

interface I {
    void m();
}

class B {
    void n() {  
    }
}

abstract class A extends B implements I {
    @Override
    public void m() {
        n(); //this method can't be accessed from I.
    }
}

After

package p;

interface I {
    default void m() {
        n(); //this method can't be accessed from I.
    }
}

class B {
    void n() {  
    }
}

abstract class A extends B implements I {
}

[khatchad]

Actually, what would probably be more useful is accessor and mutators for fields that fail field access preconditions. There seems to be quite a bit of those but that's currently under investigation (#126).