Package org.sonar.java.se.xproc

Class ExceptionalYield

java.lang.Object

org.sonar.java.se.xproc.MethodYield

org.sonar.java.se.xproc.ExceptionalYield

Direct Known Subclasses:

ExceptionalCheckBasedYield

public class ExceptionalYield
extends MethodYield

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
Type	exceptionType(Sema semanticModel)
int	hashCode()
void	setExceptionType(String exceptionType)
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 Detail

ExceptionalYield

public ExceptionalYield(MethodBehavior behavior)

ExceptionalYield

public ExceptionalYield(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

setExceptionType

public void setExceptionType(String exceptionType)

exceptionType

public Type exceptionType(Sema semanticModel)

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