Class TypeInformationPresenter
- java.lang.Object
-
- org.checkerframework.framework.util.TypeInformationPresenter
-
public class TypeInformationPresenter extends java.lang.Object
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
Constructors Constructor Description TypeInformationPresenter(AnnotatedTypeFactory atypeFactory)
Constructs a presenter for the given factory.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
process(com.sun.source.tree.ClassTree tree)
The entry point for presenting type information of trees in the given class.
-
-
-
Constructor Detail
-
TypeInformationPresenter
public TypeInformationPresenter(AnnotatedTypeFactory atypeFactory)
Constructs a presenter for the given factory.- Parameters:
atypeFactory
- the AnnotatedTypeFactory for the current analysis
-
-