> The current documentation of URI class describes relationship between resolve 
> and relativize methods as follows.
> 
> 
> For any two normalized URIs u and v,
>     u.relativize(u.resolve(v)).equals(v) and
>     u.resolve(u.relativize(v)).equals(v) .
> 
> 
> However, there are some cases where this relationship is not true. For 
> example, when u and v are "http://a/b"; and "c/d", respectively, both 
> u.relativize(u.resolve(v)) and u.resolve(u.relativize(v)) equal to 
> "http://a/c/d"; not "c/d". The documentation should be updated to avoid 
> confusion by describing the relationship between resolve nd relativize 
> methods under certain conditions of the URI. Note that these conditions are 
> sufficient but not necessary for the statement.

KIRIYAMA Takuya has updated the pull request with a new target base due to a 
merge or a rebase. The incremental webrev excludes the unrelated changes 
brought in by the merge/rebase. The pull request contains four additional 
commits since the last revision:

 - 8051627: Invariants about java.net.URI resolve and relativize are wrong
 - Merge branch 'master' into 8051627
 - 8051627: Invariants about java.net.URI resolve and relativize are wrong
 - 8051627: Invariants about java.net.URI resolve and relativize are wrong

-------------

Changes:
  - all: https://git.openjdk.org/jdk/pull/9671/files
  - new: https://git.openjdk.org/jdk/pull/9671/files/aab83cd7..a5bb23cb

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=9671&range=01
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=9671&range=00-01

  Stats: 148100 lines in 2238 files changed: 70079 ins; 64612 del; 13409 mod
  Patch: https://git.openjdk.org/jdk/pull/9671.diff
  Fetch: git fetch https://git.openjdk.org/jdk pull/9671/head:pull/9671

PR: https://git.openjdk.org/jdk/pull/9671

Reply via email to