View | Details | Raw Unified | Return to bug 103466 | Differences between
and this patch

Collapse All | Expand All

(-)model/org/eclipse/jdt/internal/core/util/Util.java (-1 / +5 lines)
Lines 1318-1326 Link Here
1318
	
1318
	
1319
	/*
1319
	/*
1320
	 * Returns the simple name of a local type from the given binary type name.
1320
	 * Returns the simple name of a local type from the given binary type name.
1321
	 * The last '$' is at lastDollar. The ;last character of the type name is at end-1.
1321
	 * The last '$' is at lastDollar. The last character of the type name is at end-1.
1322
	 */
1322
	 */
1323
	public static String localTypeName(String binaryTypeName, int lastDollar, int end) {
1323
	public static String localTypeName(String binaryTypeName, int lastDollar, int end) {
1324
		if (lastDollar > 0 && binaryTypeName.charAt(lastDollar-1) == '$') 
1325
			// local name starts with a dollar sign
1326
			// (see https://bugs.eclipse.org/bugs/show_bug.cgi?id=103466)
1327
			return binaryTypeName;
1324
		int nameStart = lastDollar+1;
1328
		int nameStart = lastDollar+1;
1325
		while (nameStart < end && Character.isDigit(binaryTypeName.charAt(nameStart)))
1329
		while (nameStart < end && Character.isDigit(binaryTypeName.charAt(nameStart)))
1326
			nameStart++;
1330
			nameStart++;

Return to bug 103466