gui
Class RecordingPlayer

java.lang.Object
  extended by gui.RecordingPlayer

public class RecordingPlayer
extends java.lang.Object

Class for playing recordings.


Field Summary
private  MapImporter importer
          the map importer
private  int index
          the index of the current log event
private  Log log
          the log file
private  Map map
          the map
private  long startTime
          the time that the replay starts
 
Constructor Summary
RecordingPlayer(Log log, Map map, MapImporter importer)
          Constructs a recording player.
 
Method Summary
 void play()
          Replays the events in the log file.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

index

private int index
the index of the current log event


log

private Log log
the log file


startTime

private long startTime
the time that the replay starts


map

private Map map
the map


importer

private MapImporter importer
the map importer

Constructor Detail

RecordingPlayer

public RecordingPlayer(Log log,
                       Map map,
                       MapImporter importer)
Constructs a recording player.

Parameters:
log - - the log file
map - - the map
importer - - the map importer
Method Detail

play

public void play()
Replays the events in the log file. This method blocks until the replay completes and therefore should be executed in its own thread.