projects
/
m6w6
/
ext-psi
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
|
github
raw
|
inline
| side by side
deduct variable names from implementation
[m6w6/ext-psi]
/
tests
/
ndbm
/
ndbm.psi
diff --git
a/tests/ndbm/ndbm.psi
b/tests/ndbm/ndbm.psi
index 139f446b2366bb673f6ededc9a357d19c107c745..92fa62b3c648f264386c272ffacb7abf253bad51 100644
(file)
--- a/
tests/ndbm/ndbm.psi
+++ b/
tests/ndbm/ndbm.psi
@@
-5,15
+5,15
@@
function psi\dbm_open(string $file, int $open_flags, int $file_mode) : object {
return to_object(dbm_open);
}
return to_object(dbm_open);
}
-function psi\dbm_store(object $db,
array $key, array
$data, int $mode) : int {
+function psi\dbm_store(object $db,
string $key, string
$data, int $mode) : int {
let db = objval($db);
let key = arrval($key,
let db = objval($db);
let key = arrval($key,
-
strval($dptr
),
-
intval($dsize
)
+
dptr = strval($0
),
+
dsize = strlen($0
)
);
let content = arrval($data,
);
let content = arrval($data,
-
strval($dptr
),
-
intval($dsize
)
+
dptr = strval($0
),
+
dsize = strlen($0
)
);
let store_mode = intval($mode);
return to_int(dbm_store);
);
let store_mode = intval($mode);
return to_int(dbm_store);
@@
-22,12
+22,12
@@
function psi\dbm_store(object $db, array $key, array $data, int $mode) : int {
function psi\dbm_fetch(object $db, array $key) : array {
let db = objval($db);
let key = arrval($key,
function psi\dbm_fetch(object $db, array $key) : array {
let db = objval($db);
let key = arrval($key,
- strval($dptr),
- intval($dsize)
+
dptr =
strval($dptr),
+
dsize =
intval($dsize)
);
return to_array(dbm_fetch,
);
return to_array(dbm_fetch,
- to_
string(dptr,
dsize),
- to_
int(
dsize)
+ to_
int(
dsize),
+ to_
string(dptr,
dsize)
);
}
);
}