Constructor and Description |
---|
CommandsRecord(java.io.InputStream in)
Construct a new CommandsRecord and read data from an InputStream.
|
CommandsRecord(int time,
java.util.Collection<Command> commands)
Construct a new CommandsRecord.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Command> |
getCommands()
Get the commands.
|
RecordType |
getRecordType()
Get the type of this record.
|
int |
getTime()
Get the timestamp for this record.
|
void |
read(java.io.InputStream in)
Read this log record's data from a stream.
|
void |
write(java.io.OutputStream out)
Write this log record to a stream.
|
public CommandsRecord(int time, java.util.Collection<Command> commands)
time
- The timestep of this commands record.commands
- The set of agent commands.public CommandsRecord(java.io.InputStream in) throws java.io.IOException, LogException
in
- The InputStream to read from.java.io.IOException
- If there is a problem reading the stream.LogException
- If there is a problem reading the log record.public RecordType getRecordType()
LogRecord
getRecordType
in interface LogRecord
public void write(java.io.OutputStream out) throws java.io.IOException
LogRecord
public void read(java.io.InputStream in) throws java.io.IOException, LogException
LogRecord
read
in interface LogRecord
in
- The InputStream to read from.java.io.IOException
- If there is a problem reading the stream.LogException
- If there is a problem reading the log record.public int getTime()
public java.util.Collection<Command> getCommands()