Summary

In the javax.lang.model.util visitor methods, use the @implSpec tag to more clearly specify the semantics of particular methods as opposed to possible overrides of the methods.

Problem

As with other classes with methods meant to be overridden, the specifications of the javax.lang.model.util visitor methods at time needs to distinguish between the general contract of the method and the operational semantics of particular methods. Proper use of the @implSpec tag allows such distinctions to be made.

Solution

Replace specifications of the operational semantics of particular methods with @implSpec tags.

Specification

See attached patch file and specdiff.