Class PurityChecker.PurityResult
java.lang.Object
org.checkerframework.dataflow.util.PurityChecker.PurityResult
- Enclosing class:
PurityChecker
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
FieldsModifier and TypeFieldDescriptionContains all the varieties of purity that the expression has.Reasons that the referenced method is not side-effect-free and deterministic.Reasons that the referenced method is not deterministic.Reasons that the referenced method is not side-effect-free. -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
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.getKinds()
Return the kinds of purity that the method has.Get the reasons why the method is not both side-effect-free and deterministic.Get the reasons why the method is not deterministic.Get the reasons why the method is not side-effect-free.boolean
Is the method pure w.r.t.toString()
-
Field Details
-
notSEFreeReasons
-
notDetReasons
-
notBothReasons
-
kinds
-
-
Constructor Details
-
PurityResult
public PurityResult()
-
-
Method Details
-
getKinds
-
isPure
-
getNotSEFreeReasons
-
addNotSEFreeReason
-
getNotDetReasons
-
addNotDetReason
-
getNotBothReasons
-
addNotBothReason
-
toString
-