first try to hide $ predicates

This commit is contained in:
Vítor Santos Costa 2016-01-07 23:42:52 +00:00
parent c11273bc44
commit a8b8113a8d

View File

@ -113,6 +113,25 @@ hide_atom( USES_REGS1 )
RepAtom(atomToInclude)->StrOfAE);
return(FALSE);
}
AtomEntry *ae = RepAtom(atomToInclude);
Prop p = ae->PropsOfAE;
while (p) {
if (IsPredProperty(p->KindOfPE) ||
IsDBProperty(p->KindOfPE ) ) {
RepPredProp(p)->PredFlags |= HiddenPredFlag;
} else if (p->KindOfPE == FunctorProperty) {
Prop q = RepFunctorProp(p)->PropsOfFE;
while (q) {
if (IsPredProperty(q->KindOfPE) ||
IsDBProperty(q->KindOfPE) ) {
RepPredProp(q)->PredFlags |= HiddenPredFlag;
}
q = q->NextOfPE;
}
}
p =p->NextOfPE;
}
Yap_ReleaseAtom(atomToInclude);
WRITE_LOCK(INVISIBLECHAIN.AERWLock);
WRITE_LOCK(RepAtom(atomToInclude)->ARWLock);