diff options
| author | Sam Anthony <sam@samanthony.xyz> | 2024-11-28 17:32:28 -0500 |
|---|---|---|
| committer | Sam Anthony <sam@samanthony.xyz> | 2024-11-28 17:32:28 -0500 |
| commit | d267dd1dda606f0c56d8afaa7187485e60ebfd86 (patch) | |
| tree | e1bca5933aa7e5e9793773057fd5616ff65a9eb8 /src/main/java/derms/replica2/ResourceID.java | |
| parent | 6654546671eea9f9becd32b3160a134802659cbc (diff) | |
| download | soen423-d267dd1dda606f0c56d8afaa7187485e60ebfd86.zip | |
move replica2 to top level
Diffstat (limited to 'src/main/java/derms/replica2/ResourceID.java')
| -rw-r--r-- | src/main/java/derms/replica2/ResourceID.java | 49 |
1 files changed, 49 insertions, 0 deletions
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; + } +} |