main page modules namespaces classes files
Gecode/J home

Range.java

Go to the documentation of this file.

/*
 *  Main authors:
 *     Mikael Lagerkvist <lagerkvist@gecode.org>
 *     Guido Tack <tack@gecode.org>
 *
 *  Copyright:
 *     Mikael Lagerkvist, 2006
 *     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.Iterator;
import java.util.NoSuchElementException;

public class Range implements Iterable<Integer> {
    public int min;
    public int max;
    public Range(int min0, int max0) { min=min0; max=max0; }

  public int min() {
    return min;
  }
  public int max() {
    return max;
  }

  public Iterator<Integer> iterator() {
    return new JavaRangeContentIterator(min, max);
  }
  
  class JavaRangeContentIterator implements Iterator<Integer> {
    int min, max, cur;
    public JavaRangeContentIterator(int min0, int max0) {
      min = min0;
      max = max0;
      cur = min - 1;
    }
    public boolean hasNext() {
      return cur != max;
    }
    public Integer next() {
      if (cur == max)
        throw new NoSuchElementException();
      return ++cur;
    }
    public void remove() {
      throw new UnsupportedOperationException();
    }
  }

}