7 class Profiler: public RegisteredTool<Profiler>
10 typedef unsigned Time;
24 virtual void decode(const char *, unsigned);
26 void cmd_profile(const std::string &);
28 static void glDrawArrays(void *, GLenum, int, int);
29 static void glDrawElements(void *, GLenum, int, GLenum, const void *);
30 static void glDrawRangeElements(void *, GLenum, unsigned, unsigned, int, GLenum, const void *);
31 static void glXSwapBuffers(void *, Display *, GLXDrawable);
33 static Time get_time();