in lib/src/history_state.dart [65:78]
static HistoryState fromJson(Map<String, dynamic> json) {
switch (json['kind']) {
case 'info':
return new _InfoHistoryState();
case 'hier':
return new _HierHistoryState(json['pos']);
case 'dep':
return new _DepHistoryState(json['focus']);
case 'diff':
return new _DiffHistoryState(json['pos']);
default:
return null;
}
}