class GL

Features exported to ANY

Direct parents

non-conformant parents

ANY

Summary

creation features

exported features

Details

make
make
const_false: INTEGER_8
const_true: INTEGER_8
const_byte: INTEGER
const_unsigned_byte: INTEGER
const_short: INTEGER
const_unsigned_short: INTEGER
const_int: INTEGER
const_unsigned_int: INTEGER
const_float: INTEGER
const_2_bytes: INTEGER
const_3_bytes: INTEGER
const_4_bytes: INTEGER
const_double: INTEGER
const_points: INTEGER
const_lines: INTEGER
const_line_loop: INTEGER
const_line_strip: INTEGER
const_triangles: INTEGER
const_triangle_strip: INTEGER
const_triangle_fan: INTEGER
const_quads: INTEGER
const_quad_strip: INTEGER
const_polygon: INTEGER
const_vertex_array: INTEGER
const_normal_array: INTEGER
const_color_array: INTEGER
const_index_array: INTEGER
const_texture_coord_array: INTEGER
const_edge_flag_array: INTEGER
const_vertex_array_size: INTEGER
const_vertex_array_type: INTEGER
const_vertex_array_stride: INTEGER
const_normal_array_type: INTEGER
const_normal_array_stride: INTEGER
const_color_array_size: INTEGER
const_color_array_type: INTEGER
const_color_array_stride: INTEGER
const_index_array_type: INTEGER
const_index_array_stride: INTEGER
const_texture_coord_array_size: INTEGER
const_texture_coord_array_type: INTEGER
const_texture_coord_array_stride: INTEGER
const_edge_flag_array_stride: INTEGER
const_vertex_array_pointer: INTEGER
const_normal_array_pointer: INTEGER
const_color_array_pointer: INTEGER
const_index_array_pointer: INTEGER
const_texture_coord_array_pointer: INTEGER
const_edge_flag_array_pointer: INTEGER
const_v2f: INTEGER
const_v3f: INTEGER
const_c4ub_v2f: INTEGER
const_c4ub_v3f: INTEGER
const_c3f_v3f: INTEGER
const_n3f_v3f: INTEGER
const_c4f_n3f_v3f: INTEGER
const_t2f_v3f: INTEGER
const_t4f_v4f: INTEGER
const_t2f_c4ub_v3f: INTEGER
const_t2f_c3f_v3f: INTEGER
const_t2f_n3f_v3f: INTEGER
const_t2f_c4f_n3f_v3f: INTEGER
const_t4f_c4f_n3f_v4f: INTEGER
const_matrix_mode: INTEGER
const_modelview: INTEGER
const_projection: INTEGER
const_texture: INTEGER
const_point_smooth: INTEGER
const_point_size: INTEGER
const_point_size_granularity: INTEGER
const_point_size_range: INTEGER
const_line_smooth: INTEGER
const_line_stipple: INTEGER
const_line_stipple_pattern: INTEGER
const_line_stipple_repeat: INTEGER
const_line_width: INTEGER
const_line_width_granularity: INTEGER
const_line_width_range: INTEGER
const_point: INTEGER
const_line: INTEGER
const_fill: INTEGER
const_cw: INTEGER
const_ccw: INTEGER
const_front: INTEGER
const_back: INTEGER
const_polygon_mode: INTEGER
const_polygon_smooth: INTEGER
const_polygon_stipple: INTEGER
const_edge_flag: INTEGER
const_cull_face: INTEGER
const_cull_face_mode: INTEGER
const_front_face: INTEGER
const_polygon_offset_factor: INTEGER
const_polygon_offset_units: INTEGER
const_polygon_offset_point: INTEGER
const_polygon_offset_line: INTEGER
const_polygon_offset_fill: INTEGER
const_compile: INTEGER
const_compile_and_execute: INTEGER
const_list_base: INTEGER
const_list_index: INTEGER
const_list_mode: INTEGER
const_never: INTEGER
const_less: INTEGER
const_equal: INTEGER
const_lequal: INTEGER
const_greater: INTEGER
const_notequal: INTEGER
const_gequal: INTEGER
const_always: INTEGER
const_depth_test: INTEGER
const_depth_bits: INTEGER
const_depth_clear_value: INTEGER
const_depth_func: INTEGER
const_depth_range: INTEGER
const_depth_writemask: INTEGER
const_depth_component: INTEGER
const_lighting: INTEGER
const_light0: INTEGER
const_light1: INTEGER
const_light2: INTEGER
const_light3: INTEGER
const_light4: INTEGER
const_light5: INTEGER
const_light6: INTEGER
const_light7: INTEGER
const_spot_exponent: INTEGER
const_spot_cutoff: INTEGER
const_constant_attenuation: INTEGER
const_linear_attenuation: INTEGER
const_quadratic_attenuation: INTEGER
const_ambient: INTEGER
const_diffuse: INTEGER
const_specular: INTEGER
const_shininess: INTEGER
const_emission: INTEGER
const_position: INTEGER
const_spot_direction: INTEGER
const_ambient_and_diffuse: INTEGER
const_color_indexes: INTEGER
const_light_model_two_side: INTEGER
const_light_model_local_viewer: INTEGER
const_light_model_ambient: INTEGER
const_front_and_back: INTEGER
const_shade_model: INTEGER
const_flat: INTEGER
const_smooth: INTEGER
const_color_material: INTEGER
const_color_material_face: INTEGER
const_color_material_parameter: INTEGER
const_normalize: INTEGER
const_clip_plane0: INTEGER
const_clip_plane1: INTEGER
const_clip_plane2: INTEGER
const_clip_plane3: INTEGER
const_clip_plane4: INTEGER
const_clip_plane5: INTEGER
const_accum_red_bits: INTEGER
const_accum_green_bits: INTEGER
const_accum_blue_bits: INTEGER
const_accum_alpha_bits: INTEGER
const_accum_clear_value: INTEGER
const_accum: INTEGER
const_add: INTEGER
const_load: INTEGER
const_mult: INTEGER
const_return: INTEGER
const_alpha_test: INTEGER
const_alpha_test_ref: INTEGER
const_alpha_test_func: INTEGER
const_blend: INTEGER
const_blend_src: INTEGER
const_blend_dst: INTEGER
const_zero: INTEGER
const_one: INTEGER
const_src_color: INTEGER
const_one_minus_src_color: INTEGER
const_src_alpha: INTEGER
const_one_minus_src_alpha: INTEGER
const_dst_alpha: INTEGER
const_one_minus_dst_alpha: INTEGER
const_dst_color: INTEGER
const_one_minus_dst_color: INTEGER
const_src_alpha_saturate: INTEGER
const_feedback: INTEGER
const_render: INTEGER
const_select: INTEGER
const_point_token: INTEGER
const_line_token: INTEGER
const_line_reset_token: INTEGER
const_polygon_token: INTEGER
const_bitmap_token: INTEGER
const_draw_pixel_token: INTEGER
const_copy_pixel_token: INTEGER
const_pass_through_token: INTEGER
const_feedback_buffer_pointer: INTEGER
const_feedback_buffer_size: INTEGER
const_feedback_buffer_type: INTEGER
const_selection_buffer_pointer: INTEGER
const_selection_buffer_size: INTEGER
const_fog: INTEGER
const_fog_mode: INTEGER
const_fog_density: INTEGER
const_fog_color: INTEGER
const_fog_index: INTEGER
const_fog_start: INTEGER
const_fog_end: INTEGER
const_linear: INTEGER
const_exp: INTEGER
const_exp2: INTEGER
const_logic_op: INTEGER
const_index_logic_op: INTEGER
const_color_logic_op: INTEGER
const_logic_op_mode: INTEGER
const_clear: INTEGER
const_set: INTEGER
const_copy: INTEGER
const_copy_inverted: INTEGER
const_noop: INTEGER
const_invert: INTEGER
const_and: INTEGER
const_nand: INTEGER
const_or: INTEGER
const_nor: INTEGER
const_xor: INTEGER
const_equiv: INTEGER
const_and_reverse: INTEGER
const_and_inverted: INTEGER
const_or_reverse: INTEGER
const_or_inverted: INTEGER
const_stencil_test: INTEGER
const_stencil_writemask: INTEGER
const_stencil_bits: INTEGER
const_stencil_func: INTEGER
const_stencil_value_mask: INTEGER
const_stencil_ref: INTEGER
const_stencil_fail: INTEGER
const_stencil_pass_depth_pass: INTEGER
const_stencil_pass_depth_fail: INTEGER
const_stencil_clear_value: INTEGER
const_stencil_index: INTEGER
const_keep: INTEGER
const_replace: INTEGER
const_incr: INTEGER
const_decr: INTEGER
const_none: INTEGER
const_left: INTEGER
const_right: INTEGER
const_front_left: INTEGER
const_front_right: INTEGER
const_back_left: INTEGER
const_back_right: INTEGER
const_aux0: INTEGER
const_aux1: INTEGER
const_aux2: INTEGER
const_aux3: INTEGER
const_color_index: INTEGER
const_red: INTEGER
const_green: INTEGER
const_blue: INTEGER
const_alpha: INTEGER
const_luminance: INTEGER
const_luminance_alpha: INTEGER
const_alpha_bits: INTEGER
const_red_bits: INTEGER
const_green_bits: INTEGER
const_blue_bits: INTEGER
const_index_bits: INTEGER
const_subpixel_bits: INTEGER
const_aux_buffers: INTEGER
const_read_buffer: INTEGER
const_draw_buffer: INTEGER
const_doublebuffer: INTEGER
const_stereo: INTEGER
const_bitmap: INTEGER
const_color: INTEGER
const_depth: INTEGER
const_stencil: INTEGER
const_dither: INTEGER
const_rgb: INTEGER
const_rgba: INTEGER
const_max_list_nesting: INTEGER
const_max_attrib_stack_depth: INTEGER
const_max_modelview_stack_depth: INTEGER
const_max_name_stack_depth: INTEGER
const_max_projection_stack_depth: INTEGER
const_max_texture_stack_depth: INTEGER
const_max_eval_order: INTEGER
const_max_lights: INTEGER
const_max_clip_planes: INTEGER
const_max_texture_size: INTEGER
const_max_pixel_map_table: INTEGER
const_max_viewport_dims: INTEGER
const_max_client_attrib_stack_depth: INTEGER
const_attrib_stack_depth: INTEGER
const_client_attrib_stack_depth: INTEGER
const_color_clear_value: INTEGER
const_color_writemask: INTEGER
const_current_index: INTEGER
const_current_color: INTEGER
const_current_normal: INTEGER
const_current_raster_color: INTEGER
const_current_raster_distance: INTEGER
const_current_raster_index: INTEGER
const_current_raster_position: INTEGER
const_current_raster_texture_coords: INTEGER
const_current_raster_position_valid: INTEGER
const_current_texture_coords: INTEGER
const_index_clear_value: INTEGER
const_index_mode: INTEGER
const_index_writemask: INTEGER
const_modelview_matrix: INTEGER
const_modelview_stack_depth: INTEGER
const_name_stack_depth: INTEGER
const_projection_matrix: INTEGER
const_projection_stack_depth: INTEGER
const_render_mode: INTEGER
const_rgba_mode: INTEGER
const_texture_matrix: INTEGER
const_texture_stack_depth: INTEGER
const_viewport: INTEGER
const_auto_normal: INTEGER
const_map1_color_4: INTEGER
const_map1_index: INTEGER
const_map1_normal: INTEGER
const_map1_texture_coord_1: INTEGER
const_map1_texture_coord_2: INTEGER
const_map1_texture_coord_3: INTEGER
const_map1_texture_coord_4: INTEGER
const_map1_vertex_3: INTEGER
const_map1_vertex_4: INTEGER
const_map2_color_4: INTEGER
const_map2_index: INTEGER
const_map2_normal: INTEGER
const_map2_texture_coord_1: INTEGER
const_map2_texture_coord_2: INTEGER
const_map2_texture_coord_3: INTEGER
const_map2_texture_coord_4: INTEGER
const_map2_vertex_3: INTEGER
const_map2_vertex_4: INTEGER
const_map1_grid_domain: INTEGER
const_map1_grid_segments: INTEGER
const_map2_grid_domain: INTEGER
const_map2_grid_segments: INTEGER
const_coeff: INTEGER
const_domain: INTEGER
const_order: INTEGER
const_fog_hint: INTEGER
const_line_smooth_hint: INTEGER
const_perspective_correction_hint: INTEGER
const_point_smooth_hint: INTEGER
const_polygon_smooth_hint: INTEGER
const_dont_care: INTEGER
const_fastest: INTEGER
const_nicest: INTEGER
const_scissor_test: INTEGER
const_scissor_box: INTEGER
const_map_color: INTEGER
const_map_stencil: INTEGER
const_index_shift: INTEGER
const_index_offset: INTEGER
const_red_scale: INTEGER
const_red_bias: INTEGER
const_green_scale: INTEGER
const_green_bias: INTEGER
const_blue_scale: INTEGER
const_blue_bias: INTEGER
const_alpha_scale: INTEGER
const_alpha_bias: INTEGER
const_depth_scale: INTEGER
const_depth_bias: INTEGER
const_pixel_map_s_to_s_size: INTEGER
const_pixel_map_i_to_i_size: INTEGER
const_pixel_map_i_to_r_size: INTEGER
const_pixel_map_i_to_g_size: INTEGER
const_pixel_map_i_to_b_size: INTEGER
const_pixel_map_i_to_a_size: INTEGER
const_pixel_map_r_to_r_size: INTEGER
const_pixel_map_g_to_g_size: INTEGER
const_pixel_map_b_to_b_size: INTEGER
const_pixel_map_a_to_a_size: INTEGER
const_pixel_map_s_to_s: INTEGER
const_pixel_map_i_to_i: INTEGER
const_pixel_map_i_to_r: INTEGER
const_pixel_map_i_to_g: INTEGER
const_pixel_map_i_to_b: INTEGER
const_pixel_map_i_to_a: INTEGER
const_pixel_map_r_to_r: INTEGER
const_pixel_map_g_to_g: INTEGER
const_pixel_map_b_to_b: INTEGER
const_pixel_map_a_to_a: INTEGER
const_pack_alignment: INTEGER
const_pack_lsb_first: INTEGER
const_pack_row_length: INTEGER
const_pack_skip_pixels: INTEGER
const_pack_skip_rows: INTEGER
const_pack_swap_bytes: INTEGER
const_unpack_alignment: INTEGER
const_unpack_lsb_first: INTEGER
const_unpack_row_length: INTEGER
const_unpack_skip_pixels: INTEGER
const_unpack_skip_rows: INTEGER
const_unpack_swap_bytes: INTEGER
const_zoom_x: INTEGER
const_zoom_y: INTEGER
const_texture_env: INTEGER
const_texture_env_mode: INTEGER
const_texture_1d: INTEGER
const_texture_2d: INTEGER
const_texture_wrap_s: INTEGER
const_texture_wrap_t: INTEGER
const_texture_mag_filter: INTEGER
const_texture_min_filter: INTEGER
const_texture_env_color: INTEGER
const_texture_gen_s: INTEGER
const_texture_gen_t: INTEGER
const_texture_gen_mode: INTEGER
const_texture_border_color: INTEGER
const_texture_width: INTEGER
const_texture_height: INTEGER
const_texture_border: INTEGER
const_texture_components: INTEGER
const_texture_red_size: INTEGER
const_texture_green_size: INTEGER
const_texture_blue_size: INTEGER
const_texture_alpha_size: INTEGER
const_texture_luminance_size: INTEGER
const_texture_intensity_size: INTEGER
const_nearest_mipmap_nearest: INTEGER
const_nearest_mipmap_linear: INTEGER
const_linear_mipmap_nearest: INTEGER
const_linear_mipmap_linear: INTEGER
const_object_linear: INTEGER
const_object_plane: INTEGER
const_eye_linear: INTEGER
const_eye_plane: INTEGER
const_sphere_map: INTEGER
const_decal: INTEGER
const_modulate: INTEGER
const_nearest: INTEGER
const_repeat: INTEGER
const_clamp: INTEGER
const_s: INTEGER
const_t: INTEGER
const_r: INTEGER
const_q: INTEGER
const_texture_gen_r: INTEGER
const_texture_gen_q: INTEGER
const_vendor: INTEGER
const_renderer: INTEGER
const_version: INTEGER
const_extensions: INTEGER
const_no_error: INTEGER
const_invalid_value: INTEGER
const_invalid_enum: INTEGER
const_invalid_operation: INTEGER
const_stack_overflow: INTEGER
const_stack_underflow: INTEGER
const_out_of_memory: INTEGER
const_current_bit: INTEGER
const_point_bit: INTEGER
const_line_bit: INTEGER
const_polygon_bit: INTEGER
const_polygon_stipple_bit: INTEGER
const_pixel_mode_bit: INTEGER
const_lighting_bit: INTEGER
const_fog_bit: INTEGER
const_depth_buffer_bit: INTEGER
const_accum_buffer_bit: INTEGER
const_stencil_buffer_bit: INTEGER
const_viewport_bit: INTEGER
const_transform_bit: INTEGER
const_enable_bit: INTEGER
const_color_buffer_bit: INTEGER
const_hint_bit: INTEGER
const_eval_bit: INTEGER
const_list_bit: INTEGER
const_texture_bit: INTEGER
const_scissor_bit: INTEGER
const_all_attrib_bits: INTEGER
const_texture_priority: INTEGER
const_texture_resident: INTEGER
const_texture_internal_format: INTEGER
const_alpha4: INTEGER
const_alpha8: INTEGER
const_alpha12: INTEGER
const_alpha16: INTEGER
const_luminance4: INTEGER
const_luminance8: INTEGER
const_luminance12: INTEGER
const_luminance16: INTEGER
const_luminance4_alpha4: INTEGER
const_luminance6_alpha2: INTEGER
const_luminance8_alpha8: INTEGER
const_luminance12_alpha4: INTEGER
const_luminance12_alpha12: INTEGER
const_luminance16_alpha16: INTEGER
const_intensity: INTEGER
const_intensity4: INTEGER
const_intensity8: INTEGER
const_intensity12: INTEGER
const_intensity16: INTEGER
const_r3_g3_b2: INTEGER
const_rgb4: INTEGER
const_rgb5: INTEGER
const_rgb8: INTEGER
const_rgb10: INTEGER
const_rgb12: INTEGER
const_rgb16: INTEGER
const_rgba2: INTEGER
const_rgba4: INTEGER
const_rgb5_a1: INTEGER
const_rgba8: INTEGER
const_rgb10_a2: INTEGER
const_rgba12: INTEGER
const_rgba16: INTEGER
const_client_pixel_store_bit: INTEGER
const_client_vertex_array_bit: INTEGER
const_all_client_attrib_bits: INTEGER
const_client_all_attrib_bits: INTEGER
const_rescale_normal: INTEGER
const_clamp_to_edge: INTEGER
const_max_elements_vertices: INTEGER
const_max_elements_indices: INTEGER
const_bgr: INTEGER
const_bgra: INTEGER
const_unsigned_byte_3_3_2: INTEGER
const_unsigned_byte_2_3_3_rev: INTEGER
const_unsigned_short_5_6_5: INTEGER
const_unsigned_short_5_6_5_rev: INTEGER
const_unsigned_short_4_4_4_4: INTEGER
const_unsigned_short_4_4_4_4_rev: INTEGER
const_unsigned_short_5_5_5_1: INTEGER
const_unsigned_short_1_5_5_5_rev: INTEGER
const_unsigned_int_8_8_8_8: INTEGER
const_unsigned_int_8_8_8_8_rev: INTEGER
const_unsigned_int_10_10_10_2: INTEGER
const_unsigned_int_2_10_10_10_rev: INTEGER
const_light_model_color_control: INTEGER
const_single_color: INTEGER
const_separate_specular_color: INTEGER
const_texture_min_lod: INTEGER
const_texture_max_lod: INTEGER
const_texture_base_level: INTEGER
const_texture_max_level: INTEGER
const_smooth_point_size_range: INTEGER
const_smooth_point_size_granularity: INTEGER
const_smooth_line_width_range: INTEGER
const_smooth_line_width_granularity: INTEGER
const_aliased_point_size_range: INTEGER
const_aliased_line_width_range: INTEGER
const_pack_skip_images: INTEGER
const_pack_image_height: INTEGER
const_unpack_skip_images: INTEGER
const_unpack_image_height: INTEGER
const_texture_depth: INTEGER
const_texture_wrap_r: INTEGER
const_constant_color: INTEGER
const_one_minus_constant_color: INTEGER
const_constant_alpha: INTEGER
const_one_minus_constant_alpha: INTEGER
const_color_table: INTEGER
const_post_convolution_color_table: INTEGER
const_post_color_matrix_color_table: INTEGER
const_proxy_color_table: INTEGER
const_proxy_post_convolution_color_table: INTEGER
const_proxy_post_color_matrix_color_table: INTEGER
const_color_table_scale: INTEGER
const_color_table_bias: INTEGER
const_color_table_format: INTEGER
const_color_table_width: INTEGER
const_color_table_red_size: INTEGER
const_color_table_green_size: INTEGER
const_color_table_blue_size: INTEGER
const_color_table_alpha_size: INTEGER
const_color_table_luminance_size: INTEGER
const_color_table_intensity_size: INTEGER
const_convolution_border_mode: INTEGER
const_convolution_filter_scale: INTEGER
const_convolution_filter_bias: INTEGER
const_reduce: INTEGER
const_convolution_format: INTEGER
const_convolution_width: INTEGER
const_convolution_height: INTEGER
const_max_convolution_width: INTEGER
const_max_convolution_height: INTEGER
const_post_convolution_red_scale: INTEGER
const_post_convolution_green_scale: INTEGER
const_post_convolution_blue_scale: INTEGER
const_post_convolution_alpha_scale: INTEGER
const_post_convolution_red_bias: INTEGER
const_post_convolution_green_bias: INTEGER
const_post_convolution_blue_bias: INTEGER
const_post_convolution_alpha_bias: INTEGER
const_constant_border: INTEGER
const_replicate_border: INTEGER
const_convolution_border_color: INTEGER
const_color_matrix: INTEGER
const_color_matrix_stack_depth: INTEGER
const_max_color_matrix_stack_depth: INTEGER
const_post_color_matrix_red_scale: INTEGER
const_post_color_matrix_green_scale: INTEGER
const_post_color_matrix_blue_scale: INTEGER
const_post_color_matrix_alpha_scale: INTEGER
const_post_color_matrix_red_bias: INTEGER
const_post_color_matrix_green_bias: INTEGER
const_post_color_matrix_blue_bias: INTEGER
const_post_color_matrix_alpha_bias: INTEGER
const_histogram: INTEGER
const_proxy_histogram: INTEGER
const_histogram_width: INTEGER
const_histogram_format: INTEGER
const_histogram_red_size: INTEGER
const_histogram_green_size: INTEGER
const_histogram_blue_size: INTEGER
const_histogram_alpha_size: INTEGER
const_histogram_luminance_size: INTEGER
const_histogram_sink: INTEGER
const_minmax: INTEGER
const_minmax_format: INTEGER
const_minmax_sink: INTEGER
const_table_too_large: INTEGER
const_blend_equation: INTEGER
const_min: INTEGER
const_max: INTEGER
const_func_add: INTEGER
const_func_subtract: INTEGER
const_func_reverse_subtract: INTEGER
const_blend_color: INTEGER
const_texture0: INTEGER
const_texture1: INTEGER
const_texture2: INTEGER
const_texture3: INTEGER
const_texture4: INTEGER
const_texture5: INTEGER
const_texture6: INTEGER
const_texture7: INTEGER
const_texture8: INTEGER
const_texture9: INTEGER
const_texture10: INTEGER
const_texture11: INTEGER
const_texture12: INTEGER
const_texture13: INTEGER
const_texture14: INTEGER
const_texture15: INTEGER
const_texture16: INTEGER
const_texture17: INTEGER
const_texture18: INTEGER
const_texture19: INTEGER
const_texture20: INTEGER
const_texture21: INTEGER
const_texture22: INTEGER
const_texture23: INTEGER
const_texture24: INTEGER
const_texture25: INTEGER
const_texture26: INTEGER
const_texture27: INTEGER
const_texture28: INTEGER
const_texture29: INTEGER
const_texture30: INTEGER
const_texture31: INTEGER
const_active_texture: INTEGER
const_client_active_texture: INTEGER
const_max_texture_units: INTEGER
const_normal_map: INTEGER
const_reflection_map: INTEGER
const_texture_cube_map: INTEGER
const_texture_binding_cube_map: INTEGER
const_texture_cube_map_positive_x: INTEGER
const_texture_cube_map_negative_x: INTEGER
const_texture_cube_map_positive_y: INTEGER
const_texture_cube_map_negative_y: INTEGER
const_texture_cube_map_positive_z: INTEGER
const_texture_cube_map_negative_z: INTEGER
const_proxy_texture_cube_map: INTEGER
const_max_cube_map_texture_size: INTEGER
const_compressed_alpha: INTEGER
const_compressed_luminance: INTEGER
const_compressed_luminance_alpha: INTEGER
const_compressed_intensity: INTEGER
const_compressed_rgb: INTEGER
const_compressed_rgba: INTEGER
const_texture_compression_hint: INTEGER
const_texture_compressed_image_size: INTEGER
const_texture_compressed: INTEGER
const_num_compressed_texture_formats: INTEGER
const_compressed_texture_formats: INTEGER
const_multisample: INTEGER
const_sample_alpha_to_coverage: INTEGER
const_sample_alpha_to_one: INTEGER
const_sample_coverage: INTEGER
const_sample_buffers: INTEGER
const_samples: INTEGER
const_sample_coverage_value: INTEGER
const_sample_coverage_invert: INTEGER
const_multisample_bit: INTEGER
const_transpose_modelview_matrix: INTEGER
const_transpose_projection_matrix: INTEGER
const_transpose_texture_matrix: INTEGER
const_transpose_color_matrix: INTEGER
const_combine: INTEGER
const_combine_rgb: INTEGER
const_combine_alpha: INTEGER
const_source0_rgb: INTEGER
const_source1_rgb: INTEGER
const_source2_rgb: INTEGER
const_source0_alpha: INTEGER
const_source1_alpha: INTEGER
const_source2_alpha: INTEGER
const_operand0_rgb: INTEGER
const_operand1_rgb: INTEGER
const_operand2_rgb: INTEGER
const_operand0_alpha: INTEGER
const_operand1_alpha: INTEGER
const_operand2_alpha: INTEGER
const_rgb_scale: INTEGER
const_add_signed: INTEGER
const_interpolate: INTEGER
const_subtract: INTEGER
const_constant: INTEGER
const_primary_color: INTEGER
const_previous: INTEGER
const_dot3_rgb: INTEGER
const_dot3_rgba: INTEGER
const_clamp_to_border: INTEGER
clear_index (c: REAL_32)
clear_color (red: REAL_32, green: REAL_32, blue: REAL_32, alpha: REAL_32)

require

  • red.in_range(0, 1)
  • green.in_range(0, 1)
  • blue.in_range(0, 1)
  • alpha.in_range(0, 1)

clear (mask: INTEGER)
index_mask (mask: INTEGER)
color_mask (red: INTEGER_8, green: INTEGER_8, blue: INTEGER_8, alpha: INTEGER_8)
alpha_func (func: INTEGER, ref: REAL_32)

require

  • ref.in_range(0, 1)

blend_func (sfactor: INTEGER, dfactor: INTEGER)
logic_op (opcode: INTEGER)
cull_face (mode: INTEGER)
front_face (mode: INTEGER)
point_size (size: REAL_32)
line_width (width: REAL_32)
line_stipple (factor: INTEGER, pattern: INTEGER_16)
polygon_mode (face: INTEGER, mode: INTEGER)
polygon_offset (factor: REAL_32, units: REAL_32)
polygon_stipple (mask: POINTER)

require

  • mask.is_not_null

get_polygon_stipple (mask: POINTER)

require

  • mask.is_not_null

edge_flag (flag: INTEGER_8)
edge_flagv (flag: POINTER)

require

  • flag.is_not_null

scissor (x: INTEGER, y: INTEGER, width: INTEGER, height: INTEGER)
clip_plane (plane: INTEGER, equation: POINTER)

require

  • equation.is_not_null

get_clip_plane (plane: INTEGER, equation: POINTER)

require

  • equation.is_not_null

draw_buffer (mode: INTEGER)
read_buffer (mode: INTEGER)
enable (cap: INTEGER)
disable (cap: INTEGER)
is_enabled (cap: INTEGER): BOOLEAN
enable_client_state (cap: INTEGER)
disable_client_state (cap: INTEGER)
get_booleanv (pname: INTEGER, params: POINTER)

require

  • params.is_not_null

get_doublev (pname: INTEGER, params: POINTER)

require

  • params.is_not_null

get_floatv (pname: INTEGER, params: POINTER)

require

  • params.is_not_null

get_integerv (pname: INTEGER, params: POINTER)

require

  • params.is_not_null

push_attrib (mask: INTEGER)
pop_attrib
push_client_attrib (mask: INTEGER)
pop_client_attrib
render_mode (mode: INTEGER): INTEGER
get_error: INTEGER
get_string (name: INTEGER): POINTER

ensure

  • Result.is_not_null

finish
flush
hint (target: INTEGER, mode: INTEGER)
clear_depth (depth: REAL)

require

  • depth.in_range(0, 1)

depth_func (func: INTEGER)
depth_mask (flag: INTEGER_8)
depth_range (near_val: REAL, far_val: REAL)

require

  • near_val.in_range(0, 1)
  • far_val.in_range(0, 1)

clear_accum (red: REAL_32, green: REAL_32, blue: REAL_32, alpha: REAL_32)
accum (op: INTEGER, value: REAL_32)
matrix_mode (mode: INTEGER)
ortho (left: REAL, right: REAL, bottom: REAL, top: REAL, near_val: REAL, far_val: REAL)
frustum (left: REAL, right: REAL, bottom: REAL, top: REAL, near_val: REAL, far_fal: REAL)
viewport (x: INTEGER, y: INTEGER, width: INTEGER, height: INTEGER)
push_matrix
pop_matrix
load_identity
load_matrixd (m: POINTER)

require

  • m.is_not_null

load_matrixf (m: POINTER)

require

  • m.is_not_null

mult_matrixd (m: POINTER)

require

  • m.is_not_null

mult_matrixf (m: POINTER)

require

  • m.is_not_null

rotated (angle: REAL, x: REAL, y: REAL, z: REAL)
rotatef (angle: REAL_32, x: REAL_32, y: REAL_32, z: REAL_32)
scaled (x: REAL, y: REAL, z: REAL)
scalef (x: REAL_32, y: REAL_32, z: REAL_32)
translated (x: REAL, y: REAL, z: REAL)
translatef (x: REAL_32, y: REAL_32, z: REAL_32)
is_list (list: INTEGER): BOOLEAN
delete_lists (list: INTEGER, range: INTEGER)
gen_lists (range: INTEGER): INTEGER
new_list (list: INTEGER, mode: INTEGER)
end_list
call_list (list: INTEGER)
call_lists (n: INTEGER, type: INTEGER, lists: POINTER)

require

  • lists.is_not_null

list_base (base: INTEGER)
begin (mode: INTEGER)
gl_end
vertex2d (x: REAL, y: REAL)
vertex2f (x: REAL_32, y: REAL_32)
vertex2i (x: INTEGER, y: INTEGER)
vertex2s (x: INTEGER_16, y: INTEGER_16)
vertex3d (x: REAL, y: REAL, z: REAL)
vertex3f (x: REAL_32, y: REAL_32, z: REAL_32)
vertex3i (x: INTEGER, y: INTEGER, z: INTEGER)
vertex3s (x: INTEGER_16, y: INTEGER_16, z: INTEGER_16)
vertex4d (x: REAL, y: REAL, z: REAL, w: REAL)
vertex4f (x: REAL_32, y: REAL_32, z: REAL_32, w: REAL_32)
vertex4i (x: INTEGER, y: INTEGER, z: INTEGER, w: INTEGER)
vertex4s (x: INTEGER_16, y: INTEGER_16, z: INTEGER_16, w: INTEGER_16)
vertex2dv (v: POINTER)

require

  • v.is_not_null

vertex2fv (v: POINTER)

require

  • v.is_not_null

vertex2iv (v: POINTER)

require

  • v.is_not_null

vertex2sv (v: POINTER)

require

  • v.is_not_null

vertex3dv (v: POINTER)

require

  • v.is_not_null

vertex3fv (v: POINTER)

require

  • v.is_not_null

vertex3iv (v: POINTER)

require

  • v.is_not_null

vertex3sv (v: POINTER)

require

  • v.is_not_null

vertex4dv (v: POINTER)

require

  • v.is_not_null

vertex4fv (v: POINTER)

require

  • v.is_not_null

vertex4iv (v: POINTER)

require

  • v.is_not_null

vertex4sv (v: POINTER)

require

  • v.is_not_null

normal3b (nx: INTEGER_8, ny: INTEGER_8, nz: INTEGER_8)
normal3d (nx: REAL, ny: REAL, nz: REAL)
normal3f (nx: REAL_32, ny: REAL_32, nz: REAL_32)
normal3i (nx: INTEGER, ny: INTEGER, nz: INTEGER)
normal3s (nx: INTEGER_16, ny: INTEGER_16, nz: INTEGER_16)
normal3bv (v: POINTER)

require

  • v.is_not_null

normal3dv (v: POINTER)

require

  • v.is_not_null

normal3fv (v: POINTER)

require

  • v.is_not_null

normal3iv (v: POINTER)

require

  • v.is_not_null

normal3sv (v: POINTER)

require

  • v.is_not_null

indexd (c: REAL)
indexf (c: REAL_32)
indexi (c: INTEGER)
indexs (c: INTEGER_16)
indexub (c: INTEGER_8)
indexdv (c: POINTER)

require

  • c.is_not_null

indexfv (c: POINTER)

require

  • c.is_not_null

indexiv (c: POINTER)

require

  • c.is_not_null

indexsv (c: POINTER)

require

  • c.is_not_null

indexubv (c: POINTER)

require

  • c.is_not_null

color3b (red: INTEGER_8, green: INTEGER_8, blue: INTEGER_8)
color3d (red: REAL, green: REAL, blue: REAL)
color3f (red: REAL_32, green: REAL_32, blue: REAL_32)
color3i (red: INTEGER, green: INTEGER, blue: INTEGER)
color3s (red: INTEGER_16, green: INTEGER_16, blue: INTEGER_16)
color3ub (red: INTEGER_8, green: INTEGER_8, blue: INTEGER_8)
color3ui (red: INTEGER, green: INTEGER, blue: INTEGER)
color3us (red: INTEGER_16, green: INTEGER_16, blue: INTEGER_16)
color4b (red: INTEGER_8, green: INTEGER_8, blue: INTEGER_8, alpha: INTEGER_8)
color4d (red: REAL, green: REAL, blue: REAL, alpha: REAL)
color4f (red: REAL_32, green: REAL_32, blue: REAL_32, alpha: REAL_32)
color4i (red: INTEGER, green: INTEGER, blue: INTEGER, alpha: INTEGER)
color4s (red: INTEGER_16, green: INTEGER_16, blue: INTEGER_16, alpha: INTEGER_16)
color4ub (red: INTEGER_8, green: INTEGER_8, blue: INTEGER_8, alpha: INTEGER_8)
color4ui (red: INTEGER, green: INTEGER, blue: INTEGER, alpha: INTEGER)
color4us (red: INTEGER_16, green: INTEGER_16, blue: INTEGER_16, alpha: INTEGER_16)
color3bv (v: POINTER)

require

  • v.is_not_null

color3dv (v: POINTER)

require

  • v.is_not_null

color3fv (v: POINTER)

require

  • v.is_not_null

color3iv (v: POINTER)

require

  • v.is_not_null

color3sv (v: POINTER)

require

  • v.is_not_null

color3ubv (v: POINTER)

require

  • v.is_not_null

color3uiv (v: POINTER)

require

  • v.is_not_null

color3usv (v: POINTER)

require

  • v.is_not_null

color4bv (v: POINTER)

require

  • v.is_not_null

color4dv (v: POINTER)

require

  • v.is_not_null

color4fv (v: POINTER)

require

  • v.is_not_null

color4iv (v: POINTER)

require

  • v.is_not_null

color4sv (v: POINTER)

require

  • v.is_not_null

color4ubv (v: POINTER)

require

  • v.is_not_null

color4uiv (v: POINTER)

require

  • v.is_not_null

color4usv (v: POINTER)

require

  • v.is_not_null

tex_coord1d (s: REAL)
tex_coord1f (s: REAL_32)
tex_coord1i (s: INTEGER)
tex_coord1s (s: INTEGER_16)
tex_coord2d (s: REAL, t: REAL)
tex_coord2f (s: REAL_32, t: REAL_32)
tex_coord2i (s: INTEGER, t: INTEGER)
tex_coord2s (s: INTEGER_16, t: INTEGER_16)
tex_coord3d (s: REAL, t: REAL, r: REAL)
tex_coord3f (s: REAL_32, t: REAL_32, r: REAL_32)
tex_coord3i (s: INTEGER, t: INTEGER, r: INTEGER)
tex_coord3s (s: INTEGER_16, t: INTEGER_16, r: INTEGER_16)
tex_coord4d (s: REAL, t: REAL, r: REAL, q: REAL)
tex_coord4f (s: REAL_32, t: REAL_32, r: REAL_32, q: REAL_32)
tex_coord4i (s: INTEGER, t: INTEGER, r: INTEGER, q: INTEGER)
tex_coord4s (s: INTEGER_16, t: INTEGER_16, r: INTEGER_16, q: INTEGER_16)
tex_coord1dv (v: POINTER)

require

  • v.is_not_null

tex_coord1fv (v: POINTER)

require

  • v.is_not_null

tex_coord1iv (v: POINTER)

require

  • v.is_not_null

tex_coord1sv (v: POINTER)

require

  • v.is_not_null

tex_coord2dv (v: POINTER)

require

  • v.is_not_null

tex_coord2fv (v: POINTER)

require

  • v.is_not_null

tex_coord2iv (v: POINTER)

require

  • v.is_not_null

tex_coord2sv (v: POINTER)

require

  • v.is_not_null

tex_coord3dv (v: POINTER)

require

  • v.is_not_null

tex_coord3fv (v: POINTER)

require

  • v.is_not_null

tex_coord3iv (v: POINTER)

require

  • v.is_not_null

tex_coord3sv (v: POINTER)

require

  • v.is_not_null

tex_coord4dv (v: POINTER)

require

  • v.is_not_null

tex_coord4fv (v: POINTER)

require

  • v.is_not_null

tex_coord4iv (v: POINTER)

require

  • v.is_not_null

tex_coord4sv (v: POINTER)

require

  • v.is_not_null

raster_pos2d (x: REAL, y: REAL)
raster_pos2f (x: REAL_32, y: REAL_32)
raster_pos2i (x: INTEGER, y: INTEGER)
raster_pos2s (x: INTEGER_16, y: INTEGER_16)
raster_pos3d (x: REAL, y: REAL, z: REAL)
raster_pos3f (x: REAL_32, y: REAL_32, z: REAL_32)
raster_pos3i (x: INTEGER, y: INTEGER, z: INTEGER)
raster_pos3s (x: INTEGER_16, y: INTEGER_16, z: INTEGER_16)
raster_pos4d (x: REAL, y: REAL, z: REAL, w: REAL)
raster_pos4f (x: REAL_32, y: REAL_32, z: REAL_32, w: REAL_32)
raster_pos4i (x: INTEGER, y: INTEGER, z: INTEGER, w: INTEGER)
raster_pos4s (x: INTEGER_16, y: INTEGER_16, z: INTEGER_16, w: INTEGER_16)
raster_pos2dv (v: POINTER)

require

  • v.is_not_null

raster_pos2fv (v: POINTER)

require

  • v.is_not_null

raster_pos2iv (v: POINTER)

require

  • v.is_not_null

raster_pos2sv (v: POINTER)

require

  • v.is_not_null

raster_pos3dv (v: POINTER)

require

  • v.is_not_null

raster_pos3fv (v: POINTER)

require

  • v.is_not_null

raster_pos3iv (v: POINTER)

require

  • v.is_not_null

raster_pos3sv (v: POINTER)

require

  • v.is_not_null

raster_pos4dv (v: POINTER)

require

  • v.is_not_null

raster_pos4fv (v: POINTER)

require

  • v.is_not_null

raster_pos4iv (v: POINTER)

require

  • v.is_not_null

raster_pos4sv (v: POINTER)

require

  • v.is_not_null

rectd (x1: REAL, y1: REAL, x2: REAL, y2: REAL)
rectf (x1: REAL_32, y1: REAL_32, x2: REAL_32, y2: REAL_32)
recti (x1: INTEGER, y1: INTEGER, x2: INTEGER, y2: INTEGER)
rects (x1: INTEGER_16, y1: INTEGER_16, x2: INTEGER_16, y2: INTEGER_16)
rectdv (v1: POINTER, v2: POINTER)

require

  • v1.is_not_null
  • v2.is_not_null

rectfv (v1: POINTER, v2: POINTER)

require

  • v1.is_not_null
  • v2.is_not_null

rectiv (v1: POINTER, v2: POINTER)

require

  • v1.is_not_null
  • v2.is_not_null

rectsv (v1: POINTER, v2: POINTER)

require

  • v1.is_not_null
  • v2.is_not_null

vertex_pointer (size: INTEGER, type: INTEGER, strid: INTEGER, ptr: POINTER)

require

  • ptr.is_not_null

normal_pointer (type: INTEGER, stride: INTEGER, ptr: POINTER)

require

  • ptr.is_not_null

color_pointer (size: INTEGER, type: INTEGER, stride: INTEGER, ptr: POINTER)

require

  • ptr.is_not_null

index_pointer (type: INTEGER, stride: INTEGER, ptr: POINTER)

require

  • ptr.is_not_null

tex_coord_pointer (size: INTEGER, type: INTEGER, stride: INTEGER, ptr: POINTER)

require

  • ptr.is_not_null

edge_flag_pointer (stride: INTEGER, ptr: POINTER)

require

  • ptr.is_not_null

get_pointerv (pname: INTEGER, params: POINTER)

require

  • params.is_not_null

array_element (i: INTEGER)
draw_arrays (mode: INTEGER, first: INTEGER, count: INTEGER)
draw_elements (mode: INTEGER, count: INTEGER, type: INTEGER, indices: POINTER)

require

  • indices.is_not_null

interleaved_arrays (format: INTEGER, stride: INTEGER, pointer: POINTER)

require

  • pointer.is_not_null

shade_model (mode: INTEGER)
lightf (light: INTEGER, pname: INTEGER, param: REAL_32)
lighti (light: INTEGER, pname: INTEGER, param: INTEGER)
lightfv (light: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

lightiv (light: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

get_lightfv (light: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

get_lightiv (light: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

light_modelf (pname: INTEGER, param: REAL_32)
light_modeli (pname: INTEGER, param: INTEGER)
light_modelfv (pname: INTEGER, params: POINTER)

require

  • params.is_not_null

light_modeliv (pname: INTEGER, params: POINTER)

require

  • params.is_not_null

materialf (face: INTEGER, pname: INTEGER, param: REAL_32)
materiali (face: INTEGER, pname: INTEGER, param: INTEGER)
materialfv (face: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

materialiv (face: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

get_materialfv (face: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

get_materialiv (face: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

color_material (face: INTEGER, mode: INTEGER)
pixel_zoom (xfactor: REAL_32, yfactor: REAL_32)
pixel_storef (pname: INTEGER, param: REAL_32)
pixel_storei (pname: INTEGER, param: INTEGER)
pixel_transferf (pname: INTEGER, param: REAL_32)
pixel_transferi (pname: INTEGER, param: INTEGER)
pixel_mapfv (map: INTEGER, mapsize: INTEGER, values: POINTER)

require

  • values.is_not_null

pixel_mapuiv (map: INTEGER, mapsize: INTEGER, values: POINTER)

require

  • values.is_not_null

pixel_mapusv (map: INTEGER, mapsize: INTEGER, values: POINTER)

require

  • values.is_not_null

get_pixel_mapfv (map: INTEGER, values: POINTER)

require

  • values.is_not_null

get_pixel_mapuiv (map: INTEGER, values: POINTER)

require

  • values.is_not_null

get_pixel_mapusv (map: INTEGER, values: POINTER)

require

  • values.is_not_null

bitmap (width: INTEGER, height: INTEGER, xorig: REAL_32, yorig: REAL_32, xmove: REAL_32, ymove: REAL_32, bmap: POINTER)

require

  • bmap.is_not_null

read_pixels (x: INTEGER, y: INTEGER, width: INTEGER, height: INTEGER, format: INTEGER, type: INTEGER, pixels: POINTER)

require

  • pixels.is_not_null

draw_pixels (width: INTEGER, height: INTEGER, format: INTEGER, type: INTEGER, pixels: POINTER)

require

  • pixels.is_not_null

copy_pixels (x: INTEGER, y: INTEGER, width: INTEGER, height: INTEGER, type: INTEGER)
stencil_func (func: INTEGER, ref: INTEGER, mask: INTEGER)
stencil_mask (mask: INTEGER)
stencil_op (fail: INTEGER, zfail: INTEGER, zpass: INTEGER)
clear_stencil (s: INTEGER)
tex_gend (coord: INTEGER, pname: INTEGER, param: REAL)
tex_genf (coord: INTEGER, pname: INTEGER, param: REAL_32)
tex_geni (coord: INTEGER, pname: INTEGER, param: INTEGER)
tex_gendv (coord: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

tex_genfv (coord: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

tex_geniv (coord: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

get_tex_gendv (coord: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

get_tex_genfv (coord: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

get_tex_geniv (coord: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

tex_envf (target: INTEGER, pname: INTEGER, param: REAL_32)
tex_envi (target: INTEGER, pname: INTEGER, param: INTEGER)
tex_envfv (target: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

tex_enviv (target: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

get_tex_envfv (target: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

get_tex_enviv (target: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

tex_parameterf (target: INTEGER, pname: INTEGER, param: REAL_32)
tex_parameteri (target: INTEGER, pname: INTEGER, param: INTEGER)
tex_parameterfv (target: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

tex_parameteriv (target: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

get_tex_parameterfv (target: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

get_tex_parameteriv (target: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

get_tex_level_parameterfv (target: INTEGER, level: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

get_tex_level_parameteriv (target: INTEGER, level: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

tex_image_1d (target: INTEGER, level: INTEGER, internal_format: INTEGER, width: INTEGER, border: INTEGER, format: INTEGER, type: INTEGER, pixels: POINTER)

require

  • pixels.is_not_null

tex_image_2d (target: INTEGER, level: INTEGER, internal_format: INTEGER, width: INTEGER, height: INTEGER, border: INTEGER, format: INTEGER, type: INTEGER, pixels: POINTER)

require

  • pixels.is_not_null

get_tex_image (target: INTEGER, level: INTEGER, format: INTEGER, type: INTEGER, pixels: POINTER)

require

  • pixels.is_not_null

gen_textures (n: INTEGER, textures: POINTER)

require

  • textures.is_not_null

delete_textures (n: INTEGER, textures: POINTER)

require

  • textures.is_not_null

bind_texture (target: INTEGER, texture: INTEGER)
prioritize_textures (n: INTEGER, textures: POINTER, priorities: POINTER)

require

  • textures.is_not_null
  • priorities.is_not_null

are_textures_resident (n: INTEGER, textures: POINTER, residences: POINTER): BOOLEAN

require

  • textures.is_not_null
  • residences.is_not_null

is_texture (texture: INTEGER): BOOLEAN
tex_sub_image_1d (target: INTEGER, level: INTEGER, xoffset: INTEGER, width: INTEGER, format: INTEGER, type: INTEGER, pixels: POINTER)

require

  • pixels.is_not_null

tex_sub_image_2d (target: INTEGER, level: INTEGER, xoffset: INTEGER, yoffset: INTEGER, width: INTEGER, height: INTEGER, format: INTEGER, type: INTEGER, pixels: POINTER)

require

  • pixels.is_not_null

copy_tex_image_1d (target: INTEGER, level: INTEGER, internal_format: INTEGER, x: INTEGER, y: INTEGER, width: INTEGER, border: INTEGER)
copy_tex_image_2d (target: INTEGER, level: INTEGER, internal_format: INTEGER, x: INTEGER, y: INTEGER, width: INTEGER, height: INTEGER, border: INTEGER)
copy_tex_sub_image_1d (target: INTEGER, level: INTEGER, xoffset: INTEGER, x: INTEGER, y: INTEGER, width: INTEGER)
copy_tex_sub_image_2d (target: INTEGER, level: INTEGER, xoffset: INTEGER, yoffset: INTEGER, x: INTEGER, y: INTEGER, width: INTEGER, height: INTEGER)
map1d (target: INTEGER, u1: REAL, u2: REAL, stride: INTEGER, order: INTEGER, points: POINTER)

require

  • points.is_not_null

map1f (target: INTEGER, u1: REAL_32, u2: REAL_32, stride: INTEGER, order: INTEGER, points: POINTER)

require

  • points.is_not_null

map2d (target: INTEGER, u1: REAL, u2: REAL, ustride: INTEGER, uorder: INTEGER, v1: REAL, v2: REAL, vstride: INTEGER, vorder: INTEGER, pixels: POINTER)

require

  • pixels.is_not_null

map2f (target: INTEGER, u1: REAL_32, u2: REAL_32, ustride: INTEGER, uorder: INTEGER, v1: REAL_32, v2: REAL_32, vstride: INTEGER, vorder: INTEGER, pixels: POINTER)

require

  • pixels.is_not_null

get_mapdv (target: INTEGER, query: INTEGER, v: POINTER)

require

  • v.is_not_null

get_mapfv (target: INTEGER, query: INTEGER, v: POINTER)

require

  • v.is_not_null

get_mapiv (target: INTEGER, query: INTEGER, v: POINTER)

require

  • v.is_not_null

eval_coord1d (u: REAL)
eval_coord1f (u: REAL_32)
eval_coord1dv (u: POINTER)

require

  • u.is_not_null

eval_coord1fv (u: POINTER)

require

  • u.is_not_null

eval_coord2d (u: REAL, v: REAL)
eval_coord2f (u: REAL_32, v: REAL_32)
eval_coord2dv (u: POINTER)

require

  • u.is_not_null

eval_coord2fv (u: POINTER)

require

  • u.is_not_null

map_grid1d (un: INTEGER, u1: REAL, u2: REAL)
map_grid1f (un: INTEGER, u1: REAL_32, u2: REAL_32)
map_grid2d (un: INTEGER, u1: REAL, u2: REAL, vn: INTEGER, v1: REAL, v2: REAL)
map_grid2f (un: INTEGER, u1: REAL_32, u2: REAL_32, vn: INTEGER, v1: REAL_32, v2: REAL_32)
eval_point1 (i: INTEGER)
eval_point2 (i: INTEGER, j: INTEGER)
eval_mesh1 (mode: INTEGER, i1: INTEGER, i2: INTEGER)
eval_mesh2 (mode: INTEGER, i1: INTEGER, i2: INTEGER, j1: INTEGER, j2: INTEGER)
fogf (pname: INTEGER, param: REAL_32)
fogi (pname: INTEGER, param: INTEGER)
fogfv (pname: INTEGER, params: POINTER)

require

  • params.is_not_null

fogiv (pname: INTEGER, params: POINTER)

require

  • params.is_not_null

feedback_buffer (size: INTEGER, type: INTEGER, buffer: POINTER)

require

  • buffer.is_not_null

pass_through (token: REAL_32)
select_buffer (size: INTEGER, buffer: POINTER)

require

  • buffer.is_not_null

init_names
load_name (name: INTEGER)
push_name (name: INTEGER)
pop_name
draw_range_elements (mode: INTEGER, start_element: INTEGER, end_element: INTEGER, count: INTEGER, type: INTEGER, indices: POINTER)

require

  • indices.is_not_null

tex_image_3d (target: INTEGER, level: INTEGER, internal_format: INTEGER, width: INTEGER, height: INTEGER, depth: INTEGER, border: INTEGER, format: INTEGER, type: INTEGER, pixels: POINTER)

require

  • pixels.is_not_null

tex_sub_image_3d (target: INTEGER, level: INTEGER, xoffset: INTEGER, yoffset: INTEGER, zoffset: INTEGER, width: INTEGER, height: INTEGER, depth: INTEGER, format: INTEGER, type: INTEGER, pixels: POINTER)

require

  • pixels.is_not_null

copy_tex_sub_image_3d (target: INTEGER, level: INTEGER, xoffset: INTEGER, yoffset: INTEGER, zoffset: INTEGER, x: INTEGER, y: INTEGER, width: INTEGER, height: INTEGER)
color_table (target: INTEGER, internalformat: INTEGER, width: INTEGER, format: INTEGER, type: INTEGER, table: POINTER)

require

  • table.is_not_null

color_sub_table (target: INTEGER, start: INTEGER, count: INTEGER, format: INTEGER, type: INTEGER, table: POINTER)

require

  • table.is_not_null

color_table_parameteriv (target: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

color_table_parameterfv (target: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

copy_color_sub_table (target: INTEGER, start: INTEGER, x: INTEGER, y: INTEGER, width: INTEGER)
copy_color_table (target: INTEGER, internalformat: INTEGER, x: INTEGER, y: INTEGER, width: INTEGER)
get_color_table (target: INTEGER, format: INTEGER, type: INTEGER, table: POINTER)

require

  • table.is_not_null

get_color_table_parameterfv (target: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

get_color_table_parameteriv (target: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

blend_equation (mode: INTEGER)
blend_color (red: REAL_32, green: REAL_32, blue: REAL_32, alpha: REAL_32)

require

  • red.in_range(0, 1)
  • green.in_range(0, 1)
  • blue.in_range(0, 1)
  • alpha.in_range(0, 1)

histogram (target: INTEGER, width: INTEGER, internal_format: INTEGER, sink: BOOLEAN)
reset_histogram (target: INTEGER)
get_histogram (target: INTEGER, reset: BOOLEAN, format: INTEGER, type: INTEGER, values: POINTER)

require

  • values.is_not_null

get_histogram_parameterfv (target: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

get_histogram_parameteriv (target: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

minmax (target: INTEGER, internalformat: INTEGER, sink: BOOLEAN)
reset_minmax (target: INTEGER)
get_minmax (target: INTEGER, reset: BOOLEAN, format: INTEGER, types: INTEGER, values: POINTER)

require

  • values.is_not_null

get_minmax_parameterfv (target: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

get_minmax_parameteriv (target: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

convolution_filter_1d (target: INTEGER, internalformat: INTEGER, width: INTEGER, format: INTEGER, type: INTEGER, image: POINTER)

require

  • image.is_not_null

convolution_filter_2d (target: INTEGER, internalformat: INTEGER, width: INTEGER, height: INTEGER, format: INTEGER, type: INTEGER, image: POINTER)

require

  • image.is_not_null

convolution_parameterf (target: INTEGER, pname: INTEGER, params: REAL_32)
convolution_parameterfv (target: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

convolution_parameteri (target: INTEGER, pname: INTEGER, params: INTEGER)
convolution_parameteriv (target: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

copy_convolution_filter_1d (target: INTEGER, internalformat: INTEGER, x: INTEGER, y: INTEGER, width: INTEGER)
copy_convolution_filter_2d (target: INTEGER, internalformat: INTEGER, x: INTEGER, y: INTEGER, width: INTEGER, height: INTEGER)
get_convolution_filter (target: INTEGER, format: INTEGER, type: INTEGER, image: POINTER)

require

  • image.is_not_null

get_convolution_parameterfv (target: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

get_convolution_parameteriv (target: INTEGER, pname: INTEGER, params: POINTER)

require

  • params.is_not_null

separable_filter_2d (target: INTEGER, internalformat: INTEGER, width: INTEGER, height: INTEGER, format: INTEGER, type: INTEGER, row: POINTER, column: POINTER)

require

  • row.is_not_null
  • column.is_not_null

get_separable_filter (target: INTEGER, format: INTEGER, type: INTEGER, row: POINTER, column: POINTER, span: POINTER)

require

  • row.is_not_null
  • column.is_not_null
  • span.is_not_null

active_texture (texture: INTEGER)
client_active_texture (texture: INTEGER)
compressed_tex_image_1d (target: INTEGER, level: INTEGER, internalformat: INTEGER, width: INTEGER, border: INTEGER, image_size: INTEGER, data: POINTER)

require

  • data.is_not_null

compressed_tex_image_2d (target: INTEGER, level: INTEGER, internalformat: INTEGER, width: INTEGER, height: INTEGER, border: INTEGER, image_size: INTEGER, data: POINTER)

require

  • data.is_not_null

compressed_tex_image_3d (target: INTEGER, level: INTEGER, internalformat: INTEGER, width: INTEGER, height: INTEGER, depth: INTEGER, border: INTEGER, image_size: INTEGER, data: POINTER)

require

  • data.is_not_null

compressed_tex_sub_image_1d (target: INTEGER, level: INTEGER, xoffset: INTEGER, width: INTEGER, format: INTEGER, image_size: INTEGER, data: POINTER)

require

  • data.is_not_null

compressed_tex_sub_image_2d (target: INTEGER, level: INTEGER, xoffset: INTEGER, yoffset: INTEGER, width: INTEGER, height: INTEGER, format: INTEGER, image_size: INTEGER, data: POINTER)

require

  • data.is_not_null

compressed_tex_sub_image_3d (target: INTEGER, level: INTEGER, xoffset: INTEGER, yoffset: INTEGER, zoffset: INTEGER, width: INTEGER, height: INTEGER, depth: INTEGER, format: INTEGER, image_size: INTEGER, data: POINTER)

require

  • data.is_not_null

get_compressed_tex_image (target: INTEGER, lod: INTEGER, img: POINTER)

require

  • img.is_not_null

multi_tex_coord1d (target: INTEGER, s: REAL)
multi_tex_coord1dv (target: INTEGER, v: POINTER)

require

  • v.is_not_null

multi_tex_coord1f (target: INTEGER, s: REAL_32)
multi_tex_coord1fv (target: INTEGER, v: POINTER)

require

  • v.is_not_null

multi_tex_coord1i (target: INTEGER, s: INTEGER)
multi_tex_coord1iv (target: INTEGER, v: POINTER)

require

  • v.is_not_null

multi_tex_coord1s (target: INTEGER, s: INTEGER_16)
multi_tex_coord1sv (target: INTEGER, v: POINTER)

require

  • v.is_not_null

multi_tex_coord2d (target: INTEGER, s: REAL, t: REAL)
multi_tex_coord2dv (target: INTEGER, v: POINTER)

require

  • v.is_not_null

multi_tex_coord2f (target: INTEGER, s: REAL_32, t: REAL_32)
multi_tex_coord2fv (target: INTEGER, v: POINTER)

require

  • v.is_not_null

multi_tex_coord2i (target: INTEGER, s: INTEGER, t: INTEGER)
multi_tex_coord2iv (target: INTEGER, v: POINTER)

require

  • v.is_not_null

multi_tex_coord2s (target: INTEGER, s: INTEGER_16, t: INTEGER_16)
multi_tex_coord2sv (target: INTEGER, v: POINTER)

require

  • v.is_not_null

multi_tex_coord3d (target: INTEGER, s: REAL, t: REAL, r: REAL)
multi_tex_coord3dv (target: INTEGER, v: POINTER)

require

  • v.is_not_null

multi_tex_coord3f (target: INTEGER, s: REAL_32, t: REAL_32, r: REAL_32)
multi_tex_coord3fv (target: INTEGER, v: POINTER)

require

  • v.is_not_null

multi_tex_coord3i (target: INTEGER, s: INTEGER, t: INTEGER, r: INTEGER)
multi_tex_coord3iv (target: INTEGER, v: POINTER)

require

  • v.is_not_null

multi_tex_coord3s (target: INTEGER, s: INTEGER_16, t: INTEGER_16, r: INTEGER_16)
multi_tex_coord3sv (target: INTEGER, v: POINTER)

require

  • v.is_not_null

multi_tex_coord4d (target: INTEGER, s: REAL, t: REAL, r: REAL, q: REAL)
multi_tex_coord4dv (target: INTEGER, v: POINTER)

require

  • v.is_not_null

multi_tex_coord4f (target: INTEGER, s: REAL_32, t: REAL_32, r: REAL_32, q: REAL_32)
multi_tex_coord4fv (target: INTEGER, v: POINTER)

require

  • v.is_not_null

multi_tex_coord4i (target: INTEGER, s: INTEGER, t: INTEGER, r: INTEGER, q: INTEGER)
multi_tex_coord4iv (target: INTEGER, v: POINTER)

require

  • v.is_not_null

multi_tex_coord4s (target: INTEGER, s: INTEGER_16, t: INTEGER_16, r: INTEGER_16, q: INTEGER_16)
multi_tex_coord4sv (target: INTEGER, v: POINTER)

require

  • v.is_not_null

load_transpose_matrixd (m: POINTER)

require

  • m.is_not_null

load_transpose_matrixf (m: POINTER)

require

  • m.is_not_null

mult_transpose_matrixd (m: POINTER)

require

  • m.is_not_null

mult_transpose_matrixf (m: POINTER)

require

  • m.is_not_null

sample_coverage (value: REAL_32, invert: BOOLEAN)

require

  • value.in_range(0, 1)

active_texture_arb (texture: INTEGER)
client_active_texture_arb (texture: INTEGER)
multi_tex_coord1d_arb (target: INTEGER, s: REAL)
multi_tex_coord1dv_arb (target: INTEGER, v: POINTER)

require

  • v.is_not_null

multi_tex_coord1f_arb (target: INTEGER, s: REAL_32)
multi_tex_coord1fv_arb (target: INTEGER, v: POINTER)

require

  • v.is_not_null

multi_tex_coord1i_arb (target: INTEGER, s: INTEGER)
multi_tex_coord1iv_arb (target: INTEGER, v: POINTER)

require

  • v.is_not_null

multi_tex_coord1s_arb (target: INTEGER, s: INTEGER_16)
multi_tex_coord1sv_arb (target: INTEGER, v: POINTER)

require

  • v.is_not_null

multi_tex_coord2d_arb (target: INTEGER, s: REAL, t: REAL)
multi_tex_coord2dv_arb (target: INTEGER, v: POINTER)

require

  • v.is_not_null

multi_tex_coord2f_arb (target: INTEGER, s: REAL_32, t: REAL_32)
multi_tex_coord2fv_arb (target: INTEGER, v: POINTER)

require

  • v.is_not_null

multi_tex_coord2i_arb (target: INTEGER, s: INTEGER, t: INTEGER)
multi_tex_coord2iv_arb (target: INTEGER, v: POINTER)

require

  • v.is_not_null

multi_tex_coord2s_arb (target: INTEGER, s: INTEGER_16, t: INTEGER_16)
multi_tex_coord2sv_arb (target: INTEGER, v: POINTER)

require

  • v.is_not_null

multi_tex_coord3d_arb (target: INTEGER, s: REAL, t: REAL, r: REAL)
multi_tex_coord3dv_arb (target: INTEGER, v: POINTER)

require

  • v.is_not_null

multi_tex_coord3f_arb (target: INTEGER, s: REAL_32, t: REAL_32, r: REAL_32)
multi_tex_coord3fv_arb (target: INTEGER, v: POINTER)

require

  • v.is_not_null

multi_tex_coord3i_arb (target: INTEGER, s: INTEGER, t: INTEGER, r: INTEGER)
multi_tex_coord3iv_arb (target: INTEGER, v: POINTER)

require

  • v.is_not_null

multi_tex_coord3s_arb (target: INTEGER, s: INTEGER_16, t: INTEGER_16, r: INTEGER_16)
multi_tex_coord3sv_arb (target: INTEGER, v: POINTER)

require

  • v.is_not_null

multi_tex_coord4d_arb (target: INTEGER, s: REAL, t: REAL, r: REAL, q: REAL)
multi_tex_coord4dv_arb (target: INTEGER, v: POINTER)

require

  • v.is_not_null

multi_tex_coord4f_arb (target: INTEGER, s: REAL_32, t: REAL_32, r: REAL_32, q: REAL_32)
multi_tex_coord4fv_arb (target: INTEGER, v: POINTER)

require

  • v.is_not_null

multi_tex_coord4i_arb (target: INTEGER, s: INTEGER, t: INTEGER, r: INTEGER, q: INTEGER)
multi_tex_coord4iv_arb (target: INTEGER, v: POINTER)

require

  • v.is_not_null

multi_tex_coord4s_arb (target: INTEGER, s: INTEGER_16, t: INTEGER_16, r: INTEGER_16, q: INTEGER_16)
multi_tex_coord4sv_arb (target: INTEGER, v: POINTER)

require

  • v.is_not_null

Class invariant