Program: 70564
Project: 70564
Buggy source:
public void testScriptStyle() throws ScriptException {
  IStyle style=reportContent.createStyle();
  IScriptStyle styleInstance=new StyleInstance(style);
  styleInstance.setBackgroundAttachment(DesignChoiceConstants.BACKGROUND_ATTACHMENT_SCROLL);
  assertEquals(DesignChoiceConstants.BACKGROUND_ATTACHMENT_SCROLL,styleInstance.getBackgroundAttachment());
  styleInstance.setBackgroundColor(RED);
  assertEquals(RED,styleInstance.getBackgroundColor());
  styleInstance.setBackgroundImage(URI);
  assertEquals(URI,styleInstance.getBackgroundImage());
  styleInstance.setBackgroundPositionX(BACKGROUND_POS_X);
  assertEquals(BACKGROUND_POS_X,styleInstance.getBackgroundPositionX());
  styleInstance.setBackgroundPositionY(BACKGROUND_POS_Y);
  assertEquals(BACKGROUND_POS_Y,styleInstance.getBackgroundPositionY());
  styleInstance.setBackgroundRepeat(DesignChoiceConstants.BACKGROUND_REPEAT_REPEAT_X);
  assertEquals(DesignChoiceConstants.BACKGROUND_REPEAT_REPEAT_X,styleInstance.getBackgroundRepeat());
  styleInstance.setBorderBottomColor(BLUE);
  assertEquals(BLUE,styleInstance.getBorderBottomColor());
  styleInstance.setBorderBottomStyle(DesignChoiceConstants.LINE_STYLE_SOLID);
  assertEquals(DesignChoiceConstants.LINE_STYLE_SOLID,styleInstance.getBorderBottomStyle());
  styleInstance.setBorderBottomWidth(BORDER_BOTTOM_WIDTH);
  assertEquals(BORDER_BOTTOM_WIDTH,styleInstance.getBorderBottomWidth());
  styleInstance.setBorderLeftColor(GREEN);
  assertEquals(GREEN,styleInstance.getBorderLeftColor());
  styleInstance.setBorderLeftStyle(DesignChoiceConstants.LINE_STYLE_DOTTED);
  assertEquals(DesignChoiceConstants.LINE_STYLE_DOTTED,styleInstance.getBorderLeftStyle());
  styleInstance.setBorderLeftWidth(BORDER_LEFT_WIDTH);
  assertEquals(BORDER_LEFT_WIDTH,styleInstance.getBorderLeftWidth());
  styleInstance.setBorderRightColor(YELLOW);
  assertEquals(YELLOW,styleInstance.getBorderRightColor());
  styleInstance.setBorderRightStyle(DesignChoiceConstants.LINE_STYLE_DASHED);
  assertEquals(DesignChoiceConstants.LINE_STYLE_DASHED,styleInstance.getBorderRightStyle());
  styleInstance.setBorderRightWidth(BORDER_RIGHT_WIDTH);
  assertEquals(BORDER_RIGHT_WIDTH,styleInstance.getBorderRightWidth());
  styleInstance.setBorderTopColor(GRAY);
  assertEquals(GRAY,styleInstance.getBorderTopColor());
  styleInstance.setBorderTopStyle(DesignChoiceConstants.LINE_STYLE_DOUBLE);
  assertEquals(DesignChoiceConstants.LINE_STYLE_DOUBLE,styleInstance.getBorderTopStyle());
  styleInstance.setBorderTopWidth(BORDER_TOP_WIDTH);
  assertEquals(BORDER_TOP_WIDTH,styleInstance.getBorderTopWidth());
  styleInstance.setCanShrink(CAN_SHRINK);
  assertEquals(CAN_SHRINK,styleInstance.getCanShrink());
  styleInstance.setColor(WHITE);
  assertEquals(WHITE,styleInstance.getColor());
  styleInstance.setDateFormat(YY_MM_DD);
  assertEquals(YY_MM_DD,styleInstance.getDateFormat());
  styleInstance.setDisplay(DesignChoiceConstants.DISPLAY_INLINE);
  assertEquals(DesignChoiceConstants.DISPLAY_INLINE,styleInstance.getDisplay());
  styleInstance.setFontFamily(DesignChoiceConstants.FONT_FAMILY_SANS_SERIF);
  assertEquals(DesignChoiceConstants.FONT_FAMILY_SANS_SERIF,styleInstance.getFontFamily());
  styleInstance.setFontSize(DesignChoiceConstants.FONT_SIZE_LARGE);
  assertEquals(DesignChoiceConstants.FONT_SIZE_LARGE,styleInstance.getFontSize());
  styleInstance.setFontStyle(DesignChoiceConstants.FONT_STYLE_ITALIC);
  assertEquals(DesignChoiceConstants.FONT_STYLE_ITALIC,styleInstance.getFontStyle());
  styleInstance.setFontVariant(DesignChoiceConstants.FONT_VARIANT_SMALL_CAPS);
  assertEquals(DesignChoiceConstants.FONT_VARIANT_SMALL_CAPS,styleInstance.getFontVariant());
  styleInstance.setFontWeight(DesignChoiceConstants.FONT_WEIGHT_BOLD);
  assertEquals(DesignChoiceConstants.FONT_WEIGHT_BOLD,styleInstance.getFontWeight());
  styleInstance.setLetterSpacing(LETTER_SPACING);
  assertEquals(LETTER_SPACING,styleInstance.getLetterSpacing());
  styleInstance.setLineHeight(HEIGHT);
  assertEquals(HEIGHT,styleInstance.getLineHeight());
  styleInstance.setMarginBottom(MARGIN_BOTTOM);
  assertEquals(MARGIN_BOTTOM,styleInstance.getMarginBottom());
  styleInstance.setMarginLeft(MARGIN_LEFT);
  assertEquals(MARGIN_LEFT,styleInstance.getMarginLeft());
  styleInstance.setMarginRight(MARGIN_RIGHT);
  assertEquals(MARGIN_RIGHT,styleInstance.getMarginRight());
  styleInstance.setMarginTop(MARGIN_TOP);
  assertEquals(MARGIN_TOP,styleInstance.getMarginTop());
  styleInstance.setMasterPage(MASTER_PAGE);
  assertEquals(MASTER_PAGE,styleInstance.getMasterPage());
  styleInstance.setNumberFormat(DesignChoiceConstants.NUMBER_FORMAT_TYPE_CURRENCY);
  assertEquals(DesignChoiceConstants.NUMBER_FORMAT_TYPE_CURRENCY,styleInstance.getNumberFormat());
  styleInstance.setPaddingBottom(PADDING_BOTTOM);
  assertEquals(PADDING_BOTTOM,styleInstance.getPaddingBottom());
  styleInstance.setPaddingLeft(PADDING_LEFT);
  assertEquals(PADDING_LEFT,styleInstance.getPaddingLeft());
  styleInstance.setPaddingRight(PADDING_RIGHT);
  assertEquals(PADDING_RIGHT,styleInstance.getPaddingRight());
  styleInstance.setPaddingTop(PADDING_TOP);
  assertEquals(PADDING_TOP,styleInstance.getPaddingTop());
  styleInstance.setPageBreakAfter(DesignChoiceConstants.PAGE_BREAK_AFTER_ALWAYS);
  assertEquals(DesignChoiceConstants.PAGE_BREAK_AFTER_ALWAYS,styleInstance.getPageBreakAfter());
  styleInstance.setPageBreakBefore(DesignChoiceConstants.PAGE_BREAK_BEFORE_AVOID);
  assertEquals(DesignChoiceConstants.PAGE_BREAK_BEFORE_AVOID,styleInstance.getPageBreakBefore());
  styleInstance.setShowIfBlank(SHOW_IF_BLANK);
  assertEquals(SHOW_IF_BLANK,styleInstance.getShowIfBlank());
  styleInstance.setStringFormat(DesignChoiceConstants.STRING_FORMAT_TYPE_ZIP_CODE);
  assertEquals(DesignChoiceConstants.STRING_FORMAT_TYPE_ZIP_CODE,styleInstance.getStringFormat());
  styleInstance.setTextAlign(DesignChoiceConstants.TEXT_ALIGN_RIGHT);
  assertEquals(DesignChoiceConstants.TEXT_ALIGN_RIGHT,styleInstance.getTextAlign());
  styleInstance.setTextIndent(TEXT_INDENT);
  assertEquals(TEXT_INDENT,styleInstance.getTextIndent());
  styleInstance.setTextLineThrough(DesignChoiceConstants.TEXT_LINE_THROUGH_LINE_THROUGH);
  assertEquals(DesignChoiceConstants.TEXT_LINE_THROUGH_LINE_THROUGH,styleInstance.getTextLineThrough());
  styleInstance.setTextOverline(DesignChoiceConstants.TEXT_OVERLINE_OVERLINE);
  assertEquals(DesignChoiceConstants.TEXT_OVERLINE_OVERLINE,styleInstance.getTextOverline());
  styleInstance.setTextTransform(DesignChoiceConstants.TRANSFORM_UPPERCASE);
  assertEquals(DesignChoiceConstants.TRANSFORM_UPPERCASE,styleInstance.getTextTransform());
  styleInstance.setTextUnderline(DesignChoiceConstants.TEXT_UNDERLINE_UNDERLINE);
  assertEquals(DesignChoiceConstants.TEXT_UNDERLINE_UNDERLINE,styleInstance.getTextUnderline());
  styleInstance.setVerticalAlign(DesignChoiceConstants.VERTICAL_ALIGN_TOP);
  assertEquals(DesignChoiceConstants.VERTICAL_ALIGN_TOP,styleInstance.getVerticalAlign());
  styleInstance.setVisibleFormat(DesignChoiceConstants.FORMAT_TYPE_ALL);
  assertEquals(DesignChoiceConstants.FORMAT_TYPE_ALL,styleInstance.getVisibleFormat());
  styleInstance.setWhiteSpace(DesignChoiceConstants.WHITE_SPACE_NOWRAP);
  assertEquals(DesignChoiceConstants.WHITE_SPACE_NOWRAP,styleInstance.getWhiteSpace());
  styleInstance.setWordSpacing(WORD_SPACING);
  assertEquals(WORD_SPACING,styleInstance.getWordSpacing());
}

Fixed version (ground truth):
public void testScriptStyle() throws ScriptException {
  IStyle style=reportContent.createStyle();
  IScriptStyle styleInstance=new StyleInstance(style,null);
  styleInstance.setBackgroundAttachment(DesignChoiceConstants.BACKGROUND_ATTACHMENT_SCROLL);
  assertEquals(DesignChoiceConstants.BACKGROUND_ATTACHMENT_SCROLL,styleInstance.getBackgroundAttachment());
  styleInstance.setBackgroundColor(RED);
  assertEquals(RED,styleInstance.getBackgroundColor());
  styleInstance.setBackgroundImage(URI);
  assertEquals(URI,styleInstance.getBackgroundImage());
  styleInstance.setBackgroundPositionX(BACKGROUND_POS_X);
  assertEquals(BACKGROUND_POS_X,styleInstance.getBackgroundPositionX());
  styleInstance.setBackgroundPositionY(BACKGROUND_POS_Y);
  assertEquals(BACKGROUND_POS_Y,styleInstance.getBackgroundPositionY());
  styleInstance.setBackgroundRepeat(DesignChoiceConstants.BACKGROUND_REPEAT_REPEAT_X);
  assertEquals(DesignChoiceConstants.BACKGROUND_REPEAT_REPEAT_X,styleInstance.getBackgroundRepeat());
  styleInstance.setBorderBottomColor(BLUE);
  assertEquals(BLUE,styleInstance.getBorderBottomColor());
  styleInstance.setBorderBottomStyle(DesignChoiceConstants.LINE_STYLE_SOLID);
  assertEquals(DesignChoiceConstants.LINE_STYLE_SOLID,styleInstance.getBorderBottomStyle());
  styleInstance.setBorderBottomWidth(BORDER_BOTTOM_WIDTH);
  assertEquals(BORDER_BOTTOM_WIDTH,styleInstance.getBorderBottomWidth());
  styleInstance.setBorderLeftColor(GREEN);
  assertEquals(GREEN,styleInstance.getBorderLeftColor());
  styleInstance.setBorderLeftStyle(DesignChoiceConstants.LINE_STYLE_DOTTED);
  assertEquals(DesignChoiceConstants.LINE_STYLE_DOTTED,styleInstance.getBorderLeftStyle());
  styleInstance.setBorderLeftWidth(BORDER_LEFT_WIDTH);
  assertEquals(BORDER_LEFT_WIDTH,styleInstance.getBorderLeftWidth());
  styleInstance.setBorderRightColor(YELLOW);
  assertEquals(YELLOW,styleInstance.getBorderRightColor());
  styleInstance.setBorderRightStyle(DesignChoiceConstants.LINE_STYLE_DASHED);
  assertEquals(DesignChoiceConstants.LINE_STYLE_DASHED,styleInstance.getBorderRightStyle());
  styleInstance.setBorderRightWidth(BORDER_RIGHT_WIDTH);
  assertEquals(BORDER_RIGHT_WIDTH,styleInstance.getBorderRightWidth());
  styleInstance.setBorderTopColor(GRAY);
  assertEquals(GRAY,styleInstance.getBorderTopColor());
  styleInstance.setBorderTopStyle(DesignChoiceConstants.LINE_STYLE_DOUBLE);
  assertEquals(DesignChoiceConstants.LINE_STYLE_DOUBLE,styleInstance.getBorderTopStyle());
  styleInstance.setBorderTopWidth(BORDER_TOP_WIDTH);
  assertEquals(BORDER_TOP_WIDTH,styleInstance.getBorderTopWidth());
  styleInstance.setCanShrink(CAN_SHRINK);
  assertEquals(CAN_SHRINK,styleInstance.getCanShrink());
  styleInstance.setColor(WHITE);
  assertEquals(WHITE,styleInstance.getColor());
  styleInstance.setDateFormat(YY_MM_DD);
  assertEquals(YY_MM_DD,styleInstance.getDateFormat());
  styleInstance.setDisplay(DesignChoiceConstants.DISPLAY_INLINE);
  assertEquals(DesignChoiceConstants.DISPLAY_INLINE,styleInstance.getDisplay());
  styleInstance.setFontFamily(DesignChoiceConstants.FONT_FAMILY_SANS_SERIF);
  assertEquals(DesignChoiceConstants.FONT_FAMILY_SANS_SERIF,styleInstance.getFontFamily());
  styleInstance.setFontSize(DesignChoiceConstants.FONT_SIZE_LARGE);
  assertEquals(DesignChoiceConstants.FONT_SIZE_LARGE,styleInstance.getFontSize());
  styleInstance.setFontStyle(DesignChoiceConstants.FONT_STYLE_ITALIC);
  assertEquals(DesignChoiceConstants.FONT_STYLE_ITALIC,styleInstance.getFontStyle());
  styleInstance.setFontVariant(DesignChoiceConstants.FONT_VARIANT_SMALL_CAPS);
  assertEquals(DesignChoiceConstants.FONT_VARIANT_SMALL_CAPS,styleInstance.getFontVariant());
  styleInstance.setFontWeight(DesignChoiceConstants.FONT_WEIGHT_BOLD);
  assertEquals(DesignChoiceConstants.FONT_WEIGHT_BOLD,styleInstance.getFontWeight());
  styleInstance.setLetterSpacing(LETTER_SPACING);
  assertEquals(LETTER_SPACING,styleInstance.getLetterSpacing());
  styleInstance.setLineHeight(HEIGHT);
  assertEquals(HEIGHT,styleInstance.getLineHeight());
  styleInstance.setMarginBottom(MARGIN_BOTTOM);
  assertEquals(MARGIN_BOTTOM,styleInstance.getMarginBottom());
  styleInstance.setMarginLeft(MARGIN_LEFT);
  assertEquals(MARGIN_LEFT,styleInstance.getMarginLeft());
  styleInstance.setMarginRight(MARGIN_RIGHT);
  assertEquals(MARGIN_RIGHT,styleInstance.getMarginRight());
  styleInstance.setMarginTop(MARGIN_TOP);
  assertEquals(MARGIN_TOP,styleInstance.getMarginTop());
  styleInstance.setMasterPage(MASTER_PAGE);
  assertEquals(MASTER_PAGE,styleInstance.getMasterPage());
  styleInstance.setNumberFormat(DesignChoiceConstants.NUMBER_FORMAT_TYPE_CURRENCY);
  assertEquals(DesignChoiceConstants.NUMBER_FORMAT_TYPE_CURRENCY,styleInstance.getNumberFormat());
  styleInstance.setPaddingBottom(PADDING_BOTTOM);
  assertEquals(PADDING_BOTTOM,styleInstance.getPaddingBottom());
  styleInstance.setPaddingLeft(PADDING_LEFT);
  assertEquals(PADDING_LEFT,styleInstance.getPaddingLeft());
  styleInstance.setPaddingRight(PADDING_RIGHT);
  assertEquals(PADDING_RIGHT,styleInstance.getPaddingRight());
  styleInstance.setPaddingTop(PADDING_TOP);
  assertEquals(PADDING_TOP,styleInstance.getPaddingTop());
  styleInstance.setPageBreakAfter(DesignChoiceConstants.PAGE_BREAK_AFTER_ALWAYS);
  assertEquals(DesignChoiceConstants.PAGE_BREAK_AFTER_ALWAYS,styleInstance.getPageBreakAfter());
  styleInstance.setPageBreakBefore(DesignChoiceConstants.PAGE_BREAK_BEFORE_AVOID);
  assertEquals(DesignChoiceConstants.PAGE_BREAK_BEFORE_AVOID,styleInstance.getPageBreakBefore());
  styleInstance.setShowIfBlank(SHOW_IF_BLANK);
  assertEquals(SHOW_IF_BLANK,styleInstance.getShowIfBlank());
  styleInstance.setStringFormat(DesignChoiceConstants.STRING_FORMAT_TYPE_ZIP_CODE);
  assertEquals(DesignChoiceConstants.STRING_FORMAT_TYPE_ZIP_CODE,styleInstance.getStringFormat());
  styleInstance.setTextAlign(DesignChoiceConstants.TEXT_ALIGN_RIGHT);
  assertEquals(DesignChoiceConstants.TEXT_ALIGN_RIGHT,styleInstance.getTextAlign());
  styleInstance.setTextIndent(TEXT_INDENT);
  assertEquals(TEXT_INDENT,styleInstance.getTextIndent());
  styleInstance.setTextLineThrough(DesignChoiceConstants.TEXT_LINE_THROUGH_LINE_THROUGH);
  assertEquals(DesignChoiceConstants.TEXT_LINE_THROUGH_LINE_THROUGH,styleInstance.getTextLineThrough());
  styleInstance.setTextOverline(DesignChoiceConstants.TEXT_OVERLINE_OVERLINE);
  assertEquals(DesignChoiceConstants.TEXT_OVERLINE_OVERLINE,styleInstance.getTextOverline());
  styleInstance.setTextTransform(DesignChoiceConstants.TRANSFORM_UPPERCASE);
  assertEquals(DesignChoiceConstants.TRANSFORM_UPPERCASE,styleInstance.getTextTransform());
  styleInstance.setTextUnderline(DesignChoiceConstants.TEXT_UNDERLINE_UNDERLINE);
  assertEquals(DesignChoiceConstants.TEXT_UNDERLINE_UNDERLINE,styleInstance.getTextUnderline());
  styleInstance.setVerticalAlign(DesignChoiceConstants.VERTICAL_ALIGN_TOP);
  assertEquals(DesignChoiceConstants.VERTICAL_ALIGN_TOP,styleInstance.getVerticalAlign());
  styleInstance.setVisibleFormat(DesignChoiceConstants.FORMAT_TYPE_ALL);
  assertEquals(DesignChoiceConstants.FORMAT_TYPE_ALL,styleInstance.getVisibleFormat());
  styleInstance.setWhiteSpace(DesignChoiceConstants.WHITE_SPACE_NOWRAP);
  assertEquals(DesignChoiceConstants.WHITE_SPACE_NOWRAP,styleInstance.getWhiteSpace());
  styleInstance.setWordSpacing(WORD_SPACING);
  assertEquals(WORD_SPACING,styleInstance.getWordSpacing());
}