public void ResetDocument(int version, string content)
{
lock (_buffers) {
_buffers.Clear();
_buffers[0] = new DocumentBuffer();
_buffers[0].Reset(version, content);
}
}
public void ResetDocument(int version, string content)
{
lock (_buffers) {
_buffers.Clear();
_buffers[0] = new DocumentBuffer();
_buffers[0].Reset(version, content);
SetCurrentParse(Tree, null, false);
}
}
public void UpdateDocument(int part, DocumentChangeSet changes)
{
lock (_buffers) {
if (!_buffers.TryGetValue(part, out var buffer))
{
_buffers[part] = buffer = new DocumentBuffer();
}
buffer.Update(changes);
}
}
public void UpdateDocument(int part, DocumentChangeSet changes)
{
lock (_buffers) {
if (!_buffers.TryGetValue(part, out var buffer))
{
_buffers[part] = buffer = new DocumentBuffer();
}
int versionBefore = buffer.Version;
buffer.Update(changes);
// Reset the current cookie if the version did not increase
if (buffer.Version <= versionBefore)
{
SetCurrentParse(Tree, null, false);
}
}
}
