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