void profileWriteTime(std::ofstream &f, T *a, int line_number, double local, double total) { ProfilingData_TIMELINE s; s.local = local; s.total = total; s.thisp = ptrToLong(a); s.line_number = line_number; profileWrite(f, s); }
void profileWriteSourceLine(std::ofstream &f, T *a, int line_number, const std::string &sourceline) { ProfilingData_SOURCE s; s.thisp = ptrToLong(a); s.line_number = line_number; s.length = sourceline.size(); s.opcode = -1; s.dependency = 0; profileWrite(f, s); f << sourceline; }
void GC_profileWrite (GC_state s, GC_profileData p, NullString8_t fileName) { profileWrite (s, p, (const char*)fileName); }
void profileWriteExit(std::ofstream &f, T *a, double total) { ProfilingData_EXIT s; s.thisp=ptrToLong(a); s.total=total; profileWrite(f, s); }
void profileWriteEntry(std::ofstream &f, T *a) { ProfilingData_ENTRY s; s.thisp=ptrToLong(a); profileWrite(f, s); }