org.checkerframework.dataflow.cfg

Class CFGProcessor

java.lang.Object

javax.annotation.processing.AbstractProcessor

org.checkerframework.javacutil.AbstractTypeProcessor

org.checkerframework.javacutil.BasicTypeProcessor

org.checkerframework.dataflow.cfg.CFGProcessor

All Implemented Interfaces:

Processor

@SupportedAnnotationTypes(value="*")
public class CFGProcessor
extends BasicTypeProcessor

Generate the control flow graph of a given method in a given class. See CFGVisualizeLauncher for example usage.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	CFGProcessor.CFGProcessResult The result of the CFG process, contains the control flow graph when successful.

Field Summary

Fields inherited from class org.checkerframework.javacutil.BasicTypeProcessor

currentRoot

Fields inherited from class javax.annotation.processing.AbstractProcessor

processingEnv

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	CFGProcessor(String className, String methodName) Create a CFG processor.

Method Summary

Modifier and Type	Method and Description
protected TreePathScanner<?,?>	createTreePathScanner(CompilationUnitTree root) Create a TreePathScanner at the given root.
@Nullable CFGProcessor.CFGProcessResult	getCFGProcessResult() Get the CFG process result.
SourceVersion	getSupportedSourceVersion()
void	typeProcessingOver() A method to be called once all the classes are processed and no error is reported.

Methods inherited from class org.checkerframework.javacutil.BasicTypeProcessor

typeProcess

Methods inherited from class org.checkerframework.javacutil.AbstractTypeProcessor

init, process, typeProcessingStart

Methods inherited from class javax.annotation.processing.AbstractProcessor

getCompletions, getSupportedAnnotationTypes, getSupportedOptions, isInitialized

Methods inherited from class java.lang.Object

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

Constructor Detail

CFGProcessor

protected CFGProcessor(String className,
                       String methodName)

Create a CFG processor.

Parameters:

className - the qualified name of class which includes the specified method to generate the CFG for

methodName - the name of the method to generate the CFG for

Method Detail

getCFGProcessResult

public final @Nullable CFGProcessor.CFGProcessResult getCFGProcessResult()

Get the CFG process result.

Returns:

result of cfg process

typeProcessingOver

public void typeProcessingOver()

Description copied from class: AbstractTypeProcessor

A method to be called once all the classes are processed and no error is reported.

Subclasses may override this method to do any aggregate analysis (e.g. generate report, persistence) or resource deallocation.

If an error (a Java error or a processor error) is reported, this method is not guaranteed to be invoked.

Overrides:

typeProcessingOver in class AbstractTypeProcessor

createTreePathScanner

protected TreePathScanner<?,?> createTreePathScanner(CompilationUnitTree root)

Description copied from class: BasicTypeProcessor

Create a TreePathScanner at the given root.

Specified by:

createTreePathScanner in class BasicTypeProcessor

Parameters:

root - where to start the tree traversal

Returns:

a TreePathScanner at the given root

getSupportedSourceVersion

public SourceVersion getSupportedSourceVersion()

Specified by:

getSupportedSourceVersion in interface Processor

Overrides:

getSupportedSourceVersion in class AbstractProcessor