Package org.checkerframework.framework.util

Class TypeInformationPresenter

java.lang.Object

org.checkerframework.framework.util.TypeInformationPresenter

public class TypeInformationPresenter
extends 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 factory)	Constructs a presenter for the given factory.

Method Summary

Modifier and Type	Method	Description
void	process(ClassTree tree)	The entry point for presenting type information of trees in the given class.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

TypeInformationPresenter

public TypeInformationPresenter(AnnotatedTypeFactory factory)

Constructs a presenter for the given factory.

Parameters:

factory - the AnnotatedTypeFactory for the current analysis

Method Details

process

public void process(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