public Border getMarginWidth(Context c, float parentWidth) { Border result = c.getCurrentStyle().getMarginWidth(parentWidth, parentWidth, c.getCtx());
public Border getMarginWidth() { if (marginWidth == null) { throw new NullPointerException("internal error: marginWidth is null"); }
    public Border getMarginWidth(Context c, float parentWidth) {        Border result = c.getCurrentStyle().getMarginWidth(parentWidth, parentWidth, c.getCtx());        if (this.marginTopOverrideSet) {            result.top = (int) this.marginTopOverride;        }        if (this.marginBottomOverrideSet) {            result.bottom = (int) this.marginBottomOverride;        }        return result;    }