Code example for RandomAccessFile

Methods: writeDouble, writeInt

0
    * Writes a TransitionRecord to the specified file. 
    * @param outputfile		The file to write data to 
    * @throws IOException 
    */ 
   public void write(RandomAccessFile outputfile) throws IOException{
      outputfile.writeInt(fromState);
      outputfile.writeInt(toState);
      outputfile.writeDouble(rate);
   } 
    
    
   public void write1(RandomAccessFile outputfile) throws IOException{
      write(outputfile);
      outputfile.writeInt(transition);
   }    
    
    
   /** 
    * read() 
    * Reads a TransitionRecord from the specified input file. 
    *