|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
public interface DispenserServer
Server from the view of a vendor.
| Method Summary | |
|---|---|
void |
addLibrary(java.io.File lib)
Adds a library to the server. |
void |
addNewTask(Task task)
Adds a new task to the server to be executed. |
void |
clear()
Clear. |
java.lang.String |
getDescription()
|
java.lang.String |
getId()
Returns a unique id that can be used as tasks id. |
java.util.Collection |
retrieveErrorneousTasks(java.lang.String jobId)
Returns a collection of tasks that are errorneus. |
java.util.Collection |
retrieveFinishedTasks(java.lang.String jobId)
Returns a collection of tasks that are already finished. |
| Method Detail |
|---|
void addNewTask(Task task)
throws VgridException
VgridException
java.util.Collection retrieveFinishedTasks(java.lang.String jobId)
throws VgridException
VgridException
java.util.Collection retrieveErrorneousTasks(java.lang.String jobId)
throws VgridException
VgridException
java.lang.String getId()
throws VgridException
VgridException
void addLibrary(java.io.File lib)
throws VgridException
VgridExceptionvoid clear()
java.lang.String getDescription()
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||