org.sonar.java.se

Class MethodYield

java.lang.Object

org.sonar.java.se.MethodYield

public class MethodYield
extends Object

Constructor Summary

Constructors

Constructor and Description
MethodYield(int arity, boolean varArgs)
MethodYield(int arity, boolean varArgs, ExplodedGraph.Node node, MethodBehavior behavior)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
Type	exceptionType()
List<JavaFileScannerContext.Location>	flow(int parameterIndex)
int	hashCode()
Stream<ProgramState>	statesAfterInvocation(List<SymbolicValue> invocationArguments, List<Type> invocationTypes, ProgramState programState, Supplier<SymbolicValue> svSupplier)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

MethodYield

public MethodYield(int arity,
                   boolean varArgs,
                   ExplodedGraph.Node node,
                   MethodBehavior behavior)

MethodYield

public MethodYield(int arity,
                   boolean varArgs)

Method Detail

toString

public String toString()

Overrides:

toString in class Object

statesAfterInvocation

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

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

flow

public List<JavaFileScannerContext.Location> flow(int parameterIndex)

exceptionType

@CheckForNull
public Type exceptionType()