readprices.java

《A first book of java》by Gary J.Bronson 北大出版社

import java.io.*;
public class ReadPrices
{
  public static void main(String[] args)
    throws java.io.IOException
  {
    String fileName = "prices.dat";

       // set up the basic input stream
    FileInputStream fis =
        new FileInputStream(fileName);

       // buffer it for faster input
    BufferedInputStream bis =
        new BufferedInputStream(fis);

       // this provides a set of useful methods
    DataInputStream dis = 
        new DataInputStream(bis);

    System.out.println("The values read from the " + fileName 
                       + " file are:");
    System.out.println(dis.readDouble());
    System.out.println(dis.readDouble()); 
    System.out.println(dis.readDouble());

    dis.close(); 
 }
}