/* FormatDemo7.java */


import java.io.DataInputStream;
import java.io.FileInputStream;
import java.io.IOException;
import java.util.Vector;


public class FormatDemo7
{
  public static void main( String[] args )
  {
    try {
      Formatter f;
      f = new Formatter( "5I5" );
      System.out.println( f.toString() );

      Vector v = new Vector();

      DataInputStream in =
        new DataInputStream( new FileInputStream("FormatDemo7.dat") );

      try {
        while ( true ) {
          f.read( v, in );
          System.out.println( v );
        }
      }
      catch ( EndOfFileWhenStartingReadException e ) {
        System.out.println( e );
        System.out.println( v );
      }
    }
    catch ( InvalidFormatException e ) {
      System.out.println( e );
    }
    catch ( IOException e ) {
      System.out.println( e );
    }
    catch ( InputFormatException e ) {
      System.out.println( e );
    }
  }

}