Skip to content

Commit

Permalink
Javadoc
Browse files Browse the repository at this point in the history
  • Loading branch information
garydgregory committed Dec 14, 2023
1 parent a61ffa8 commit 79c0822
Show file tree
Hide file tree
Showing 5 changed files with 6 additions and 6 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,7 @@ public static void main(final String[] args) {
new GraphicalVerifier();
}

/** Constructor. */
/** Constructs a new instance. */
public GraphicalVerifier() {
final VerifierAppFrame frame = new VerifierAppFrame();
// Frames �berpr�fen, die voreingestellte Gr��e haben
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -90,7 +90,7 @@ public class VerifierAppFrame extends JFrame {
private final JMenuItem whatisMenuItem = new JMenuItem();
private final JMenuItem aboutMenuItem = new JMenuItem();

/** Constructor. */
/** Constructs a new instance. */
public VerifierAppFrame() {
enableEvents(AWTEvent.WINDOW_EVENT_MASK);
try {
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,7 @@ public class ExceptionHandlers {
private final Map<InstructionHandle, Set<ExceptionHandler>> exceptionHandlers;

/**
* Constructor. Creates a new ExceptionHandlers instance.
* Constructs a new ExceptionHandlers instance.
*/
public ExceptionHandlers(final MethodGen mg) {
exceptionHandlers = new HashMap<>();
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -70,7 +70,7 @@ public class ExecutionVisitor extends EmptyVisitor {
private ConstantPoolGen cpg;

/**
* Constructor. Constructs a new instance of this class.
* Constructs a new instance of this class.
*/
public ExecutionVisitor() {
}
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -398,7 +398,7 @@ private static InstructionHandle[] getSuccessors(final InstructionHandle instruc
// CHECKSTYLE:ON

/**
* Constructor.
* Constructs a new instance.
*
* @param mg A MethodGen object representing method to create the Subroutine objects of. Assumes that JustIce strict
* checks are needed.
Expand All @@ -408,7 +408,7 @@ public Subroutines(final MethodGen mg) {
}

/**
* Constructor.
* Constructs a new instance.
*
* @param mg A MethodGen object representing method to create the Subroutine objects of.
* @param enableJustIceCheck whether to enable additional JustIce checks
Expand Down

0 comments on commit 79c0822

Please sign in to comment.