class EV_MOVE_HANDLE General cluster: interface description: "Handles that allow the user to control certain EV_RELATIVE_POINTs in an EV_FIGURE_WORLD." keywords: "point, handle, move, resize, grab" create: make_filled, default_create Ancestors EV_FIGURE_GROUP Action sequences conforming_pick_actions: EV_NOTIFY_ACTION_SEQUENCE drop_actions: EV_PND_ACTION_SEQUENCE end_actions: EV_NOTIFY_ACTION_SEQUENCE move_actions: EV_PND_START_ACTION_SEQUENCE pick_actions: EV_PND_START_ACTION_SEQUENCE pointer_button_press_actions: EV_POINTER_BUTTON_ACTION_SEQUENCE pointer_button_release_actions: EV_POINTER_BUTTON_ACTION_SEQUENCE pointer_double_press_actions: EV_POINTER_BUTTON_ACTION_SEQUENCE pointer_enter_actions: EV_NOTIFY_ACTION_SEQUENCE pointer_leave_actions: EV_NOTIFY_ACTION_SEQUENCE pointer_motion_actions: EV_POINTER_MOTION_ACTION_SEQUENCE start_actions: EV_NOTIFY_ACTION_SEQUENCE Queries accept_cursor: EV_POINTER_STYLE after: BOOLEAN before: BOOLEAN bounding_box: EV_RECTANGLE capacity: INTEGER_32 changeable_comparison_criterion: BOOLEAN count: INTEGER_32 cursor: ARRAYED_LIST_CURSOR deny_cursor: EV_POINTER_STYLE duplicate (n: INTEGER_32): [like Current] EV_MOVE_HANDLE exhausted: BOOLEAN Extendible: BOOLEAN first: [like item] EV_FIGURE for_all (test: FUNCTION [ANY, TUPLE [EV_FIGURE], BOOLEAN]): BOOLEAN full: BOOLEAN group: EV_FIGURE_GROUP has (v: [like item] EV_FIGURE): BOOLEAN has_capture: BOOLEAN i_th alias "[]" (i: INTEGER_32): [like item] EV_FIGURE id_object (an_id: INTEGER_32): IDENTIFIED index: INTEGER_32 index_of (v: [like item] EV_FIGURE; i: INTEGER_32): INTEGER_32 index_set: INTEGER_INTERVAL infix "@" (i: INTEGER_32): [like item] EV_FIGURE intersects (r: EV_RECTANGLE): BOOLEAN invalid_rectangle: EV_RECTANGLE is_always_shown: BOOLEAN is_empty: BOOLEAN is_inserted (v: EV_FIGURE): BOOLEAN is_sensitive: BOOLEAN is_show_requested: BOOLEAN is_snapping: BOOLEAN isfirst: BOOLEAN islast: BOOLEAN item: EV_FIGURE last: [like first] EV_FIGURE linear_representation: LINEAR [EV_FIGURE] maximum_x: INTEGER_32 maximum_y: INTEGER_32 minimum_x: INTEGER_32 minimum_y: INTEGER_32 object_comparison: BOOLEAN object_id: INTEGER_32 occurrences (v: [like item] EV_FIGURE): INTEGER_32 off: BOOLEAN orientation: REAL_64 pebble: ANY pebble_function: FUNCTION [ANY, TUPLE, ANY] point: EV_RELATIVE_POINT point_array: ARRAY [EV_COORDINATE] point_count: INTEGER_32 pointer_style: EV_POINTER_STYLE position_on_figure (x, y: INTEGER_32): BOOLEAN prunable: BOOLEAN readable: BOOLEAN real_position_agent: FUNCTION [ANY, TUPLE [INTEGER_32, INTEGER_32], TUPLE [INTEGER_32, INTEGER_32]] sequential_occurrences (v: [like item] EV_FIGURE): INTEGER_32 target_name: STRING_GENERAL there_exists (test: FUNCTION [ANY, TUPLE [EV_FIGURE], BOOLEAN]): BOOLEAN update_rectangle: EV_RECTANGLE valid_cursor (p: CURSOR): BOOLEAN valid_cursor_index (i: INTEGER_32): BOOLEAN valid_index (i: INTEGER_32): BOOLEAN world: EV_FIGURE_WORLD writable: BOOLEAN Commands append (s: SEQUENCE [EV_FIGURE]) back calculate_absolute_position compare_objects compare_references disable_always_shown disable_capture disable_sensitive disable_snapping do_all (action: PROCEDURE [ANY, TUPLE [EV_FIGURE]]) do_if (action: PROCEDURE [ANY, TUPLE [EV_FIGURE]]; test: FUNCTION [ANY, TUPLE [EV_FIGURE], BOOLEAN]) enable_always_shown enable_capture enable_sensitive enable_snapping extend (v: [like item] EV_FIGURE) fill (other: CONTAINER [EV_FIGURE]) finish force (v: [like item] EV_FIGURE) force_i_th (fig: [like item] EV_FIGURE; i: INTEGER_32) forth go_i_th (i: INTEGER_32) go_to (p: CURSOR) hide insert (fig: [like item] EV_FIGURE; i: INTEGER_32) invalidate list_make (n: INTEGER_32) make_filled (n: INTEGER_32) make_from_array (a: ARRAY [EV_FIGURE]) merge_left (other: [like Current] EV_MOVE_HANDLE) merge_right (other: [like Current] EV_MOVE_HANDLE) move (i: INTEGER_32) prune (v: [like item] EV_FIGURE) prune_all (fig: [like item] EV_FIGURE) put (v: [like item] EV_FIGURE) put_front (v: [like item] EV_FIGURE) put_left (v: [like item] EV_FIGURE) put_right (v: [like item] EV_FIGURE) remove remove_left remove_pebble remove_right replace (fig: [like item] EV_FIGURE) resize (new_capacity: INTEGER_32) search (v: [like item] EV_FIGURE) set_accept_cursor (a_cursor: EV_POINTER_STYLE) set_deny_cursor (a_cursor: EV_POINTER_STYLE) set_maximum_x (a_x: INTEGER_32) set_maximum_y (a_y: INTEGER_32) set_minimum_x (a_x: INTEGER_32) set_minimum_y (a_y: INTEGER_32) set_origin (an_origin: EV_RELATIVE_POINT) set_pebble (a_pebble: [like pebble] ANY) set_pebble_function (a_function: FUNCTION [ANY, TUPLE, ANY]) set_point (a_point: EV_RELATIVE_POINT) set_pointer_style (a_cursor: [like pointer_style] EV_POINTER_STYLE) set_real_position_agent (an_agent: [like real_position_agent] FUNCTION [ANY, TUPLE [INTEGER_32, INTEGER_32], TUPLE [INTEGER_32, INTEGER_32]]) set_target_name (a_name: STRING_GENERAL) show snap_to_grid start swap (i: INTEGER_32) validate wipe_out