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.tree.Tree, org.checkerframework.javacutil.AnnotationProvider, boolean).

Author:

Stefan Heule

See Also:

SideEffectFree, Deterministic, Pure

Nested Class Summary

Nested Classes

Modifier and Type	Class and 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 and Description
PurityChecker()

Method Summary

Modifier and Type	Method and Description
static PurityChecker.PurityResult	checkPurity(Tree statement, AnnotationProvider annoProvider, boolean assumeSideEffectFree) 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 Detail

PurityChecker

public PurityChecker()

Method Detail

checkPurity

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

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