static HistoryState fromJson()

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;
    }
  }