debian/libwebkit-engine/usr/share/ewebkit-0/webinspector/DOMSyntaxHighlighter.js

   1 /*
   2  * Copyright (C) 2010 Google Inc. All rights reserved.
   3  *
   4  * Redistribution and use in source and binary forms, with or without
   5  * modification, are permitted provided that the following conditions are
   6  * met:
   7  *
   8  *     * Redistributions of source code must retain the above copyright
   9  * notice, this list of conditions and the following disclaimer.
  10  *     * Redistributions in binary form must reproduce the above
  11  * copyright notice, this list of conditions and the following disclaimer
  12  * in the documentation and/or other materials provided with the
  13  * distribution.
  14  *     * Neither the name of Google Inc. nor the names of its
  15  * contributors may be used to endorse or promote products derived from
  16  * this software without specific prior written permission.
  17  *
  18  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
  19  * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
  20  * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
  21  * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
  22  * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
  23  * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
  24  * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  25  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  26  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  27  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  28  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  29  */
  30
  31 /**
  32  * @constructor
  33  */
  34 WebInspector.DOMSyntaxHighlighter = function(mimeType, stripExtraWhitespace)
  35 {
  36     this._tokenizer = WebInspector.SourceTokenizer.Registry.getInstance().getTokenizer(mimeType);
  37     this._stripExtraWhitespace = stripExtraWhitespace;
  38 }
  39
  40 WebInspector.DOMSyntaxHighlighter.prototype = {
  41     createSpan: function(content, className)
  42     {
  43         var span = document.createElement("span");
  44         span.className = "webkit-" + className;
  45         if (this._stripExtraWhitespace)
  46             content = content.replace(/^[\n\r]*/, "").replace(/\s*$/, "");
  47         span.appendChild(document.createTextNode(content));
  48         return span;
  49     },
  50
  51     syntaxHighlightNode: function(node)
  52     {
  53         this._tokenizer.condition = this._tokenizer.createInitialCondition();
  54         var lines = node.textContent.split("\n");
  55         node.removeChildren();
  56
  57         for (var i = lines[0].length ? 0 : 1; i < lines.length; ++i) {
  58             var line = lines[i];
  59             var plainTextStart = 0;
  60             this._tokenizer.line = line;
  61             var column = 0;
  62             do {
  63                 var newColumn = this._tokenizer.nextToken(column);
  64                 var tokenType = this._tokenizer.tokenType;
  65                 if (tokenType) {
  66                     if (column > plainTextStart) {
  67                         var plainText = line.substring(plainTextStart, column);
  68                         node.appendChild(document.createTextNode(plainText));
  69                     }
  70                     var token = line.substring(column, newColumn);
  71                     node.appendChild(this.createSpan(token, tokenType));
  72                     plainTextStart = newColumn;
  73                 }
  74                 column = newColumn;
  75            } while (column < line.length)
  76
  77            if (plainTextStart < line.length) {
  78                var plainText = line.substring(plainTextStart, line.length);
  79                node.appendChild(document.createTextNode(plainText));
  80            }
  81            if (i < lines.length - 1)
  82                node.appendChild(document.createElement("br"));
  83         }
  84     }
  85 }