Returns the URI to which the given prefix maps. @param prefix The prefix whose URI is sought @return The URI to which the given prefix maps
(String prefix)
| 492 | * @return The URI to which the given prefix maps |
| 493 | */ |
| 494 | public String getURI(String prefix) { |
| 495 | |
| 496 | String uri; |
| 497 | |
| 498 | Deque<String> stack = xmlPrefixMapper.get(prefix); |
| 499 | if (stack == null || stack.isEmpty()) { |
| 500 | uri = jspPrefixMapper.get(prefix); |
| 501 | } else { |
| 502 | uri = stack.getFirst(); |
| 503 | } |
| 504 | |
| 505 | return uri; |
| 506 | } |
| 507 | |
| 508 | |
| 509 | /* Page/Tag directive attributes */ |