- print ' json.beginObject();'
- print ' GLint source_length = 0;'
- print ' glGetShaderiv(shader, GL_SHADER_SOURCE_LENGTH, &source_length);'
- print ' json.beginMember("source");'
- print ' if (source_length) {'
- print ' GLchar *source = new GLchar[source_length];'
- print ' GLsizei length = 0;'
- print ' source[0] = 0;'
- print ' glGetShaderSource(shader, source_length, &length, source);'
- print ' json.writeString(source);'
- print ' delete [] source;'
+
+ print 'static inline void'
+ print 'writeEnum(JSONWriter &json, GLenum pname)'
+ print '{'
+ print ' const char *s = _enum_string(pname);'
+ print ' if (s) {'
+ print ' json.writeString(s);'