Package org.sonar.java.se.xproc

Class HappyPathYield

java.lang.Object

org.sonar.java.se.xproc.MethodYield

org.sonar.java.se.xproc.HappyPathYield

public class HappyPathYield
extends MethodYield

Constructor Summary

Constructors

Constructor	Description
HappyPathYield(ExplodedGraph.Node node, MethodBehavior behavior)
HappyPathYield(MethodBehavior behavior)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
int	hashCode()
ConstraintsByDomain	resultConstraint()
int	resultIndex()
void	setResult(int resultIndex, ConstraintsByDomain resultConstraint)
Stream<ProgramState>	statesAfterInvocation(List<SymbolicValue> invocationArguments, List<Type> invocationTypes, ProgramState programState, Supplier<SymbolicValue> svSupplier)
String	toString()

Methods inherited from class org.sonar.java.se.xproc.MethodYield

flow, generatedByCheck, methodBehavior, parametersAfterInvocation

Methods inherited from class java.lang.Object

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

Constructor Details

HappyPathYield

public HappyPathYield(MethodBehavior behavior)

HappyPathYield

public HappyPathYield(ExplodedGraph.Node node,
 MethodBehavior behavior)

Method Details

statesAfterInvocation

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

Specified by:

statesAfterInvocation in class MethodYield

setResult

public void setResult(int resultIndex,
 @Nullable
 ConstraintsByDomain resultConstraint)

resultConstraint

@CheckForNull
public ConstraintsByDomain resultConstraint()

resultIndex

public int resultIndex()

toString

public String toString()

Specified by:

toString in class MethodYield

hashCode

public int hashCode()

Overrides:

hashCode in class MethodYield

equals

public boolean equals(Object obj)

Overrides:

equals in class MethodYield