(String name)
| 111 | } |
| 112 | |
| 113 | public static String getParent(String name) { |
| 114 | //System.out.println("getParent("+name+")="+p); |
| 115 | if ( name==null ) return null; |
| 116 | int lastSlash = name.lastIndexOf('/'); |
| 117 | if ( lastSlash>0 ) return name.substring(0, lastSlash); |
| 118 | if ( lastSlash==0 ) return "/"; |
| 119 | //System.out.println("getParent("+name+")="+p); |
| 120 | return ""; |
| 121 | } |
| 122 | |
| 123 | public static String getPrefix(String name) { |
| 124 | if ( name==null ) return "/"; |
no test coverage detected