(Extension extension, String id, String type)
| 408 | } |
| 409 | |
| 410 | private boolean match(Extension extension, String id, String type) { |
| 411 | return (id.equals(extension.getId())) |
| 412 | && (extension.getAttribute("contentType").equals("*") |
| 413 | || type.matches(escapeContentType(extension |
| 414 | .getAttribute("contentType"))) || type.equals(DEFAULT_PLUGIN)); |
| 415 | } |
| 416 | |
| 417 | /** Get an extension from its id and supported content-type. */ |
| 418 | private Extension getExtension(Extension[] list, String id, String type) { |
no test coverage detected