Source

jackpot30-demo-examples / src / META-INF / upgrade / j.l.String.hint

Jan Lahoda 77e4d9b 



Jan Lahoda 61b8a05 














   $str.equals("")    :: $str instanceof java.lang.String
=> $str.isEmpty()     :: sourceVersionGE(SourceVersion.RELEASE_6)
=> $str.length() == 0 :: otherwise
;;




/*
   $str.equals("")    :: $str instanceof java.lang.String && !parentMatches("!$_")
=> $str.isEmpty()     :: sourceVersionGE(SourceVersion.RELEASE_6)
=> $str.length() == 0 :: otherwise
;;


   !$str.equals("")   :: $str instanceof java.lang.String
=> !$str.isEmpty()    :: sourceVersionGE(SourceVersion.RELEASE_6)
=> $str.length() != 0 :: otherwise
;;
*/