我有代码剪断:
@Override
public Object put(String key, Object value) {
checkNotNull(key);
return map.put(key, value);
}
public static <T> T checkNotNull(T reference) {
if (reference == null) {
throw new NullPointerException();
}
return reference;
}
方法put
没有分支,checkNotNull
前置条件有2。
如果我将调用put("key", new Object());
,我将全面覆盖分支机构。但在语义上put
有2个分支 - 一个在方法本身,另一个在嵌套。
可以检索所有内部分支的“真实”分支覆盖范围吗?