int enableProfilingAtStartup(constchar * argv[], void * dummy); int enableMemoryProfilingAtStartup(constchar * argv[], void * dummy); int enableCodeCoverageAtStartup(constchar * argv[], void * dummy); void pauseProfiling(void); void unpauseProfiling(void);
// When a child is forked off, we force profile information to be stored // in a new file for the child, to avoid corruption. // This function is for use by the IO package void InformProfilingThatThisIsAForkedGAP(void);
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.