Package org.sonar.java.se.xproc

Class ExceptionalCheckBasedYield

java.lang.Object

org.sonar.java.se.xproc.MethodYield

org.sonar.java.se.xproc.ExceptionalYield

org.sonar.java.se.xproc.ExceptionalCheckBasedYield

public class ExceptionalCheckBasedYield
extends ExceptionalYield

Constructor Summary

Constructors

Constructor	Description
ExceptionalCheckBasedYield(SymbolicValue svCausingException, String exceptionType, Class<? extends SECheck> check, ExplodedGraph.Node node, MethodBehavior behavior)

Method Summary

Modifier and Type	Method	Description
Class<? extends SECheck>	check()
boolean	equals(Object obj)
Set<Flow>	exceptionFlows(int maxReturnedFlows)
Type	exceptionType(Sema semanticModel)
Set<Flow>	flow(List<Integer> parameterIndices, List<Class<? extends Constraint>> domains, int maxReturnedFlows)
boolean	generatedByCheck(SECheck check)
int	hashCode()
int	parameterCausingExceptionIndex()
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.ExceptionalYield

getExceptionType

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

methodBehavior, parametersAfterInvocation

Methods inherited from class java.lang.Object

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

Constructor Details

ExceptionalCheckBasedYield

public ExceptionalCheckBasedYield(SymbolicValue svCausingException,
 String exceptionType,
 Class<? extends SECheck> check,
 ExplodedGraph.Node node,
 MethodBehavior behavior)

Method Details

statesAfterInvocation

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

Overrides:

statesAfterInvocation in class ExceptionalYield

setExceptionType

public void setExceptionType(@Nullable
 String exceptionType)

Overrides:

setExceptionType in class ExceptionalYield

exceptionType

@Nonnull
public Type exceptionType(Sema semanticModel)

Overrides:

exceptionType in class ExceptionalYield

check

public Class<? extends SECheck> check()

toString

public String toString()

Overrides:

toString in class ExceptionalYield

hashCode

public int hashCode()

Overrides:

hashCode in class ExceptionalYield

flow

public Set<Flow> flow(List<Integer> parameterIndices,
 List<Class<? extends Constraint>> domains,
 int maxReturnedFlows)

Overrides:

flow in class MethodYield

exceptionFlows

public Set<Flow> exceptionFlows(int maxReturnedFlows)

equals

public boolean equals(Object obj)

Overrides:

equals in class ExceptionalYield

generatedByCheck

public boolean generatedByCheck(SECheck check)

Overrides:

generatedByCheck in class MethodYield

parameterCausingExceptionIndex

public int parameterCausingExceptionIndex()