|
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 | |||||||||