@Ensures("result != null")
private static VariableModel getSignalVariable() {
VariableModel var =
new VariableModel(ElementKind.PARAMETER, JavaUtils.SIGNAL_VARIABLE,
new ClassName("java/lang/Exception"));
var.addModifier(ElementModifier.FINAL);
return var;
}
/**
* Creates contract and helper methods according to the parameters,