git: openjdk/jdk-sandbox: jdk.javadoc/snippets: change signaure of SnippetTree.getAttributes

[Jonathan Gibbons]

Changeset: 8f548169
Author:    Jonathan Gibbons <jonathan.gibbons at oracle.com>
Date:      2021-05-10 10:39:18 +0000
URL:       https://git.openjdk.java.net/jdk-sandbox/commit/8f5481690964ce12f5406a213eb38746504389d7

change signaure of SnippetTree.getAttributes
various spec tweaks for CSR

! src/jdk.compiler/share/classes/com/sun/source/doctree/SnippetTree.java
! src/jdk.compiler/share/classes/com/sun/source/util/DocTreeFactory.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/tree/DCTree.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/tree/DocPretty.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/tree/DocTreeMaker.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/taglets/SnippetTaglet.java