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

IndicatorOfPred

This commit is contained in:
Vitor Santos Costa 2016-07-30 23:08:05 -05:00
parent fb08cfe5f6
commit 72fcd2befa
1 changed files with 34 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
C/adtdefs.c
View File

@ -1389,3 +1389,37 @@ int Yap_AtomDecreaseHold(Atom at) {
WRITE_UNLOCK(ae->ARWLock);
return TRUE;
}
const char *IndicatorOfPred(PredEntry *pe) {
const char *mods;
Atom at;
arity_t arity;
if (pe->ModuleOfPred == IDB_MODULE) {
mods = "idb";
if (pe->PredFlags & NumberDBPredFlag) {
snprintf(LOCAL_FileNameBuf, YAP_FILENAME_MAX, "idb:" UInt_FORMAT,
(Int)(pe->FunctorOfPred));
return LOCAL_FileNameBuf;
} else if (pe->PredFlags & AtomDBPredFlag) {
at = (Atom)pe->FunctorOfPred;
arity = 0;
} else {
at = NameOfFunctor(pe->FunctorOfPred);
arity = ArityOfFunctor(pe->FunctorOfPred);
}
} else {
if (pe->ModuleOfPred == 0)
mods = "prolog";
else
mods = RepAtom(AtomOfTerm(pe->ModuleOfPred))->StrOfAE;
arity = pe->ArityOfPE;
if (arity == 0) {
at = (Atom)pe->FunctorOfPred;
} else {
at = NameOfFunctor(pe->FunctorOfPred);
}
}
snprintf(LOCAL_FileNameBuf, YAP_FILENAME_MAX, "%s:%s/" UInt_FORMAT, mods,
RepAtom(at)->StrOfAE, arity);
return LOCAL_FileNameBuf;
}