Class BinaryEventsReader

input/BinaryEventsReader.java:22–137

Reads External Events from a binary file. Can also create binary files from a list of external events.

 * from a list of external events.
 */
public class BinaryEventsReader implements ExternalEventsReader {
	/** Extension of binary external events file */
	public static final String BINARY_EXT = ".binee";
	
	private ObjectInputStream in;
	private int eventsLeft;
	
	/**
	 * Constructor.
	 * @param eventsFile The file where the events are read
	 */
	public BinaryEventsReader(File eventsFile) {	
		try {
			FileInputStream fis = new FileInputStream(eventsFile);
			in = new ObjectInputStream(fis);
			// first object should tell the amount of events
			eventsLeft = (Integer)in.readObject(); 
		} catch (IOException e) {
			throw new SimError(e);
		} catch (ClassNotFoundException e) {
			throw new SimError("Invalid binary input file for external " +
					"events:" + eventsFile.getAbsolutePath(), e);
		}
		
	}
	
	/**
	 * Read events from a binary file created with storeBinaryFile method
	 * @param nrof Maximum number of events to read
	 * @return Events in an ArrayList (empty list if didn't read any)
	 * @see #storeToBinaryFile(String, List)
	 */
	@SuppressWarnings("unchecked") // suppress cast warnings
	public List<ExternalEvent> readEvents(int nrof) {
		ArrayList<ExternalEvent> events = new ArrayList<ExternalEvent>(nrof);

		if (eventsLeft == 0) {
			return events;
		}
		
		try {
			for (int i=0; i < nrof && eventsLeft > 0; i++) {
				events.add((ExternalEvent)in.readObject());
				eventsLeft--;
			}
			if (eventsLeft == 0) {
				in.close();
			}
		} catch (Exception e) { // FIXME: quick 'n' dirty exception handling
			throw new SimError(e);
		}
		return events;	
	}
	
	/**
	 * Checks if the given file is a binary external events file
	 * @param file The file to check
	 * @return True if the file is a binary ee file, false if not