private Dimension getSize( Dimension left, Dimension right ){ if( left != null && right != null ){ int divider = getAccess().getOwner().getDividerSize(); if( orientation == Orientation.HORIZONTAL ){ return new Dimension( left.width + divider + right.width, Math.max( left.height, right.height )); } else{ return new Dimension( Math.max( left.width, right.width ), left.height + divider + right.height ); } } else if( left != null ){ return left; } else if( right != null ){ return right; } else{ return new Dimension(); } }
/** * Gets the space that a divider needs in the width. * @return the width of a divider */ public double getDividerWidth(){ return node.getStation().getDividerSize() / node.getRoot().getWidthFactor(); }
/** * Gets the space that a divider needs in the height. * @return the height of a divider */ public double getDividerHeight(){ return node.getStation().getDividerSize() / node.getRoot().getHeightFactor(); }
/** * Gets the space that a divider needs in the width. * @return the width of a divider */ public double getDividerWidth(){ return node.getStation().getDividerSize() / node.getRoot().getWidthFactor(); }
/** * Gets the space that a divider needs in the height. * @return the height of a divider */ public double getDividerHeight(){ return node.getStation().getDividerSize() / node.getRoot().getHeightFactor(); }
double dividerNeed = station.getDividerSize() / factor;
double dividerNeed = station.getDividerSize() / factor;
int dividerSize = getAccess().getOwner().getDividerSize();
double factorW = root.getWidthFactor(); double factorH = root.getHeightFactor(); int dividerSize = getAccess().getOwner().getDividerSize();
int dividerSize = getAccess().getOwner().getDividerSize();
int dividerSize = station.getDividerSize();
int dividerSize = station.getDividerSize();