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

allow unification not to bound a variable.

Browse Source
This commit is contained in:
Vitor Santos Costa
2009-09-09 17:59:25 -05:00
parent ce76be4e77
commit 1e905eb5ef
1 changed files with 24 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

24
C/attvar.c
View File

@@ -400,6 +400,12 @@ BindAttVar(attvar_record *attv) {
} }
} }
static Int
UnBindAttVar(attvar_record *attv) {
RESET_VARIABLE(&(attv->Value));
return(TRUE);
}
static Term static Term
GetAllAtts(attvar_record *attv) { GetAllAtts(attvar_record *attv) {
/* check if we are already there */ /* check if we are already there */
@@ -768,6 +774,23 @@ p_bind_attvar(void) {
} }
} }
static Int
p_unbind_attvar(void) {
/* receive a variable in ARG1 */
Term inp = Deref(ARG1);
/* if this is unbound, ok */
if (IsVarTerm(inp)) {
if (IsAttachedTerm(inp)) {
attvar_record *attv = (attvar_record *)VarOfTerm(inp);
return(UnBindAttVar(attv));
}
return(TRUE);
} else {
Yap_Error(REPRESENTATION_ERROR_VARIABLE,inp,"first argument of bind_attvar/2");
return(FALSE);
}
}
static Int static Int
p_get_all_atts(void) { p_get_all_atts(void) {
/* receive a variable in ARG1 */ /* receive a variable in ARG1 */
@@ -989,6 +1012,7 @@ void Yap_InitAttVarPreds(void)
Yap_InitCPred("del_all_module_atts", 2, p_del_atts, 0); Yap_InitCPred("del_all_module_atts", 2, p_del_atts, 0);
Yap_InitCPred("rm_att", 4, p_rm_att, 0); Yap_InitCPred("rm_att", 4, p_rm_att, 0);
Yap_InitCPred("bind_attvar", 1, p_bind_attvar, SafePredFlag); Yap_InitCPred("bind_attvar", 1, p_bind_attvar, SafePredFlag);
Yap_InitCPred("unbind_attvar", 1, p_unbind_attvar, SafePredFlag);
Yap_InitCPred("modules_with_attributes", 2, p_modules_with_atts, SafePredFlag); Yap_InitCPred("modules_with_attributes", 2, p_modules_with_atts, SafePredFlag);
Yap_InitCPred("void_term", 1, p_void_term, SafePredFlag); Yap_InitCPred("void_term", 1, p_void_term, SafePredFlag);
Yap_InitCPred("free_term", 1, p_free_term, SafePredFlag); Yap_InitCPred("free_term", 1, p_free_term, SafePredFlag);