| | |
| | | import java.util.Date; |
| | | import java.util.HashMap; |
| | | import java.util.HashSet; |
| | | import java.util.Iterator; |
| | | import java.util.List; |
| | | import java.util.Set; |
| | | import java.util.zip.DataFormatException; |
| | |
| | | * from each server. |
| | | * It is exchanged with the changelog servers at connection establishment time. |
| | | */ |
| | | public class ServerState |
| | | public class ServerState implements Iterable<Short> |
| | | { |
| | | private HashMap<Short, ChangeNumber> list; |
| | | |
| | |
| | | return result; |
| | | } |
| | | } |
| | | |
| | | /** |
| | | * {@inheritDoc} |
| | | */ |
| | | public Iterator<Short> iterator() |
| | | { |
| | | return list.keySet().iterator(); |
| | | } |
| | | } |