RFR: 8320396: Class-File API ClassModel::verify should include checks from hotspot/share/classfile/classFileParser.cpp

[Adam Sotona]

ClassFile API `jdk.internal.classfile.verifier.VerifierImpl` performed only bytecode-level class verification.
This patch adds `jdk.internal.classfile.verifier.ParserVerifier` with additional class checks inspired by `hotspot/share/classfile/classFileParser.cpp`.

Also new `VerifierSelfTest::testParserVerifier` has been added.

Please review.

Thanks,
Adam

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

Commit messages:
 - work in progress
 - work in progress
 - work in progress
 - work in progress
 - work in progress
 - removed string templates from test
 - work in progress
 - work in progress
 - work in progress
 - work in progress
 - ... and 15 more: https://git.openjdk.org/jdk/compare/784f11c3...b3c34820

Changes: https://git.openjdk.org/jdk/pull/16809/files
  Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=16809&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8320396
  Stats: 706 lines in 6 files changed: 672 ins; 8 del; 26 mod
  Patch: https://git.openjdk.org/jdk/pull/16809.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/16809/head:pull/16809

PR: https://git.openjdk.org/jdk/pull/16809
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/classfile-api-dev/attachments/20240321/d13ea01d/attachment-0001.htm>