var HistoryBuffer, bind = function(fn, me){ return function(){ return fn.apply(me, arguments); }; }; HistoryBuffer = (function() { function HistoryBuffer(user_id1) { this.user_id = user_id1; this.emptyGarbage = bind(this.emptyGarbage, this); this.operation_counter = {}; this.buffer = {}; this.change_listeners = []; this.garbage = []; this.trash = []; this.performGarbageCollection = true; this.garbageCollectTimeout = 30000; this.reserved_identifier_counter = 0; setTimeout(this.emptyGarbage, this.garbageCollectTimeout); } HistoryBuffer.prototype.resetUserId = function(id) { var o, o_name, own; own = this.buffer[this.user_id]; if (own != null) { for (o_name in own) { o = own[o_name]; if (o.uid.creator != null) { o.uid.creator = id; } if (o.uid.alt != null) { o.uid.alt.creator = id; } } if (this.buffer[id] != null) { throw new Error("You are re-assigning an old user id - this is not (yet) possible!"); } this.buffer[id] = own; delete this.buffer[this.user_id]; } if (this.operation_counter[this.user_id] != null) { this.operation_counter[id] = this.operation_counter[this.user_id]; delete this.operation_counter[this.user_id]; } return this.user_id = id; }; HistoryBuffer.prototype.emptyGarbage = function() { var i, len, o, ref; ref = this.garbage; for (i = 0, len = ref.length; i < len; i++) { o = ref[i]; if (typeof o.cleanup === "function") { o.cleanup(); } } this.garbage = this.trash; this.trash = []; if (this.garbageCollectTimeout !== -1) { this.garbageCollectTimeoutId = setTimeout(this.emptyGarbage, this.garbageCollectTimeout); } return void 0; }; HistoryBuffer.prototype.getUserId = function() { return this.user_id; }; HistoryBuffer.prototype.addToGarbageCollector = function() { var i, len, o, results; if (this.performGarbageCollection) { results = []; for (i = 0, len = arguments.length; i < len; i++) { o = arguments[i]; if (o != null) { results.push(this.garbage.push(o)); } else { results.push(void 0); } } return results; } }; HistoryBuffer.prototype.stopGarbageCollection = function() { this.performGarbageCollection = false; this.setManualGarbageCollect(); this.garbage = []; return this.trash = []; }; HistoryBuffer.prototype.setManualGarbageCollect = function() { this.garbageCollectTimeout = -1; clearTimeout(this.garbageCollectTimeoutId); return this.garbageCollectTimeoutId = void 0; }; HistoryBuffer.prototype.setGarbageCollectTimeout = function(garbageCollectTimeout) { this.garbageCollectTimeout = garbageCollectTimeout; }; HistoryBuffer.prototype.getReservedUniqueIdentifier = function() { return { creator: '_', op_number: "_" + (this.reserved_identifier_counter++) }; }; HistoryBuffer.prototype.getOperationCounter = function(user_id) { var ctn, ref, res, user; if (user_id == null) { res = {}; ref = this.operation_counter; for (user in ref) { ctn = ref[user]; res[user] = ctn; } return res; } else { return this.operation_counter[user_id]; } }; HistoryBuffer.prototype.isExpectedOperation = function(o) { var base, name; if ((base = this.operation_counter)[name = o.uid.creator] == null) { base[name] = 0; } o.uid.op_number <= this.operation_counter[o.uid.creator]; return true; }; HistoryBuffer.prototype._encode = function(state_vector) { var json, o, o_json, o_next, o_number, o_prev, ref, u_name, unknown, user; if (state_vector == null) { state_vector = {}; } json = []; unknown = function(user, o_number) { if ((user == null) || (o_number == null)) { throw new Error("dah!"); } return (state_vector[user] == null) || state_vector[user] <= o_number; }; ref = this.buffer; for (u_name in ref) { user = ref[u_name]; if (u_name === "_") { continue; } for (o_number in user) { o = user[o_number]; if ((o.uid.noOperation == null) && unknown(u_name, o_number)) { o_json = o._encode(); if (o.next_cl != null) { o_next = o.next_cl; while ((o_next.next_cl != null) && unknown(o_next.uid.creator, o_next.uid.op_number)) { o_next = o_next.next_cl; } o_json.next = o_next.getUid(); } else if (o.prev_cl != null) { o_prev = o.prev_cl; while ((o_prev.prev_cl != null) && unknown(o_prev.uid.creator, o_prev.uid.op_number)) { o_prev = o_prev.prev_cl; } o_json.prev = o_prev.getUid(); } json.push(o_json); } } } return json; }; HistoryBuffer.prototype.getNextOperationIdentifier = function(user_id) { var uid; if (user_id == null) { user_id = this.user_id; } if (this.operation_counter[user_id] == null) { this.operation_counter[user_id] = 0; } uid = { 'creator': user_id, 'op_number': this.operation_counter[user_id] }; this.operation_counter[user_id]++; return uid; }; HistoryBuffer.prototype.getOperation = function(uid) { var o, ref; if (uid.uid != null) { uid = uid.uid; } o = (ref = this.buffer[uid.creator]) != null ? ref[uid.op_number] : void 0; if ((uid.sub != null) && (o != null)) { return o.retrieveSub(uid.sub); } else { return o; } }; HistoryBuffer.prototype.addOperation = function(o) { if (this.buffer[o.uid.creator] == null) { this.buffer[o.uid.creator] = {}; } if (this.buffer[o.uid.creator][o.uid.op_number] != null) { throw new Error("You must not overwrite operations!"); } if ((o.uid.op_number.constructor !== String) && (!this.isExpectedOperation(o)) && (o.fromHB == null)) { throw new Error("this operation was not expected!"); } this.addToCounter(o); this.buffer[o.uid.creator][o.uid.op_number] = o; return o; }; HistoryBuffer.prototype.removeOperation = function(o) { var ref; return (ref = this.buffer[o.uid.creator]) != null ? delete ref[o.uid.op_number] : void 0; }; HistoryBuffer.prototype.setInvokeSyncHandler = function(f) { return this.invokeSync = f; }; HistoryBuffer.prototype.invokeSync = function() {}; HistoryBuffer.prototype.renewStateVector = function(state_vector) { var results, state, user; results = []; for (user in state_vector) { state = state_vector[user]; if (((this.operation_counter[user] == null) || (this.operation_counter[user] < state_vector[user])) && (state_vector[user] != null)) { results.push(this.operation_counter[user] = state_vector[user]); } else { results.push(void 0); } } return results; }; HistoryBuffer.prototype.addToCounter = function(o) { var base, name; if ((base = this.operation_counter)[name = o.uid.creator] == null) { base[name] = 0; } if (o.uid.creator !== this.getUserId()) { if (o.uid.op_number === this.operation_counter[o.uid.creator]) { this.operation_counter[o.uid.creator]++; } while (this.buffer[o.uid.creator][this.operation_counter[o.uid.creator]] != null) { this.operation_counter[o.uid.creator]++; } return void 0; } }; return HistoryBuffer; })(); module.exports = HistoryBuffer;