home *** CD-ROM | disk | FTP | other *** search
- package java.util;
-
- import java.io.Serializable;
-
- class EnumSet$SerializationProxy<E extends Enum<E>> implements Serializable {
- private final Class<E> elementType;
- private final Enum[] elements;
- private static final long serialVersionUID = 362491234563181265L;
-
- EnumSet$SerializationProxy(EnumSet<E> var1) {
- this.elementType = var1.elementType;
- this.elements = (Enum[])var1.toArray(EnumSet.access$000());
- }
-
- private Object readResolve() {
- EnumSet var1 = EnumSet.noneOf(this.elementType);
-
- for(Enum var5 : this.elements) {
- var1.add(var5);
- }
-
- return var1;
- }
- }
-