//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\
// PLEASE DO NOT EDIT WITHOUT THE EXPLICIT CONSENT OF THE AUTHOR! \\
//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\

package ilog.language.design.backend;

import ilog.language.design.types.Type;
import ilog.language.util.ToIntMap;
import ilog.language.tools.Misc;
import java.util.Iterator;

abstract public class RuntimeCollection implements RuntimeObject, IndexableContainer
{
  

  protected byte _kind = Type.SET;

  

  protected boolean _hasHoles = false;

  

  protected int _maxIndex = 0;

  

  protected boolean _isLocked = false;

  

  abstract ToIntMap map ();    

  

  protected final boolean _hasHoles ()
    {
      return _hasHoles;
    }    

  

  protected final RuntimeCollection _setHasHoles (boolean flag)
    {
      _hasHoles = flag;
      return this;
    }

  

  protected final RuntimeCollection _setMaxIndex (int index)
    {
      _maxIndex = index;
      return this;
    }

  

  public final void lock ()
    {
      _isLocked = true;
    }

  

  public final void unlock ()
    {
      _isLocked = false;
    }

  

  public final boolean isLocked ()
    {
      return _isLocked;
    }

  

  public final int size ()
    {
      return map().size();
    }

  

  public final boolean isEmpty ()
    {
      return map().isEmpty();
    }

  

  public final int hashCode ()
    {
      return size();
    }

  

  protected final ToIntMap.Entry[] _resetIndices ()
    {
      ToIntMap.Entry[] entries = new ToIntMap.Entry[size()];

      int index = 0;
      for (Iterator i = map().iterator(); i.hasNext();)
        entries[index++] = (ToIntMap.Entry)i.next();

      //System.err.print("Sorting "+index+" elements...");
      //long time = System.currentTimeMillis();
      Misc.sort(entries);
      //System.err.println(" in "+(System.currentTimeMillis()-time)+" ms");

      for (; index-->0;)
        entries[index].setValue(index);

      _hasHoles = false;
      _maxIndex = size();
      return entries;
    }

  

  abstract public boolean equals (Object object, int[] permutation);

  

  abstract public int firstInt () throws NoSuchElementException;
  

  abstract public double firstReal () throws NoSuchElementException;
  

  abstract public Object firstObject () throws NoSuchElementException;

  

  abstract public int lastInt () throws NoSuchElementException;
  

  abstract public double lastReal () throws NoSuchElementException;
  

  abstract public Object lastObject () throws NoSuchElementException;

  

  abstract public int ord (int element) throws NoSuchElementException;
  

  abstract public int ord (double element) throws NoSuchElementException;
  

  abstract public int ord (Object element) throws NoSuchElementException;

  

  abstract public int next (int element) throws NoSuchElementException;
  

  abstract public double next (double element) throws NoSuchElementException;
  

  abstract public Object next (Object element) throws NoSuchElementException;

  

  abstract public int prev (int element) throws NoSuchElementException;
  

  abstract public double prev (double element) throws NoSuchElementException;
  

  abstract public Object prev (Object element) throws NoSuchElementException;

  

  abstract public int nextc (int element) throws NoSuchElementException;
  

  abstract public double nextc (double element) throws NoSuchElementException;
  

  abstract public Object nextc (Object element) throws NoSuchElementException;

  

  abstract public int prevc (int element) throws NoSuchElementException;
  

  abstract public double prevc (double element) throws NoSuchElementException;
  

  abstract public Object prevc (Object element) throws NoSuchElementException;

  

  abstract public RuntimeCollection copy ();

  

  abstract public boolean contains (RuntimeCollection collection);

  abstract protected RuntimeCollection _add (int element);
  abstract protected RuntimeCollection _add (double element);
  abstract protected RuntimeCollection _add (Object element);

  abstract protected RuntimeCollection _remove (int element);
  abstract protected RuntimeCollection _remove (double element);
  abstract protected RuntimeCollection _remove (Object element);

  

  public final RuntimeCollection add (int element) throws LockViolationException
    {
      if (_isLocked)
        throw new LockViolationException();

      return _add(element);
    }

  

  public final RuntimeCollection add (double element) throws LockViolationException
    {
      if (_isLocked)
        throw new LockViolationException();

      return _add(element);
    }

  

  public final RuntimeCollection add (Object element) throws LockViolationException
    {
      if (_isLocked)
        throw new LockViolationException();

      return _add(element);
    }

  

  public final RuntimeCollection remove (int element) throws LockViolationException
    {
      if (_isLocked)
        throw new LockViolationException();

      return _remove(element);
    }

  

  public final RuntimeCollection remove (double element) throws LockViolationException
    {
      if (_isLocked)
        throw new LockViolationException();

      return _remove(element);
    }

  

  public final RuntimeCollection remove (Object element) throws LockViolationException
    {
      if (_isLocked)
        throw new LockViolationException();

      return _remove(element);
    }

  abstract protected RuntimeCollection _union (RuntimeCollection collection);
  abstract protected RuntimeCollection _intersection (RuntimeCollection collection);
  abstract protected RuntimeCollection _minus (RuntimeCollection collection);
  abstract protected RuntimeCollection _exclusion (RuntimeCollection collection);

  

  public final RuntimeCollection union (RuntimeCollection collection) throws LockViolationException
    {
      if (_isLocked)
        throw new LockViolationException();

      return _union(collection);
    }

  

  public final RuntimeCollection intersection (RuntimeCollection collection) throws LockViolationException
    {
      if (_isLocked)
        throw new LockViolationException();

      return _intersection(collection);
    }

  

  public final RuntimeCollection minus (RuntimeCollection collection) throws LockViolationException
    {
      if (_isLocked)
        throw new LockViolationException();

      return _minus(collection);
    }

  

  public final RuntimeCollection exclusion (RuntimeCollection collection) throws LockViolationException
    {
      if (_isLocked)
        throw new LockViolationException();

      return _exclusion(collection);
    }

  

  public static final RuntimeCollection union (RuntimeCollection collection1, RuntimeCollection collection2)
    {
      return collection1.copy()._union(collection2);
    }

  

  public static final RuntimeCollection intersection (RuntimeCollection collection1, RuntimeCollection collection2)
    {
      return collection1.copy()._intersection(collection2);
    }

  

  public static final RuntimeCollection minus (RuntimeCollection collection1, RuntimeCollection collection2)
    {
      return collection1.copy()._minus(collection2);
    }

  

  public static final RuntimeCollection exclusion (RuntimeCollection collection1, RuntimeCollection collection2)
    {
      return collection1.copy()._exclusion(collection2);
    }
}

This file was generated on Tue Aug 03 11:24:02 PDT 2004 from file RuntimeCollection.java
by the ilog.language.tools.Hilite Java tool written by Hassan Aït-Kaci