Source

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

Diff from to

src/META-INF/upgrade/j.l.String.hint

 => $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
+;;
+*/