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 and Description
HappyPathYield(ExplodedGraph.Node node, MethodBehavior behavior)
HappyPathYield(MethodBehavior behavior)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
int	hashCode()
PMap<Class<? extends Constraint>,Constraint>	resultConstraint()
int	resultIndex()
void	setResult(int resultIndex, PMap<Class<? extends Constraint>,Constraint> 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, parametersAfterInvocation

Methods inherited from class java.lang.Object

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

Constructor Detail

HappyPathYield

public HappyPathYield(MethodBehavior behavior)

HappyPathYield

public HappyPathYield(ExplodedGraph.Node node,
                      MethodBehavior behavior)

Method Detail

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
                      PMap<Class<? extends Constraint>,Constraint> resultConstraint)

resultConstraint

public PMap<Class<? extends Constraint>,Constraint> 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