factory HistoryState()

in lib/src/history_state.dart [25:42]


  factory HistoryState(String type, {String depTarget: null}) {
    switch (type) {
      case 'info':
        return new _InfoHistoryState();
      case 'hier':
        return new _HierHistoryState(_lastHierPos);
      case 'dep':
        var target = depTarget;
        if (target == null) {
          target = _lastDepFocus;
        }
        return new _DepHistoryState(target);
      case 'diff':
        return new _DiffHistoryState(_lastDiffPos);
      default:
        return null;
    }
  }