[Date Prev][Date Next][Thread Prev][Thread Next][Author Index][Date Index][Thread Index]

SAFEty and the Cross Referencing of BLASTs

You comment that SAFE implies NOFAULT caught me.  Methods in shepherds
that don't send any messages are NOLOCK, but not NOFAULT (almost
nothing under Abraham is NOFAULT), so the translator must
automatically supply the NOLOCK declarations, not SAFE declarations.