001    /*
002      GRANITE DATA SERVICES
003      Copyright (C) 2011 GRANITE DATA SERVICES S.A.S.
004    
005      This file is part of Granite Data Services.
006    
007      Granite Data Services is free software; you can redistribute it and/or modify
008      it under the terms of the GNU Library General Public License as published by
009      the Free Software Foundation; either version 2 of the License, or (at your
010      option) any later version.
011    
012      Granite Data Services is distributed in the hope that it will be useful, but
013      WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
014      FITNESS FOR A PARTICULAR PURPOSE. See the GNU Library General Public License
015      for more details.
016    
017      You should have received a copy of the GNU Library General Public License
018      along with this library; if not, see <http://www.gnu.org/licenses/>.
019    */
020    
021    package org.granite.collections;
022    
023    import java.util.Collection;
024    
025    import flex.messaging.io.ArrayCollection;
026    
027    /**
028     * @author Franck WOLFF
029     */
030    public class UIDSet extends ArrayCollection {
031    
032        public UIDSet() {
033        }
034    
035        public UIDSet(int capacity) {
036            super(capacity);
037        }
038    
039        public UIDSet(Collection<?> col) {
040            super(col);
041        }
042    
043        public UIDSet(Object[] array) {
044            super(array);
045        }
046    }