Method shortenUriString

src/main/java/gate/Utils.java:997–1014

Compact an URI String using base URI and namespace prefixes. The prefixes map, which maps name prefixes of the form "ns:" or the empty string to URI prefixes is searched for the first URI prefix in the value set that matches the beginning of the uriString. The corresponding name prefix is then used

(String uriString, Map<String, String> prefixes)

   * @return a shortened URI where the URI prefix is replaced with a prefix name or the empty string
   */
  public static String shortenUriString(String uriString, Map<String, String> prefixes) {
    // get the URI prefixes 
    String uriPrefix = "";
    String namePrefix = "";
    for(Map.Entry<String,String> entry : prefixes.entrySet()) {
      String np = entry.getKey();
      String uri = entry.getValue();
      if(uriString.startsWith(uri)) {
        uriPrefix = uri;
        namePrefix = np;
        break;
      }
    }
    if(uriPrefix.equals("")) {
      throw new GateRuntimeException("No prefix found in prefixes map for "+uriString);
    }
    return namePrefix + uriString.substring(uriPrefix.length());
  }
  
  /**
   * Get all the annotations from the source annotation set that start and end