main page modules namespaces classes files
Gecode/J home

RangeIterator.java

Go to the documentation of this file.

/*
 *  Main authors:
 *     Guido Tack <tack@gecode.org>
 *
 *  Copyright:
 *     Guido Tack, 2006
 *
 *  Last modified:
 *     $Date: 2006-09-11 17:06:50 +0200 (Mon, 11 Sep 2006) $ by $Author: zayenz $
 *     $Revision: 3650 $
 *
 *  This file is part of Gecode, the generic constraint
 *  development environment:
 *     http://www.gecode.org
 *
 *  See the file "LICENSE" for information on usage and
 *  redistribution of this file, and for a
 *     DISCLAIMER OF ALL WARRANTIES.
 *
 */

package org.gecode;

import java.util.ArrayList;
import java.util.Iterator;
import java.util.NoSuchElementException;

public abstract class RangeIterator implements Iterable<Range> {

    public abstract boolean notDone();
    public abstract void next();
    
    public abstract int min();
    public abstract int max();
    public abstract long width();

    public Range[] toRanges() {
        ArrayList<Range> rs = new ArrayList<Range>();
        while (notDone()) {
            rs.add(new Range(min(), max()));
            next();
        }
        return rs.toArray(new Range[0]);
    }

  public Iterator<Range> iterator() {
    return new JavaRangeIterator(this);
  }
  
  class JavaRangeIterator implements Iterator<Range> {
    RangeIterator ri;
    Range cur;
    public JavaRangeIterator(RangeIterator ri0) {
      ri = ri0;
      advance();
    }
    public boolean hasNext() {
      return cur != null;
    }
    public Range next() {
      if (cur == null)
        throw new NoSuchElementException();
      Range res = cur;
      advance();
      return res;
    }
    private void advance() {
      if (ri.notDone()) {
        cur = new Range(ri.min(), ri.max());
        ri.next();
      } else {
        cur = null;
      }
    }
    public void remove() {
      throw new UnsupportedOperationException();
    }
  }
}