306307308309310311312313314315316
// If node is consistent, we assume the ones after are ok. if (end == null && node.isConsistent()) { break; } node.revertImplementation(); } last = node; } // TODO(danilatos): Actually use some view that strips unknown nodes out. or do something
303304305306307308309310311312313