Package org.sonar.java.se.xproc

Class MethodYield

java.lang.Object

org.sonar.java.se.xproc.MethodYield

Direct Known Subclasses:

ExceptionalYield, HappyPathYield

public abstract class MethodYield
extends Object

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	MethodYield(ExplodedGraph.Node node, MethodBehavior behavior)
protected	MethodYield(MethodBehavior behavior)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
Set<Flow>	flow(List<Integer> parameterIndices, List<Class<? extends Constraint>> domains, int maxReturnedFlows)
boolean	generatedByCheck(SECheck check)
int	hashCode()
MethodBehavior	methodBehavior()
Stream<ProgramState>	parametersAfterInvocation(List<SymbolicValue> invocationArguments, List<Type> invocationTypes, ProgramState programState)
abstract Stream<ProgramState>	statesAfterInvocation(List<SymbolicValue> invocationArguments, List<Type> invocationTypes, ProgramState programState, Supplier<SymbolicValue> svSupplier)
abstract String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

MethodYield

protected MethodYield(MethodBehavior behavior)

MethodYield

protected MethodYield(ExplodedGraph.Node node,
 MethodBehavior behavior)

Method Details

statesAfterInvocation

public abstract Stream<ProgramState> statesAfterInvocation(List<SymbolicValue> invocationArguments,
 List<Type> invocationTypes,
 ProgramState programState,
 Supplier<SymbolicValue> svSupplier)

parametersAfterInvocation

public Stream<ProgramState> parametersAfterInvocation(List<SymbolicValue> invocationArguments,
 List<Type> invocationTypes,
 ProgramState programState)

generatedByCheck

public boolean generatedByCheck(SECheck check)

methodBehavior

public MethodBehavior methodBehavior()

toString

public abstract String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

flow

public Set<Flow> flow(List<Integer> parameterIndices,
 List<Class<? extends Constraint>> domains,
 int maxReturnedFlows)