From: khartlage Date: Sat, 9 Aug 2003 17:37:23 +0000 (+0000) Subject: added a builder to parse files with eclipse's build mechanisms X-Git-Url: http://git.phpeclipse.com added a builder to parse files with eclipse's build mechanisms --- diff --git a/net.sourceforge.phpeclipse/plugin.xml b/net.sourceforge.phpeclipse/plugin.xml index 7148ea9..e2ec23e 100644 --- a/net.sourceforge.phpeclipse/plugin.xml +++ b/net.sourceforge.phpeclipse/plugin.xml @@ -30,9 +30,22 @@ point="org.eclipse.core.resources.natures"> + class="net.sourceforge.phpeclipse.resourcesview.PHPProject"> + + + + + + + + diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/corext/util/Strings.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/corext/util/Strings.java new file mode 100644 index 0000000..22052c4 --- /dev/null +++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/corext/util/Strings.java @@ -0,0 +1,375 @@ +/******************************************************************************* + * 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; + } +} +