From c001e711d390de43b86554a9e21780b154fe813e Mon Sep 17 00:00:00 2001 From: Sam Anthony Date: Mon, 25 Nov 2024 09:32:37 -0500 Subject: replica1: remove old JAX code --- .../derms/replica/replica1/ResponderClient.java | 34 ---------------------- 1 file changed, 34 deletions(-) delete mode 100644 src/main/java/derms/replica/replica1/ResponderClient.java (limited to 'src/main/java/derms/replica/replica1/ResponderClient.java') 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 { - 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); - } -} -- cgit v1.2.3