RFR: 8224922: Access JavaFileObject from Element(s) [v10]

Tue Nov 16 23:27:13 UTC 2021

> Initial review to get some comments on the shape of the API. Tests are needed of course, as well as some tuning of the spec to better describe differences in behavior when class files rather than source files are the backing file type.

Joe Darcy has updated the pull request incrementally with one additional commit since the last revision:

  Refine spec.

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

Changes:
  - all: https://git.openjdk.java.net/jdk/pull/5038/files
  - new: https://git.openjdk.java.net/jdk/pull/5038/files/1d2492d7..bc9b6b12

Webrevs:
 - full: https://webrevs.openjdk.java.net/?repo=jdk&pr=5038&range=09
 - incr: https://webrevs.openjdk.java.net/?repo=jdk&pr=5038&range=08-09

  Stats: 42 lines in 2 files changed: 32 ins; 0 del; 10 mod
  Patch: https://git.openjdk.java.net/jdk/pull/5038.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/5038/head:pull/5038

PR: https://git.openjdk.java.net/jdk/pull/5038