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

Appearance settings

Commit c201d52

Browse filesBrowse files
committed
fix some compilation failures
1 parent 0a087ce commit c201d52
Copy full SHA for c201d52
Expand file treeCollapse file tree

29 files changed

+1538
-1220
lines changed

‎example/icse25/Keymap/FindAllReleasedHttpAPI.gdl

Copy file name to clipboardExpand all lines: example/icse25/Keymap/FindAllReleasedHttpAPI.gdl
+6-4Lines changed: 6 additions & 4 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: int, index: int, result: string) -> bool {
579+
pub fn connectStrBase(ID: Expression, index: int, result: string) -> bool {
580580
let (xml_db = default_xml_db()) {
581581
let (java_db = default_java_db()) {
582582
for (total in int::__undetermined_all__(),
@@ -606,7 +606,7 @@ pub fn connectStrBase(ID: int, index: int, result: string) -> bool {
606606
}
607607
}
608608
}
609-
pub fn connectStr(ID: int) -> string {
609+
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__(),
@@ -962,6 +962,7 @@ fn tmp_6(b: string, a: string) -> bool {
962962
}
963963
}
964964

965+
@inline
965966
fn tmp_7(b: string, i: int, a: string) -> bool {
966967
let (xml_db = default_xml_db()) {
967968
let (java_db = default_java_db()) {
@@ -974,6 +975,7 @@ fn tmp_7(b: string, i: int, a: string) -> bool {
974975
}
975976
}
976977

978+
@inline
977979
fn tmp_8(b: string, i: int, a: string) -> bool {
978980
let (xml_db = default_xml_db()) {
979981
let (java_db = default_java_db()) {
@@ -1210,7 +1212,7 @@ fn tmp_28(e: Expression) -> bool {
12101212
}
12111213
}
12121214

1213-
fn tmp_29(ID: int) -> *auto_tmp_30 {
1215+
fn tmp_29(ID: Expression) -> *auto_tmp_30 {
12141216
let (xml_db = default_xml_db()) {
12151217
let (java_db = default_java_db()) {
12161218
for (auto_tmp_var_0 in int::__undetermined_all__(),
@@ -1241,7 +1243,7 @@ fn tmp_31(index: int) -> bool {
12411243
}
12421244
}
12431245

1244-
fn tmp_32(ID: int) -> *auto_tmp_33 {
1246+
fn tmp_32(ID: Expression) -> *auto_tmp_33 {
12451247
let (xml_db = default_xml_db()) {
12461248
let (java_db = default_java_db()) {
12471249
for (auto_tmp_var_0 in int::__undetermined_all__(),

0 commit comments

Comments
0 (0)
Morty Proxy This is a proxified and sanitized view of the page, visit original site.