From d267dd1dda606f0c56d8afaa7187485e60ebfd86 Mon Sep 17 00:00:00 2001 From: Sam Anthony Date: Thu, 28 Nov 2024 17:32:28 -0500 Subject: move replica2 to top level --- .../java/derms/replica/replica2/ResourceID.java | 49 ---------------------- 1 file changed, 49 deletions(-) delete mode 100644 src/main/java/derms/replica/replica2/ResourceID.java (limited to 'src/main/java/derms/replica/replica2/ResourceID.java') diff --git a/src/main/java/derms/replica/replica2/ResourceID.java b/src/main/java/derms/replica/replica2/ResourceID.java deleted file mode 100644 index d4cc4cf..0000000 --- a/src/main/java/derms/replica/replica2/ResourceID.java +++ /dev/null @@ -1,49 +0,0 @@ -package derms.replica.replica2; - -import java.io.Serializable; - -class ResourceID implements Serializable { - String city; - short num; - - ResourceID (String city, short num) { - this.city = city; - this.num = num; - } - - ResourceID() { - this("XXX", (short) 1111); - } - - static ResourceID parse(String s) throws IllegalArgumentException { - if (s.length() != City.codeLen+ID.nDigits) { - throw new IllegalArgumentException("invalid resource ID: "+s); - } - try { - String cityCode = s.substring(0, City.codeLen); - short num = Short.parseShort(s.substring(City.codeLen)); - return new ResourceID(cityCode, num); - } catch (NumberFormatException e) { - throw new IllegalArgumentException("invalid resource ID: "+e.getMessage()); - } - } - - @Override - public boolean equals(Object obj) { - if (obj == null || obj.getClass() != this.getClass()) { - return false; - } - ResourceID other = (ResourceID) obj; - return (this.city.equals(other.city)) && (this.num == other.num); - } - - @Override - public int hashCode() { - return city.hashCode() * num; - } - - @Override - public String toString() { - return city+num; - } -} -- cgit v1.2.3