Package org.sonar.java.se.xproc

Class MethodBehavior

java.lang.Object

org.sonar.java.se.xproc.MethodBehavior

public class MethodBehavior
extends Object

Constructor Summary

Constructors

Constructor	Description
MethodBehavior(String signature, boolean varArgs)

Method Summary

Modifier and Type	Method	Description
void	addParameter(SymbolicValue sv)
void	addYield(MethodYield yield)
void	completed()
ExceptionalYield	createExceptionalCheckBasedYield(SymbolicValue target, ExplodedGraph.Node node, String exceptionType, SECheck check)
void	createYield(ExplodedGraph.Node node)
boolean	equals(Object obj)
Stream<ExceptionalYield>	exceptionalPathYields()
List<String>	getDeclaredExceptions()
Stream<HappyPathYield>	happyPathYields()
int	hashCode()
boolean	isComplete()
boolean	isMethodVarArgs()
boolean	isVisited()
int	methodArity()
List<SymbolicValue>	parameters()
void	setDeclaredExceptions(List<String> declaredExceptions)
void	setVarArgs(boolean varArgs)
String	signature()
String	toString()
void	visited()
List<MethodYield>	yields()

Methods inherited from class java.lang.Object

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

Constructor Detail

MethodBehavior

public MethodBehavior(String signature,
                      boolean varArgs)

Method Detail

addYield

public void addYield(MethodYield yield)

createYield

public void createYield(ExplodedGraph.Node node)

createExceptionalCheckBasedYield

public ExceptionalYield createExceptionalCheckBasedYield(SymbolicValue target,
                                                         ExplodedGraph.Node node,
                                                         String exceptionType,
                                                         SECheck check)

isMethodVarArgs

public boolean isMethodVarArgs()

methodArity

public int methodArity()

yields

public List<MethodYield> yields()

exceptionalPathYields

public Stream<ExceptionalYield> exceptionalPathYields()

happyPathYields

public Stream<HappyPathYield> happyPathYields()

addParameter

public void addParameter(SymbolicValue sv)

parameters

public List<SymbolicValue> parameters()

isComplete

public boolean isComplete()

completed

public void completed()

isVisited

public boolean isVisited()

visited

public void visited()

signature

public String signature()

setVarArgs

public void setVarArgs(boolean varArgs)

getDeclaredExceptions

public List<String> getDeclaredExceptions()

setDeclaredExceptions

public void setDeclaredExceptions(List<String> declaredExceptions)

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object