diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

allow memory recovery

Browse Source
This commit is contained in:
Vitor Santos Costa 2014-05-28 01:54:28 +01:00
parent 800ddd23a6
commit e7e9dab151
1 changed files with 19 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
C/sysbits.c
View File

@ -1137,7 +1137,7 @@ static Int
p_set_random_state ( USES_REGS1 ) p_set_random_state ( USES_REGS1 )
{ {
register Term t0 = Deref (ARG1); register Term t0 = Deref (ARG1);
char *old, * new = (char *) malloc(256); char *old, * new;
if (IsVarTerm (t0)) { if (IsVarTerm (t0)) {
return FALSE; return FALSE;
@ -1149,6 +1149,23 @@ p_set_random_state ( USES_REGS1 )
old = setstate( new ); old = setstate( new );
return Yap_unify(ARG2, MkIntegerTerm((Int)old)); return Yap_unify(ARG2, MkIntegerTerm((Int)old));
} }
static Int
p_release_random_state ( USES_REGS1 )
{
register Term t0 = Deref (ARG1);
char *old;
if (IsVarTerm (t0)) {
return FALSE;
}
if (IsIntegerTerm (t0))
old = (char *) IntegerOfTerm (t0);
else
return FALSE;
free( old );
return TRUE;
}
#endif #endif
static Int static Int
@ -3054,6 +3071,7 @@ Yap_InitSysPreds(void)
#if HAVE_RANDOM #if HAVE_RANDOM
Yap_InitCPred ("init_random_state", 3, p_init_random_state, SafePredFlag); Yap_InitCPred ("init_random_state", 3, p_init_random_state, SafePredFlag);
Yap_InitCPred ("set_random_state", 2, p_set_random_state, SafePredFlag); Yap_InitCPred ("set_random_state", 2, p_set_random_state, SafePredFlag);
Yap_InitCPred ("release_random_state", 1, p_release_random_state, SafePredFlag);
#endif #endif
Yap_InitCPred ("sh", 0, p_sh, SafePredFlag|SyncPredFlag); Yap_InitCPred ("sh", 0, p_sh, SafePredFlag|SyncPredFlag);
Yap_InitCPred ("$shell", 1, p_shell, SafePredFlag|SyncPredFlag|UserCPredFlag); Yap_InitCPred ("$shell", 1, p_shell, SafePredFlag|SyncPredFlag|UserCPredFlag);