Package org.checkerframework.dataflow.util

Class PurityChecker

java.lang.Object

org.checkerframework.dataflow.util.PurityChecker

public class PurityChecker
extends Object

A visitor that determines the purity (as defined by SideEffectFree, Deterministic, and Pure) of a statement or expression. The entry point is method checkPurity(com.sun.source.util.TreePath, org.checkerframework.javacutil.AnnotationProvider, boolean, boolean).

See Also:

• SideEffectFree
• Deterministic
• Pure

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected static class	PurityChecker.PurityCheckerHelper	Helper class to keep PurityChecker's interface clean.
static class	PurityChecker.PurityResult	Result of the PurityChecker.

Constructor Summary

Constructors

Constructor	Description
PurityChecker()

Method Summary

Modifier and Type	Method	Description
static PurityChecker.PurityResult	checkPurity(TreePath statement, AnnotationProvider annoProvider, boolean assumeSideEffectFree, boolean assumeDeterministic)	Compute whether the given statement is side-effect-free, deterministic, or both.

Methods inherited from class java.lang.Object

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

Constructor Details

PurityChecker

public PurityChecker()

Method Details

checkPurity

public static PurityChecker.PurityResult checkPurity(TreePath statement,
 AnnotationProvider annoProvider,
 boolean assumeSideEffectFree,
 boolean assumeDeterministic)

Compute whether the given statement is side-effect-free, deterministic, or both. Returns a result that can be queried.

Parameters:

statement - the statement to check

annoProvider - the annotation provider

assumeSideEffectFree - true if all methods should be assumed to be @SideEffectFree

assumeDeterministic - true if all methods should be assumed to be @Deterministic

Returns:

information about whether the given statement is side-effect-free, deterministic, or both