3 This file is part of gldbg
4 Copyright © 2011 Mikko Rasa, Mikkosoft Productions
5 Distributed under the GPL
11 #include "gldecoder.h"
14 class Profiler: public RegisteredTool<Profiler>
17 typedef unsigned Time;
30 virtual void decode(const char *, unsigned);
32 void cmd_profile(const std::string &);
34 static void glDrawArrays(void *, GLenum, int, int);
35 static void glDrawElements(void *, GLenum, int, GLenum, const void *);
36 static void glDrawRangeElements(void *, GLenum, unsigned, unsigned, int, GLenum, const void *);
37 static void glXSwapBuffers(void *, Display *, GLXDrawable);
39 static Time get_time();