We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 0ac568e commit 136f8dbCopy full SHA for 136f8db
liquidjava-example/src/main/java/testSuite/ErrorChars.java
@@ -3,7 +3,7 @@
3
import liquidjava.specification.Refinement;
4
5
public class ErrorChars {
6
- void printLetter(@Refinement("_ >= 65 && _ <= 90 || _ >= 97 && _ <= 122") char c) {
+ static void printLetter(@Refinement("_ >= 65 && _ <= 90 || _ >= 97 && _ <= 122") char c) {
7
System.out.println(c);
8
}
9
0 commit comments