Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Sign up
Appearance settings

Commit fa1cd00

Browse files
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)

AltStyle によって変換されたページ (->オリジナル) /