我应该如何使用checker-framework typed annotations来处理lambda函数?
例如,
private void dispatch(Progress progress, Load request, @Nullable Layer layer)
{
if (layer == null) return;
Utils.log("DISPATCHING " + layer.name);
JThread.run(() -> runDispatch(progress, request, layer));
}
Checker会在argument.type.incompatible
线路电话上发出runDispatch
警告,即使事先正在检查layer
。我知道lambda函数在不同的上下文中,因此Checker无法正确评估它。处理它的最佳方法是什么?
额外信息
完全警告:
error: [argument.type.incompatible] incompatible types in argument.
[ERROR] found : @Initialized @Nullable Layer<? extends @Initialized @NonNull Item, ? extends @Initialized @NonNull Deliver, ? extends @Initialized @NonNull Recipient>
[ERROR]
[ERROR] required: @Initialized @NonNull Layer<? extends @Initialized @NonNull Item, ? extends @Initialized @NonNull Deliver, ? extends @Initialized @NonNull Recipient>
runDispatch
在同一个类上声明,签名为private void runDispatch(Progress progress, Load request, Layer layer)
另一个例子: 在我的代码的其他地方,我有类似的情况,但涉及方法行为:
on Item.class
:
@EnsuresNonNullIf(expression="extraAction", result=true)
public final boolean hasExtraAction() {
return extraAction != null;
}
在另一个班级上:
@RequiresNonNull("#2.extraAction")
private void buildExtraActionRunnable(Layer layer, Item item, Deliver deliver) {
....
}
...
} else if (item.hasExtraAction()) {
Runnable r = () -> buildExtraActionRunnable(layer, item, deliver);
在这里,在Runnable行,我得到error: [contracts.precondition.not.satisfied] the called method 'buildExtraActionRunnable(layer, item, deliver)' has a precondition 'item.extraAction' that is not satisfied
答案 0 :(得分:1)
我同意这是bug中的Nullness Checker。 在这部分代码中:
Utils.log("DISPATCHING " + layer.name);
JThread.run(() -> runDispatch(progress, request, layer));
Nullness Checker在Utils.log
的电话中知道layer
是非空的,但在方法正文中调用runDispatch
时它并不知道这个事实。在方法体内,它使用声明的类型layer
而不是通过数据流分析计算的精炼类型。
您的问题是如何解决Checker Framework错误。 一种方法是引入一个新变量:
Utils.log("DISPATCHING " + layer.name);
Layer layer2 = layer; // work around CF issue #1248
JThread.run(() -> runDispatch(progress, request, layer2));
上面的代码可以正确检查。
我无法为您的第二个例子提供详细的答案,因为您没有提供可编辑的MWE。但是,只要表单error: [KEY] ...
出错,您就可以通过添加@SuppressWarnings("KEY")
来抑制它。在你的情况下,这将是@SuppressWarnings("contracts.precondition.not.satisfied")
。