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

package ilog.language.design.types;

/**
 * @version     Last modified on Tue Dec 10 19:00:52 2002 by hak
 * @author      <a href="mailto:hak@ilog.fr">Hassan A&iuml;t-Kaci</a>
 * @copyright   &copy; 2000-2002 <a href="http://www.ilog.fr/">ILOG, S.A.</a>
 */

/**
 * This is the class denoting the type of bags. Types of this kind consist of bag
 * types whose elements are of any base type (including bags - thus enabling
 * higher-order bags - and type parameters - thus enabling polymorphic bags).
 */

public class BagType extends CollectionType
{
  /**
   * Constructs a polymorphic bag type; <i>i.e.</i>, one whose base type is a type
   * parameter.
   */
  public BagType ()
    {
      _baseType = new TypeParameter();
    }

  /**
   * Constructs a bag type with the specified base type.
   */
  public BagType (Type baseType)
    {
      if (baseType.value().isVoid())
        throw new TypingErrorException("void bag base type");

      _baseType = baseType;
    }

  /**
   * Returns a new bag type with the specified base type.
   */
  public final CollectionType newCollectionType (Type basetype)
    {
      return new BagType(basetype);
    }

  /**
   * Returns the constant identifying bag types; <i>i.e.</i>, <tt>Type.BAG</tt>.
   */
  public final byte kind ()
    {
      return BAG;
    }

  final public String toString ()
    {
      return "bag {" + baseType() + "}";
    }

}