Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit fa1cd00

Browse files
ValKmjolnirValKmjolnir
committedApr 28, 2025·
fix compilation failure
1 parent d5876f0 commit fa1cd00

File tree

5 files changed

+30
-34
lines changed

5 files changed

+30
-34
lines changed
 

‎example/icse25/Keymap/FindAllReleasedHttpAPI.gdl

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -576,7 +576,7 @@ pub fn facts(a: Expression, i: int, value: string) -> bool {
576576
}
577577
}
578578
}
579-
pub fn connectStrBase(ID: Expression, index: int, result: string) -> bool {
579+
pub fn connectStrBase(ID: Expression, index: int, res: string) -> bool {
580580
let (xml_db = default_xml_db()) {
581581
let (java_db = default_java_db()) {
582582
for (total in int::__undetermined_all__(),
@@ -585,7 +585,7 @@ pub fn connectStrBase(ID: Expression, index: int, result: string) -> bool {
585585
if (total = tmp_29(ID).len()) {
586586
if (tmp_31(index)) {
587587
if (facts(Expression(java_db).find(ID), index, currStr)) {
588-
if (result = currStr) {
588+
if (res = currStr) {
589589
return true
590590
}
591591
}
@@ -594,7 +594,7 @@ pub fn connectStrBase(ID: Expression, index: int, result: string) -> bool {
594594
if (index > 0) {
595595
if (connectStrBase(ID, index - 1, reStr)) {
596596
if (facts(Expression(java_db).find(ID), index, currStr)) {
597-
if (result = reStr + currStr) {
597+
if (res = reStr + currStr) {
598598
return true
599599
}
600600
}
@@ -610,10 +610,10 @@ pub fn connectStr(ID: Expression) -> string {
610610
let (xml_db = default_xml_db()) {
611611
let (java_db = default_java_db()) {
612612
for (c in int::__undetermined_all__(),
613-
result in string::__undetermined_all__()) {
613+
res in string::__undetermined_all__()) {
614614
if (c = tmp_32(ID).len()) {
615-
if (connectStrBase(ID, c - 1, result)) {
616-
return result
615+
if (connectStrBase(ID, c - 1, res)) {
616+
return res
617617
}
618618
}
619619
}

‎example/icse25/rules/rule1_4.gdl

Lines changed: 6 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1501,15 +1501,15 @@ pub fn facts(a: Expression, i: int, value: string) -> bool {
15011501
}
15021502
}
15031503
}
1504-
pub fn connectStrBase(ID: Expression, index: int, result: string) -> bool {
1504+
pub fn connectStrBase(ID: Expression, index: int, res: string) -> bool {
15051505
let (java_db = default_java_db()) {
15061506
for (total in int::__undetermined_all__(),
15071507
reStr in string::__undetermined_all__(),
15081508
currStr in string::__undetermined_all__()) {
15091509
if (total = tmp_22(ID).len()) {
15101510
if (tmp_24(index)) {
15111511
if (facts(Expression(java_db).find(ID), index, currStr)) {
1512-
if (result = currStr) {
1512+
if (res = currStr) {
15131513
return true
15141514
}
15151515
}
@@ -1518,7 +1518,7 @@ pub fn connectStrBase(ID: Expression, index: int, result: string) -> bool {
15181518
if (index > 0) {
15191519
if (connectStrBase(ID, index - 1, reStr)) {
15201520
if (facts(Expression(java_db).find(ID), index, currStr)) {
1521-
if (result = reStr + currStr) {
1521+
if (res = reStr + currStr) {
15221522
return true
15231523
}
15241524
}
@@ -1531,11 +1531,10 @@ pub fn connectStrBase(ID: Expression, index: int, result: string) -> bool {
15311531
}
15321532
pub fn connectStr(ID: Expression) -> string {
15331533
let (java_db = default_java_db()) {
1534-
for (c in int::__undetermined_all__(),
1535-
result in string::__undetermined_all__()) {
1534+
for (c in int::__undetermined_all__(), res in string::__undetermined_all__()) {
15361535
if (c = tmp_25(ID).len()) {
1537-
if (connectStrBase(ID, c - 1, result)) {
1538-
return result
1536+
if (connectStrBase(ID, c - 1, res)) {
1537+
return res
15391538
}
15401539
}
15411540
}

‎example/icse25/rules/rule4.gdl

Lines changed: 6 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1201,15 +1201,15 @@ pub fn facts(a: Expression, i: int, value: string) -> bool {
12011201
}
12021202
}
12031203
}
1204-
pub fn connectStrBase(ID: Expression, index: int, result: string) -> bool {
1204+
pub fn connectStrBase(ID: Expression, index: int, res: string) -> bool {
12051205
let (java_db = default_java_db()) {
12061206
for (total in int::__undetermined_all__(),
12071207
reStr in string::__undetermined_all__(),
12081208
currStr in string::__undetermined_all__()) {
12091209
if (total = tmp_19(ID).len()) {
12101210
if (tmp_21(index)) {
12111211
if (facts(Expression(java_db).find(ID), index, currStr)) {
1212-
if (result = currStr) {
1212+
if (res = currStr) {
12131213
return true
12141214
}
12151215
}
@@ -1218,7 +1218,7 @@ pub fn connectStrBase(ID: Expression, index: int, result: string) -> bool {
12181218
if (index > 0) {
12191219
if (connectStrBase(ID, index - 1, reStr)) {
12201220
if (facts(Expression(java_db).find(ID), index, currStr)) {
1221-
if (result = reStr + currStr) {
1221+
if (res = reStr + currStr) {
12221222
return true
12231223
}
12241224
}
@@ -1231,11 +1231,10 @@ pub fn connectStrBase(ID: Expression, index: int, result: string) -> bool {
12311231
}
12321232
pub fn connectStr(ID: Expression) -> string {
12331233
let (java_db = default_java_db()) {
1234-
for (c in int::__undetermined_all__(),
1235-
result in string::__undetermined_all__()) {
1234+
for (c in int::__undetermined_all__(), res in string::__undetermined_all__()) {
12361235
if (c = tmp_22(ID).len()) {
1237-
if (connectStrBase(ID, c - 1, result)) {
1238-
return result
1236+
if (connectStrBase(ID, c - 1, res)) {
1237+
return res
12391238
}
12401239
}
12411240
}

‎example/icse25/rules/rule9.gdl

Lines changed: 6 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -536,15 +536,15 @@ pub fn facts(a: Expression, i: int, value: string) -> bool {
536536
}
537537
}
538538
}
539-
pub fn connectStrBase(ID: Expression, index: int, result: string) -> bool {
539+
pub fn connectStrBase(ID: Expression, index: int, res: string) -> bool {
540540
let (java_db = default_java_db()) {
541541
for (total in int::__undetermined_all__(),
542542
reStr in string::__undetermined_all__(),
543543
currStr in string::__undetermined_all__()) {
544544
if (total = tmp_19(ID).len()) {
545545
if (tmp_21(index)) {
546546
if (facts(Expression(java_db).find(ID), index, currStr)) {
547-
if (result = currStr) {
547+
if (res = currStr) {
548548
return true
549549
}
550550
}
@@ -553,7 +553,7 @@ pub fn connectStrBase(ID: Expression, index: int, result: string) -> bool {
553553
if (index > 0) {
554554
if (connectStrBase(ID, index - 1, reStr)) {
555555
if (facts(Expression(java_db).find(ID), index, currStr)) {
556-
if (result = reStr + currStr) {
556+
if (res = reStr + currStr) {
557557
return true
558558
}
559559
}
@@ -566,11 +566,10 @@ pub fn connectStrBase(ID: Expression, index: int, result: string) -> bool {
566566
}
567567
pub fn connectStr(ID: Expression) -> string {
568568
let (java_db = default_java_db()) {
569-
for (c in int::__undetermined_all__(),
570-
result in string::__undetermined_all__()) {
569+
for (c in int::__undetermined_all__(), res in string::__undetermined_all__()) {
571570
if (c = tmp_22(ID).len()) {
572-
if (connectStrBase(ID, c - 1, result)) {
573-
return result
571+
if (connectStrBase(ID, c - 1, res)) {
572+
return res
574573
}
575574
}
576575
}

‎example/icse25/rules/rule_ecg.gdl

Lines changed: 6 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -2039,7 +2039,7 @@ pub fn facts(a: Expression, i: int, value: string) -> bool {
20392039
}
20402040
}
20412041
}
2042-
pub fn connectStrBase(ID: Expression, index: int, result: string) -> bool {
2042+
pub fn connectStrBase(ID: Expression, index: int, res: string) -> bool {
20432043
let (java_db = default_java_db()) {
20442044
let (xml_db = default_xml_db()) {
20452045
for (total in int::__undetermined_all__(),
@@ -2048,7 +2048,7 @@ pub fn connectStrBase(ID: Expression, index: int, result: string) -> bool {
20482048
if (total = tmp_22(ID).len()) {
20492049
if (tmp_24(index)) {
20502050
if (facts(Expression(java_db).find(ID), index, currStr)) {
2051-
if (result = currStr) {
2051+
if (res = currStr) {
20522052
return true
20532053
}
20542054
}
@@ -2057,7 +2057,7 @@ pub fn connectStrBase(ID: Expression, index: int, result: string) -> bool {
20572057
if (index > 0) {
20582058
if (connectStrBase(ID, index - 1, reStr)) {
20592059
if (facts(Expression(java_db).find(ID), index, currStr)) {
2060-
if (result = reStr + currStr) {
2060+
if (res = reStr + currStr) {
20612061
return true
20622062
}
20632063
}
@@ -2072,11 +2072,10 @@ pub fn connectStrBase(ID: Expression, index: int, result: string) -> bool {
20722072
pub fn connectStr(ID: Expression) -> string {
20732073
let (java_db = default_java_db()) {
20742074
let (xml_db = default_xml_db()) {
2075-
for (c in int::__undetermined_all__(),
2076-
result in string::__undetermined_all__()) {
2075+
for (c in int::__undetermined_all__(), res in string::__undetermined_all__()) {
20772076
if (c = tmp_25(ID).len()) {
2078-
if (connectStrBase(ID, c - 1, result)) {
2079-
return result
2077+
if (connectStrBase(ID, c - 1, res)) {
2078+
return res
20802079
}
20812080
}
20822081
}

0 commit comments

Comments
 (0)
Please sign in to comment.