// Example 82 from page 57 of Java Precisely second edition (The MIT Press 2005) // Author: Peter Sestoft (sestoft@itu.dk) import java.io.*; class Example82 { public static void main(String[] args) throws IOException { double[] xs = readRecord("foo"); for (int i=0; i