* Handles ADD, RENAME, DELETE, or COPY messages.
*/
private void handleFileTreeMutation(WorkspaceTreeUpdateBroadcast treeUpdate) {
JsonArray<Mutation> mutations = treeUpdate.getMutations();
for (int i = 0, n = mutations.size(); i < n; i++) {
Mutation mutation = mutations.get(i);
switch (mutation.getMutationType()) {
case ADD:
handleExternalAdd(
mutation.getNewPath(), mutation.getNewNodeInfo(), treeUpdate.getNewTreeVersion());
break;
case DELETE:
handleExternalDelete(treeUpdate.getMutations(), treeUpdate.getNewTreeVersion());
break;
case MOVE:
handleExternalMove(mutation.getOldPath(), mutation.getNewPath(), treeUpdate.getNewTreeVersion());
break;
case COPY:
handleExternalCopy(mutation.getNewPath(), mutation.getNewNodeInfo(), treeUpdate.getNewTreeVersion());
break;
default:
assert (false) : "We got some kind of malformed workspace tree mutation!";
break;
}