diff options
Diffstat (limited to 'src/main/java/derms/replica/replica1/ResponderClient.java')
| -rw-r--r-- | src/main/java/derms/replica/replica1/ResponderClient.java | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/src/main/java/derms/replica/replica1/ResponderClient.java b/src/main/java/derms/replica/replica1/ResponderClient.java deleted file mode 100644 index b21b67e..0000000 --- a/src/main/java/derms/replica/replica1/ResponderClient.java +++ /dev/null @@ -1,34 +0,0 @@ -package derms.replica.replica1; - -import java.net.MalformedURLException; -import java.net.UnknownHostException; -import java.util.HashMap; -import java.util.Map; - -public class ResponderClient extends Client<Responder, ResponderServer> { - public ResponderID id; - - public ResponderClient(ResponderID id) { - super(Responder.class, ResponderServer.class); - this.id = id; - } - - public ResponderClient(City city, short idNum) { - this(new ResponderID(city, idNum)); - } - - public void add(ResourceID rid, ResourceName name, int duration) throws UnknownHostException, MalformedURLException { - Responder server = connect(new City(rid.city)); - server.addResource(new Resource(rid, name, duration)); - } - - public void remove(ResourceID rid, int duration) throws UnknownHostException, MalformedURLException, NoSuchResourceException { - Responder server = connect(new City(rid.city)); - server.removeResource(rid, duration); - } - - public Resource[] listResources(ResourceName name) throws UnknownHostException, MalformedURLException, ServerCommunicationError { - Responder server = connect(id.city); - return server.listResourceAvailability(name); - } -} |