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(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)
Stream<ExceptionalYield>	exceptionalPathYields()
Stream<HappyPathYield>	happyPathYields()
boolean	isComplete()
boolean	isMethodVarArgs()
int	methodArity()
List<SymbolicValue>	parameters()
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)

Method Detail

createYield

public void createYield(ExplodedGraph.Node node)

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)