String name = t.readString();
continueComparison = diff.childNodeDeleted(name, base.getChildNode(name));
break;
}
case '^': {
String name = t.readString();
t.read(':');
if (t.matches('{')) {
t.read('}');
continueComparison = diff.childNodeChanged(name,
base.getChildNode(name), getChildNode(name));