2021-11-01 21:05:19 +00:00
|
|
|
use std::sync::Arc;
|
|
|
|
|
2021-11-01 22:28:37 +00:00
|
|
|
use crate::Diagnostic;
|
|
|
|
|
|
|
|
use super::Operation;
|
2021-11-01 21:05:19 +00:00
|
|
|
use anyhow::{anyhow, Result};
|
|
|
|
use buffer::*;
|
|
|
|
use clock::ReplicaId;
|
2021-11-01 22:28:37 +00:00
|
|
|
use lsp::DiagnosticSeverity;
|
2021-11-01 21:05:19 +00:00
|
|
|
use rpc::proto;
|
|
|
|
|
|
|
|
pub use proto::Buffer;
|
|
|
|
|
|
|
|
pub fn serialize_operation(operation: &Operation) -> proto::Operation {
|
|
|
|
proto::Operation {
|
|
|
|
variant: Some(match operation {
|
2021-11-01 22:28:37 +00:00
|
|
|
Operation::Buffer(buffer::Operation::Edit(edit)) => {
|
2021-11-01 21:05:19 +00:00
|
|
|
proto::operation::Variant::Edit(serialize_edit_operation(edit))
|
|
|
|
}
|
2021-11-01 22:28:37 +00:00
|
|
|
Operation::Buffer(buffer::Operation::Undo {
|
2021-11-01 21:05:19 +00:00
|
|
|
undo,
|
|
|
|
lamport_timestamp,
|
2021-11-01 22:28:37 +00:00
|
|
|
}) => proto::operation::Variant::Undo(proto::operation::Undo {
|
2021-11-01 21:05:19 +00:00
|
|
|
replica_id: undo.id.replica_id as u32,
|
|
|
|
local_timestamp: undo.id.value,
|
|
|
|
lamport_timestamp: lamport_timestamp.value,
|
|
|
|
ranges: undo
|
|
|
|
.ranges
|
|
|
|
.iter()
|
|
|
|
.map(|r| proto::Range {
|
|
|
|
start: r.start.0 as u64,
|
|
|
|
end: r.end.0 as u64,
|
|
|
|
})
|
|
|
|
.collect(),
|
|
|
|
counts: undo
|
|
|
|
.counts
|
|
|
|
.iter()
|
|
|
|
.map(|(edit_id, count)| proto::operation::UndoCount {
|
|
|
|
replica_id: edit_id.replica_id as u32,
|
|
|
|
local_timestamp: edit_id.value,
|
|
|
|
count: *count,
|
|
|
|
})
|
|
|
|
.collect(),
|
|
|
|
version: From::from(&undo.version),
|
|
|
|
}),
|
2021-11-01 22:28:37 +00:00
|
|
|
Operation::Buffer(buffer::Operation::UpdateSelections {
|
2021-11-01 21:05:19 +00:00
|
|
|
set_id,
|
|
|
|
selections,
|
|
|
|
lamport_timestamp,
|
2021-11-01 22:28:37 +00:00
|
|
|
}) => proto::operation::Variant::UpdateSelections(proto::operation::UpdateSelections {
|
2021-11-01 21:05:19 +00:00
|
|
|
replica_id: set_id.replica_id as u32,
|
|
|
|
local_timestamp: set_id.value,
|
|
|
|
lamport_timestamp: lamport_timestamp.value,
|
|
|
|
version: selections.version().into(),
|
|
|
|
selections: selections
|
2021-11-01 22:28:37 +00:00
|
|
|
.full_offset_ranges()
|
2021-11-01 21:05:19 +00:00
|
|
|
.map(|(range, state)| proto::Selection {
|
|
|
|
id: state.id as u64,
|
2021-11-01 22:28:37 +00:00
|
|
|
start: range.start.0 as u64,
|
|
|
|
end: range.end.0 as u64,
|
2021-11-01 21:05:19 +00:00
|
|
|
reversed: state.reversed,
|
|
|
|
})
|
|
|
|
.collect(),
|
|
|
|
}),
|
2021-11-01 22:28:37 +00:00
|
|
|
Operation::Buffer(buffer::Operation::RemoveSelections {
|
2021-11-01 21:05:19 +00:00
|
|
|
set_id,
|
|
|
|
lamport_timestamp,
|
2021-11-01 22:28:37 +00:00
|
|
|
}) => proto::operation::Variant::RemoveSelections(proto::operation::RemoveSelections {
|
2021-11-01 21:05:19 +00:00
|
|
|
replica_id: set_id.replica_id as u32,
|
|
|
|
local_timestamp: set_id.value,
|
|
|
|
lamport_timestamp: lamport_timestamp.value,
|
|
|
|
}),
|
2021-11-01 22:28:37 +00:00
|
|
|
Operation::Buffer(buffer::Operation::SetActiveSelections {
|
2021-11-01 21:05:19 +00:00
|
|
|
set_id,
|
|
|
|
lamport_timestamp,
|
2021-11-01 22:28:37 +00:00
|
|
|
}) => proto::operation::Variant::SetActiveSelections(
|
2021-11-01 21:05:19 +00:00
|
|
|
proto::operation::SetActiveSelections {
|
|
|
|
replica_id: lamport_timestamp.replica_id as u32,
|
|
|
|
local_timestamp: set_id.map(|set_id| set_id.value),
|
|
|
|
lamport_timestamp: lamport_timestamp.value,
|
|
|
|
},
|
|
|
|
),
|
2021-11-01 22:28:37 +00:00
|
|
|
Operation::UpdateDiagnostics(diagnostic_set) => {
|
|
|
|
proto::operation::Variant::UpdateDiagnostics(serialize_diagnostics(diagnostic_set))
|
|
|
|
}
|
2021-11-01 21:05:19 +00:00
|
|
|
}),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn serialize_edit_operation(operation: &EditOperation) -> proto::operation::Edit {
|
|
|
|
let ranges = operation
|
|
|
|
.ranges
|
|
|
|
.iter()
|
|
|
|
.map(|range| proto::Range {
|
|
|
|
start: range.start.0 as u64,
|
|
|
|
end: range.end.0 as u64,
|
|
|
|
})
|
|
|
|
.collect();
|
|
|
|
proto::operation::Edit {
|
|
|
|
replica_id: operation.timestamp.replica_id as u32,
|
|
|
|
local_timestamp: operation.timestamp.local,
|
|
|
|
lamport_timestamp: operation.timestamp.lamport,
|
|
|
|
version: From::from(&operation.version),
|
|
|
|
ranges,
|
|
|
|
new_text: operation.new_text.clone(),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn serialize_selection_set(set: &SelectionSet) -> proto::SelectionSet {
|
|
|
|
let version = set.selections.version();
|
2021-11-01 22:28:37 +00:00
|
|
|
let entries = set.selections.full_offset_ranges();
|
2021-11-01 21:05:19 +00:00
|
|
|
proto::SelectionSet {
|
|
|
|
replica_id: set.id.replica_id as u32,
|
|
|
|
lamport_timestamp: set.id.value as u32,
|
|
|
|
is_active: set.active,
|
|
|
|
version: version.into(),
|
|
|
|
selections: entries
|
|
|
|
.map(|(range, state)| proto::Selection {
|
|
|
|
id: state.id as u64,
|
2021-11-01 22:28:37 +00:00
|
|
|
start: range.start.0 as u64,
|
|
|
|
end: range.end.0 as u64,
|
2021-11-01 21:05:19 +00:00
|
|
|
reversed: state.reversed,
|
|
|
|
})
|
|
|
|
.collect(),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-11-01 22:28:37 +00:00
|
|
|
pub fn serialize_diagnostics(map: &AnchorRangeMultimap<Diagnostic>) -> proto::DiagnosticSet {
|
|
|
|
proto::DiagnosticSet {
|
|
|
|
version: map.version().into(),
|
|
|
|
diagnostics: map
|
|
|
|
.full_offset_ranges()
|
|
|
|
.map(|(range, diagnostic)| proto::Diagnostic {
|
|
|
|
start: range.start.0 as u64,
|
|
|
|
end: range.end.0 as u64,
|
|
|
|
message: diagnostic.message.clone(),
|
|
|
|
severity: match diagnostic.severity {
|
|
|
|
DiagnosticSeverity::ERROR => proto::diagnostic::Severity::Error,
|
|
|
|
DiagnosticSeverity::WARNING => proto::diagnostic::Severity::Warning,
|
|
|
|
DiagnosticSeverity::INFORMATION => proto::diagnostic::Severity::Information,
|
|
|
|
DiagnosticSeverity::HINT => proto::diagnostic::Severity::Hint,
|
|
|
|
_ => proto::diagnostic::Severity::None,
|
|
|
|
} as i32,
|
2021-11-04 13:52:34 +00:00
|
|
|
group_id: diagnostic.group_id as u64,
|
2021-11-18 14:53:00 +00:00
|
|
|
is_primary: diagnostic.is_primary,
|
2021-11-01 22:28:37 +00:00
|
|
|
})
|
|
|
|
.collect(),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-11-01 21:05:19 +00:00
|
|
|
pub fn deserialize_operation(message: proto::Operation) -> Result<Operation> {
|
|
|
|
Ok(
|
|
|
|
match message
|
|
|
|
.variant
|
|
|
|
.ok_or_else(|| anyhow!("missing operation variant"))?
|
|
|
|
{
|
|
|
|
proto::operation::Variant::Edit(edit) => {
|
2021-11-01 22:28:37 +00:00
|
|
|
Operation::Buffer(buffer::Operation::Edit(deserialize_edit_operation(edit)))
|
2021-11-01 21:05:19 +00:00
|
|
|
}
|
2021-11-01 22:28:37 +00:00
|
|
|
proto::operation::Variant::Undo(undo) => Operation::Buffer(buffer::Operation::Undo {
|
2021-11-01 21:05:19 +00:00
|
|
|
lamport_timestamp: clock::Lamport {
|
|
|
|
replica_id: undo.replica_id as ReplicaId,
|
|
|
|
value: undo.lamport_timestamp,
|
|
|
|
},
|
|
|
|
undo: UndoOperation {
|
|
|
|
id: clock::Local {
|
|
|
|
replica_id: undo.replica_id as ReplicaId,
|
|
|
|
value: undo.local_timestamp,
|
|
|
|
},
|
|
|
|
counts: undo
|
|
|
|
.counts
|
|
|
|
.into_iter()
|
|
|
|
.map(|c| {
|
|
|
|
(
|
|
|
|
clock::Local {
|
|
|
|
replica_id: c.replica_id as ReplicaId,
|
|
|
|
value: c.local_timestamp,
|
|
|
|
},
|
|
|
|
c.count,
|
|
|
|
)
|
|
|
|
})
|
|
|
|
.collect(),
|
|
|
|
ranges: undo
|
|
|
|
.ranges
|
|
|
|
.into_iter()
|
|
|
|
.map(|r| FullOffset(r.start as usize)..FullOffset(r.end as usize))
|
|
|
|
.collect(),
|
|
|
|
version: undo.version.into(),
|
|
|
|
},
|
2021-11-01 22:28:37 +00:00
|
|
|
}),
|
2021-11-01 21:05:19 +00:00
|
|
|
proto::operation::Variant::UpdateSelections(message) => {
|
|
|
|
let version = message.version.into();
|
|
|
|
let entries = message
|
|
|
|
.selections
|
|
|
|
.iter()
|
|
|
|
.map(|selection| {
|
|
|
|
let range = (FullOffset(selection.start as usize), Bias::Left)
|
|
|
|
..(FullOffset(selection.end as usize), Bias::Right);
|
|
|
|
let state = SelectionState {
|
|
|
|
id: selection.id as usize,
|
|
|
|
reversed: selection.reversed,
|
|
|
|
goal: SelectionGoal::None,
|
|
|
|
};
|
|
|
|
(range, state)
|
|
|
|
})
|
|
|
|
.collect();
|
2021-11-01 22:28:37 +00:00
|
|
|
let selections = AnchorRangeMap::from_full_offset_ranges(version, entries);
|
2021-11-01 21:05:19 +00:00
|
|
|
|
2021-11-01 22:28:37 +00:00
|
|
|
Operation::Buffer(buffer::Operation::UpdateSelections {
|
2021-11-01 21:05:19 +00:00
|
|
|
set_id: clock::Lamport {
|
|
|
|
replica_id: message.replica_id as ReplicaId,
|
|
|
|
value: message.local_timestamp,
|
|
|
|
},
|
|
|
|
lamport_timestamp: clock::Lamport {
|
|
|
|
replica_id: message.replica_id as ReplicaId,
|
|
|
|
value: message.lamport_timestamp,
|
|
|
|
},
|
|
|
|
selections: Arc::from(selections),
|
2021-11-01 22:28:37 +00:00
|
|
|
})
|
|
|
|
}
|
|
|
|
proto::operation::Variant::RemoveSelections(message) => {
|
|
|
|
Operation::Buffer(buffer::Operation::RemoveSelections {
|
|
|
|
set_id: clock::Lamport {
|
|
|
|
replica_id: message.replica_id as ReplicaId,
|
|
|
|
value: message.local_timestamp,
|
|
|
|
},
|
|
|
|
lamport_timestamp: clock::Lamport {
|
|
|
|
replica_id: message.replica_id as ReplicaId,
|
|
|
|
value: message.lamport_timestamp,
|
|
|
|
},
|
|
|
|
})
|
2021-11-01 21:05:19 +00:00
|
|
|
}
|
|
|
|
proto::operation::Variant::SetActiveSelections(message) => {
|
2021-11-01 22:28:37 +00:00
|
|
|
Operation::Buffer(buffer::Operation::SetActiveSelections {
|
2021-11-01 21:05:19 +00:00
|
|
|
set_id: message.local_timestamp.map(|value| clock::Lamport {
|
|
|
|
replica_id: message.replica_id as ReplicaId,
|
|
|
|
value,
|
|
|
|
}),
|
|
|
|
lamport_timestamp: clock::Lamport {
|
|
|
|
replica_id: message.replica_id as ReplicaId,
|
|
|
|
value: message.lamport_timestamp,
|
|
|
|
},
|
2021-11-01 22:28:37 +00:00
|
|
|
})
|
|
|
|
}
|
|
|
|
proto::operation::Variant::UpdateDiagnostics(message) => {
|
|
|
|
Operation::UpdateDiagnostics(deserialize_diagnostics(message))
|
2021-11-01 21:05:19 +00:00
|
|
|
}
|
|
|
|
},
|
|
|
|
)
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn deserialize_edit_operation(edit: proto::operation::Edit) -> EditOperation {
|
|
|
|
let ranges = edit
|
|
|
|
.ranges
|
|
|
|
.into_iter()
|
|
|
|
.map(|range| FullOffset(range.start as usize)..FullOffset(range.end as usize))
|
|
|
|
.collect();
|
|
|
|
EditOperation {
|
|
|
|
timestamp: InsertionTimestamp {
|
|
|
|
replica_id: edit.replica_id as ReplicaId,
|
|
|
|
local: edit.local_timestamp,
|
|
|
|
lamport: edit.lamport_timestamp,
|
|
|
|
},
|
|
|
|
version: edit.version.into(),
|
|
|
|
ranges,
|
|
|
|
new_text: edit.new_text,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn deserialize_selection_set(set: proto::SelectionSet) -> SelectionSet {
|
|
|
|
SelectionSet {
|
|
|
|
id: clock::Lamport {
|
|
|
|
replica_id: set.replica_id as u16,
|
|
|
|
value: set.lamport_timestamp,
|
|
|
|
},
|
|
|
|
active: set.is_active,
|
2021-11-01 22:28:37 +00:00
|
|
|
selections: Arc::new(AnchorRangeMap::from_full_offset_ranges(
|
2021-11-01 21:05:19 +00:00
|
|
|
set.version.into(),
|
|
|
|
set.selections
|
|
|
|
.into_iter()
|
|
|
|
.map(|selection| {
|
|
|
|
let range = (FullOffset(selection.start as usize), Bias::Left)
|
2021-11-22 22:14:48 +00:00
|
|
|
..(FullOffset(selection.end as usize), Bias::Left);
|
2021-11-01 21:05:19 +00:00
|
|
|
let state = SelectionState {
|
|
|
|
id: selection.id as usize,
|
|
|
|
reversed: selection.reversed,
|
|
|
|
goal: SelectionGoal::None,
|
|
|
|
};
|
|
|
|
(range, state)
|
|
|
|
})
|
|
|
|
.collect(),
|
|
|
|
)),
|
|
|
|
}
|
|
|
|
}
|
2021-11-01 22:28:37 +00:00
|
|
|
|
|
|
|
pub fn deserialize_diagnostics(message: proto::DiagnosticSet) -> AnchorRangeMultimap<Diagnostic> {
|
|
|
|
AnchorRangeMultimap::from_full_offset_ranges(
|
|
|
|
message.version.into(),
|
|
|
|
Bias::Left,
|
|
|
|
Bias::Right,
|
|
|
|
message.diagnostics.into_iter().filter_map(|diagnostic| {
|
|
|
|
Some((
|
|
|
|
FullOffset(diagnostic.start as usize)..FullOffset(diagnostic.end as usize),
|
|
|
|
Diagnostic {
|
|
|
|
severity: match proto::diagnostic::Severity::from_i32(diagnostic.severity)? {
|
|
|
|
proto::diagnostic::Severity::Error => DiagnosticSeverity::ERROR,
|
|
|
|
proto::diagnostic::Severity::Warning => DiagnosticSeverity::WARNING,
|
|
|
|
proto::diagnostic::Severity::Information => DiagnosticSeverity::INFORMATION,
|
|
|
|
proto::diagnostic::Severity::Hint => DiagnosticSeverity::HINT,
|
|
|
|
proto::diagnostic::Severity::None => return None,
|
|
|
|
},
|
|
|
|
message: diagnostic.message,
|
2021-11-04 13:52:34 +00:00
|
|
|
group_id: diagnostic.group_id as usize,
|
2021-11-18 14:53:00 +00:00
|
|
|
is_primary: diagnostic.is_primary,
|
2021-11-01 22:28:37 +00:00
|
|
|
},
|
|
|
|
))
|
|
|
|
}),
|
|
|
|
)
|
|
|
|
}
|