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 and Description
ExceptionalCheckBasedYield(SymbolicValue svCausingException, Type exceptionType, Class<? extends SECheck> check, ExplodedGraph.Node node, MethodBehavior behavior)

Method Summary

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

methodBehavior, parametersAfterInvocation

Methods inherited from class java.lang.Object

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

Constructor Detail

ExceptionalCheckBasedYield

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

Method Detail

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(Type exceptionType)

Overrides:

setExceptionType in class ExceptionalYield

exceptionType

@Nonnull
public Type exceptionType()

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)

Overrides:

flow in class MethodYield

exceptionFlows

public Set<Flow> exceptionFlows()

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()