code: function(
        it, args, output, binFile) {
      gl.getBufferParameter(
          args['target'], args['pname']);
      output.push('glGetBufferParameteriv(' + [
        args['target'],
        args['pname'],
        '&scratch_data'
      ].join(', ') + ');');
    }
docs: 'WebGLRenderingContext#getActiveAttrib': function( it, args, output, binFile) { // TODO(chizeng): modify playback to make it work with varying locations. gl.getActiveAttrib( /** @type {WebGLProgram} */ (objs[args['program']]), args['index']); }, 'WebGLRenderingContext#getActiveUniform': function( it, args, output, binFile) { // maybe we must modify playback to obtain the new active uniform. gl.getActiveUniform( /** @type {WebGLProgram} */ (objs[args['program']]), args['index']); }, 'WebGLRenderingContext#getAttachedShaders': function( it, args, output, binFile) { gl.getAttachedShaders( /** @type {WebGLProgram} */ (objs[args['program']])); }, 'WebGLRenderingContext#getAttribLocation': function( it, args, output, binFile) { gl.getAttribLocation( /** @type {WebGLProgram} */ (objs[args['program']]), args['name']); },