(String name)
| 815 | } |
| 816 | |
| 817 | private static boolean isVersionedName(String name) { |
| 818 | if (name.startsWith("lib")) { |
| 819 | int so = name.lastIndexOf(".so."); |
| 820 | if (so != -1 && so + 4 < name.length()) { |
| 821 | for (int i=so+4;i < name.length();i++) { |
| 822 | char ch = name.charAt(i); |
| 823 | if (!Character.isDigit(ch) && ch != '.') { |
| 824 | return false; |
| 825 | } |
| 826 | } |
| 827 | return true; |
| 828 | } |
| 829 | } |
| 830 | return false; |
| 831 | } |
| 832 | |
| 833 | /** |
| 834 | * matchLibrary() is very Linux specific. It is here to deal with the case |
no test coverage detected