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 final int	FIRST_FLOW
static final int	MAX_LOOKUP_FLOWS
static final 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 Details

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 Details

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)