Package com.intellij.codeInspection.bytecodeAnalysis

Class PurityAnalysis

java.lang.Object

com.intellij.codeInspection.bytecodeAnalysis.PurityAnalysis

public class PurityAnalysis
extends java.lang.Object

Produces equations for inference of @Contract(pure=true) annotations. Scala source at https://github.com/ilya-klyuchnikov/faba Algorithm: https://github.com/ilya-klyuchnikov/faba/blob/ef1c15b4758517652e939f67099bbec0260e9e68/notes/purity.md

Constructor Summary

Constructors

Constructor and Description
PurityAnalysis()

Method Summary

Modifier and Type	Method and Description
static com.intellij.codeInspection.bytecodeAnalysis.Equation	analyze(Member method, MethodNode methodNode, boolean stable)

Methods inherited from class java.lang.Object

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

Constructor Detail

PurityAnalysis

public PurityAnalysis()

Method Detail

analyze

public static com.intellij.codeInspection.bytecodeAnalysis.Equation analyze(Member method,
                                                                            MethodNode methodNode,
                                                                            boolean stable)

Parameters:

method - a method descriptor

methodNode - an ASM MethodNode

stable - whether a method is stable (e.g. final or declared in final class)

Returns:

a purity equation or null for top result (either impure or unknown, impurity assumed)