On Thu, 10 Sep 2020 22:53:42 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
> A new method is added to the `DocTrees` utility class to return the > characters represented by a named or numeric > entity, as represented in an `EntityTree`. This pull request has now been integrated. Changeset: 7f27d0b0 Author: Jonathan Gibbons <j...@openjdk.org> URL: https://git.openjdk.java.net/jdk/commit/7f27d0b0 Stats: 4464 lines in 7 files changed: 2222 ins; 2230 del; 12 mod 8236142: DocTrees should provide getCharacters(EntityTree) Reviewed-by: prappo ------------- PR: https://git.openjdk.java.net/jdk/pull/122
