### Eclipse Workspace Patch 1.0 #P org.eclipse.jdt.jeview Index: src/org/eclipse/jdt/jeview/views/JavaElement.java =================================================================== RCS file: /cvsroot/eclipse/jdt-ui-home/plugins/org.eclipse.jdt.jeview/src/org/eclipse/jdt/jeview/views/JavaElement.java,v retrieving revision 1.16 diff -u -r1.16 JavaElement.java --- src/org/eclipse/jdt/jeview/views/JavaElement.java 8 Mar 2010 16:28:55 -0000 1.16 +++ src/org/eclipse/jdt/jeview/views/JavaElement.java 9 Feb 2011 18:07:10 -0000 @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2005, 2010 IBM Corporation and others. + * Copyright (c) 2005, 2011 IBM Corporation and others. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at @@ -486,7 +486,22 @@ result.add(new JavaElementChildrenProperty(this, "PARAMETER NAMES") { @Override protected JEAttribute[] computeChildren() throws JavaModelException { - return createStrings(this, method.getParameterNames()); + String[] strings = method.getParameterNames(); + JEAttribute[] children= new JEAttribute[strings.length]; + for (int i= 0; i < strings.length; i++) { + final int index= i; + children[i]= new JavaElementProperty(this, null, strings[i]) { + @Override + public JEAttribute[] getChildren() { + try { + return createJavaElements(this, method.getParameterAnnotations(index)); + } catch (Exception e) { + return new JEAttribute[] {new Error(this, "", e)}; + } + } + }; + } + return children; } }); result.add(new JavaElementChildrenProperty(this, "PARAMETER TYPES") {