- * @param original オリジナルURI
- * @return リダイレクト先URI。未登録の場合はオリジナルを返す
- */
- public URI resolveRedirected(URI original){
- URI result = getRedirected(original);
- if(result == null) result = original;
- return result;
- }
-
- /**
- * 登録済みリダイレクト先リソースの入力ストリームを得る。
- *
- * @param originalURI オリジナルURI
- * @return 入力ストリーム。リダイレクト先が未登録の場合はnull
- * @throws java.io.IOException 入出力エラー。
- * もしくはリソースが見つからない。
+ * @param originalURI original URI
+ * @return mapped local resource input stream.
+ * If no mapping, return zero-length data stream.
+ * @throws java.io.IOException local resource i/o error