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