equal
deleted
inserted
replaced
380 // locally useful cloner |
380 // locally useful cloner |
381 @Override protected MemberName clone() { |
381 @Override protected MemberName clone() { |
382 try { |
382 try { |
383 return (MemberName) super.clone(); |
383 return (MemberName) super.clone(); |
384 } catch (CloneNotSupportedException ex) { |
384 } catch (CloneNotSupportedException ex) { |
385 throw new InternalError(); |
385 throw new InternalError(ex); |
386 } |
386 } |
387 } |
387 } |
388 |
388 |
389 // %%% define equals/hashcode? |
389 // %%% define equals/hashcode? |
390 |
390 |