|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of AbstractTool.Job in toolbus |
---|
Fields in toolbus declared as AbstractTool.Job | |
---|---|
private AbstractTool.Job |
AbstractTool.JobQueue.current
|
Fields in toolbus with type parameters of type AbstractTool.Job | |
---|---|
private java.util.List<AbstractTool.Job> |
AbstractTool.JobQueue.jobs
|
private java.util.List<AbstractTool.Job> |
AbstractTool.ThreadLocalJobQueue.requests
|
Methods in toolbus that return AbstractTool.Job | |
---|---|
AbstractTool.Job |
AbstractTool.JobQueue.getNext()
Returns the next job in the queue. |
AbstractTool.Job |
AbstractTool.ThreadLocalJobQueue.getNext()
Returns the next job in the queue. |
AbstractTool.Job |
AbstractTool.ThreadLocalJobQueue.postRequest(aterm.ATerm aTerm,
long threadId)
Schedules the given request for transmission to the ToolBus. |
Methods in toolbus with parameters of type AbstractTool.Job | |
---|---|
void |
AbstractTool.JobQueue.post(AbstractTool.Job job)
Schedules the given job for transmission to the ToolBus. |
aterm.ATerm |
AbstractTool.ThreadLocalJobQueue.waitForResponse(AbstractTool.Job job)
|
|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |