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);
  }
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);
  }
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 ) ; }
/* @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
/ *
Append decorations to the output array