Skip to content
Java CI with Maven

Now setting the Isabelle session name works seemingly correctly (#14) #39

Sign in to view logs

Now setting the Isabelle session name works seemingly correctly (#14)

Now setting the Isabelle session name works seemingly correctly (#14) #39

GitHub Actions / Checkstyle completed Sep 13, 2023 in 0s

Checkstyle Source Code Analyzer report

21 violation(s) found

Annotations

Check warning on line 87 in virage/src/main/java/edu/kit/kastel/formal/virage/jobs/VirageJob.java

See this annotation in the file changed.

@github-actions github-actions / Checkstyle

com.puppycrawl.tools.checkstyle.checks.coding.IllegalCatchCheck 

Catching 'Exception' is not allowed.

Check warning on line 508 in virage/src/main/java/edu/kit/kastel/formal/virage/core/VirageCommandLineInterface.java

See this annotation in the file changed.

@github-actions github-actions / Checkstyle

com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck 

Comment matches to-do format '(TODO)|(FIXME)'.

Check warning on line 845 in virage/src/main/java/edu/kit/kastel/formal/virage/core/VirageCommandLineInterface.java

See this annotation in the file changed.

@github-actions github-actions / Checkstyle

com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck 

Comment matches to-do format '(TODO)|(FIXME)'.

Check warning on line 339 in virage/src/main/java/edu/kit/kastel/formal/virage/core/VirageCore.java

See this annotation in the file changed.

@github-actions github-actions / Checkstyle

com.puppycrawl.tools.checkstyle.checks.coding.IllegalCatchCheck 

Catching 'Exception' is not allowed.

Check warning on line 59 in virage/src/main/java/edu/kit/kastel/formal/virage/core/VirageSearchManager.java

See this annotation in the file changed.

@github-actions github-actions / Checkstyle

com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck 

Comment matches to-do format '(TODO)|(FIXME)'.

Check warning on line 82 in virage/src/main/java/edu/kit/kastel/formal/virage/core/VirageSearchManager.java

See this annotation in the file changed.

@github-actions github-actions / Checkstyle

com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck 

Comment matches to-do format '(TODO)|(FIXME)'.

Check warning on line 107 in virage/src/main/java/edu/kit/kastel/formal/virage/core/VirageSearchManager.java

See this annotation in the file changed.

@github-actions github-actions / Checkstyle

com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck 

Comment matches to-do format '(TODO)|(FIXME)'.

Check warning on line 639 in virage/src/main/java/edu/kit/kastel/formal/virage/core/ConfigReader.java

See this annotation in the file changed.

@github-actions github-actions / Checkstyle

com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck 

Comment matches to-do format '(TODO)|(FIXME)'.

Check warning on line 18 in virage/src/main/java/edu/kit/kastel/formal/virage/core/VirageUserInterfaceFactory.java

See this annotation in the file changed.

@github-actions github-actions / Checkstyle

com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck 

Comment matches to-do format '(TODO)|(FIXME)'.

Check warning on line 39 in virage/src/main/java/edu/kit/kastel/formal/virage/core/VirageMain.java

See this annotation in the file changed.

@github-actions github-actions / Checkstyle

com.puppycrawl.tools.checkstyle.checks.coding.IllegalCatchCheck 

Catching 'Exception' is not allowed.

Check warning on line 153 in virage/src/main/java/edu/kit/kastel/formal/virage/isabelle/IsabelleProofStepGenerator.java

See this annotation in the file changed.

@github-actions github-actions / Checkstyle

com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck 

Comment matches to-do format '(TODO)|(FIXME)'.

Check warning on line 299 in virage/src/main/java/edu/kit/kastel/formal/virage/isabelle/ScalaIsabelleFacade.java

See this annotation in the file changed.

@github-actions github-actions / Checkstyle

com.puppycrawl.tools.checkstyle.checks.coding.IllegalCatchCheck 

Catching 'Exception' is not allowed.

Check warning on line 417 in virage/src/main/java/edu/kit/kastel/formal/virage/isabelle/ScalaIsabelleFacade.java

See this annotation in the file changed.

@github-actions github-actions / Checkstyle

com.puppycrawl.tools.checkstyle.checks.coding.IllegalCatchCheck 

Catching 'Exception' is not allowed.

Check warning on line 104 in virage/src/main/java/edu/kit/kastel/formal/virage/isabelle/IsabelleUtils.java

See this annotation in the file changed.

@github-actions github-actions / Checkstyle

com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck 

Comment matches to-do format '(TODO)|(FIXME)'.

Check warning on line 297 in virage/src/main/java/edu/kit/kastel/formal/virage/isabelle/IsabelleProofChecker.java

See this annotation in the file changed.

@github-actions github-actions / Checkstyle

com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck 

Comment matches to-do format '(TODO)|(FIXME)'.

Check warning on line 402 in virage/src/main/java/edu/kit/kastel/formal/virage/isabelle/IsabelleProofChecker.java

See this annotation in the file changed.

@github-actions github-actions / Checkstyle

com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck 

Comment matches to-do format '(TODO)|(FIXME)'.

Check warning on line 461 in virage/src/main/java/edu/kit/kastel/formal/virage/isabelle/IsabelleProofChecker.java

See this annotation in the file changed.

@github-actions github-actions / Checkstyle

com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck 

Comment matches to-do format '(TODO)|(FIXME)'.

Check warning on line 318 in virage/src/main/java/edu/kit/kastel/formal/virage/isabelle/IsabelleCodeGenerator.java

See this annotation in the file changed.

@github-actions github-actions / Checkstyle

com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck 

Comment matches to-do format '(TODO)|(FIXME)'.

Check warning on line 341 in virage/src/main/java/edu/kit/kastel/formal/virage/isabelle/IsabelleCodeGenerator.java

See this annotation in the file changed.

@github-actions github-actions / Checkstyle

com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck 

Comment matches to-do format '(TODO)|(FIXME)'.

Check warning on line 359 in virage/src/main/java/edu/kit/kastel/formal/virage/isabelle/IsabelleCodeGenerator.java

See this annotation in the file changed.

@github-actions github-actions / Checkstyle

com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck 

Comment matches to-do format '(TODO)|(FIXME)'.

Check warning on line 293 in virage/src/main/java/edu/kit/kastel/formal/virage/isabelle/IsabelleFrameworkExtractor.java

See this annotation in the file changed.

@github-actions github-actions / Checkstyle

com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck 

Comment matches to-do format '(TODO)|(FIXME)'.
View more details on GitHub Actions