import element.*;
import java.util.Vector;

public class VectorDemo
{
    public static void main(String args[])
    {
        ConsoleWindow c = new ConsoleWindow();
        // names is a vector of polite names for people from Michigan
        Vector names = new Vector();
        names.addElement("Michiganer");
        names.addElement("Michigander");
        names.addElement("Michiganian");
        c.out.println(names);
        c.out.println("Officially, a person from Michigan is a "+
                      names.elementAt(2));  // a "Michiganian"
        int i;
        char item;
        for (i = 0; i < names.size(); i++)
        {
            item = (char)('A'+i);
            c.out.println(item+". "+(String)names.elementAt(i));
        }
        String official;
        /*
        official = names.elementAt(2);
        */
        official = (String)names.elementAt(2);
        String temp;
        temp = (String)names.elementAt(1);
        c.out.println(names);
        names.removeElementAt(1);
        c.out.println(names);
        names.insertElementAt(temp,0);
        c.out.println(names);
    }
}
/*
A. Michiganer
B. Michigander
C. Michiganian
[Michiganer, Michigander, Michiganian]
Explicit cast needed to convert java.lang.Object to java.lang.String.
[Michiganer, Michigander, Michiganian]
[Michiganer, Michiganian]
[Michigander, Michiganer, Michiganian]
 */