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)
String	getExceptionType()
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 Details

ExceptionalYield

public ExceptionalYield(MethodBehavior behavior)

ExceptionalYield

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

setExceptionType

public void setExceptionType(@Nullable
 String exceptionType)

getExceptionType

@Nullable
public String getExceptionType()

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