class EV_RAW_IMAGE_DATA General cluster: interface description: "" create: make_with_alpha_zero, make Ancestors ARRAY [G] Queries additional_space: INTEGER_32 all_default: BOOLEAN area: SPECIAL [NATURAL_8] capacity: INTEGER_32 changeable_comparison_criterion: BOOLEAN count: INTEGER_32 entry (i: INTEGER_32): NATURAL_8 extendible: BOOLEAN for_all (test: FUNCTION [ANY, TUPLE [NATURAL_8], BOOLEAN]): BOOLEAN full: BOOLEAN Growth_percentage: INTEGER_32 has (v: NATURAL_8): BOOLEAN height: INTEGER_32 index_set: INTEGER_INTERVAL infix "@" (i: INTEGER_32): NATURAL_8 is_empty: BOOLEAN is_equal (other: [like Current] EV_RAW_IMAGE_DATA): BOOLEAN is_inserted (v: NATURAL_8): BOOLEAN linear_representation: LINEAR [NATURAL_8] lower: INTEGER_32 Minimal_increase: INTEGER_32 object_comparison: BOOLEAN occurrences (v: NATURAL_8): INTEGER_32 originating_pixmap: EV_PIXMAP pixel (a_x, a_y: INTEGER_32): EV_COLOR pixel_alpha_component (a_x, a_y: INTEGER_32): NATURAL_8 pixel_blue_component (a_x, a_y: INTEGER_32): NATURAL_8 pixel_green_component (a_x, a_y: INTEGER_32): NATURAL_8 pixel_red_component (a_x, a_y: INTEGER_32): NATURAL_8 prunable: BOOLEAN resizable: BOOLEAN rgb_hex_representation: STRING_8 same_items (other: [like Current] EV_RAW_IMAGE_DATA): BOOLEAN subarray (start_pos, end_pos: INTEGER_32): ARRAY [NATURAL_8] there_exists (test: FUNCTION [ANY, TUPLE [NATURAL_8], BOOLEAN]): BOOLEAN to_c: ANY to_cil: NATIVE_ARRAY [NATURAL_8] to_special: SPECIAL [NATURAL_8] upper: INTEGER_32 valid_coordinates (a_x, a_y: INTEGER_32): BOOLEAN valid_index (i: INTEGER_32): BOOLEAN valid_index_set: BOOLEAN width: INTEGER_32 Commands automatic_grow clear_all compare_objects compare_references conservative_resize (min_index, max_index: INTEGER_32) copy (other: [like Current] EV_RAW_IMAGE_DATA) discard_items do_all (action: PROCEDURE [ANY, TUPLE [NATURAL_8]]) do_if (action: PROCEDURE [ANY, TUPLE [NATURAL_8]]; test: FUNCTION [ANY, TUPLE [NATURAL_8], BOOLEAN]) enter (v: [like array_item] NATURAL_8; i: INTEGER_32) fill (other: CONTAINER [NATURAL_8]) grow (i: INTEGER_32) make_from_array (a: ARRAY [NATURAL_8]) make_from_cil (na: NATIVE_ARRAY [[like array_item] NATURAL_8]) prune_all (v: NATURAL_8) set_pixel (a_x, a_y: INTEGER_32; a_color: EV_COLOR) set_pixel_alpha_component (a_x, a_y: INTEGER_32; a_intensity: NATURAL_8) set_pixel_blue_component (a_x, a_y: INTEGER_32; a_intensity: NATURAL_8) set_pixel_green_component (a_x, a_y: INTEGER_32; a_intensity: NATURAL_8) set_pixel_red_component (a_x, a_y: INTEGER_32; a_intensity: NATURAL_8) subcopy (other: ARRAY [[like array_item] NATURAL_8]; start_pos, end_pos, index_pos: INTEGER_32) Constraints items number