archive/jdk
1
0
Fork 0
mirror of https://github.com/openjdk/jdk.git synced 2025-08-27 06:45:07 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

8297152: Add a @sealedGraph tag to ZoneId

Browse source 
Reviewed-by: iris, joehw
This commit is contained in:
Naoto Sato 2022-11-17 16:59:08 +00:00
parent 992f209def
commit 8b140e2d74
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/java.base/share/classes/java/time/ZoneId.java
View file

@ -174,6 +174,7 @@ import static java.util.Map.entry;
* modelling offset-based IDs. This difference is visible in serialization. * modelling offset-based IDs. This difference is visible in serialization.
* *
* @since 1.8 * @since 1.8
* @sealedGraph
*/ */
@jdk.internal.ValueBased @jdk.internal.ValueBased
public abstract sealed class ZoneId implements Serializable permits ZoneOffset, ZoneRegion { public abstract sealed class ZoneId implements Serializable permits ZoneOffset, ZoneRegion {