API Javadoc tags
Certain API usage rules cannot be checked by tools because they are not formally specified in the source code. The most common example is an interface that clients are not intended to implement. It is a breaking API change to add methods to an interface that clients can implement, so it is important to be able to infer this from the API contract. Typically, this is specified in the API contract language, but not in a formal way that tools can detect. There is a PDE API Tools incubator project that is creating tooling for performing API comparisons, checking correctness of API specs, and detecting misbehaving API clients. These tools are weakened by the inability to check for certain API constraints.
The Old Solution
An earlier generation of API tools introduced the notion of a formal component description file to specify these API constraints. The problem with this approach is that the component description files are hard to keep synchronized as the API evolves because they are in a separate document. As a result, component descriptions become stale and the utility of the information is decreased.
The New Solution
The proposed new solution is to encode these API constraints directly into the API javadoc via javadoc tags. Specifically, the following tags are proposed:
- @NoReference - Indicates that other bundles must not reference this type by name. I.e., this class is internal. This tag is intended to be used very rarely when an internal class must be exposed for one particular client, but is not intended for general usage.
- @NoImplement - Indicates that other bundles must not implement this interface; this attribute is ignored for classes, enumerations, and annotation types, none of which can be meaningfully implemented
- @NoSubclass - Indicates that other bundles must not subclass this class; this attribute is ignored for interfaces, enumerations, and annotation types, none of which can be meaningfully subclassed
- @NoInstantiate - Indicates that other bundles must not create instances of this class or annotation type; this attribute is ignored for interfaces and enumerations, neither of which can be meaningfully instantiated; this attribute is moot for classes that are declared final (or ones with no generally accessible constructors), since the Java compiler and JRE will block outside attempts to instantiate