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

adtdefs.c: add debugging code to verify when a specific predicate is added.

Browse Source 
modules.* implemente module_property/2:class(_)
prism: comment unneeded labels.
This commit is contained in:
Vitor Santos Costa
2014-06-17 15:06:23 +01:00
committed by Vítor Santos Costa
parent e8f2c37000
commit 87d7c90171
4 changed files with 32 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
C/modules.c
View File

@@ -263,6 +263,21 @@ p_strip_module( USES_REGS1 )
Yap_unify(ARG2, tmod);
}
static Int
p_system_module( USES_REGS1 )
{
Term t1 = Deref(ARG1);
if (t1 == PROLOG_MODULE) {
return TRUE;
}
return t1 == TermProlog ||
t1 == IDB_MODULE ||
t1 == IDB_MODULE ||
t1 == ATTRIBUTES_MODULE ||
t1 == SYSTEM_MODULE ||
t1 == GLOBALS_MODULE;
}
static Int
p_context_module( USES_REGS1 )
{
@@ -336,6 +351,7 @@ Yap_InitModulesC(void)
Yap_InitCPred("$change_module", 1, p_change_module, SafePredFlag|SyncPredFlag);
Yap_InitCPred("strip_module", 3, p_strip_module, SafePredFlag|SyncPredFlag);
Yap_InitCPred("context_module", 1, p_context_module, 0);
Yap_InitCPred("$system_module", 1, p_system_module, 0);
Yap_InitCPredBack("$all_current_modules", 1, 1, init_current_module, cont_current_module,
SafePredFlag|SyncPredFlag);
}