コード例 #1
0
ファイル: profiling.hpp プロジェクト: ghorn/debian-casadi
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);
}
コード例 #2
0
ファイル: profiling.hpp プロジェクト: edmundus/casadi
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;
}
コード例 #3
0
ファイル: profiling.c プロジェクト: DanielRosenwasser/mlton
void GC_profileWrite (GC_state s, GC_profileData p, NullString8_t fileName) {
  profileWrite (s, p, (const char*)fileName);
}
コード例 #4
0
ファイル: profiling.hpp プロジェクト: edmundus/casadi
void profileWriteExit(std::ofstream &f, T *a, double total) {
  ProfilingData_EXIT s;
  s.thisp=ptrToLong(a);
  s.total=total;
  profileWrite(f, s);
}
コード例 #5
0
ファイル: profiling.hpp プロジェクト: edmundus/casadi
void profileWriteEntry(std::ofstream &f, T *a) {
  ProfilingData_ENTRY s;
  s.thisp=ptrToLong(a);
  profileWrite(f, s);
}