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)
MethodBehavior(String signature, boolean varArgs)

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MethodBehavior

public MethodBehavior(String signature,
                      boolean varArgs)

MethodBehavior

public MethodBehavior(String signature)

Method Detail

createYield

public void createYield(ExplodedGraph.Node node)

createYield

public void createYield(ExplodedGraph.Node node,
                        boolean storeNodeForReporting)

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)