code: function appendDecorations(
        sourceNode, basePos, sourceCode, langHandler, out) {
      if (!sourceCode) { return; }
      /** @type {JobT} */
      var job = {
        sourceNode: sourceNode,
        pre: 1,
        langExtension: null,
        numberLines: null,
        sourceCode: sourceCode,
        spans: null,
        basePos: basePos,
        decorations: null
      };
      langHandler(job);
      out.push.apply(out, job.decorations);
    }
docs: /* @include extractSourceSpans.js 
  Apply the given language handler to sourceCode and add the resulting
  decorations to out.
  @param {!Element} sourceNode
  @param {number} basePos the index of sourceCode within the chunk of source
  whose decorations are already present on out.
  @param {string} sourceCode
  @param {function(JobT)} langHandler
  @param {DecorationsT} out