Class TypeInformationPresenter
java.lang.Object
org.checkerframework.framework.util.TypeInformationPresenter
Presents formatted type information for various AST trees in a class.
The formatted type information is designed to be visualized by editors and IDEs that support Language Server Protocol (LSP).
-
Constructor Summary
ConstructorDescriptionConstructs a presenter for the given factory. -
Method Summary
Modifier and TypeMethodDescriptionvoid
process
(com.sun.source.tree.ClassTree tree) The entry point for presenting type information of trees in the given class.
-
Constructor Details
-
TypeInformationPresenter
Constructs a presenter for the given factory.- Parameters:
factory
- the AnnotatedTypeFactory for the current analysis
-
-
Method Details
-
process
public void process(com.sun.source.tree.ClassTree tree) The entry point for presenting type information of trees in the given class.- Parameters:
tree
- a ClassTree that has been type-checked by the factory
-