org.sonar.java.se

Class FlowComputation

java.lang.Object

org.sonar.java.se.FlowComputation

public class FlowComputation
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static String	IMPLIES_MSG

Method Summary

Modifier and Type	Method and Description
static Set<List<JavaFileScannerContext.Location>>	flow(ExplodedGraph.Node currentNode, Set<SymbolicValue> symbolicValues, Predicate<Constraint> addToFlow, Predicate<Constraint> terminateTraversal, List<Class<? extends Constraint>> domains, Symbol trackSymbol)
static Set<List<JavaFileScannerContext.Location>>	flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, List<Class<? extends Constraint>> domains)
static Set<List<JavaFileScannerContext.Location>>	flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, List<Class<? extends Constraint>> domains, Symbol trackSymbol)
static Set<List<JavaFileScannerContext.Location>>	flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, Predicate<Constraint> addToFlow, List<Class<? extends Constraint>> domains)
static Set<List<JavaFileScannerContext.Location>>	flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, Predicate<Constraint> addToFlow, Predicate<Constraint> terminateTraversal, List<Class<? extends Constraint>> domains)
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

Field Detail

IMPLIES_MSG

public static final String IMPLIES_MSG

See Also:

Constant Field Values

Method Detail

flow

public static Set<List<JavaFileScannerContext.Location>> flow(ExplodedGraph.Node currentNode,
                                                              Set<SymbolicValue> symbolicValues,
                                                              Predicate<Constraint> addToFlow,
                                                              Predicate<Constraint> terminateTraversal,
                                                              List<Class<? extends Constraint>> domains,
                                                              @Nullable
                                                              Symbol trackSymbol)

flow

public static Set<List<JavaFileScannerContext.Location>> flow(ExplodedGraph.Node currentNode,
                                                              @Nullable
                                                              SymbolicValue currentVal,
                                                              List<Class<? extends Constraint>> domains)

flow

public static Set<List<JavaFileScannerContext.Location>> flow(ExplodedGraph.Node currentNode,
                                                              @Nullable
                                                              SymbolicValue currentVal,
                                                              List<Class<? extends Constraint>> domains,
                                                              @Nullable
                                                              Symbol trackSymbol)

flow

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

flow

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

singleton

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