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

Constructor Summary

Constructors

Constructor and Description
PurityResult()

Method Summary

Modifier and Type	Method and Description
void	addNotBothReason(Tree t, String msgId) Add reason as a reason why the method is not both side-effect free and deterministic.
void	addNotDetReason(Tree t, String msgId) Add reason as a reason why the method is not deterministic.
void	addNotSeFreeReason(Tree t, String msgId) Add reason as 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

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?

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 reason as 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 reason as 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 reason as a reason why the method is not both side-effect free and deterministic.