Integrated: 8266666: Implementation for snippets

Tue Sep 21 15:56:46 UTC 2021

On Thu, 15 Jul 2021 14:13:16 GMT, Pavel Rappo <prappo at openjdk.org> wrote:

> This PR implements JEP 413 "Code Snippets in Java API Documentation", which hasn't been yet proposed to target JDK 18. The PR starts as a squashed merge of the https://github.com/openjdk/jdk-sandbox/tree/jdk.javadoc/snippets branch.

This pull request has now been integrated.

Changeset: 0fc47e99
Author:    Pavel Rappo <prappo at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/0fc47e99d20a1ee886df878f1302769bdd913aab
Stats:     5208 lines in 43 files changed: 5183 ins; 4 del; 21 mod

8266666: Implementation for snippets

Co-authored-by: Jonathan Gibbons <jjg at openjdk.org>
Co-authored-by: Hannes Wallnöfer <hannesw at openjdk.org>
Reviewed-by: jjg

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

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