From d267dd1dda606f0c56d8afaa7187485e60ebfd86 Mon Sep 17 00:00:00 2001
From: Sam Anthony <sam@samanthony.xyz>
Date: Thu, 28 Nov 2024 17:32:28 -0500
Subject: move replica2 to top level

---
 src/main/java/derms/replica2/ResourceID.java | 49 ++++++++++++++++++++++++++++
 1 file changed, 49 insertions(+)
 create mode 100644 src/main/java/derms/replica2/ResourceID.java

(limited to 'src/main/java/derms/replica2/ResourceID.java')

diff --git a/src/main/java/derms/replica2/ResourceID.java b/src/main/java/derms/replica2/ResourceID.java
new file mode 100644
index 0000000..24da3d3
--- /dev/null
+++ b/src/main/java/derms/replica2/ResourceID.java
@@ -0,0 +1,49 @@
+package derms.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