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

Method Summary

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

exceptionType

@CheckForNull
public Type exceptionType()

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