jsaver-auto-completion

# `complete` for zsh
if type complete &>/dev/null; then
  :
else
  autoload bashcompinit
  bashcompinit
fi

# completion for jsaver
_jsaver_completions() {
  local cur prev opts lastc informats outformats datafiles
  cur="${COMP_WORDS[COMP_CWORD]}"
  prev="${COMP_WORDS[COMP_CWORD-1]}"

  cmdList="help extract analyze collect "
  globalOpt="-silent -time "
  helpOpt=""
  extractOpt="-extract:version -extract:genModel "
  parseOpt=""
  analyzeOpt="-analyze:version -analyze:repl -analyze:num -analyze:str -analyze:loop-iter -analyze:loop-depth -analyze:js-k-cfa -analyze:ir-k-cfa -analyze:timeout "
  collectOpt="-collect:concrete -collect:start -collect:end -collect:js-k-cfa "

  # completion for commands
  case "${COMP_CWORD}" in
    1)
      COMPREPLY=($(compgen -W "${cmdList}" "${cur}"))
      return 0
      ;;
  esac
  cmd="${COMP_WORDS[1]}"

  # completion for options
  case "${cur}" in
    -*)
      case "${cmd}" in
        help)
          COMPREPLY=($(compgen -W "${globalOpt} ${helpOpt}"))
          return 0
          ;;
        extract)
          COMPREPLY=($(compgen -W "${globalOpt} ${extractOpt}"))
          return 0
          ;;
        analyze)
          COMPREPLY=($(compgen -W "${globalOpt} ${analyzeOpt} ${parseOpt}"))
          return 0
          ;;
        collect)
          COMPREPLY=($(compgen -W "${globalOpt} ${collectOpt}"))
          return 0
          ;;
      esac
      return 0
      ;;
  esac

  COMPREPLY=( $(compgen -X '' -f "${cur}") )
}

# completion setting
complete -o filenames -o bashdefault -F _jsaver_completions jsaver