Skip to content

Commit

Permalink
Adjusted documentation
Browse files Browse the repository at this point in the history
  • Loading branch information
TreeSnowFence committed Aug 2, 2024
1 parent e165ff9 commit eab1370
Show file tree
Hide file tree
Showing 4 changed files with 7 additions and 7 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
import edu.rpi.legup.ui.boardview.GridElementView;
import java.awt.*;
import org.jetbrains.annotations.Contract;
import org.jetbrains.annotations.NotNull;


public class ShortTruthTableElementView extends GridElementView {

Expand All @@ -30,7 +30,7 @@ public ShortTruthTableElementView(ShortTruthTableCell cell) {
* @return PuzzleElement associated with this view
*/
@Override
public @NotNull ShortTruthTableCell getPuzzleElement() {
public ShortTruthTableCell getPuzzleElement() {
return (ShortTruthTableCell) super.getPuzzleElement();
}

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,17 +4,17 @@
import edu.rpi.legup.model.gameboard.PuzzleElement;
import org.w3c.dom.Document;
import org.jetbrains.annotations.Contract;
import org.jetbrains.annotations.NotNull;


public class ShortTruthTableExporter extends PuzzleExporter {

public ShortTruthTableExporter(@NotNull ShortTruthTable stt) {
public ShortTruthTableExporter( ShortTruthTable stt) {
super(stt);
}

@Override
@Contract(pure = true)
protected @NotNull org.w3c.dom.Element createBoardElement(Document newDocument) {
protected org.w3c.dom.Element createBoardElement(Document newDocument) {
ShortTruthTableBoard board;
if (puzzle.getTree() != null) {
board = (ShortTruthTableBoard) puzzle.getTree().getRootNode().getBoard();
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@

class ShortTruthTableImporter extends PuzzleImporter {

public ShortTruthTableImporter(@NotNull ShortTruthTable stt) {
public ShortTruthTableImporter( ShortTruthTable stt) {
super(stt);
}

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@

public class ShortTruthTableView extends GridBoardView {

public ShortTruthTableView(@NotNull ShortTruthTableBoard board) {
public ShortTruthTableView( ShortTruthTableBoard board) {
super(new BoardController(), new ShortTruthTableController(), board.getDimension());

for (PuzzleElement puzzleElement : board.getPuzzleElements()) {
Expand Down

0 comments on commit eab1370

Please sign in to comment.