Package org.checkerframework.javacutil
Class BasicTypeProcessor
- java.lang.Object
-
- javax.annotation.processing.AbstractProcessor
-
- org.checkerframework.javacutil.AbstractTypeProcessor
-
- org.checkerframework.javacutil.BasicTypeProcessor
-
- All Implemented Interfaces:
javax.annotation.processing.Processor
- Direct Known Subclasses:
CFGProcessor
public abstract class BasicTypeProcessor extends AbstractTypeProcessor
Process the types in an AST in a trivial manner, with hooks for derived classes to actually do something.
-
-
Field Summary
Fields Modifier and Type Field Description protected @MonotonicNonNull com.sun.source.tree.CompilationUnitTree
currentRoot
The source tree that's being scanned.
-
Constructor Summary
Constructors Constructor Description BasicTypeProcessor()
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description protected abstract com.sun.source.util.TreePathScanner<?,?>
createTreePathScanner(com.sun.source.tree.CompilationUnitTree root)
Create a TreePathScanner at the given root.void
typeProcess(javax.lang.model.element.TypeElement e, com.sun.source.util.TreePath p)
Visit the tree path for the type element.-
Methods inherited from class org.checkerframework.javacutil.AbstractTypeProcessor
getCompilerLog, init, process, typeProcessingOver, typeProcessingStart
-
-
-
-
Field Detail
-
currentRoot
protected @MonotonicNonNull com.sun.source.tree.CompilationUnitTree currentRoot
The source tree that's being scanned.
-
-
Method Detail
-
createTreePathScanner
protected abstract com.sun.source.util.TreePathScanner<?,?> createTreePathScanner(com.sun.source.tree.CompilationUnitTree root)
Create a TreePathScanner at the given root.- Parameters:
root
- where to start the tree traversal- Returns:
- a TreePathScanner at the given root
-
typeProcess
public void typeProcess(javax.lang.model.element.TypeElement e, com.sun.source.util.TreePath p)
Visit the tree path for the type element.- Specified by:
typeProcess
in classAbstractTypeProcessor
- Parameters:
e
- element of the analyzed classp
- the tree path to the element, with the leaf being aClassTree
-
-