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