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

Constructor	Description
MethodYield(ExplodedGraph.Node node, MethodBehavior behavior)
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)
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 Detail

MethodYield

public MethodYield(MethodBehavior behavior)

MethodYield

public MethodYield(ExplodedGraph.Node node,
                   MethodBehavior behavior)

Method Detail

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)