nus-yam/ex-repair huggingface dataset:
Program: 130331
Project: 130331
Buggy source:
/** 
 * This method should fail because the value is greater than or equal to.
 */
@Test public void should_fail_because_value_is_equal_to(){
  WritableAssertionInfo info=new WritableAssertionInfo();
  info.description("String_Node_Str");
  Table table=new Table();
  TableAssert tableAssert=assertThat(table);
  try {
    AssertionsOnValueNonEquality.isNotEqualTo(tableAssert,info,8,8);
    fail("String_Node_Str");
  }
 catch (  AssertionError e) {
    Assertions.assertThat(e.getMessage()).isEqualTo(String.format("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"));
  }
}

Fixed version (ground truth):
/** 
 * This method should fail because the value is equal to.
 */
@Test public void should_fail_because_value_is_equal_to(){
  WritableAssertionInfo info=new WritableAssertionInfo();
  info.description("String_Node_Str");
  Table table=new Table();
  TableAssert tableAssert=assertThat(table);
  try {
    AssertionsOnValueNonEquality.isNotEqualTo(tableAssert,info,8,8);
    fail("String_Node_Str");
  }
 catch (  AssertionError e) {
    Assertions.assertThat(e.getMessage()).isEqualTo(String.format("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"));
  }
}
Program: 130333
Project: 130333
Buggy source:
/** 
 * This method should fail because the value is greater than or equal to.
 */
@Test public void should_fail_because_value_is_equal_to(){
  WritableAssertionInfo info=new WritableAssertionInfo();
  info.description("String_Node_Str");
  Table table=new Table();
  TableAssert tableAssert=assertThat(table);
  try {
    AssertionsOnValueNonEquality.isNotEqualTo(tableAssert,info,Time.valueOf("String_Node_Str"),TimeValue.of(9,1));
    fail("String_Node_Str");
  }
 catch (  AssertionError e) {
    Assertions.assertThat(e.getMessage()).isEqualTo(String.format("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"));
  }
}

Fixed version (ground truth):
/** 
 * This method should fail because the value is equal to.
 */
@Test public void should_fail_because_value_is_equal_to(){
  WritableAssertionInfo info=new WritableAssertionInfo();
  info.description("String_Node_Str");
  Table table=new Table();
  TableAssert tableAssert=assertThat(table);
  try {
    AssertionsOnValueNonEquality.isNotEqualTo(tableAssert,info,Time.valueOf("String_Node_Str"),TimeValue.of(9,1));
    fail("String_Node_Str");
  }
 catch (  AssertionError e) {
    Assertions.assertThat(e.getMessage()).isEqualTo(String.format("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"));
  }
}
Program: 130334
Project: 130334
Buggy source:
/** 
 * Returns the catalog from a connection.
 * @param connection The connection with the catalog
 * @return The catalog from a connection.
 * @throws SQLException SQL Exception
 */
protected static String getCatalog(Connection connection) throws SQLException {
  Class<? extends Connection> connectionClass=connection.getClass();
  Method[] methods=connectionClass.getMethods();
  for (  Method method : methods) {
    if ("String_Node_Str".equals(method.getName())) {
      int modifiers=method.getModifiers();
      if (Modifier.isAbstract(modifiers)) {
        return null;
      }
    }
  }
  return connection.getCatalog();
}

Fixed version (ground truth):
/** 
 * Returns the catalog from a connection.
 * @param connection The connection with the catalog
 * @return The catalog from a connection.
 * @throws SQLException SQL Exception
 */
protected static String getCatalog(Connection connection) throws SQLException {
  try {
    return connection.getCatalog();
  }
 catch (  SQLException exception) {
    throw exception;
  }
catch (  Throwable throwable) {
    return null;
  }
}
Program: 130335
Project: 130335
Buggy source:
/** 
 * Returns the schema from a connection.
 * @param connection The connection with the catalog
 * @return The schema from a connection.
 * @throws SQLException SQL Exception
 */
protected static String getSchema(Connection connection) throws SQLException {
  Class<? extends Connection> connectionClass=connection.getClass();
  Method[] methods=connectionClass.getMethods();
  for (  Method method : methods) {
    if ("String_Node_Str".equals(method.getName())) {
      int modifiers=method.getModifiers();
      if (Modifier.isAbstract(modifiers)) {
        return null;
      }
    }
  }
  return connection.getSchema();
}

Fixed version (ground truth):
/** 
 * Returns the schema from a connection.
 * @param connection The connection with the catalog
 * @return The schema from a connection.
 * @throws SQLException SQL Exception
 */
protected static String getSchema(Connection connection) throws SQLException {
  try {
    return connection.getSchema();
  }
 catch (  SQLException exception) {
    throw exception;
  }
catch (  Throwable throwable) {
    return null;
  }
}
Program: 130336
Project: 130336
Buggy source:
/** 
 * {@inheritDoc} 
 */
@Override public ChangeRowAssert rowAtStartPoint(){
  if (changeRowAssertAtStartPoint == null) {
    StringBuilder stringBuilder=new StringBuilder("String_Node_Str");
    stringBuilder.append(info.descriptionText());
    changeRowAssertAtStartPoint=new ChangeRowAssert(this,change.getRowAtStartPoint()).as(stringBuilder.toString());
  }
  return changeRowAssertAtStartPoint;
}

Fixed version (ground truth):
/** 
 * {@inheritDoc} 
 */
@Override public ChangeRowAssert rowAtStartPoint(){
  if (changeRowAssertAtStartPoint == null) {
    String string="String_Node_Str" + info.descriptionText();
    changeRowAssertAtStartPoint=new ChangeRowAssert(this,change.getRowAtStartPoint()).as(string);
  }
  return changeRowAssertAtStartPoint;
}
Program: 130337
Project: 130337
Buggy source:
/** 
 * {@inheritDoc} 
 */
@Override public ChangeRowAssert rowAtEndPoint(){
  if (changeRowAssertAtEndPoint == null) {
    StringBuilder stringBuilder=new StringBuilder("String_Node_Str");
    stringBuilder.append(info.descriptionText());
    changeRowAssertAtEndPoint=new ChangeRowAssert(this,change.getRowAtEndPoint()).as(stringBuilder.toString());
  }
  return changeRowAssertAtEndPoint;
}

Fixed version (ground truth):
/** 
 * {@inheritDoc} 
 */
@Override public ChangeRowAssert rowAtEndPoint(){
  if (changeRowAssertAtEndPoint == null) {
    String string="String_Node_Str" + info.descriptionText();
    changeRowAssertAtEndPoint=new ChangeRowAssert(this,change.getRowAtEndPoint()).as(string);
  }
  return changeRowAssertAtEndPoint;
}
Program: 130338
Project: 130338
Buggy source:
/** 
 * {@inheritDoc} 
 */
@Override public ChangeColumnValueAssert valueAtStartPoint(){
  if (changeColumnValueAssertAtStartPoint == null) {
    StringBuilder stringBuilder=new StringBuilder("String_Node_Str");
    stringBuilder.append(info.descriptionText());
    changeColumnValueAssertAtStartPoint=new ChangeColumnValueAssert(this,valueAtStartPoint).as(stringBuilder.toString());
  }
  return changeColumnValueAssertAtStartPoint;
}

Fixed version (ground truth):
/** 
 * {@inheritDoc} 
 */
@Override public ChangeColumnValueAssert valueAtStartPoint(){
  if (changeColumnValueAssertAtStartPoint == null) {
    String string="String_Node_Str" + info.descriptionText();
    changeColumnValueAssertAtStartPoint=new ChangeColumnValueAssert(this,valueAtStartPoint).as(string);
  }
  return changeColumnValueAssertAtStartPoint;
}
Program: 130339
Project: 130339
Buggy source:
/** 
 * {@inheritDoc} 
 */
@Override public ChangeColumnValueAssert valueAtEndPoint(){
  if (changeColumnValueAssertAtEndPoint == null) {
    StringBuilder stringBuilder=new StringBuilder("String_Node_Str");
    stringBuilder.append(info.descriptionText());
    changeColumnValueAssertAtEndPoint=new ChangeColumnValueAssert(this,valueAtEndPoint).as(stringBuilder.toString());
  }
  return changeColumnValueAssertAtEndPoint;
}

Fixed version (ground truth):
/** 
 * {@inheritDoc} 
 */
@Override public ChangeColumnValueAssert valueAtEndPoint(){
  if (changeColumnValueAssertAtEndPoint == null) {
    String string="String_Node_Str" + info.descriptionText();
    changeColumnValueAssertAtEndPoint=new ChangeColumnValueAssert(this,valueAtEndPoint).as(string);
  }
  return changeColumnValueAssertAtEndPoint;
}
Program: 130341
Project: 130341
Buggy source:
/** 
 * Verifies that the columns og the primary key of the rows of the change is the same as the parameters.
 * @param < A >       The type of the assertion which call this method.
 * @param assertion The assertion which call this method.
 * @param info      Writable information about an assertion.
 * @param change    The change.
 * @param names     The names of the primary key associated with the rows of the change.
 * @return {@code this} assertion object.
 * @throws AssertionError                 If the columns of the primary key are different to the names in parameters.
 * @throws java.lang.NullPointerException If one of the names in parameters is {@code null}.
 */
public static <A extends AbstractAssert>A hasPksNames(A assertion,WritableAssertionInfo info,Change change,String... names){
  if (names == null) {
    throw new NullPointerException("String_Node_Str");
  }
  List<String> pksNameList=change.getPksNameList();
  List<String> pksList=new ArrayList<String>(pksNameList);
  Collections.sort(pksList);
  List<String> namesList=new ArrayList<String>();
  for (  String name : names) {
    if (name == null) {
      throw new NullPointerException("String_Node_Str");
    }
    namesList.add(name.toUpperCase());
  }
  Collections.sort(namesList);
  if (!namesList.equals(pksList)) {
    String[] pksNames=pksNameList.toArray(new String[pksNameList.size()]);
    throw failures.failure(info,shouldHavePksNames(pksNames,names));
  }
  return assertion;
}

Fixed version (ground truth):
/** 
 * Verifies that the columns og the primary key of the rows of the change is the same as the parameters.
 * @param < A >       The type of the assertion which call this method.
 * @param assertion The assertion which call this method.
 * @param info      Writable information about an assertion.
 * @param change    The change.
 * @param names     The names of the primary key associated with the rows of the change.
 * @return {@code this} assertion object.
 * @throws AssertionError                 If the columns of the primary key are different to the names in parameters.
 * @throws java.lang.NullPointerException If one of the names in parameters is {@code null}.
 */
public static <A extends AbstractAssert>A hasPksNames(A assertion,WritableAssertionInfo info,Change change,String... names){
  if (names == null) {
    throw new NullPointerException("String_Node_Str");
  }
  List<String> pksNameList=change.getPksNameList();
  List<String> pksList=new ArrayList<>(pksNameList);
  Collections.sort(pksList);
  List<String> namesList=new ArrayList<>();
  for (  String name : names) {
    if (name == null) {
      throw new NullPointerException("String_Node_Str");
    }
    namesList.add(name.toUpperCase());
  }
  Collections.sort(namesList);
  if (!namesList.equals(pksList)) {
    String[] pksNames=pksNameList.toArray(new String[pksNameList.size()]);
    throw failures.failure(info,shouldHavePksNames(pksNames,names));
  }
  return assertion;
}
Program: 130342
Project: 130342
Buggy source:
/** 
 * Constructor.
 * @param actual The actual value in the failed assertion.
 * @param expected The expected value to compare to.
 */
public ShouldBeAfter(Object actual,Object expected){
  super("String_Node_Str",actual,expected);
}

Fixed version (ground truth):
/** 
 * Constructor.
 * @param actual The actual value in the failed assertion.
 * @param expected The expected value to compare to.
 */
private ShouldBeAfter(Object actual,Object expected){
  super("String_Node_Str",actual,expected);
}
Program: 130343
Project: 130343
Buggy source:
/** 
 * Constructor.
 * @param actual The actual value in the failed assertion.
 * @param expected The expected value to compare to.
 */
public ShouldBeAfterOrEqual(Object actual,Object expected){
  super("String_Node_Str",actual,expected);
}

Fixed version (ground truth):
/** 
 * Constructor.
 * @param actual The actual value in the failed assertion.
 * @param expected The expected value to compare to.
 */
private ShouldBeAfterOrEqual(Object actual,Object expected){
  super("String_Node_Str",actual,expected);
}
Program: 130344
Project: 130344
Buggy source:
/** 
 * Constructor.
 * @param actual The actual value in the failed assertion.
 * @param expected The expected value to compare to.
 */
public ShouldBeBefore(Object actual,Object expected){
  super("String_Node_Str",actual,expected);
}

Fixed version (ground truth):
/** 
 * Constructor.
 * @param actual The actual value in the failed assertion.
 * @param expected The expected value to compare to.
 */
private ShouldBeBefore(Object actual,Object expected){
  super("String_Node_Str",actual,expected);
}
Program: 130345
Project: 130345
Buggy source:
/** 
 * Constructor.
 * @param actual The actual value in the failed assertion.
 * @param expected The expected value to compare to.
 */
public ShouldBeBeforeOrEqual(Object actual,Object expected){
  super("String_Node_Str",actual,expected);
}

Fixed version (ground truth):
/** 
 * Constructor.
 * @param actual The actual value in the failed assertion.
 * @param expected The expected value to compare to.
 */
private ShouldBeBeforeOrEqual(Object actual,Object expected){
  super("String_Node_Str",actual,expected);
}
Program: 130346
Project: 130346
Buggy source:
/** 
 * Constructor.
 * @param expected The expected type.
 * @param tested   The tested type.
 */
public ShouldBeChangeType(ChangeType expected,ChangeType tested){
  super(EXPECTED_MESSAGE,expected,tested);
}

Fixed version (ground truth):
/** 
 * Constructor.
 * @param expected The expected type.
 * @param tested   The tested type.
 */
private ShouldBeChangeType(ChangeType expected,ChangeType tested){
  super(EXPECTED_MESSAGE,expected,tested);
}
Program: 130347
Project: 130347
Buggy source:
/** 
 * Constructor.
 * @param expected The expected type.
 * @param tested   The tested type.
 */
public ShouldBeDataType(DataType expected,DataType tested){
  super(EXPECTED_MESSAGE,expected,tested);
}

Fixed version (ground truth):
/** 
 * Constructor.
 * @param expected The expected type.
 * @param tested   The tested type.
 */
private ShouldBeDataType(DataType expected,DataType tested){
  super(EXPECTED_MESSAGE,expected,tested);
}
Program: 130348
Project: 130348
Buggy source:
/** 
 * Constructor.
 * @param index The index of the value.
 */
public ShouldBeEqual(int index){
  super(EXPECTED_MESSAGE_BUT_NOT_WITH_INDEX,index);
}

Fixed version (ground truth):
/** 
 * Constructor.
 * @param index The index of the value.
 */
private ShouldBeEqual(int index){
  super(EXPECTED_MESSAGE_BUT_NOT_WITH_INDEX,index);
}
Program: 130349
Project: 130349
Buggy source:
/** 
 * Constructor.
 */
public ShouldBeEqualWithEndPoint(){
  super(EXPECTED_MESSAGE_WITHOUT_VALUES);
}

Fixed version (ground truth):
/** 
 * Constructor.
 */
private ShouldBeEqualWithEndPoint(){
  super(EXPECTED_MESSAGE_WITHOUT_VALUES);
}
Program: 130350
Project: 130350
Buggy source:
/** 
 * Constructor.
 */
public ShouldBeEqualWithStartPoint(){
  super(EXPECTED_MESSAGE_WITHOUT_VALUES);
}

Fixed version (ground truth):
/** 
 * Constructor.
 */
private ShouldBeEqualWithStartPoint(){
  super(EXPECTED_MESSAGE_WITHOUT_VALUES);
}
Program: 130351
Project: 130351
Buggy source:
/** 
 * Constructor.
 * @param actual The actual value in the failed assertion.
 * @param expected The expected value to compare to.
 */
public ShouldBeGreater(Object actual,Object expected){
  super("String_Node_Str",actual,expected);
}

Fixed version (ground truth):
/** 
 * Constructor.
 * @param actual The actual value in the failed assertion.
 * @param expected The expected value to compare to.
 */
private ShouldBeGreater(Object actual,Object expected){
  super("String_Node_Str",actual,expected);
}
Program: 130352
Project: 130352
Buggy source:
/** 
 * Constructor.
 * @param actual The actual value in the failed assertion.
 * @param expected The expected value to compare to.
 */
public ShouldBeGreaterOrEqual(Object actual,Object expected){
  super("String_Node_Str",actual,expected);
}

Fixed version (ground truth):
/** 
 * Constructor.
 * @param actual The actual value in the failed assertion.
 * @param expected The expected value to compare to.
 */
private ShouldBeGreaterOrEqual(Object actual,Object expected){
  super("String_Node_Str",actual,expected);
}
Program: 130353
Project: 130353
Buggy source:
/** 
 * Constructor.
 * @param actual The actual value in the failed assertion.
 * @param expected The expected value to compare to.
 */
public ShouldBeLess(Object actual,Object expected){
  super("String_Node_Str",actual,expected);
}

Fixed version (ground truth):
/** 
 * Constructor.
 * @param actual The actual value in the failed assertion.
 * @param expected The expected value to compare to.
 */
private ShouldBeLess(Object actual,Object expected){
  super("String_Node_Str",actual,expected);
}
Program: 130354
Project: 130354
Buggy source:
/** 
 * Constructor.
 * @param actual The actual value in the failed assertion.
 * @param expected The expected value to compare to.
 */
public ShouldBeLessOrEqual(Object actual,Object expected){
  super("String_Node_Str",actual,expected);
}

Fixed version (ground truth):
/** 
 * Constructor.
 * @param actual The actual value in the failed assertion.
 * @param expected The expected value to compare to.
 */
private ShouldBeLessOrEqual(Object actual,Object expected){
  super("String_Node_Str",actual,expected);
}
Program: 130355
Project: 130355
Buggy source:
/** 
 * Constructor.
 * @param valueAtStartPoint The value at start point.
 * @param valueAtEndPoint The value at end point.
 */
public ShouldBeModified(Object valueAtStartPoint,Object valueAtEndPoint){
  super("String_Node_Str",valueAtStartPoint,valueAtEndPoint);
}

Fixed version (ground truth):
/** 
 * Constructor.
 * @param valueAtStartPoint The value at start point.
 * @param valueAtEndPoint The value at end point.
 */
private ShouldBeModified(Object valueAtStartPoint,Object valueAtEndPoint){
  super("String_Node_Str",valueAtStartPoint,valueAtEndPoint);
}
Program: 130356
Project: 130356
Buggy source:
/** 
 * Constructor.
 * @param expected The expected table.
 * @param tested   The tested table.
 */
public ShouldBeOnTable(String expected,String tested){
  super(EXPECTED_MESSAGE,expected,tested);
}

Fixed version (ground truth):
/** 
 * Constructor.
 * @param expected The expected table.
 * @param tested   The tested table.
 */
private ShouldBeOnTable(String expected,String tested){
  super(EXPECTED_MESSAGE,expected,tested);
}
Program: 130357
Project: 130357
Buggy source:
/** 
 * Constructor.
 * @param index The index of the value.
 * @param actual The actual value in the failed assertion.
 * @param expected The expected type.
 * @param tested The tested type.
 */
public ShouldBeValueType(int index,Object actual,ValueType expected,ValueType tested){
  super(EXPECTED_MESSAGE_WITH_INDEX,index,actual,expected,tested);
}

Fixed version (ground truth):
/** 
 * Constructor.
 * @param index The index of the value.
 * @param actual The actual value in the failed assertion.
 * @param expected The expected type.
 * @param tested The tested type.
 */
private ShouldBeValueType(int index,Object actual,ValueType expected,ValueType tested){
  super(EXPECTED_MESSAGE_WITH_INDEX,index,actual,expected,tested);
}
Program: 130358
Project: 130358
Buggy source:
/** 
 * Constructor.
 * @param index The index of the value.
 * @param actual The actual value in the failed assertion.
 * @param tested The tested type.
 * @param expected The expected types.
 */
public ShouldBeValueTypeOfAny(int index,Object actual,ValueType tested,ValueType... expected){
  super(EXPECTED_MESSAGE_WITH_INDEX,index,actual,expected,tested);
}

Fixed version (ground truth):
/** 
 * Constructor.
 * @param index The index of the value.
 * @param actual The actual value in the failed assertion.
 * @param tested The tested type.
 * @param expected The expected types.
 */
private ShouldBeValueTypeOfAny(int index,Object actual,ValueType tested,ValueType... expected){
  super(EXPECTED_MESSAGE_WITH_INDEX,index,actual,expected,tested);
}
Program: 130359
Project: 130359
Buggy source:
/** 
 * Constructor.
 * @param actual The actual value in the failed assertion.
 * @param tested The tested type.
 * @param expected The expected types.
 */
public ShouldBeValueTypeOfAnyWithEndPoint(Object actual,ValueType tested,ValueType... expected){
  super(EXPECTED_MESSAGE,actual,expected,tested);
}

Fixed version (ground truth):
/** 
 * Constructor.
 * @param actual The actual value in the failed assertion.
 * @param tested The tested type.
 * @param expected The expected types.
 */
private ShouldBeValueTypeOfAnyWithEndPoint(Object actual,ValueType tested,ValueType... expected){
  super(EXPECTED_MESSAGE,actual,expected,tested);
}
Program: 130360
Project: 130360
Buggy source:
/** 
 * Constructor.
 * @param actual The actual value in the failed assertion.
 * @param tested The tested type.
 * @param expected The expected types.
 */
public ShouldBeValueTypeOfAnyWithStartPoint(Object actual,ValueType tested,ValueType... expected){
  super(EXPECTED_MESSAGE,actual,expected,tested);
}

Fixed version (ground truth):
/** 
 * Constructor.
 * @param actual The actual value in the failed assertion.
 * @param tested The tested type.
 * @param expected The expected types.
 */
private ShouldBeValueTypeOfAnyWithStartPoint(Object actual,ValueType tested,ValueType... expected){
  super(EXPECTED_MESSAGE,actual,expected,tested);
}
Program: 130361
Project: 130361
Buggy source:
/** 
 * Constructor.
 * @param actual The actual value in the failed assertion.
 * @param expected The expected type.
 * @param tested The tested type.
 */
public ShouldBeValueTypeWithEndPoint(Object actual,ValueType expected,ValueType tested){
  super(EXPECTED_MESSAGE,actual,expected,tested);
}

Fixed version (ground truth):
/** 
 * Constructor.
 * @param actual The actual value in the failed assertion.
 * @param expected The expected type.
 * @param tested The tested type.
 */
private ShouldBeValueTypeWithEndPoint(Object actual,ValueType expected,ValueType tested){
  super(EXPECTED_MESSAGE,actual,expected,tested);
}
Program: 130363
Project: 130363
Buggy source:
/** 
 * Verifies that the columns og the primary key of the rows of the change is the same as the parameters.
 * @param < A >       The type of the assertion which call this method.
 * @param assertion The assertion which call this method.
 * @param info      Info on the object to assert.
 * @param change    The change.
 * @param names     The names of the primary key associated with the rows of the change.
 * @return {@code this} assertion object.
 * @throws AssertionError                 If the columns of the primary key are different to the names in parameters.
 * @throws java.lang.NullPointerException If one of the names in parameters is {@code null}.
 */
public static <A extends AbstractAssert>A hasPksNames(A assertion,WritableAssertionInfo info,Change change,String... names){
  if (names == null) {
    throw new NullPointerException("String_Node_Str");
  }
  List<String> pksNameList=change.getPksNameList();
  List<String> pksList=new ArrayList(pksNameList);
  Collections.sort(pksList);
  List<String> namesList=new ArrayList();
  for (  String name : names) {
    if (name == null) {
      throw new NullPointerException("String_Node_Str");
    }
    namesList.add(name.toUpperCase());
  }
  Collections.sort(namesList);
  if (!namesList.equals(pksList)) {
    String[] pksNames=pksNameList.toArray(new String[pksNameList.size()]);
    throw failures.failure(info,shouldHavePksNames(pksNames,names));
  }
  return assertion;
}

Fixed version (ground truth):
/** 
 * Verifies that the columns og the primary key of the rows of the change is the same as the parameters.
 * @param < A >       The type of the assertion which call this method.
 * @param assertion The assertion which call this method.
 * @param info      Info on the object to assert.
 * @param change    The change.
 * @param names     The names of the primary key associated with the rows of the change.
 * @return {@code this} assertion object.
 * @throws AssertionError                 If the columns of the primary key are different to the names in parameters.
 * @throws java.lang.NullPointerException If one of the names in parameters is {@code null}.
 */
public static <A extends AbstractAssert>A hasPksNames(A assertion,WritableAssertionInfo info,Change change,String... names){
  if (names == null) {
    throw new NullPointerException("String_Node_Str");
  }
  List<String> pksNameList=change.getPksNameList();
  List<String> pksList=new ArrayList<String>(pksNameList);
  Collections.sort(pksList);
  List<String> namesList=new ArrayList<String>();
  for (  String name : names) {
    if (name == null) {
      throw new NullPointerException("String_Node_Str");
    }
    namesList.add(name.toUpperCase());
  }
  Collections.sort(namesList);
  if (!namesList.equals(pksList)) {
    String[] pksNames=pksNameList.toArray(new String[pksNameList.size()]);
    throw failures.failure(info,shouldHavePksNames(pksNames,names));
  }
  return assertion;
}
Program: 130364
Project: 130364
Buggy source:
/** 
 * This method tests the   {@code haveValuesEqualTo} assertion method.
 */
@Test public void test_haveValuesEqualTo_assertion(){
  Table table=new Table(source,"String_Node_Str");
  assertThat(table).column().as("String_Node_Str").haveValuesEqualTo(1,10,100,0).column("String_Node_Str").haveValuesEqualTo(2,20,25,0).column().as("String_Node_Str").haveValuesEqualTo(3,30,300,0).column().as("String_Node_Str").haveValuesEqualTo(4,40,400,0).column().as("String_Node_Str").haveValuesEqualTo(5.6,50.6,500.6,0).column().as("String_Node_Str").haveValuesEqualTo(7.8,70.8,700.8,0).column("String_Node_Str").haveValuesEqualTo(5,50,500,500).column().as("String_Node_Str").haveValuesEqualTo(7,70,700,700);
  Table table2=new Table(source,"String_Node_Str");
  assertThat(table2).column("String_Node_Str").haveValuesEqualTo(1,null).column("String_Node_Str").haveValuesEqualTo(2,null).column("String_Node_Str").haveValuesEqualTo(3,null).column("String_Node_Str").haveValuesEqualTo(4,null).column("String_Node_Str").haveValuesEqualTo(5.6,null).column("String_Node_Str").haveValuesEqualTo(7.8,null).column("String_Node_Str").haveValuesEqualTo(5,null).column("String_Node_Str").haveValuesEqualTo(7,null);
}

Fixed version (ground truth):
/** 
 * This method tests the   {@code haveValuesEqualTo} assertion method.
 */
@Test public void test_haveValuesEqualTo_assertion(){
  Table table=new Table(source,"String_Node_Str");
  assertThat(table).column().as("String_Node_Str").haveValuesEqualTo(1,10,100,1000).column("String_Node_Str").haveValuesEqualTo(2,20,25,0).column().as("String_Node_Str").haveValuesEqualTo(3,30,300,0).column().as("String_Node_Str").haveValuesEqualTo(4,40,400,0).column().as("String_Node_Str").haveValuesEqualTo(5.6,50.6,500.6,0).column().as("String_Node_Str").haveValuesEqualTo(7.8,70.8,700.8,0).column("String_Node_Str").haveValuesEqualTo(5,50,500,500).column().as("String_Node_Str").haveValuesEqualTo(7,70,700,700);
  Table table2=new Table(source,"String_Node_Str");
  assertThat(table2).column("String_Node_Str").haveValuesEqualTo(1,null).column("String_Node_Str").haveValuesEqualTo(2,null).column("String_Node_Str").haveValuesEqualTo(3,null).column("String_Node_Str").haveValuesEqualTo(4,null).column("String_Node_Str").haveValuesEqualTo(5.6,null).column("String_Node_Str").haveValuesEqualTo(7.8,null).column("String_Node_Str").haveValuesEqualTo(5,null).column("String_Node_Str").haveValuesEqualTo(7,null);
}
Program: 130366
Project: 130366
Buggy source:
/** 
 * This method tests that the value is equal to zero.
 */
@Test public void test_if_value_is_zero(){
  Table table=new Table(source,"String_Node_Str");
  assertThat(table).row(3).value("String_Node_Str").isZero().returnToRow().value("String_Node_Str").isZero().returnToRow().value("String_Node_Str").isZero().returnToRow().value("String_Node_Str").isZero().returnToRow().value("String_Node_Str").isZero().returnToRow().value("String_Node_Str").isZero();
}

Fixed version (ground truth):
/** 
 * This method tests that the value is equal to zero.
 */
@Test public void test_if_value_is_zero(){
  Table table=new Table(source,"String_Node_Str");
  assertThat(table).row(3).value("String_Node_Str").isZero().returnToRow().value("String_Node_Str").isZero().returnToRow().value("String_Node_Str").isZero().returnToRow().value("String_Node_Str").isZero().returnToRow().value("String_Node_Str").isZero();
}
Program: 130367
Project: 130367
Buggy source:
/** 
 * Collects rows from a   {@link ResultSet}. <p> This method browse the   {@link ResultSet} in parameter to get the data and fill the list of {@link Row} ({@link #rowsList}) with these data. </p>
 * @param resultSet The {@link ResultSet}.
 * @throws SQLException A SQL Exception.
 */
protected void collectRowsFromResultSet(ResultSet resultSet) throws SQLException {
  rowsList=new ArrayList<Row>();
  while (resultSet.next()) {
    List<Object> objectsList=new ArrayList<Object>();
    for (    String columnName : columnsNameList) {
      objectsList.add(resultSet.getObject(columnName));
    }
    rowsList.add(new Row(pksNameList,columnsNameList,objectsList));
  }
}

Fixed version (ground truth):
/** 
 * Collects rows from a   {@link ResultSet}. <p> This method browse the   {@link ResultSet} in parameter to get the data and fill the list of {@link Row} ({@link #rowsList}) with these data. </p>
 * @param resultSet The {@link ResultSet}.
 * @throws SQLException A SQL Exception.
 */
protected void collectRowsFromResultSet(ResultSet resultSet) throws SQLException {
  ResultSetMetaData metaData=resultSet.getMetaData();
  rowsList=new ArrayList<Row>();
  while (resultSet.next()) {
    List<Object> objectsList=new ArrayList<Object>();
    for (    String columnName : columnsNameList) {
      int index=columnsNameList.indexOf(columnName);
      int type=metaData.getColumnType(index + 1);
switch (type) {
case Types.DATE:
        objectsList.add(resultSet.getDate(columnName));
      break;
case Types.TIME:
    objectsList.add(resultSet.getTime(columnName));
  break;
case Types.TIMESTAMP:
objectsList.add(resultSet.getTimestamp(columnName));
break;
default :
objectsList.add(resultSet.getObject(columnName));
break;
}
}
rowsList.add(new Row(pksNameList,columnsNameList,objectsList));
}
}
Program: 130368
Project: 130368
Buggy source:
/** 
 * @param module
 * @param registerOpcode
 * @param data
 */
private void queueCommand(byte[] command){
  boolean first=true;
  String str="String_Node_Str";
  for (  byte b : command) {
    if (first) {
      str+=String.format("String_Node_Str",b);
      first=false;
    }
 else {
      str+=String.format("String_Node_Str",b);
    }
  }
  str+="String_Node_Str";
  Log.d("String_Node_Str",str);
  commandBytes.add(command);
  if (deviceState == DeviceState.READY) {
    deviceState=DeviceState.WRITING_CHARACTERISTICS;
    writeCommand();
  }
}

Fixed version (ground truth):
/** 
 * @param module
 * @param registerOpcode
 * @param data
 */
private void queueCommand(byte[] command){
  commandBytes.add(command);
  if (deviceState == DeviceState.READY) {
    deviceState=DeviceState.WRITING_CHARACTERISTICS;
    writeCommand();
  }
}
Program: 130369
Project: 130369
Buggy source:
/** 
 * Get the controller for the desired module
 * @param module Module to control
 * @return Controller for the desired module
 */
public ModuleController getModuleController(Module module);

Fixed version (ground truth):
/** 
 * Get the controller for the desired module
 * @param module Module to control
 * @param clean True if a new ModuleController should be instantiated 
 * @return Controller for the desired module
 */
public ModuleController getModuleController(Module module,boolean clean);
Program: 130370
Project: 130370
Buggy source:
/** 
 * Adds a filter.  When the filter has been added, the   {@link Callbacks#receivedFilterId(byte)} callback function will be called with a user id representing the new filter
 * @param trigger Trigger to filter data on
 * @param config Configuration of the filter to add
 */
public void addFilter(Trigger trigger,FilterConfig config);

Fixed version (ground truth):
/** 
 * Adds a filter that operates on the trigger output.  Filter triggers can have up  to a length of 8 bytes. When the filter has been added, the   {@link Callbacks#receivedFilterId(byte)} callback function will be called with a user id representing the new filter
 * @param trigger Trigger to filter data on
 * @param config Configuration of the filter to add
 */
public void addFilter(Trigger trigger,FilterConfig config);
Program: 130371
Project: 130371
Buggy source:
/** 
 * Add a trigger to the MetaWear logging module.  When the MetaWear board has processed the trigger,  a unique id representing the trigger passed back to the user via the receivedTriggerId function. 
 * @param triggerObj Trigger to log
 * @see Callbacks#receivedTriggerId(byte)
 */
public void addTrigger(Trigger triggerObj);

Fixed version (ground truth):
/** 
 * Add a trigger to the MetaWear logging module.  The logging module requires  triggers to have a data length less than or equal to 4 bytes.  When the MetaWear  board has processed the trigger, a unique id representing the trigger is passed  back to the user via the receivedTriggerId function. 
 * @param triggerObj Trigger to log
 * @see Callbacks#receivedTriggerId(byte)
 */
public void addTrigger(Trigger triggerObj);
Program: 130372
Project: 130372
Buggy source:
/** 
 * Get the timestamp of when the event was recorded.  A ReferenceTick object is provided  by the   {@link Callbacks#receivedReferenceTick(Logging.ReferenceTick)} callback function
 * @param reference Reference point used to convert the tick count into a timestamp
 * @see Logging#readReferenceTick()
 */
public Calendar timestamp(ReferenceTick reference){
  final double TICK_TIME_STEP=(48 / 32768.0) * 1000;
  Calendar copy=(Calendar)reference.timestamp().clone();
  copy.add(Calendar.MILLISECOND,(int)((reference.tickCount() - tick()) * TICK_TIME_STEP));
  return copy;
}

Fixed version (ground truth):
/** 
 * Get the timestamp of when the event was recorded.  A ReferenceTick object is provided  by the   {@link Callbacks#receivedReferenceTick(Logging.ReferenceTick)} callback function
 * @param reference Reference point used to convert the tick count into a timestamp
 * @see Logging#readReferenceTick()
 */
public Calendar timestamp(ReferenceTick reference){
  final double TICK_TIME_STEP=(48 / 32768.0) * 1000;
  Calendar copy=(Calendar)reference.timestamp().clone();
  copy.add(Calendar.MILLISECOND,(int)((tick() - reference.tickCount()) * TICK_TIME_STEP));
  return copy;
}
Program: 130373
Project: 130373
Buggy source:
/** 
 * Number of bytes required by the trigger data.  Can be between [1, 4] bytes
 * @return Data length
 */
public byte length();

Fixed version (ground truth):
/** 
 * Number of bytes required by the trigger data.
 * @return Data length
 */
public byte length();
Program: 130374
Project: 130374
Buggy source:
@Nonnull @RequiredReadAction public static ResolveResult[] tryResolveFromQualifier(@Nonnull CSharpReferenceExpressionEx referenceExpressionEx,@Nonnull PsiElement qualifierElement){
  if (!referenceExpressionEx.isValid()) {
    return ResolveResult.EMPTY_ARRAY;
  }
  return CachedValuesManager.getManager(referenceExpressionEx.getProject()).getParameterizedCachedValue(referenceExpressionEx,ourFromQualifierKey,param -> {
    ResolveResult[] resolveResults=tryResolveFromQualifierImpl(referenceExpressionEx,param);
    return CachedValueProvider.Result.create(resolveResults,PsiModificationTracker.MODIFICATION_COUNT);
  }
,false,qualifierElement);
}

Fixed version (ground truth):
@Nonnull @RequiredReadAction public static ResolveResult[] tryResolveFromQualifier(@Nonnull CSharpReferenceExpressionEx expression,@Nonnull PsiElement qualifierElement){
  if (!expression.isValid()) {
    return ResolveResult.EMPTY_ARRAY;
  }
  ParamatizeValue paramatizeValue=CachedValuesManager.getCachedValue(expression,() -> CachedValueProvider.Result.create(new ParamatizeValue(),PsiModificationTracker.MODIFICATION_COUNT));
  return paramatizeValue.get(qualifierElement,element -> tryResolveFromQualifierImpl(expression,element));
}
Program: 130377
Project: 130377
Buggy source:
@RequiredReadAction @NotNull @Override public CSharpUsingListChild[] getUsingStatements(){
  List<CSharpUsingListChild> listChildren=new SmartList<CSharpUsingListChild>();
  for (  String usingListChild : myUsingNamespaceChildren) {
    GlobalSearchScope resolveScope=myContext.getResolveScope();
    DotNetNamespaceAsElement namespace=DotNetPsiSearcher.getInstance(getProject()).findNamespace(usingListChild,resolveScope);
    if (namespace != null) {
      listChildren.add(new CSharpLightUsingNamespaceStatementBuilder(namespace,resolveScope));
    }
  }
  return ContainerUtil.toArray(listChildren,CSharpUsingListChild.ARRAY_FACTORY);
}

Fixed version (ground truth):
@RequiredReadAction @NotNull @Override public CSharpUsingListChild[] getUsingStatements(){
  List<CSharpUsingListChild> listChildren=new SmartList<>();
  for (  String usingListChild : myUsingNamespaceChildren) {
    GlobalSearchScope resolveScope=myContext.getResolveScope();
    DotNetNamespaceAsElement namespace=DotNetPsiSearcher.getInstance(getProject()).findNamespace(usingListChild,resolveScope);
    if (namespace != null) {
      listChildren.add(new CSharpLightUsingNamespaceStatementBuilder(namespace,resolveScope));
    }
  }
  return ContainerUtil.toArray(listChildren,CSharpUsingListChild.ARRAY_FACTORY);
}
Program: 130378
Project: 130378
Buggy source:
@Nullable @RequiredReadAction public String getReferenceText(){
  CSharpNamespaceDeclStub stub=getGreenStub();
  if (stub != null) {
    return stub.getReferenceTextRef();
  }
  CSharpReferenceExpression childByClass=findChildByClass(CSharpReferenceExpression.class);
  return childByClass != null ? StringUtil.strip(childByClass.getText(),CharFilter.NOT_WHITESPACE_FILTER) : null;
}

Fixed version (ground truth):
@Nullable @RequiredReadAction public String getReferenceText(){
  CSharpNamespaceDeclStub stub=getGreenStub();
  if (stub != null) {
    return stub.getReferenceTextRef();
  }
  CSharpReferenceExpression childByClass=findChildByClass(CSharpReferenceExpression.class);
  return childByClass != null ? StringUtil.strip(childByClass.getText(),CSharpReferenceExpression.DEFAULT_REF_FILTER) : null;
}
Program: 130379
Project: 130379
Buggy source:
@Nullable @RequiredReadAction private DotNetNamespaceAsElement resolveInner(){
  String referenceText=getReferenceText();
  if (referenceText == null) {
    return null;
  }
  final String qName=StringUtil.strip(referenceText,CharFilter.NOT_WHITESPACE_FILTER);
  PsiElement parent=getParent();
  DotNetPsiSearcher psiSearcher=DotNetPsiSearcher.getInstance(getProject());
  if (parent instanceof CSharpNamespaceDeclaration) {
    String newNamespaceName=((CSharpNamespaceDeclaration)parent).getPresentableQName() + "String_Node_Str" + qName;
    DotNetNamespaceAsElement namespace=psiSearcher.findNamespace(newNamespaceName,getResolveScope());
    if (namespace != null) {
      return namespace;
    }
  }
  return psiSearcher.findNamespace(qName,getResolveScope());
}

Fixed version (ground truth):
@Nullable @RequiredReadAction private DotNetNamespaceAsElement resolveInner(){
  String referenceText=getReferenceText();
  if (referenceText == null) {
    return null;
  }
  final String qName=StringUtil.strip(referenceText,CSharpReferenceExpression.DEFAULT_REF_FILTER);
  PsiElement parent=getParent();
  DotNetPsiSearcher psiSearcher=DotNetPsiSearcher.getInstance(getProject());
  if (parent instanceof CSharpNamespaceDeclaration) {
    String newNamespaceName=((CSharpNamespaceDeclaration)parent).getPresentableQName() + "String_Node_Str" + qName;
    DotNetNamespaceAsElement namespace=psiSearcher.findNamespace(newNamespaceName,getResolveScope());
    if (namespace != null) {
      return namespace;
    }
  }
  return psiSearcher.findNamespace(qName,getResolveScope());
}
Program: 130381
Project: 130381
Buggy source:
@RequiredReadAction private void processDefaultCompletion(@NotNull Processor<ResolveResult> processor,PsiElement element,PsiElement qualifier){
  DotNetNamespaceAsElement namespace;
  String qualifiedText="String_Node_Str";
  if (qualifier != null) {
    qualifiedText=StringUtil.strip(qualifier.getText(),CharFilter.NOT_WHITESPACE_FILTER);
  }
  namespace=DotNetPsiSearcher.getInstance(element.getProject()).findNamespace(qualifiedText,element.getResolveScope());
  if (namespace == null) {
    return;
  }
  processNamespaceChildren(processor,element,namespace);
}

Fixed version (ground truth):
@RequiredReadAction private void processDefaultCompletion(@NotNull Processor<ResolveResult> processor,PsiElement element,PsiElement qualifier){
  DotNetNamespaceAsElement namespace;
  String qualifiedText="String_Node_Str";
  if (qualifier != null) {
    qualifiedText=StringUtil.strip(qualifier.getText(),CSharpReferenceExpression.DEFAULT_REF_FILTER);
  }
  namespace=DotNetPsiSearcher.getInstance(element.getProject()).findNamespace(qualifiedText,element.getResolveScope());
  if (namespace == null) {
    return;
  }
  processNamespaceChildren(processor,element,namespace);
}
Program: 130382
Project: 130382
Buggy source:
@Override public int getStubVersion(){
  return 91;
}

Fixed version (ground truth):
@Override public int getStubVersion(){
  return 92;
}
Program: 130383
Project: 130383
Buggy source:
@Override public boolean hasModifier(@NotNull DotNetModifier modifier){
  CSharpModifierListStub stub=getStub();
  if (stub != null) {
    return stub.hasModifier(modifier);
  }
  return CSharpModifierListImplUtil.getModifiersCached(this).contains(CSharpModifier.as(modifier));
}

Fixed version (ground truth):
@Override public boolean hasModifier(@NotNull DotNetModifier modifier){
  return CSharpModifierListImplUtil.getModifiersCached(this).contains(CSharpModifier.as(modifier));
}
Program: 130384
Project: 130384
Buggy source:
@NotNull @Override public CSharpModifier[] getModifiers(){
  CSharpModifierListStub stub=getStub();
  if (stub != null) {
    return stub.getModifiers();
  }
  return CSharpModifierListImplUtil.getModifiersCached(this).toArray(CSharpModifier.EMPTY_ARRAY);
}

Fixed version (ground truth):
@NotNull @Override public CSharpModifier[] getModifiers(){
  return CSharpModifierListImplUtil.getModifiersCached(this).toArray(CSharpModifier.EMPTY_ARRAY);
}
Program: 130385
Project: 130385
Buggy source:
@Override public boolean hasModifierInTree(@NotNull DotNetModifier modifier){
  IElementType iElementType=CSharpModifierListImplUtil.ourModifiers.get(CSharpModifier.as(modifier));
  return findChildByType(iElementType) != null;
}

Fixed version (ground truth):
@Override public boolean hasModifierInTree(@NotNull DotNetModifier modifier){
  CSharpModifierListStub stub=getStub();
  if (stub != null) {
    return stub.hasModifier(modifier);
  }
  IElementType iElementType=CSharpModifierListImplUtil.ourModifiers.get(CSharpModifier.as(modifier));
  return findChildByType(iElementType) != null;
}
Program: 130387
Project: 130387
Buggy source:
@RequiredReadAction @NotNull @Override public Collection<PsiElement> getItems(@NotNull CSharpTypeDeclaration typeDeclaration){
  Collection<PsiElement> allMembers=OverrideUtil.getAllMembers(typeDeclaration,typeDeclaration.getResolveScope(),DotNetGenericExtractor.EMPTY,false,true);
  boolean isInterface=typeDeclaration.isInterface();
  List<PsiElement> elements=new ArrayList<PsiElement>();
  for (  PsiElement element : allMembers) {
    if (isInterface) {
      if (element instanceof DotNetModifierListOwner) {
        if (!((DotNetModifierListOwner)element).hasModifier(CSharpModifier.INTERFACE_ABSTRACT)) {
          continue;
        }
        if (((DotNetModifierListOwner)element).hasModifier(CSharpModifier.STATIC)) {
          continue;
        }
        if (!CSharpVisibilityUtil.isVisible((DotNetModifierListOwner)element,typeDeclaration)) {
          continue;
        }
      }
    }
 else {
      if (element instanceof DotNetModifierListOwner) {
        if (((DotNetModifierListOwner)element).hasModifier(DotNetModifier.ABSTRACT)) {
          continue;
        }
        if (((DotNetModifierListOwner)element).hasModifier(DotNetModifier.STATIC)) {
          continue;
        }
        if (!CSharpVisibilityUtil.isVisible((DotNetModifierListOwner)element,typeDeclaration)) {
          continue;
        }
      }
    }
    if (element instanceof CSharpMethodDeclaration) {
      elements.add(element);
    }
  }
  return elements;
}

Fixed version (ground truth):
@RequiredReadAction @NotNull @Override public Collection<PsiElement> getItems(@NotNull CSharpTypeDeclaration typeDeclaration){
  Collection<PsiElement> allMembers=OverrideUtil.getAllMembers(typeDeclaration,typeDeclaration.getResolveScope(),DotNetGenericExtractor.EMPTY,false,true);
  boolean isInterface=typeDeclaration.isInterface();
  List<PsiElement> elements=new ArrayList<>();
  for (  PsiElement element : allMembers) {
    if (isInterface) {
      if (element instanceof DotNetModifierListOwner) {
        if (!((DotNetModifierListOwner)element).hasModifier(CSharpModifier.INTERFACE_ABSTRACT)) {
          continue;
        }
        if (((DotNetModifierListOwner)element).hasModifier(CSharpModifier.STATIC)) {
          continue;
        }
        if (!CSharpVisibilityUtil.isVisible((DotNetModifierListOwner)element,typeDeclaration)) {
          continue;
        }
      }
    }
 else {
      if (element instanceof DotNetModifierListOwner) {
        if (((DotNetModifierListOwner)element).hasModifier(DotNetModifier.ABSTRACT)) {
          continue;
        }
        if (((DotNetModifierListOwner)element).hasModifier(DotNetModifier.STATIC)) {
          continue;
        }
        if (!CSharpVisibilityUtil.isVisible((DotNetModifierListOwner)element,typeDeclaration)) {
          continue;
        }
      }
    }
    if (element instanceof CSharpMethodDeclaration) {
      elements.add(element);
    }
  }
  return elements;
}
Program: 130388
Project: 130388
Buggy source:
@NotNull private static List<DotNetTypeDeclaration> collectAllTypes(PsiElement place){
  List<DotNetTypeDeclaration> typeDeclarations=new SmartList<>();
  PsiElement type=place;
  while ((type=PsiTreeUtil.getContextOfType(type,DotNetTypeDeclaration.class)) != null) {
    typeDeclarations.add((DotNetTypeDeclaration)type);
  }
  return typeDeclarations;
}

Fixed version (ground truth):
@NotNull @RequiredReadAction private static List<DotNetTypeDeclaration> collectAllTypes(@NotNull PsiElement place){
  List<DotNetTypeDeclaration> typeDeclarations=new SmartList<>();
  if (place instanceof CSharpTypeDeclaration) {
    typeDeclarations.add((DotNetTypeDeclaration)place);
  }
  PsiElement type=place;
  while ((type=PsiTreeUtil.getContextOfType(type,DotNetTypeDeclaration.class)) != null) {
    typeDeclarations.add((DotNetTypeDeclaration)type);
  }
  return typeDeclarations;
}
Program: 130389
Project: 130389
Buggy source:
@Override public boolean hasModifierInTree(@NotNull DotNetModifier modifier){
  return CSharpModifierListImplUtil.getModifiersTreeCached(this).contains(CSharpModifier.as(modifier));
}

Fixed version (ground truth):
@Override public boolean hasModifierInTree(@NotNull DotNetModifier modifier){
  IElementType iElementType=CSharpModifierListImplUtil.ourModifiers.get(CSharpModifier.as(modifier));
  return findChildByType(iElementType) != null;
}
Program: 130390
Project: 130390
Buggy source:
@Override public boolean hasModifierInTree(@NotNull DotNetModifier modifier){
  CSharpModifier sharpModifier=CSharpModifier.as(modifier);
  CSharpModifierListStub stub=getStub();
  if (stub != null) {
    return stub.hasModifier(sharpModifier);
  }
  return CSharpModifierListImplUtil.getModifiersTreeCached(this).contains(CSharpModifier.as(modifier));
}

Fixed version (ground truth):
@Override public boolean hasModifierInTree(@NotNull DotNetModifier modifier){
  IElementType iElementType=CSharpModifierListImplUtil.ourModifiers.get(CSharpModifier.as(modifier));
  return findChildByType(iElementType) != null;
}