Class ManualTaglet

All Implemented Interfaces:

public class ManualTaglet extends Object implements Taglet
A taglet for processing the @checker_framework.manual javadoc block tag, which inserts references to the Checker Framework manual into javadoc.

The @checker_framework.manual tag is used as follows:

  • @checker_framework.manual # expands to a top-level link to the Checker Framework manual
  • @checker_framework.manual #anchor text expands to a link with some text to a particular part of the manual