package username.sorting;

/**
 * Vectors that provide a swap method.
 */
public class Vector<T>
  extends java.util.Vector<T>
{
  public Vector()
  {
    super();
  } // Vector()

  public Vector(int size)
  {
    super(size); // Just like Mickey D's
  } // Vector(int)

  /**
   * Swap two values in a vector.
   *
   * @pre
   *   0 <= a,b < vec.size()
   * @post
   *   vec.get(a) = "old value of" vec.get(b)
   * @post
   *   vec.get(b) = "old value of" vec.get(a)
   */
  public void swap(int a, int b)
  {
    T tmp = this.get(a);
    this.set(a, this.get(b));
    this.set(b, tmp);
  } // swap(int, int)

} // class Vector<T>