@CheckReturnValue
private static ResultingStore updateStore(
LocalStore<Nullness> oldStore, ReadableLocalVariableUpdates... updates) {
LocalStore.Builder<Nullness> builder = oldStore.toBuilder();
for (ReadableLocalVariableUpdates update : updates) {
for (Entry<LocalVariableNode, Nullness> entry : update.values.entrySet()) {
builder.setInformation(entry.getKey(), entry.getValue());
}
}
LocalStore<Nullness> newStore = builder.build();
return new ResultingStore(newStore, !newStore.equals(oldStore));
}
@Override
public final LocalStore<Nullness> initialStore(
UnderlyingAST underlyingAST, List<LocalVariableNode> parameters) {
return LocalStore.empty();
}