in baremaps-pmtiles/src/main/java/org/apache/baremaps/pmtiles/Header.java [398:422]
public boolean equals(Object o) {
if (this == o) {
return true;
}
if (o == null || getClass() != o.getClass()) {
return false;
}
Header header = (Header) o;
return specVersion == header.specVersion && rootDirectoryOffset == header.rootDirectoryOffset
&& rootDirectoryLength == header.rootDirectoryLength
&& jsonMetadataOffset == header.jsonMetadataOffset
&& jsonMetadataLength == header.jsonMetadataLength
&& leafDirectoryOffset == header.leafDirectoryOffset
&& leafDirectoryLength == header.leafDirectoryLength
&& tileDataOffset == header.tileDataOffset && tileDataLength == header.tileDataLength
&& numAddressedTiles == header.numAddressedTiles && numTileEntries == header.numTileEntries
&& numTileContents == header.numTileContents && clustered == header.clustered
&& minZoom == header.minZoom && maxZoom == header.maxZoom
&& Double.compare(header.minLon, minLon) == 0 && Double.compare(header.minLat, minLat) == 0
&& Double.compare(header.maxLon, maxLon) == 0 && Double.compare(header.maxLat, maxLat) == 0
&& centerZoom == header.centerZoom && Double.compare(header.centerLon, centerLon) == 0
&& Double.compare(header.centerLat, centerLat) == 0
&& internalCompression == header.internalCompression
&& tileCompression == header.tileCompression && tileType == header.tileType;
}