| 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()
LogRecordgetRecordType in interface LogRecordpublic void write(java.io.OutputStream out)
throws java.io.IOException
LogRecordpublic void read(java.io.InputStream in)
throws java.io.IOException,
LogException
LogRecordread in interface LogRecordin - 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()