workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/routing/basic/Size.java
package org.workcraft.plugins.circuit.routing.basic;
public final class Size {
public final int width;
public final int height;
public Size(int width, int height) {
this.width = width;
this.height = height;
}
@Override
public int hashCode() {
int prime = 31;
int result = 1;
result = prime * result + height;
result = prime * result + width;
return result;
}
@Override
public boolean equals(Object obj) {
if (this == obj) {
return true;
}
if (obj == null) {
return false;
}
if (getClass() != obj.getClass()) {
return false;
}
Size other = (Size) obj;
if (height != other.height) {
return false;
}
if (width != other.width) {
return false;
}
return true;
}
@Override
public String toString() {
return "Size [width=" + width + ", height=" + height + "]";
}
}