diff options
| author | Sam Anthony <sam@samanthony.xyz> | 2024-11-26 15:52:51 -0500 |
|---|---|---|
| committer | Sam Anthony <sam@samanthony.xyz> | 2024-11-26 15:52:51 -0500 |
| commit | ab118d47c1c371e5d30f576216a8f347bd746974 (patch) | |
| tree | eb250f7f28a3a3b7d30a53188fa60f9a5ef80c6f /src/main/java/derms/frontend/DERMSInterface.java | |
| parent | e70b94657e27ac898953643b771ba48d48740b26 (diff) | |
| download | soen423-ab118d47c1c371e5d30f576216a8f347bd746974.zip | |
frontend
Diffstat (limited to 'src/main/java/derms/frontend/DERMSInterface.java')
| -rw-r--r-- | src/main/java/derms/frontend/DERMSInterface.java | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/src/main/java/derms/frontend/DERMSInterface.java b/src/main/java/derms/frontend/DERMSInterface.java new file mode 100644 index 0000000..9c7eb04 --- /dev/null +++ b/src/main/java/derms/frontend/DERMSInterface.java @@ -0,0 +1,19 @@ +package derms.frontend; + +import javax.jws.WebService; +import javax.jws.soap.SOAPBinding; +import javax.jws.soap.SOAPBinding.Style; + +@WebService +@SOAPBinding(style = Style.RPC) +public interface DERMSInterface { + String addResource(String resourceID, String resourceName, int duration); + String removeResource(String resourceID, int duration); + String listResourceAvailability(String resourceName); + + // Coordinator methods + String requestResource(String coordinatorID, String resourceID, int duration); + String findResource(String coordinatorID, String resourceName); + String returnResource(String coordinatorID, String resourceID); + String swapResource(String coordinatorID, String oldResourceID, String oldResourceType, String newResourceID, String newResourceType); +} |