/** * Pretend a client did the given op, so that when we call flush, the operation will * be ejected. */ public void addClientOperation(WaveletOperation operation) throws OperationException { clientOperations.add(operation); if (doc != null) { applyOperation(operation); } }
/** * Pretend a client did the given op, so that when we call flush, the operation will * be ejected. */ public void addClientOperation(WaveletOperation operation) throws OperationException { clientOperations.add(operation); if (doc != null) { applyOperation(operation); } }
private void onServerOperation(WaveletOperation operation) { serverOperations.add(operation); try { if (doc != null) { applyOperation(operation); } } catch (OperationException e) { throw new RuntimeException("OperationException", e); } }
private void onServerOperation(WaveletOperation operation) { serverOperations.add(operation); try { if (doc != null) { applyOperation(operation); } } catch (OperationException e) { throw new RuntimeException("OperationException", e); } }