Skip to content

Commit

Permalink
Trying to make CheckStyle happy
Browse files Browse the repository at this point in the history
  • Loading branch information
charlestian23 committed Oct 18, 2023
1 parent 8893406 commit ca76fe6
Showing 1 changed file with 10 additions and 5 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -42,10 +42,11 @@ public void trueAndTest1() throws InvalidFileFormatException {

ShortTruthTableCellType[] cellTypes = {ShortTruthTableCellType.TRUE, ShortTruthTableCellType.FALSE, ShortTruthTableCellType.UNKNOWN};

for (ShortTruthTableCellType cellType1 : cellTypes)
for (ShortTruthTableCellType cellType1 : cellTypes) {
for (ShortTruthTableCellType cellType2 : cellTypes) {
if (cellType1 == cellType2 && cellType1 == ShortTruthTableCellType.TRUE)
if (cellType1 == cellType2 && cellType1 == ShortTruthTableCellType.TRUE) {
continue;
}

ShortTruthTableBoard board = (ShortTruthTableBoard) transition.getBoard();
ShortTruthTableCell bonnie = board.getCell(0, 0);
Expand All @@ -63,6 +64,7 @@ public void trueAndTest1() throws InvalidFileFormatException {

Assert.assertNotNull(RULE.checkRule(transition));
}
}
}

/**
Expand All @@ -83,10 +85,11 @@ public void trueAndTest2() throws InvalidFileFormatException {

ShortTruthTableCellType[] cellTypes = {ShortTruthTableCellType.TRUE, ShortTruthTableCellType.UNKNOWN};

for (ShortTruthTableCellType cellType1 : cellTypes)
for (ShortTruthTableCellType cellType1 : cellTypes) {
for (ShortTruthTableCellType cellType2 : cellTypes) {
if (cellType1 == cellType2 && cellType1 == ShortTruthTableCellType.UNKNOWN)
if (cellType1 == cellType2 && cellType1 == ShortTruthTableCellType.UNKNOWN) {
continue;
}

ShortTruthTableBoard board = (ShortTruthTableBoard) transition.getBoard();
ShortTruthTableCell bonnie = board.getCell(0, 0);
Expand All @@ -104,6 +107,7 @@ public void trueAndTest2() throws InvalidFileFormatException {

Assert.assertNull(RULE.checkRule(transition));
}
}
}

/**
Expand All @@ -123,7 +127,7 @@ public void falseAndWithUnknownsTest() throws InvalidFileFormatException {

ShortTruthTableCellType[] cellTypes = {ShortTruthTableCellType.TRUE, ShortTruthTableCellType.FALSE, ShortTruthTableCellType.UNKNOWN};

for (ShortTruthTableCellType cellType1 : cellTypes)
for (ShortTruthTableCellType cellType1 : cellTypes) {
for (ShortTruthTableCellType cellType2 : cellTypes) {
ShortTruthTableBoard board = (ShortTruthTableBoard) transition.getBoard();
ShortTruthTableCell bonnie = board.getCell(0, 0);
Expand All @@ -141,6 +145,7 @@ public void falseAndWithUnknownsTest() throws InvalidFileFormatException {

Assert.assertNotNull(RULE.checkRule(transition));
}
}
}

/**
Expand Down

0 comments on commit ca76fe6

Please sign in to comment.