(IPersistentVector interfaces)
| 8784 | } |
| 8785 | |
| 8786 | static String[] interfaceNames(IPersistentVector interfaces){ |
| 8787 | int icnt = interfaces.count(); |
| 8788 | String[] inames = icnt > 0 ? new String[icnt] : null; |
| 8789 | for(int i=0;i<icnt;i++) |
| 8790 | inames[i] = slashname((Class) interfaces.nth(i)); |
| 8791 | return inames; |
| 8792 | } |
| 8793 | |
| 8794 | |
| 8795 | static String slashname(Class c){ |