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 and Description
MethodBehavior(String signature)
MethodBehavior(Symbol.MethodSymbol methodSymbol)

Method Summary

Modifier and Type	Method and Description
void	addParameter(SymbolicValue sv)
void	addYield(MethodYield yield)
void	completed()
ExceptionalYield	createExceptionalCheckBasedYield(SymbolicValue target, ExplodedGraph.Node node, Type exceptionType, SECheck check)
void	createYield(ExplodedGraph.Node node)
void	createYield(ExplodedGraph.Node node, boolean storeNodeForReporting)
Stream<ExceptionalYield>	exceptionalPathYields()
Stream<HappyPathYield>	happyPathYields()
boolean	isComplete()
boolean	isMethodVarArgs()
boolean	isStaticMethod()
boolean	isVisited()
int	methodArity()
Symbol.MethodSymbol	methodSymbol()
List<SymbolicValue>	parameters()
void	setStaticMethod(boolean staticMethod)
void	setVarArgs(boolean varArgs)
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(Symbol.MethodSymbol methodSymbol)

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

addYield

public void addYield(MethodYield yield)

isVisited

public boolean isVisited()

visited

public void visited()

methodSymbol

public Symbol.MethodSymbol methodSymbol()

isStaticMethod

public boolean isStaticMethod()

setVarArgs

public void setVarArgs(boolean varArgs)

setStaticMethod

public void setStaticMethod(boolean staticMethod)