On 26.01.2017 12:04, Cédric Champeau wrote:
> So I used IntelliJ's awesome structural search to find this pattern in
> the Gradle codebase:
>
> !$a$  $b$
>
> It returns 41 matches, for a total of 49807 source files. FWIW
!ab becomes a=>b
ab becomes !a=>b
a!b becomes !a=>!b
!a!b becomes a=>!b
And since !ab is the same as a&&!b
a&&b becomes a=>!b
a&&!b becomes a=>b
!a&&b becomes !a=>!b
!a&&!b becomes !a=>b
In Closure.java we have for example this condition: (secondTry!=null &&
firstTry!=this && firstTry!=secondTry
we could write that for example as
secondTry==null => (firstTry==this  firstTry==secondTry)
(secondTry!=null && firstTry!=this) => firstTry==secondTry
secondTry!=null => firstTry==this => firstTry==secondTry
bye Jochen
