checkers.flow

Interface Flow

All Known Implementing Classes:

AbstractFlow, DefaultFlow, RegexFlow

public interface Flow

Interface for a generalized flow-sensitive qualifier inference for the checkers framework.

Method Summary

Methods

Modifier and Type	Method and Description
void	scan(@Nullable Tree tree) Scan the given (root) tree and infer the refined types.
void	setDebug(PrintStream debug) Sets the PrintStream for printing debug messages, such as System.out or System.err, or null if no debugging output should be emitted (the default).
Set<@Nullable AnnotationMirror>	test(@Nullable Tree tree) Determines the inference result for a tree.

Method Detail

scan

void scan(@Nullable Tree tree)

Scan the given (root) tree and infer the refined types.

Parameters:

tree - The tree to scan

test

Set<@Nullable AnnotationMirror> test(@Nullable Tree tree)

Determines the inference result for a tree.

Parameters:

tree - The tree to test

Returns:

The set of annotations inferred for a tree, or null if no annotation was inferred for that tree

setDebug

void setDebug(PrintStream debug)

Sets the PrintStream for printing debug messages, such as System.out or System.err, or null if no debugging output should be emitted (the default).