public class JavaPlayerAgent
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
AGENT_MAX_BUFFER_SIZE |
static int |
THRESHOLD_LIMIT_STDERR_SIZE |
static java.nio.charset.Charset |
UTF8 |
Constructor and Description |
---|
JavaPlayerAgent(java.lang.String className) |
Modifier and Type | Method and Description |
---|---|
void |
destroy() |
void |
execute()
Compile and run an agent.
|
int |
getAgentId() |
java.lang.String |
getAvatar() |
java.lang.String |
getNickname() |
java.lang.String |
getOutput(int nbLine,
long timeout)
Get the output of an agent
|
void |
initialize(java.util.Properties conf)
Initialize an agent given global properties.
|
boolean |
isFailed() |
java.lang.String |
readError()
Read all errors from standard error stream
|
void |
sendInput(java.lang.String input)
Write 'input' to standard input of agent
|
void |
setAgentId(int agentId) |
void |
setAvatar(java.lang.String avatar) |
void |
setFailed(boolean failed) |
void |
setNickname(java.lang.String nickname) |
public static final java.nio.charset.Charset UTF8
public static final int AGENT_MAX_BUFFER_SIZE
public static final int THRESHOLD_LIMIT_STDERR_SIZE
public JavaPlayerAgent(java.lang.String className)
className
- The name of the class to use as a participating AI.public void initialize(java.util.Properties conf)
conf
- Global configurationpublic void destroy()
public void execute()
public void sendInput(java.lang.String input)
input
- an input to writepublic java.lang.String getOutput(int nbLine, long timeout)
nbLine
- Number of lines wantedtimeout
- Stop reading after timeout millisecondspublic java.lang.String readError()
public int getAgentId()
public void setAgentId(int agentId)
public void setFailed(boolean failed)
public boolean isFailed()
public java.lang.String getNickname()
public void setNickname(java.lang.String nickname)
public java.lang.String getAvatar()
public void setAvatar(java.lang.String avatar)