fix warnings

ValKmjolnir · ValKmjolnir · commit 45914d926f77 · 2025-04-28T17:33:22.000+08:00
diff --git a/example/icse25/Keymap/FindAllReleasedHttpAPI.gdl b/example/icse25/Keymap/FindAllReleasedHttpAPI.gdl
@@ -979,8 +979,8 @@ fn tmp_7(b: string, i: int, a: string) -> bool {
 fn tmp_8(b: string, i: int, a: string) -> bool {
     let (xml_db = default_xml_db()) {
         let (java_db = default_java_db()) {
-            if (!a.substr(i - 1,i - 1) = "/") {
-                if (!b.substr(0,1) = "/") {
+            if (a.substr(i - 1,i - 1) != "/") {
+                if (b.substr(0,1) != "/") {
                     return true
                 }
             }
@@ -1316,7 +1316,7 @@ fn tmp_39(temp1: string) -> bool {
     let (xml_db = default_xml_db()) {
         let (java_db = default_java_db()) {
             if (temp1.contains("app/web/")) {
-                if (!temp1 = "app/web/home") {
+                if (temp1 != "app/web/home") {
                     return true
                 }
             }
diff --git a/example/icse25/rules/rule1_4.gdl b/example/icse25/rules/rule1_4.gdl
@@ -1590,7 +1590,7 @@ pub fn real_output(nodeText: string, path: string) -> bool {
                         if (b = m.getAnAncestorCDDependsNode(__all_data__, __all_data__)) {
                             if (c = a.getAnAncestorCDDependedNode(__all_data__, __all_data__)) {
                                 if (c = b.getECGDependsNode(edgeType, direction)) {
-                                    if (!b = c) {
+                                    if (b != c) {
                                         if (nodeText = m.print()) {
                                             if (path = m.getPath()) {
                                                 return true
@@ -1601,7 +1601,7 @@ pub fn real_output(nodeText: string, path: string) -> bool {
                             }
                             if (c = a) {
                                 if (c = b.getECGDependsNode(edgeType, direction)) {
-                                    if (!b = c) {
+                                    if (b != c) {
                                         if (nodeText = m.print()) {
                                             if (path = m.getPath()) {
                                                 return true
@@ -1614,7 +1614,7 @@ pub fn real_output(nodeText: string, path: string) -> bool {
                         if (b = m) {
                             if (c = a.getAnAncestorCDDependedNode(__all_data__, __all_data__)) {
                                 if (c = b.getECGDependsNode(edgeType, direction)) {
-                                    if (!b = c) {
+                                    if (b != c) {
                                         if (nodeText = m.print()) {
                                             if (path = m.getPath()) {
                                                 return true
@@ -1625,7 +1625,7 @@ pub fn real_output(nodeText: string, path: string) -> bool {
                             }
                             if (c = a) {
                                 if (c = b.getECGDependsNode(edgeType, direction)) {
-                                    if (!b = c) {
+                                    if (b != c) {
                                         if (nodeText = m.print()) {
                                             if (path = m.getPath()) {
                                                 return true
@@ -1711,8 +1711,8 @@ fn tmp_6(a: string, i: int, b: string) -> bool {
 @inline
 fn tmp_7(a: string, i: int, b: string) -> bool {
     let (java_db = default_java_db()) {
-        if (!a.substr(i - 1,i - 1) = "/") {
-            if (!b.substr(0,1) = "/") {
+        if (a.substr(i - 1,i - 1) != "/") {
+            if (b.substr(0,1) != "/") {
                 return true
             }
         }
diff --git a/example/icse25/rules/rule4.gdl b/example/icse25/rules/rule4.gdl
@@ -1387,8 +1387,8 @@ fn tmp_3(a: string, b: string, i: int) -> bool {
 @inline
 fn tmp_4(a: string, b: string, i: int) -> bool {
     let (java_db = default_java_db()) {
-        if (!a.substr(i - 1,i - 1) = "/") {
-            if (!b.substr(0,1) = "/") {
+        if (a.substr(i - 1,i - 1) != "/") {
+            if (b.substr(0,1) != "/") {
                 return true
             }
         }
diff --git a/example/icse25/rules/rule9.gdl b/example/icse25/rules/rule9.gdl
@@ -664,8 +664,8 @@ fn tmp_3(i: int, b: string, a: string) -> bool {
 @inline
 fn tmp_4(i: int, b: string, a: string) -> bool {
     let (java_db = default_java_db()) {
-        if (!a.substr(i - 1,i - 1) = "/") {
-            if (!b.substr(0,1) = "/") {
+        if (a.substr(i - 1,i - 1) != "/") {
+            if (b.substr(0,1) != "/") {
                 return true
             }
         }
diff --git a/example/icse25/rules/rule_ecg.gdl b/example/icse25/rules/rule_ecg.gdl
@@ -2297,8 +2297,8 @@ fn tmp_6(a: string, i: int, b: string) -> bool {
 fn tmp_7(a: string, i: int, b: string) -> bool {
     let (java_db = default_java_db()) {
         let (xml_db = default_xml_db()) {
-            if (!a.substr(i - 1,i - 1) = "/") {
-                if (!b.substr(0,1) = "/") {
+            if (a.substr(i - 1,i - 1) != "/") {
+                if (b.substr(0,1) != "/") {
                     return true
                 }
             }

Original file line number	Diff line number	Diff line change
`@@ -979,8 +979,8 @@ fn tmp_7(b: string, i: int, a: string) -> bool {`
`979`	`979`	`fn tmp_8(b: string, i: int, a: string) -> bool {`
`980`	`980`	`let (xml_db = default_xml_db()) {`
`981`	`981`	`let (java_db = default_java_db()) {`
`982`		`- if (!a.substr(i - 1,i - 1) = "/") {`
`983`		`- if (!b.substr(0,1) = "/") {`
	`982`	`+ if (a.substr(i - 1,i - 1) != "/") {`
	`983`	`+ if (b.substr(0,1) != "/") {`
`984`	`984`	`return true`
`985`	`985`	`}`
`986`	`986`	`}`
`@@ -1316,7 +1316,7 @@ fn tmp_39(temp1: string) -> bool {`
`1316`	`1316`	`let (xml_db = default_xml_db()) {`
`1317`	`1317`	`let (java_db = default_java_db()) {`
`1318`	`1318`	`if (temp1.contains("app/web/")) {`
`1319`		`- if (!temp1 = "app/web/home") {`
	`1319`	`+ if (temp1 != "app/web/home") {`
`1320`	`1320`	`return true`
`1321`	`1321`	`}`
`1322`	`1322`	`}`
Original file line number	Diff line number	Diff line change
`@@ -1387,8 +1387,8 @@ fn tmp_3(a: string, b: string, i: int) -> bool {`
`1387`	`1387`	`@inline`
`1388`	`1388`	`fn tmp_4(a: string, b: string, i: int) -> bool {`
`1389`	`1389`	`let (java_db = default_java_db()) {`
`1390`		`- if (!a.substr(i - 1,i - 1) = "/") {`
`1391`		`- if (!b.substr(0,1) = "/") {`
	`1390`	`+ if (a.substr(i - 1,i - 1) != "/") {`
	`1391`	`+ if (b.substr(0,1) != "/") {`
`1392`	`1392`	`return true`
`1393`	`1393`	`}`
`1394`	`1394`	`}`
Original file line number	Diff line number	Diff line change
`@@ -664,8 +664,8 @@ fn tmp_3(i: int, b: string, a: string) -> bool {`
`664`	`664`	`@inline`
`665`	`665`	`fn tmp_4(i: int, b: string, a: string) -> bool {`
`666`	`666`	`let (java_db = default_java_db()) {`
`667`		`- if (!a.substr(i - 1,i - 1) = "/") {`
`668`		`- if (!b.substr(0,1) = "/") {`
	`667`	`+ if (a.substr(i - 1,i - 1) != "/") {`
	`668`	`+ if (b.substr(0,1) != "/") {`
`669`	`669`	`return true`
`670`	`670`	`}`
`671`	`671`	`}`
Original file line number	Diff line number	Diff line change
`@@ -2297,8 +2297,8 @@ fn tmp_6(a: string, i: int, b: string) -> bool {`
`2297`	`2297`	`fn tmp_7(a: string, i: int, b: string) -> bool {`
`2298`	`2298`	`let (java_db = default_java_db()) {`
`2299`	`2299`	`let (xml_db = default_xml_db()) {`
`2300`		`- if (!a.substr(i - 1,i - 1) = "/") {`
`2301`		`- if (!b.substr(0,1) = "/") {`
	`2300`	`+ if (a.substr(i - 1,i - 1) != "/") {`
	`2301`	`+ if (b.substr(0,1) != "/") {`
`2302`	`2302`	`return true`
`2303`	`2303`	`}`
`2304`	`2304`	`}`