/******************************************************************************* * Copyright (c) 2000, 2003 IBM Corporation and others. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Common Public License v1.0 * which accompanies this distribution, and is available at * http://www.eclipse.org/legal/cpl-v10.html * * Contributors: * IBM Corporation - initial API and implementation *******************************************************************************/ package net.sourceforge.phpdt.internal.corext.util; import org.eclipse.jface.text.BadLocationException; import org.eclipse.jface.text.DefaultLineTracker; import org.eclipse.jface.text.ILineTracker; import org.eclipse.jface.text.IRegion; /** * Helper class to provide String manipulation functions not available in * standard JDK. */ public class Strings { /** * Indent char is a space char but not a line delimiters. * == Character.isWhitespace(ch) && ch != '\n' && ch != '\r' */ public static boolean isIndentChar(char ch) { return Character.isWhitespace(ch) && !isLineDelimiterChar(ch); } /** * tests if a char is lower case. Fix for 26529 */ // public static boolean isLowerCase(char ch) { // return Character.toLowerCase(ch) == ch; // } /** * Line delimiter chars are '\n' and '\r'. */ public static boolean isLineDelimiterChar(char ch) { return ch == '\n' || ch == '\r'; } // public static String removeNewLine(String message) { // StringBuffer result = new StringBuffer(); // int current = 0; // int index = message.indexOf('\n', 0); // while (index != -1) { // result.append(message.substring(current, index)); // if (current < index && index != 0) // result.append(' '); // current = index + 1; // index = message.indexOf('\n', current); // } // result.append(message.substring(current)); // return result.toString(); // } /** * Converts the given string into an array of lines. The lines don't contain * any line delimiter characters. * * @return the string converted into an array of strings. Returns * null * if the input string can't be converted in an array of lines. */ // public static String[] convertIntoLines(String input) { // try { // ILineTracker tracker = new DefaultLineTracker(); // tracker.set(input); // int size = tracker.getNumberOfLines(); // String result[] = new String[size]; // for (int i = 0; i < size; i++) { // IRegion region = tracker.getLineInformation(i); // int offset = region.getOffset(); // result[i] = input // .substring(offset, offset + region.getLength()); // } // return result; // } catch (BadLocationException e) { // return null; // } // } /** * Returns true if the given string only consists of white * spaces according to Java. If the string is empty, true * is * returned. * * @return true if the string only consists of white spaces; * otherwise false is returned * * @see java.lang.Character#isWhitespace(char) */ public static boolean containsOnlyWhitespaces(String s) { int size = s.length(); for (int i = 0; i < size; i++) { if (!Character.isWhitespace(s.charAt(i))) return false; } return true; } /** * Removes leading tabs and spaces from the given string. If the string * doesn't contain any leading tabs or spaces then the string itself is * returned. */ public static String trimLeadingTabsAndSpaces(String line) { int size = line.length(); int start = size; for (int i = 0; i < size; i++) { char c = line.charAt(i); if (!isIndentChar(c)) { start = i; break; } } if (start == 0) return line; else if (start == size) return ""; //$NON-NLS-1$ else return line.substring(start); } // public static String trimTrailingTabsAndSpaces(String line) { // int size = line.length(); // int end = size; // for (int i = size - 1; i >= 0; i--) { // char c = line.charAt(i); // if (isIndentChar(c)) { // end = i; // } else { // break; // } // } // if (end == size) // return line; // else if (end == 0) // return ""; //$NON-NLS-1$ // else // return line.substring(0, end); // } /** * Returns the indent of the given string. * * @param line * the text line * @param tabWidth * the width of the '\t' character. */ public static int computeIndent(String line, int tabWidth) { int result = 0; int blanks = 0; int size = line.length(); for (int i = 0; i < size; i++) { char c = line.charAt(i); if (c == '\t') { result++; blanks = 0; } else if (isIndentChar(c)) { blanks++; if (blanks == tabWidth) { result++; blanks = 0; } } else { return result; } } return result; } /** * Removes the given number of idents from the line. Asserts that the given * line has the requested number of indents. If * indentsToRemove <= 0 the line is returned. */ public static String trimIndent(String line, int indentsToRemove, int tabWidth) { if (line == null || indentsToRemove <= 0) return line; int start = 0; int indents = 0; int blanks = 0; int size = line.length(); for (int i = 0; i < size; i++) { char c = line.charAt(i); if (c == '\t') { indents++; blanks = 0; } else if (isIndentChar(c)) { blanks++; if (blanks == tabWidth) { indents++; blanks = 0; } } else { // Assert.isTrue(false, "Line does not have requested number of // indents"); //$NON-NLS-1$ start = i + 1; break; } if (indents == indentsToRemove) { start = i + 1; break; } } if (start == size) return ""; //$NON-NLS-1$ else return line.substring(start); } /** * Removes all leading indents from the given line. If the line doesn't * contain any indents the line itself is returned. */ // public static String trimIndents(String s, int tabWidth) { // int indent = computeIndent(s, tabWidth); // if (indent == 0) // return s; // return trimIndent(s, indent, tabWidth); // } /** * Removes the common number of indents from all lines. If a line only * consists out of white space it is ignored. */ // public static void trimIndentation(String[] lines, int tabWidth) { // trimIndentation(lines, tabWidth, true); // } /** * Removes the common number of indents from all lines. If a line only * consists out of white space it is ignored. If * considerFirstLine * is false the first line will be ignored. */ // public static void trimIndentation(String[] lines, int tabWidth, // boolean considerFirstLine) { // String[] toDo = new String[lines.length]; // // find indentation common to all lines // int minIndent = Integer.MAX_VALUE; // very large // for (int i = considerFirstLine ? 0 : 1; i < lines.length; i++) { // String line = lines[i]; // if (containsOnlyWhitespaces(line)) // continue; // toDo[i] = line; // int indent = computeIndent(line, tabWidth); // if (indent < minIndent) { // minIndent = indent; // } // } // // if (minIndent > 0) { // // remove this indent from all lines // for (int i = considerFirstLine ? 0 : 1; i < toDo.length; i++) { // String s = toDo[i]; // if (s != null) // lines[i] = trimIndent(s, minIndent, tabWidth); // else { // String line = lines[i]; // int indent = computeIndent(line, tabWidth); // if (indent > minIndent) // lines[i] = trimIndent(line, minIndent, tabWidth); // else // lines[i] = trimLeadingTabsAndSpaces(line); // } // } // } // } // public static String getIndentString(String line, int tabWidth) { // int size = line.length(); // int end = 0; // int blanks = 0; // for (int i = 0; i < size; i++) { // char c = line.charAt(i); // if (c == '\t') { // end = i + 1; // blanks = 0; // } else if (isIndentChar(c)) { // blanks++; // if (blanks == tabWidth) { // end = i + 1; // blanks = 0; // } // } else { // break; // } // } // if (end == 0) // return ""; //$NON-NLS-1$ // else if (end == size) // return line; // else // return line.substring(0, end); // } // public static String[] removeTrailingEmptyLines(String[] sourceLines) { // int lastNonEmpty = findLastNonEmptyLineIndex(sourceLines); // String[] result = new String[lastNonEmpty + 1]; // for (int i = 0; i < result.length; i++) { // result[i] = sourceLines[i]; // } // return result; // } // private static int findLastNonEmptyLineIndex(String[] sourceLines) { // for (int i = sourceLines.length - 1; i >= 0; i--) { // if (!sourceLines[i].trim().equals(""))//$NON-NLS-1$ // return i; // } // return -1; // } /** * Change the indent of, possible muti-line, code range. The current indent * is removed, a new indent added. The first line of the code will not be * changed. (It is considered to have no indent as it might start in the * middle of a line) */ public static String changeIndent(String code, int codeIndentLevel, int tabWidth, String newIndent, String lineDelim) { try { ILineTracker tracker = new DefaultLineTracker(); tracker.set(code); int nLines = tracker.getNumberOfLines(); if (nLines == 1) { return code; } StringBuffer buf = new StringBuffer(); for (int i = 0; i < nLines; i++) { IRegion region = tracker.getLineInformation(i); int start = region.getOffset(); int end = start + region.getLength(); String line = code.substring(start, end); if (i == 0) { // no indent for first line (contained in the // formatted string) buf.append(line); } else { // no new line after last line buf.append(lineDelim); buf.append(newIndent); buf.append(trimIndent(line, codeIndentLevel, tabWidth)); } } return buf.toString(); } catch (BadLocationException e) { // can not happen return code; } } /** * Concatenate the given strings into one strings using the passed line * delimiter as a delimiter. No delimiter is added to the last line. */ // public static String concatenate(String[] lines, String delimiter) { // StringBuffer buffer = new StringBuffer(); // for (int i = 0; i < lines.length; i++) { // if (i > 0) // buffer.append(delimiter); // buffer.append(lines[i]); // } // return buffer.toString(); // } public static boolean equals(String s, char[] c) { if (s.length() != c.length) return false; for (int i = c.length; --i >= 0;) if (s.charAt(i) != c[i]) return false; return true; } }