src/java.base/share/classes/java/lang/Enum.java
changeset 57956 e0b8b019d2f5
parent 55237 36334808644d
child 58679 9c3209ff7550
child 59142 c4be5e03aff7
equal deleted inserted replaced
57955:18863bf3501f 57956:e0b8b019d2f5
   273     protected final void finalize() { }
   273     protected final void finalize() { }
   274 
   274 
   275     /**
   275     /**
   276      * prevent default deserialization
   276      * prevent default deserialization
   277      */
   277      */
       
   278     @java.io.Serial
   278     private void readObject(ObjectInputStream in) throws IOException,
   279     private void readObject(ObjectInputStream in) throws IOException,
   279         ClassNotFoundException {
   280         ClassNotFoundException {
   280         throw new InvalidObjectException("can't deserialize enum");
   281         throw new InvalidObjectException("can't deserialize enum");
   281     }
   282     }
   282 
   283 
       
   284     @java.io.Serial
   283     private void readObjectNoData() throws ObjectStreamException {
   285     private void readObjectNoData() throws ObjectStreamException {
   284         throw new InvalidObjectException("can't deserialize enum");
   286         throw new InvalidObjectException("can't deserialize enum");
   285     }
   287     }
   286 
   288 
   287     /**
   289     /**