fab918

I tried the following example: ``` /*@ requires array != null && array.length > 0; @ ensures \result == (\sum int i; 0

@mattulbrich Thanks for your quick response. I had tried the JML annotations `loop_modifies` and `loop_writes` but I had an error message in the import, I understood that it was not...

@mi-ki Is there any trace of your contribution? I did a search on PRs but I don't see it.

@mi-ki Thanks, unfortunately I don't think it always works. If anyone has any advice on how to get started, I'd love to hear it.

@DaiYuANg It doesn't work, nothing happens when I run a build with gradle, normally the classes should be generated. I tried : ``` compileOnly("io.github.openfeign.querydsl:querydsl-apt:6.2.1:jpa") annotationProcessor("io.github.openfeign.querydsl:querydsl-apt:6.2.1:jpa") ``` I've tried the suggested...

> It works, just not everywhere. So it's not a good solution. > [from your link against the null value] For example, if a function returns a positive int number,...

If we want to get rid of the null and have a safe/clean approach, I was thinking about the Optional object in Java (how java solved the `null` issue) If...

@aaronfranke I'm fine with your proposal. But if the problem with your solution for some , it's the usage of `null` as @Jummit has pointed out, because _"[it could be...

Hi @vnen. First, thanks for all your good works, really amazing. It’s hard to deal with devs, and harder to make choices, so I wanted to support you Here is...