MethodBehavior { public String signature() { return signature; } MethodBehavior(String signature, boolean varArgs); void addYield(MethodYield yield); void createYield(ExplodedGraph.Node node); ExceptionalYield createExceptionalCheckBasedYield(SymbolicValue target, ExplodedGraph.Node node, String exceptionType, SECheck check); boolean isMethodVarArgs(); int methodArity(); List<MethodYield> yields(); Stream<ExceptionalYield> exceptionalPathYields(); Stream<HappyPathYield> happyPathYields(); void addParameter(SymbolicValue sv); List<SymbolicValue> parameters(); boolean isComplete(); void completed(); boolean isVisited(); void visited(); String signature(); void setVarArgs(boolean varArgs); List<String> getDeclaredExceptions(); void setDeclaredExceptions(List<String> declaredExceptions); @Override String toString(); @Override boolean equals(Object obj); @Override int hashCode();  }
@Test void method_behavior_signature() { SymbolicExecutionVisitor sev = createSymbolicExecutionVisitor("src/test/resources/se/MethodYields.java"); MethodBehavior mb = getMethodBehavior(sev, "method"); assertThat(mb.signature()).isEqualTo("MethodYields#method(Ljava/lang/Object;Z)Z"); assertThat(mb.signature()).isNotNull(); }