WorkspaceEdit.fromJson constructor
WorkspaceEdit.fromJson(
- Map<String, dynamic> json
)
Implementation
factory WorkspaceEdit.fromJson(Map<String, dynamic> json) {
final changesJson = json['changes'] as Map<String, dynamic>?;
Map<String, List<TextEdit>>? changes;
if (changesJson != null) {
changes = changesJson.map((uri, edits) {
return MapEntry(
uri,
(edits as List<dynamic>)
.map((edit) => TextEdit.fromJson(edit as Map<String, dynamic>))
.toList(),
);
});
}
return WorkspaceEdit(changes: changes);
}