Attachment 22897 Details for Bug 83318 – Possible fix

Possible fix

patchjdtcore001.txt (text/plain), 1.03 KB, created by David Audel

on 2005-06-13 06:48:06 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: David Audel

Created: 2005-06-13 06:48:06 EDT

Size: 1.03 KB

patch

obsolete

>Index: model/org/eclipse/jdt/internal/core/TypeParameter.java
>===================================================================
>RCS file: /home/eclipse/org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/TypeParameter.java,v
>retrieving revision 1.5
>diff -u -r1.5 TypeParameter.java
>--- model/org/eclipse/jdt/internal/core/TypeParameter.java	25 May 2005 19:24:39 -0000	1.5
>+++ model/org/eclipse/jdt/internal/core/TypeParameter.java	13 Jun 2005 10:45:35 -0000
>@@ -54,6 +54,15 @@
> 	}
> 	
> 	public ISourceRange getNameRange() throws JavaModelException {
>+		SourceMapper mapper= getSourceMapper();
>+		if (mapper != null) {
>+			// ensure the class file's buffer is open so that source ranges are computed
>+			ClassFile classFile = (ClassFile)getClassFile();
>+			if (classFile != null) {
>+				classFile.getBuffer();
>+				return mapper.getNameRange(this);
>+			}
>+		}
> 		TypeParameterElementInfo info = (TypeParameterElementInfo) getElementInfo();
> 		return new SourceRange(info.nameStart, info.nameEnd - info.nameStart + 1);
> 	}

Actions: View

Attachments on bug 83318: 22897