public class MethodBehavior extends Object
Constructor and Description |
---|
MethodBehavior(Symbol.MethodSymbol methodSymbol) |
Modifier and Type | Method and Description |
---|---|
void |
addParameter(Symbol symbol,
SymbolicValue sv) |
void |
createYield(ProgramState programState,
boolean happyPathYield) |
boolean |
isComplete() |
Collection<SymbolicValue> |
parameters() |
public MethodBehavior(Symbol.MethodSymbol methodSymbol)
public void createYield(ProgramState programState, boolean happyPathYield)
public void addParameter(Symbol symbol, SymbolicValue sv)
public Collection<SymbolicValue> parameters()
public boolean isComplete()
Copyright © 2012–2017 SonarSource. All rights reserved.