diff options
author | Alexander Sulfrian <alexander@sulfrian.net> | 2010-06-08 09:01:43 +0200 |
---|---|---|
committer | Alexander Sulfrian <alexander@sulfrian.net> | 2010-06-08 09:01:43 +0200 |
commit | d1fa08fdc9cb11dccee76d668ff85df30458c295 (patch) | |
tree | 1d19df6405103577d872902486792e8c23bce711 /trunk/infrastructure/rhino1_7R1/toolsrc/org/mozilla/javascript/tools/idswitch/CodePrinter.java | |
parent | d7c5ad7d6263fd1baf9bfdbaa4c50b70ef2fbdb2 (diff) | |
parent | 70d1f9d6fcaefe611e778b8dbf3bafea8934aa08 (diff) | |
download | etherpad-d1fa08fdc9cb11dccee76d668ff85df30458c295.tar.gz etherpad-d1fa08fdc9cb11dccee76d668ff85df30458c295.tar.xz etherpad-d1fa08fdc9cb11dccee76d668ff85df30458c295.zip |
Merge remote branch 'upstream/master'
Conflicts:
etherpad/src/etherpad/control/pro/admin/pro_admin_control.js
etherpad/src/etherpad/control/pro/pro_main_control.js
etherpad/src/etherpad/control/pro_help_control.js
etherpad/src/etherpad/globals.js
etherpad/src/etherpad/legacy_urls.js
etherpad/src/etherpad/pne/pne_utils.js
etherpad/src/etherpad/pro/pro_utils.js
etherpad/src/main.js
etherpad/src/plugins/fileUpload/templates/fileUpload.ejs
etherpad/src/plugins/testplugin/templates/page.ejs
etherpad/src/static/css/pad2_ejs.css
etherpad/src/static/css/pro-help.css
etherpad/src/static/img/jun09/pad/protop.gif
etherpad/src/static/js/store.js
etherpad/src/themes/default/templates/framed/framedheader-pro.ejs
etherpad/src/themes/default/templates/main/home.ejs
etherpad/src/themes/default/templates/pro-help/main.ejs
etherpad/src/themes/default/templates/pro-help/pro-help-template.ejs
infrastructure/com.etherpad/licensing.scala
trunk/etherpad/src/etherpad/collab/ace/contentcollector.js
trunk/etherpad/src/etherpad/collab/ace/linestylefilter.js
trunk/etherpad/src/static/css/home-opensource.css
trunk/etherpad/src/static/js/ace.js
trunk/etherpad/src/static/js/linestylefilter_client.js
trunk/etherpad/src/templates/email/eepnet_license_info.ejs
trunk/etherpad/src/templates/pad/pad_body2.ejs
trunk/etherpad/src/templates/pad/pad_content.ejs
trunk/etherpad/src/templates/pad/padfull_body.ejs
trunk/etherpad/src/templates/pro/admin/pne-license-manager.ejs
Diffstat (limited to 'trunk/infrastructure/rhino1_7R1/toolsrc/org/mozilla/javascript/tools/idswitch/CodePrinter.java')
-rw-r--r-- | trunk/infrastructure/rhino1_7R1/toolsrc/org/mozilla/javascript/tools/idswitch/CodePrinter.java | 212 |
1 files changed, 0 insertions, 212 deletions
diff --git a/trunk/infrastructure/rhino1_7R1/toolsrc/org/mozilla/javascript/tools/idswitch/CodePrinter.java b/trunk/infrastructure/rhino1_7R1/toolsrc/org/mozilla/javascript/tools/idswitch/CodePrinter.java deleted file mode 100644 index dd4f689..0000000 --- a/trunk/infrastructure/rhino1_7R1/toolsrc/org/mozilla/javascript/tools/idswitch/CodePrinter.java +++ /dev/null @@ -1,212 +0,0 @@ -/* -*- Mode: java; tab-width: 4; indent-tabs-mode: 1; c-basic-offset: 4 -*- - * - * ***** BEGIN LICENSE BLOCK ***** - * Version: MPL 1.1/GPL 2.0 - * - * The contents of this file are subject to the Mozilla Public License Version - * 1.1 (the "License"); you may not use this file except in compliance with - * the License. You may obtain a copy of the License at - * http://www.mozilla.org/MPL/ - * - * Software distributed under the License is distributed on an "AS IS" basis, - * WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License - * for the specific language governing rights and limitations under the - * License. - * - * The Original Code is Rhino code, released - * May 6, 1999. - * - * The Initial Developer of the Original Code is - * Netscape Communications Corporation. - * Portions created by the Initial Developer are Copyright (C) 1997-1999 - * the Initial Developer. All Rights Reserved. - * - * Contributor(s): - * Igor Bukanov - * - * Alternatively, the contents of this file may be used under the terms of - * the GNU General Public License Version 2 or later (the "GPL"), in which - * case the provisions of the GPL are applicable instead of those above. If - * you wish to allow use of your version of this file only under the terms of - * the GPL and not to allow others to use your version of this file under the - * MPL, indicate your decision by deleting the provisions above and replacing - * them with the notice and other provisions required by the GPL. If you do - * not delete the provisions above, a recipient may use your version of this - * file under either the MPL or the GPL. - * - * ***** END LICENSE BLOCK ***** */ -package org.mozilla.javascript.tools.idswitch; - -class CodePrinter { - -// length of u-type escape like \u12AB - private static final int LITERAL_CHAR_MAX_SIZE = 6; - - private String lineTerminator = "\n"; - - private int indentStep = 4; - private int indentTabSize = 8; - - private char[] buffer = new char[1 << 12]; // 4K - private int offset; - - public String getLineTerminator() { return lineTerminator; } - public void setLineTerminator(String value) { lineTerminator = value; } - - public int getIndentStep() { return indentStep; } - public void setIndentStep(int char_count) { indentStep = char_count; } - - public int getIndentTabSize() { return indentTabSize; } - public void setIndentTabSize(int tab_size) { indentTabSize = tab_size; } - - public void clear() { - offset = 0; - } - - private int ensure_area(int area_size) { - int begin = offset; - int end = begin + area_size; - if (end > buffer.length) { - int new_capacity = buffer.length * 2; - if (end > new_capacity) { new_capacity = end; } - char[] tmp = new char[new_capacity]; - System.arraycopy(buffer, 0, tmp, 0, begin); - buffer = tmp; - } - return begin; - } - - private int add_area(int area_size) { - int pos = ensure_area(area_size); - offset = pos + area_size; - return pos; - } - - public int getOffset() { - return offset; - } - - public int getLastChar() { - return offset == 0 ? -1 : buffer[offset - 1]; - } - - public void p(char c) { - int pos = add_area(1); - buffer[pos] = c; - } - - public void p(String s) { - int l = s.length(); - int pos = add_area(l); - s.getChars(0, l, buffer, pos); - } - - public final void p(char[] array) { - p(array, 0, array.length); - } - - public void p(char[] array, int begin, int end) { - int l = end - begin; - int pos = add_area(l); - System.arraycopy(array, begin, buffer, pos, l); - } - - public void p(int i) { - p(Integer.toString(i)); - } - - public void qchar(int c) { - int pos = ensure_area(2 + LITERAL_CHAR_MAX_SIZE); - buffer[pos] = '\''; - pos = put_string_literal_char(pos + 1, c, false); - buffer[pos] = '\''; - offset = pos + 1; - } - - public void qstring(String s) { - int l = s.length(); - int pos = ensure_area(2 + LITERAL_CHAR_MAX_SIZE * l); - buffer[pos] = '"'; - ++pos; - for (int i = 0; i != l; ++i) { - pos = put_string_literal_char(pos, s.charAt(i), true); - } - buffer[pos] = '"'; - offset = pos + 1; - } - - private int put_string_literal_char(int pos, int c, boolean in_string) { - boolean backslash_symbol = true; - switch (c) { - case '\b': c = 'b'; break; - case '\t': c = 't'; break; - case '\n': c = 'n'; break; - case '\f': c = 'f'; break; - case '\r': c = 'r'; break; - case '\'': backslash_symbol = !in_string; break; - case '"': backslash_symbol = in_string; break; - default: backslash_symbol = false; - } - - if (backslash_symbol) { - buffer[pos] = '\\'; - buffer[pos + 1] = (char)c; - pos += 2; - } - else if (' ' <= c && c <= 126) { - buffer[pos] = (char)c; - ++pos; - } - else { - buffer[pos] = '\\'; - buffer[pos + 1] = 'u'; - buffer[pos + 2] = digit_to_hex_letter(0xF & (c >> 12)); - buffer[pos + 3] = digit_to_hex_letter(0xF & (c >> 8)); - buffer[pos + 4] = digit_to_hex_letter(0xF & (c >> 4)); - buffer[pos + 5] = digit_to_hex_letter(0xF & c); - pos += 6; - } - return pos; - } - - private static char digit_to_hex_letter(int d) { - return (char)((d < 10) ? '0' + d : 'A' - 10 + d); - } - - public void indent(int level) { - int visible_size = indentStep * level; - int indent_size, tab_count; - if (indentTabSize <= 0) { - tab_count = 0; indent_size = visible_size; - } - else { - tab_count = visible_size / indentTabSize; - indent_size = tab_count + visible_size % indentTabSize; - } - int pos = add_area(indent_size); - int tab_end = pos + tab_count; - int indent_end = pos + indent_size; - for (; pos != tab_end; ++pos) { buffer[pos] = '\t'; } - for (; pos != indent_end; ++pos) { buffer[pos] = ' '; } - } - - public void nl() { - p('\n'); - } - - public void line(int indent_level, String s) { - indent(indent_level); p(s); nl(); - } - - public void erase(int begin, int end) { - System.arraycopy(buffer, end, buffer, begin, offset - end); - offset -= end - begin; - } - - public String toString() { - return new String(buffer, 0, offset); - } - - - -} |