124 //Base case: no label. |
124 //Base case: no label. |
125 if (tag.holder() instanceof FieldDoc) { |
125 if (tag.holder() instanceof FieldDoc) { |
126 return (FieldDoc) tag.holder(); |
126 return (FieldDoc) tag.holder(); |
127 } else { |
127 } else { |
128 //This should never ever happen. |
128 //This should never ever happen. |
129 throw new DocletAbortException(); |
129 throw new DocletAbortException("should not happen"); |
130 } |
130 } |
131 } |
131 } |
132 StringTokenizer st = new StringTokenizer(name, "#"); |
132 StringTokenizer st = new StringTokenizer(name, "#"); |
133 String memberName = null; |
133 String memberName = null; |
134 ClassDoc cd = null; |
134 ClassDoc cd = null; |