Gets the URL of the resource with which this Mark is associated @return URL of the resource with which this Mark is associated @exception MalformedURLException if the resource pathname is incorrect
()
| 133 | * @exception MalformedURLException if the resource pathname is incorrect |
| 134 | */ |
| 135 | public URL getURL() throws MalformedURLException { |
| 136 | return ctxt.getResource(getFile()); |
| 137 | } |
| 138 | |
| 139 | @Override |
| 140 | public boolean equals(Object other) { |
nothing calls this directly
no test coverage detected