Skip to content

Commit 45914d9

Browse files
committed
fix warnings
1 parent fa1cd00 commit 45914d9

File tree

5 files changed

+15
-15
lines changed

5 files changed

+15
-15
lines changed

example/icse25/Keymap/FindAllReleasedHttpAPI.gdl

+3-3
Original file line numberDiff line numberDiff line change
@@ -979,8 +979,8 @@ fn tmp_7(b: string, i: int, a: string) -> bool {
979979
fn tmp_8(b: string, i: int, a: string) -> bool {
980980
let (xml_db = default_xml_db()) {
981981
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) != "/") {
984984
return true
985985
}
986986
}
@@ -1316,7 +1316,7 @@ fn tmp_39(temp1: string) -> bool {
13161316
let (xml_db = default_xml_db()) {
13171317
let (java_db = default_java_db()) {
13181318
if (temp1.contains("app/web/")) {
1319-
if (!temp1 = "app/web/home") {
1319+
if (temp1 != "app/web/home") {
13201320
return true
13211321
}
13221322
}

example/icse25/rules/rule1_4.gdl

+6-6
Original file line numberDiff line numberDiff line change
@@ -1590,7 +1590,7 @@ pub fn real_output(nodeText: string, path: string) -> bool {
15901590
if (b = m.getAnAncestorCDDependsNode(__all_data__, __all_data__)) {
15911591
if (c = a.getAnAncestorCDDependedNode(__all_data__, __all_data__)) {
15921592
if (c = b.getECGDependsNode(edgeType, direction)) {
1593-
if (!b = c) {
1593+
if (b != c) {
15941594
if (nodeText = m.print()) {
15951595
if (path = m.getPath()) {
15961596
return true
@@ -1601,7 +1601,7 @@ pub fn real_output(nodeText: string, path: string) -> bool {
16011601
}
16021602
if (c = a) {
16031603
if (c = b.getECGDependsNode(edgeType, direction)) {
1604-
if (!b = c) {
1604+
if (b != c) {
16051605
if (nodeText = m.print()) {
16061606
if (path = m.getPath()) {
16071607
return true
@@ -1614,7 +1614,7 @@ pub fn real_output(nodeText: string, path: string) -> bool {
16141614
if (b = m) {
16151615
if (c = a.getAnAncestorCDDependedNode(__all_data__, __all_data__)) {
16161616
if (c = b.getECGDependsNode(edgeType, direction)) {
1617-
if (!b = c) {
1617+
if (b != c) {
16181618
if (nodeText = m.print()) {
16191619
if (path = m.getPath()) {
16201620
return true
@@ -1625,7 +1625,7 @@ pub fn real_output(nodeText: string, path: string) -> bool {
16251625
}
16261626
if (c = a) {
16271627
if (c = b.getECGDependsNode(edgeType, direction)) {
1628-
if (!b = c) {
1628+
if (b != c) {
16291629
if (nodeText = m.print()) {
16301630
if (path = m.getPath()) {
16311631
return true
@@ -1711,8 +1711,8 @@ fn tmp_6(a: string, i: int, b: string) -> bool {
17111711
@inline
17121712
fn tmp_7(a: string, i: int, b: string) -> bool {
17131713
let (java_db = default_java_db()) {
1714-
if (!a.substr(i - 1,i - 1) = "/") {
1715-
if (!b.substr(0,1) = "/") {
1714+
if (a.substr(i - 1,i - 1) != "/") {
1715+
if (b.substr(0,1) != "/") {
17161716
return true
17171717
}
17181718
}

example/icse25/rules/rule4.gdl

+2-2
Original file line numberDiff line numberDiff line change
@@ -1387,8 +1387,8 @@ fn tmp_3(a: string, b: string, i: int) -> bool {
13871387
@inline
13881388
fn tmp_4(a: string, b: string, i: int) -> bool {
13891389
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) != "/") {
13921392
return true
13931393
}
13941394
}

example/icse25/rules/rule9.gdl

+2-2
Original file line numberDiff line numberDiff line change
@@ -664,8 +664,8 @@ fn tmp_3(i: int, b: string, a: string) -> bool {
664664
@inline
665665
fn tmp_4(i: int, b: string, a: string) -> bool {
666666
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) != "/") {
669669
return true
670670
}
671671
}

example/icse25/rules/rule_ecg.gdl

+2-2
Original file line numberDiff line numberDiff line change
@@ -2297,8 +2297,8 @@ fn tmp_6(a: string, i: int, b: string) -> bool {
22972297
fn tmp_7(a: string, i: int, b: string) -> bool {
22982298
let (java_db = default_java_db()) {
22992299
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) != "/") {
23022302
return true
23032303
}
23042304
}

0 commit comments

Comments
 (0)