org.checkerframework.dataflow.util

Class PurityChecker.PurityResult

java.lang.Object

org.checkerframework.dataflow.util.PurityChecker.PurityResult

Enclosing class:

PurityChecker

public static class PurityChecker.PurityResult
extends Object

Result of the PurityChecker. Can be queried regarding whether a given tree was side-effect-free, deterministic, or both; also gives reasons if the answer is "no".

Field Summary

Fields

Modifier and Type	Field and Description
protected List<Pair<Tree,String>>	notBothReasons
protected List<Pair<Tree,String>>	notDetReasons
protected List<Pair<Tree,String>>	notSEFreeReasons
protected EnumSet<Pure.Kind>	types Contains all the varieties of purity that the expression has.

Constructor Summary

Constructors

Constructor and Description
PurityResult()

Method Summary

Modifier and Type	Method and Description
void	addNotBothReason(Tree t, String msgId) Add a reason why the method is not both side-effect-free and deterministic.
void	addNotDetReason(Tree t, String msgId) Add a reason why the method is not deterministic.
void	addNotSEFreeReason(Tree t, String msgId) Add a reason why the method is not side-effect-free.
List<Pair<Tree,String>>	getNotBothReasons() Get the reasons why the method is not both side-effect-free and deterministic.
List<Pair<Tree,String>>	getNotDetReasons() Get the reasons why the method is not deterministic.
List<Pair<Tree,String>>	getNotSEFreeReasons() Get the reasons why the method is not side-effect-free.
EnumSet<Pure.Kind>	getTypes()
boolean	isPure(Collection<Pure.Kind> kinds) Is the method pure w.r.t.

Methods inherited from class java.lang.Object

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

Field Detail

notSEFreeReasons

protected final List<Pair<Tree,String>> notSEFreeReasons

notDetReasons

protected final List<Pair<Tree,String>> notDetReasons

notBothReasons

protected final List<Pair<Tree,String>> notBothReasons

types

protected EnumSet<Pure.Kind> types

Contains all the varieties of purity that the expression has. Starts out with all varieties, and elements are removed from it as violations are found.

Constructor Detail

PurityResult

public PurityResult()

Method Detail

getTypes

public EnumSet<Pure.Kind> getTypes()

isPure

public boolean isPure(Collection<Pure.Kind> kinds)

Is the method pure w.r.t. a given set of types?

Parameters:

kinds - the varieties of purity to check

Returns:

true if the method is pure with respect to all the given kinds

getNotSEFreeReasons

public List<Pair<Tree,String>> getNotSEFreeReasons()

Get the reasons why the method is not side-effect-free.

addNotSEFreeReason

public void addNotSEFreeReason(Tree t,
                               String msgId)

Add a reason why the method is not side-effect-free.

getNotDetReasons

public List<Pair<Tree,String>> getNotDetReasons()

Get the reasons why the method is not deterministic.

addNotDetReason

public void addNotDetReason(Tree t,
                            String msgId)

Add a reason why the method is not deterministic.

getNotBothReasons

public List<Pair<Tree,String>> getNotBothReasons()

Get the reasons why the method is not both side-effect-free and deterministic.

addNotBothReason

public void addNotBothReason(Tree t,
                             String msgId)

Add a reason why the method is not both side-effect-free and deterministic.