• Consistency of the XPCE name (atom) table. Detected inconsistencies are reported as system errors. On successful completion statistics on the name-table are printed to the host-language window.
• Inconsistencies in the object base. It collects all objects with a global named reference in a chain and then runs object->_check on this chain. This finds all visual objects (via @display_manager), all classes (via @classes) and all other globally defined objects as well as objects referred from them.
• Unresolved types (see @pce<-unresolved_types). Types with a Prolog pce_autoload/2 declaration are omitted.

The predicate succeeds if no errors were found and fails otherwise. Error messages are written to the host-language window. See also object->_check.