RFR: 8005295: Use mandated information for printing of repeating annotations

Thu Apr 8 22:05:37 UTC 2021

Small behavioral change to improve the source fidelity of the Xprint output in the case of repeated annotations being placed in a mandated, that is compiler-generated, container annotation.

The checks over and above the annotation being marked as MANDATED are meant to catch potential cases where an annotation was marked as mandated, but was not a container for a repeating annotation.

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

Commit messages:
 - Appease jcheck
 - 8005295: Use mandated information for printing of repeating annotations

Changes: https://git.openjdk.java.net/jdk/pull/3403/files
 Webrev: https://webrevs.openjdk.java.net/?repo=jdk&pr=3403&range=00
  Issue: https://bugs.openjdk.java.net/browse/JDK-8005295
  Stats: 181 lines in 3 files changed: 179 ins; 0 del; 2 mod
  Patch: https://git.openjdk.java.net/jdk/pull/3403.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/3403/head:pull/3403

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