[patch] eclipse-sdk-3.2.1-bz162177.patch

eclipse-sdk-3.2.1-bz162177.patch (text/plain), 1.43 KB, created by Federico Fissore on 2006-10-06 13:16:38 UTC

### Eclipse Workspace Patch 1.0
#P org.eclipse.jdt.core
Index: batch/org/eclipse/jdt/internal/compiler/batch/Main.java
===================================================================
RCS file: /cvsroot/eclipse/org.eclipse.jdt.core/batch/org/eclipse/jdt/internal/compiler/batch/Main.java,v
retrieving revision 1.254
diff -u -r1.254 Main.java
--- batch/org/eclipse/jdt/internal/compiler/batch/Main.java	2 May 2006 13:45:31 -0000	1.254
+++ batch/org/eclipse/jdt/internal/compiler/batch/Main.java	8 Jun 2006 21:07:50 -0000
@@ -2986,6 +2986,8 @@
 	final int rulesStart = 5;
 	// 'path[' 'path1;path2['
 	final int rulesReadyToClose = 6;
+	// '[name].jar'
+	final int pathBeginsWithSquareBracket = 7;
 	// 'path[rule' 'path[rule1;rule2'
 	final int error = 99;
 	int state = start;
@@ -3011,6 +3013,9 @@
 			}
 		} else if (token.equals("[")) { //$NON-NLS-1$
 			switch (state) {
+			case start:
+				state = pathBeginsWithSquareBracket;
+				break;
 			case readyToClose:
 				state = rulesStart;
 				break;
@@ -3039,6 +3044,16 @@
 				state = rulesReadyToClose;
 				currentRuleSpecs.add(token);
 				break;
+			case pathBeginsWithSquareBracket:
+				String name = "[" + token; //$NON-NLS-1$
+				while (tokenizer.hasMoreTokens()) {
+					name = name.concat(tokenizer.nextToken());
+					if (name.endsWith(".jar")) //$NON-NLS-1$
+						break;
+				}
+				currentClasspathName = name;
+				state = readyToClose;
+				break;
 			default:
 				state = error;
 			}