Package org.sonar.java.se.xproc
Class MethodYield
java.lang.Object
org.sonar.java.se.xproc.MethodYield
- Direct Known Subclasses:
ExceptionalYield,HappyPathYield
-
Constructor Summary
ConstructorsModifierConstructorDescriptionprotectedMethodYield(ExplodedGraph.Node node, MethodBehavior behavior) protectedMethodYield(MethodBehavior behavior) -
Method Summary
Modifier and TypeMethodDescriptionbooleanflow(List<Integer> parameterIndices, List<Class<? extends Constraint>> domains, int maxReturnedFlows) booleangeneratedByCheck(SECheck check) inthashCode()parametersAfterInvocation(List<SymbolicValue> invocationArguments, List<Type> invocationTypes, ProgramState programState) abstract Stream<ProgramState>statesAfterInvocation(List<SymbolicValue> invocationArguments, List<Type> invocationTypes, ProgramState programState, Supplier<SymbolicValue> svSupplier) abstract StringtoString()
-
Constructor Details
-
MethodYield
-
MethodYield
-
-
Method Details
-
statesAfterInvocation
public abstract Stream<ProgramState> statesAfterInvocation(List<SymbolicValue> invocationArguments, List<Type> invocationTypes, ProgramState programState, Supplier<SymbolicValue> svSupplier) -
parametersAfterInvocation
public Stream<ProgramState> parametersAfterInvocation(List<SymbolicValue> invocationArguments, List<Type> invocationTypes, ProgramState programState) -
generatedByCheck
-
methodBehavior
-
toString
-
hashCode
public int hashCode() -
equals
-
flow
-