Integrated: 8236142: DocTrees should provide getCharacters(EntityTree)

Fri Sep 11 14:50:08 UTC 2020

On Thu, 10 Sep 2020 22:53:42 GMT, Jonathan Gibbons <jjg at 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 <jjg at 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