org.sonar.java.se

Class FlowComputation

java.lang.Object

org.sonar.java.se.FlowComputation

public class FlowComputation
extends Object

Method Summary

Modifier and Type	Method and Description
static List<JavaFileScannerContext.Location>	flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal)
static List<JavaFileScannerContext.Location>	flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, Predicate<Constraint> addToFlow)
static List<JavaFileScannerContext.Location>	flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, Predicate<Constraint> addToFlow, Predicate<Constraint> terminateTraversal)
static Set<List<JavaFileScannerContext.Location>>	singleton(String msg, Tree tree)

Methods inherited from class java.lang.Object

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

Method Detail

flow

public static List<JavaFileScannerContext.Location> flow(ExplodedGraph.Node currentNode,
                                                         @Nullable
                                                         SymbolicValue currentVal)

flow

public static List<JavaFileScannerContext.Location> flow(ExplodedGraph.Node currentNode,
                                                         @Nullable
                                                         SymbolicValue currentVal,
                                                         Predicate<Constraint> addToFlow)

flow

public static List<JavaFileScannerContext.Location> flow(ExplodedGraph.Node currentNode,
                                                         @Nullable
                                                         SymbolicValue currentVal,
                                                         Predicate<Constraint> addToFlow,
                                                         Predicate<Constraint> terminateTraversal)

singleton

public static Set<List<JavaFileScannerContext.Location>> singleton(String msg,
                                                                   Tree tree)