protected void makeEmpty() { left = EMPTY.getLeft(); top = EMPTY.getTop(); width = EMPTY.getWidth(); height = EMPTY.getHeight(); this.coordinatesType = EMPTY.getCoordinatesType(); }
/** * Get an offset region. * @param dx The X axis offset. * @param dy The Y axis offset. * @return A region with an offset location. */ public Region offset(int dx, int dy) { return new Region(getLocation().offset(dx, dy), getSize(), getCoordinatesType()); }
protected void makeEmpty() { left = EMPTY.getLeft(); top = EMPTY.getTop(); width = EMPTY.getWidth(); height = EMPTY.getHeight(); this.coordinatesType = EMPTY.getCoordinatesType(); }
/** * Get an offset region. * @param dx The X axis offset. * @param dy The Y axis offset. * @return A region with an offset location. */ public Region offset(int dx, int dy) { return new Region(getLocation().offset(dx, dy), getSize(), getCoordinatesType()); }
public Region(Region other) { ArgumentGuard.notNull(other, "other"); left = other.getLeft(); top = other.getTop(); width = other.getWidth(); height = other.getHeight(); coordinatesType = other.getCoordinatesType(); }
/** * Get a region which is a scaled version of the current region. * IMPORTANT: This also scales the LOCATION(!!) of the region (not just its size). * @param scaleRatio The ratio by which to scale the region. * @return A new region which is a scaled version of the current region. */ public Region scale(double scaleRatio) { return new Region(getLocation().scale(scaleRatio), getSize().scale(scaleRatio), getCoordinatesType()); }
/** * Get a region which is a scaled version of the current region. * IMPORTANT: This also scales the LOCATION(!!) of the region (not just its size). * @param scaleRatio The ratio by which to scale the region. * @return A new region which is a scaled version of the current region. */ public Region scale(double scaleRatio) { return new Region(getLocation().scale(scaleRatio), getSize().scale(scaleRatio), getCoordinatesType()); }
public Region(Region other) { ArgumentGuard.notNull(other, "other"); left = other.getLeft(); top = other.getTop(); width = other.getWidth(); height = other.getHeight(); coordinatesType = other.getCoordinatesType(); }
CoordinatesType originalCoordinatesType = region.getCoordinatesType();
int right = containerRegion.left + containerRegion.width - 1; CoordinatesType currentType = containerRegion.getCoordinatesType();
int right = containerRegion.left + containerRegion.width - 1; CoordinatesType currentType = containerRegion.getCoordinatesType();
int right = containerRegion.left + containerRegion.width; CoordinatesType currentType = containerRegion.getCoordinatesType();
int right = containerRegion.left + containerRegion.width; CoordinatesType currentType = containerRegion.getCoordinatesType();
region.getCoordinatesType(), CoordinatesType.CONTEXT_RELATIVE);