From 89bda83e0570ab87c6e449f5955613d5385e90b3 Mon Sep 17 00:00:00 2001 From: "alexanders@b2ef00c0-3703-41da-baef-cfe82387ac0c" Date: Wed, 3 Feb 2010 00:50:41 +0000 Subject: removed obsolete svn folder from hg tree --HG-- extra : convert_revision : svn%3Ab2ef00c0-3703-41da-baef-cfe82387ac0c/trunk%408 --- .../javascript/tools/idswitch/FileBody.java | 191 --------------------- 1 file changed, 191 deletions(-) delete mode 100644 trunk/infrastructure/rhino1_7R1/toolsrc/org/mozilla/javascript/tools/idswitch/FileBody.java (limited to 'trunk/infrastructure/rhino1_7R1/toolsrc/org/mozilla/javascript/tools/idswitch/FileBody.java') diff --git a/trunk/infrastructure/rhino1_7R1/toolsrc/org/mozilla/javascript/tools/idswitch/FileBody.java b/trunk/infrastructure/rhino1_7R1/toolsrc/org/mozilla/javascript/tools/idswitch/FileBody.java deleted file mode 100644 index 60bdfb4..0000000 --- a/trunk/infrastructure/rhino1_7R1/toolsrc/org/mozilla/javascript/tools/idswitch/FileBody.java +++ /dev/null @@ -1,191 +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; - -import java.io.IOException; -import java.io.Reader; -import java.io.Writer; - -public class FileBody { - - private static class ReplaceItem { - ReplaceItem next; - int begin; - int end; - String replacement; - - ReplaceItem(int begin, int end, String text) { - this.begin = begin; - this.end = end; - this.replacement = text; - } - } - - private char[] buffer = new char[1 << 14]; // 16K - private int bufferEnd; - private int lineBegin; - private int lineEnd; - private int nextLineStart; - - private int lineNumber; - - ReplaceItem firstReplace; - ReplaceItem lastReplace; - - - public char[] getBuffer() { return buffer; } - - public void readData(Reader r) throws IOException { - int capacity = buffer.length; - int offset = 0; - for (;;) { - int n_read = r.read(buffer, offset, capacity - offset); - if (n_read < 0) { break; } - offset += n_read; - if (capacity == offset) { - capacity *= 2; - char[] tmp = new char[capacity]; - System.arraycopy(buffer, 0, tmp, 0, offset); - buffer = tmp; - } - } - bufferEnd = offset; - } - - public void writeInitialData(Writer w) throws IOException { - w.write(buffer, 0, bufferEnd); - } - - public void writeData(Writer w) throws IOException { - int offset = 0; - for (ReplaceItem x = firstReplace; x != null; x = x.next) { - int before_replace = x.begin - offset; - if (before_replace > 0) { - w.write(buffer, offset, before_replace); - } - w.write(x.replacement); - offset = x.end; - } - int tail = bufferEnd - offset; - if (tail != 0) { - w.write(buffer, offset, tail); - } - } - - public boolean wasModified() { return firstReplace != null; } - - public boolean setReplacement(int begin, int end, String text) { - if (equals(text, buffer, begin, end)) { return false; } - - ReplaceItem item = new ReplaceItem(begin, end, text); - if (firstReplace == null) { - firstReplace = lastReplace = item; - } - else if (begin < firstReplace.begin) { - item.next = firstReplace; - firstReplace = item; - } - else { - ReplaceItem cursor = firstReplace; - ReplaceItem next = cursor.next; - while (next != null) { - if (begin < next.begin) { - item.next = next; - cursor.next = item; - break; - } - cursor = next; - next = next.next; - } - if (next == null) { - lastReplace.next = item; - } - } - - return true; - } - - public int getLineNumber() { return lineNumber; } - - public int getLineBegin() { return lineBegin; } - - public int getLineEnd() { return lineEnd; } - - public void startLineLoop() { - lineNumber = 0; - lineBegin = lineEnd = nextLineStart = 0; - } - - public boolean nextLine() { - if (nextLineStart == bufferEnd) { - lineNumber = 0; return false; - } - int i; int c = 0; - for (i = nextLineStart; i != bufferEnd; ++i) { - c = buffer[i]; - if (c == '\n' || c == '\r') { break; } - } - lineBegin = nextLineStart; - lineEnd = i; - if (i == bufferEnd) { - nextLineStart = i; - } - else if (c == '\r' && i + 1 != bufferEnd && buffer[i + 1] == '\n') { - nextLineStart = i + 2; - } - else { - nextLineStart = i + 1; - } - ++lineNumber; - return true; - } - - private static boolean equals(String str, char[] array, int begin, int end) - { - if (str.length() == end - begin) { - for (int i = begin, j = 0; i != end; ++i, ++j) { - if (array[i] != str.charAt(j)) { return false; } - } - return true; - } - return false; - } - -} - - -- cgit v1.2.3