import java.io.*;
public class OSetManipulator {

    // Print all the values in o.
    // ------------------------------------------------------------------
    public static void print( OSet o ) {
        for (int r = 0; r < o.size(); r++) {
            Element el = o.retrieve(r);
            System.out.println("Element " + r +
                               " by rank is: " + el.toString());
        }
    }

    // Save all the elements of theOSet to file named filename.
    // ------------------------------------------------------------------
    public static void saveToFile( OSet theOSet, String filename ) {
        RandomAccessFile output;
        try {
            output = new RandomAccessFile(filename, "rw");
            for (int r = 0; r < theOSet.size(); r++) {
                Element el = theOSet.retrieve( r );
                output.writeChars( (el.toString() + "\n") );
            }
        } catch( IOException e ) {
            e.printStackTrace();
            System.exit(0);
        }
    }
}