Package 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	Description
static Set<Flow>	flow(ExplodedGraph.Node currentNode, Set<SymbolicValue> symbolicValues, Predicate<Constraint> addToFlow, Predicate<Constraint> terminateTraversal, List<Class<? extends Constraint>> domains, Set<Symbol> symbols)
static Set<Flow>	flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, List<Class<? extends Constraint>> domains)
static Set<Flow>	flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, List<Class<? extends Constraint>> domains, Symbol trackSymbol)
static Flow	flowsForArgumentsChangingName(List<Integer> argumentIndices, MethodInvocationTree mit)
static Flow	flowsForPassedArguments(List<Integer> argumentIndices, MethodInvocationTree mit)
static Set<Flow>	flowWithoutExceptions(ExplodedGraph.Node currentNode, SymbolicValue currentVal, Predicate<Constraint> addToFlow, Predicate<Constraint> terminateTraversal, List<Class<? extends Constraint>> domains)
static Set<Flow>	flowWithoutExceptions(ExplodedGraph.Node currentNode, SymbolicValue currentVal, Predicate<Constraint> addToFlow, List<Class<? extends Constraint>> domains)
static IdentifierTree	getArgumentIdentifier(MethodInvocationTree mit, int index)

Methods inherited from class java.lang.Object

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

Method Detail

flow

public static Set<Flow> flow(ExplodedGraph.Node currentNode,
                             Set<SymbolicValue> symbolicValues,
                             Predicate<Constraint> addToFlow,
                             Predicate<Constraint> terminateTraversal,
                             List<Class<? extends Constraint>> domains,
                             Set<Symbol> symbols)

flow

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

flow

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

flowWithoutExceptions

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

flowWithoutExceptions

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

flowsForPassedArguments

public static Flow flowsForPassedArguments(List<Integer> argumentIndices,
                                           MethodInvocationTree mit)

flowsForArgumentsChangingName

public static Flow flowsForArgumentsChangingName(List<Integer> argumentIndices,
                                                 MethodInvocationTree mit)

getArgumentIdentifier

@CheckForNull
public static IdentifierTree getArgumentIdentifier(MethodInvocationTree mit,
                                                   int index)