public String toString() {
return String.format(
"{%d,%d,%d,%d,%d,%d,%d,%d,%d}",
bin.getScale(),
bin.getRow(),
bin.getCol(),
bin.getImageWidth(),
bin.getImageHeight(),
x,
y,
width,
height);
}
public int getRawHeight() {
return height * bin.getScale();
}
public int getRawWidth() {
return width * bin.getScale();
}
