public class RemoteGenerationManager extends Object
| Constructor and Description |
|---|
RemoteGenerationManager(String generatorEndPoint) |
| Modifier and Type | Method and Description |
|---|---|
RemoteHspecOutputObject |
retrieveCompleteStatus() |
double |
retrieveCompletion() |
void |
submitJob(RemoteHspecInputObject rhio) |
public RemoteGenerationManager(String generatorEndPoint)
public void submitJob(RemoteHspecInputObject rhio) throws Exception
Exceptionpublic double retrieveCompletion()
public RemoteHspecOutputObject retrieveCompleteStatus()
Copyright © 2016. All Rights Reserved.