stylus/edit/linter.js

'use strict';

// eslint-disable-next-line no-var
var linter = (() => {
  const changeCallbacks = [];
  const unhookCallbacks = [];
  const linters = [];
  const cms = new Set();

  return {
    register,
    refresh,
    hook,
    unhook,
    onChange,
    onUnhook
  };

  function onUnhook(cb) {
    unhookCallbacks.push(cb);
  }

  function onChange(cb) {
    changeCallbacks.push(cb);
  }

  function onUpdateLinting(...args) {
    for (const cb of changeCallbacks) {
      cb(...args);
    }
  }

  function hook(cm) {
    cm.setOption('lint', {onUpdateLinting, getAnnotations});
    cms.add(cm);
  }

  function unhook(cm) {
    cm.setOption('lint', false);
    cms.delete(cm);
    for (const cb of unhookCallbacks) {
      cb(cm);
    }
  }

  function register(getAnnotations) {
    linters.push(getAnnotations);
  }

  function refresh() {
    for (const cm of cms) {
      cm.performLint();
    }
  }

  function getAnnotations(...args) {
    const result = [];
    return Promise.all(linters.map(getAnnotations => getAnnotations(...args)))
      .then(results => {
        for (const annotations of results) {
          if (annotations) {
            result.push(...annotations);
          }
        }
        return result;
      });
  }
})();

// FIXME: this should be put inside edit.js
prefs.subscribe(['editor.linter'], () => {
  linter.refresh();
});