Class LspTypeInformationPresenter
java.lang.Object
org.checkerframework.framework.util.visualize.AbstractTypeInformationPresenter
org.checkerframework.framework.util.visualize.LspTypeInformationPresenter
- All Implemented Interfaces:
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 the Language Server Protocol (LSP).
-
Nested Class Summary
Nested ClassesModifier and TypeClassDescriptionprotected class
Type information reporter that uses a format suitable for the LSP server.Nested classes/interfaces inherited from class org.checkerframework.framework.util.visualize.AbstractTypeInformationPresenter
AbstractTypeInformationPresenter.TypeInformationReporter
-
Field Summary
Fields inherited from class org.checkerframework.framework.util.visualize.AbstractTypeInformationPresenter
atypeFactory, genFactory, typeFormatter
-
Constructor Summary
ConstructorsConstructorDescriptionLspTypeInformationPresenter
(AnnotatedTypeFactory atypeFactory) Constructs a presenter for the given factory. -
Method Summary
Modifier and TypeMethodDescriptionCreates theAbstractTypeInformationPresenter.TypeInformationReporter
to use.Methods inherited from class org.checkerframework.framework.util.visualize.AbstractTypeInformationPresenter
createTypeFormatter, process
-
Constructor Details
-
LspTypeInformationPresenter
Constructs a presenter for the given factory.- Parameters:
atypeFactory
- the AnnotatedTypeFactory for the current analysis
-
-
Method Details
-
createTypeInformationReporter
protected AbstractTypeInformationPresenter.TypeInformationReporter createTypeInformationReporter(ClassTree tree) Description copied from class:AbstractTypeInformationPresenter
Creates theAbstractTypeInformationPresenter.TypeInformationReporter
to use.- Specified by:
createTypeInformationReporter
in classAbstractTypeInformationPresenter
- Parameters:
tree
- aClassTree
that has been annotated by the factory- Returns:
- the
AbstractTypeInformationPresenter.TypeInformationReporter
to use
-