RegionID.java

package edu.stanford.hci.r3.pattern.coordinates;

import edu.stanford.hci.r3.paper.Region;
import edu.stanford.hci.r3.units.Units;

public class RegionID {

        private Units height;

        private String name;

        private Units originX;

        private Units originY;

        private Units width;

        public RegionID(Region r) {
                name = r.getName();
                originX = r.getOriginX();
                originY = r.getOriginY();
                width = r.getWidth();
                height = r.getHeight();
        }

        public boolean equals(Object o) {
                if (o instanceof RegionID) {
                        RegionID r = (RegionID) o;
                        return name.equals(r.name) && originX.equals(r.originX) && originY.equals(r.originY)
                                        && width.equals(r.width) && height.equals(r.height);
                }
                return false;
        }

        public int hashCode() {
                return (int) (name.hashCode() + originX.getValue() + originY.getValue() + width.getValue() + height
                                .getValue());
        }

        public String toString() {
                return "Region ID: {" + name + ", " + originX + ", " + originY + ", " + width + ", " + height + "}";
        }
}

---