Package 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	Description
static int	FIRST_FLOW
static int	MAX_LOOKUP_FLOWS
static int	MAX_REPORTED_FLOWS

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, int maxReturnedFlows)
static Set<Flow>	flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, List<Class<? extends Constraint>> domains, int maxReturnedFlows)
static Set<Flow>	flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, List<Class<? extends Constraint>> domains, Symbol trackSymbol, int maxReturnedFlows)
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, int maxReturnedFlows)
static Set<Flow>	flowWithoutExceptions(ExplodedGraph.Node currentNode, SymbolicValue currentVal, Predicate<Constraint> addToFlow, List<Class<? extends Constraint>> domains, int maxReturnedFlows)
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

Field Detail

FIRST_FLOW

public static final int FIRST_FLOW

See Also:

Constant Field Values

MAX_REPORTED_FLOWS

public static final int MAX_REPORTED_FLOWS

See Also:

Constant Field Values

MAX_LOOKUP_FLOWS

public static final int MAX_LOOKUP_FLOWS

See Also:

Constant Field Values

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,
                             int maxReturnedFlows)

flow

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

flow

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

flowWithoutExceptions

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

flowWithoutExceptions

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

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)