(State tail)
| 363 | } |
| 364 | |
| 365 | private State captureDeltaState(State tail) { |
| 366 | State s = new State(); |
| 367 | s.deltaState = true; |
| 368 | allStateVariables.stream().filter((node) -> !(!node.valueChanged(tail))).map((node) -> { |
| 369 | // If there are no changes to this node value, don't waste memory on it. |
| 370 | s.put(node, new StateValue(node)); |
| 371 | return node; |
| 372 | }).forEach(ObjectGraphNode::markClean); |
| 373 | return s; |
| 374 | |
| 375 | } |
| 376 | |
| 377 | private void removeOldestState() { |
| 378 | if (alphaState == null) { |
no test coverage detected