equal
deleted
inserted
replaced
31 /** |
31 /** |
32 * A tree node for an attribute in an HTML element. |
32 * A tree node for an attribute in an HTML element. |
33 * |
33 * |
34 * @since 1.8 |
34 * @since 1.8 |
35 */ |
35 */ |
36 @jdk.Supported |
36 @jdk.Exported |
37 public interface AttributeTree extends DocTree { |
37 public interface AttributeTree extends DocTree { |
38 @jdk.Supported |
38 @jdk.Exported |
39 enum ValueKind { EMPTY, UNQUOTED, SINGLE, DOUBLE }; |
39 enum ValueKind { EMPTY, UNQUOTED, SINGLE, DOUBLE }; |
40 |
40 |
41 Name getName(); |
41 Name getName(); |
42 ValueKind getValueKind(); |
42 ValueKind getValueKind(); |
43 List<? extends DocTree> getValue(); |
43 List<? extends DocTree> getValue(); |