Skip to content

Commit

Permalink
Remove IDE generated signature
Browse files Browse the repository at this point in the history
  • Loading branch information
Ao-senXiong committed May 31, 2024
1 parent cd94fb3 commit 5c5a016
Show file tree
Hide file tree
Showing 6 changed files with 0 additions and 17 deletions.
3 changes: 0 additions & 3 deletions src/main/java/exceptions/ImmutabilityException.java
Original file line number Diff line number Diff line change
@@ -1,6 +1,3 @@
package exceptions;

/**
* Created by mier on 20/06/17.
*/
public class ImmutabilityException extends RuntimeException {}
Original file line number Diff line number Diff line change
@@ -1,6 +1,3 @@
package exceptions;

/**
* Created by mier on 20/06/17.
*/
public class UnkownImmutabilityQualifierException extends ImmutabilityException {}
3 changes: 0 additions & 3 deletions src/main/java/exceptions/solver/EncodingStuckException.java
Original file line number Diff line number Diff line change
@@ -1,8 +1,5 @@
package exceptions.solver;

/**
* Created by mier on 04/11/17.
*/
public class EncodingStuckException extends SolverException {
public EncodingStuckException(String reason) {
super(reason);
Expand Down
3 changes: 0 additions & 3 deletions src/main/java/exceptions/solver/SolverException.java
Original file line number Diff line number Diff line change
@@ -1,8 +1,5 @@
package exceptions.solver;

/**
* Created by mier on 04/11/17.
*/
public class SolverException extends RuntimeException {
public SolverException(String reason) {
super(reason);
Expand Down
1 change: 0 additions & 1 deletion src/main/java/pico/typecheck/PICOValidator.java
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,6 @@
import static pico.typecheck.PICOAnnotationMirrorHolder.MUTABLE;

/**
* Created by mier on 29/09/17.
* Enforce correct usage of immutability and assignability qualifiers.
* TODO @PolyMutable is only used on constructor/method parameters or method return
*/
Expand Down
4 changes: 0 additions & 4 deletions src/main/java/qual/Assignable.java
Original file line number Diff line number Diff line change
Expand Up @@ -8,10 +8,6 @@
import java.lang.annotation.RetentionPolicy;
import java.lang.annotation.Target;

/**
* Created by mier on 06/10/17.
*/

@Documented
@Retention(RetentionPolicy.RUNTIME)
@Target({ElementType.FIELD})
Expand Down

0 comments on commit 5c5a016

Please sign in to comment.