public BorderPropertySet(BorderPropertySet border) {
this(border.top(), border.right(), border.bottom(), border.left());
this._topStyle = border.topStyle();
this._rightStyle = border.rightStyle();
this._bottomStyle = border.bottomStyle();
this._leftStyle = border.leftStyle();
this._topColor = border.topColor();
this._rightColor = border.rightColor();
this._bottomColor = border.bottomColor();
this._leftColor = border.leftColor();
this._topLeft = border._topLeft;
this._topRight = border._topRight;
this._bottomLeft = border._bottomLeft;
this._bottomRight = border._bottomRight;
}
public BorderPropertySet(
BorderPropertySet top,
BorderPropertySet right,
BorderPropertySet bottom,
BorderPropertySet left) {
this((top.width() + 1) / 2, right.width() / 2, bottom.width() / 2, (left.width() + 1) / 2);
this._topStyle = top.topStyle();
this._rightStyle = right.rightStyle();
this._bottomStyle = bottom.bottomStyle();
this._leftStyle = left.leftStyle();
this._topColor = top.topColor();
this._rightColor = right.rightColor();
this._bottomColor = bottom.bottomColor();
this._leftColor = left.leftColor();
this._topLeft = new BorderRadiusCorner();
this._topRight = new BorderRadiusCorner();
this._bottomLeft = new BorderRadiusCorner();
this._bottomRight = new BorderRadiusCorner();
}