/* * (c) Copyright IBM Corp. 2000, 2001. * All Rights Reserved. */ 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; //import org.eclipse.jdt.internal.corext.Assert; /** * Helper class to provide String manipulation functions not available in standard JDK. */ public class Strings { 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 (c != '\t' && !Character.isSpaceChar(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 (c == '\t' || Character.isSpaceChar(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 (Character.isSpaceChar(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 (Character.isSpaceChar(c)) { blanks++; if (blanks == tabWidth) { indents++; blanks= 0; } } else { // Assert.isTrue(false, "Line does not have requested number of indents"); //$NON-NLS-1$ } 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) { String[] toDo= new String[lines.length]; // find indentation common to all lines int minIndent= Integer.MAX_VALUE; // very large for (int i= 0; 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= 0; 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; blanks= 0; } else if (Character.isSpaceChar(c)) { blanks++; if (blanks == tabWidth) { end= i; blanks= 0; } } else { break; } } if (end == 0) return ""; //$NON-NLS-1$ else if (end == size) return line; else return line.substring(0, end + 1); } }