Automatic generation produced by ISE Eiffel
class EV_FIGURE_RECTANGLE General obsolete: "Use EV_MODEL_RECTANGLE instead. [2017-05-31]" cluster: interface description: "Rectangular area defined by point_a and point_b." keywords: "figure, rectangle, square" create: default_create, make_with_points Ancestors EV_CLOSED_FIGURE* EV_DOUBLE_POINTED_FIGURE* Action sequences conforming_pick_actions: EV_NOTIFY_ACTION_SEQUENCE drop_actions: EV_PND_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 Queries accept_cursor: EV_POINTER_STYLE arc_cosine (v: REAL_64): REAL_64 arc_sine (v: REAL_64): REAL_64 arc_tangent (v: REAL_64): REAL_64 background_color: detachable EV_COLOR between (n, a, b: INTEGER_32): BOOLEAN bounding_box: EV_RECTANGLE ceiling (v: REAL_64): REAL_64 center: EV_COORDINATE cosine (v: REAL_64): REAL_64 dabs (v: REAL_64): REAL_64 dashed_line_style: BOOLEAN delta_x (angle: REAL_64; length: INTEGER_32): INTEGER_32 delta_y (angle: REAL_64; length: INTEGER_32): INTEGER_32 deny_cursor: EV_POINTER_STYLE distance (x1, y1, x2, y2: INTEGER_32): INTEGER_32 distance_from_line (x, y, x1, y1, x2, y2: INTEGER_32): INTEGER_32 Euler: REAL_64 exp (x: REAL_64): REAL_64 floor (v: REAL_64): REAL_64 foreground_color: EV_COLOR group: detachable EV_FIGURE_GROUP has_capture: BOOLEAN height: INTEGER_32 id_freed: BOOLEAN id_object (an_id: INTEGER_32): detachable IDENTIFIED intersects (r: EV_RECTANGLE): BOOLEAN is_filled: BOOLEAN is_sensitive: BOOLEAN is_show_requested: BOOLEAN line_angle (x1, y1, x2, y2: INTEGER_32): REAL_64 line_width: INTEGER_32 log (v: REAL_64): REAL_64 log10 (v: REAL_64): REAL_64 log_2 (v: REAL_64): REAL_64 modulo (a, b: REAL_64): REAL_64 object_id: INTEGER_32 orientation: REAL_64 pebble: detachable ANY pebble_function: detachable FUNCTION [detachable ANY] Pi: REAL_64 Pi_2: REAL_64 Pi_4: REAL_64 Pi_half: REAL_64 Pi_half_times_three: REAL_64 Pi_quater: REAL_64 Pi_times_three: REAL_64 Pi_times_two: REAL_64 point_a: EV_RELATIVE_POINT point_array: ARRAY [EV_COORDINATE] point_b: EV_RELATIVE_POINT point_count: INTEGER_32 point_on_ellipse (x, y, xc, yc, r1, r2: INTEGER_32): BOOLEAN point_on_ellipse_boundary (x, y, xc, yc, r1, r2, width: INTEGER_32): BOOLEAN point_on_line (x, y, x1, y1, x2, y2, width: INTEGER_32): BOOLEAN point_on_polygon (x, y: INTEGER_32; points: ARRAY [EV_COORDINATE]): BOOLEAN point_on_rectangle (x, y, x1, y1, x2, y2: INTEGER_32): BOOLEAN point_on_segment (x, y, x1, y1, x2, y2, width: INTEGER_32): BOOLEAN pointer_style: detachable EV_POINTER_STYLE polygon_array: ARRAY [EV_COORDINATE] position_on_figure (x, y: INTEGER_32): BOOLEAN sine (v: REAL_64): REAL_64 sqrt (v: REAL_64): REAL_64 Sqrt2: REAL_64 tangent (v: REAL_64): REAL_64 target_data_function: detachable FUNCTION [[like pebble] detachable ANY, EV_PND_TARGET_DATA] target_name: detachable READABLE_STRING_GENERAL top_left: EV_COORDINATE width: INTEGER_32 world: detachable EV_FIGURE_WORLD Commands disable_capture disable_dashed_line_style disable_sensitive dispose enable_capture enable_dashed_line_style enable_sensitive free_id hide remove_background_color remove_pebble set_accept_cursor (a_cursor: [detachable like accept_cursor] detachable EV_POINTER_STYLE) set_background_color (a_color: EV_COLOR) set_deny_cursor (a_cursor: [detachable like deny_cursor] detachable EV_POINTER_STYLE) set_foreground_color (a_color: EV_COLOR) set_line_width (a_width: INTEGER_32) set_origin (an_origin: EV_RELATIVE_POINT) set_pebble (a_pebble: [like pebble] detachable ANY) set_pebble_function (a_function: FUNCTION [ANY]) set_point_a (a_point: EV_RELATIVE_POINT) set_point_b (a_point: EV_RELATIVE_POINT) set_pointer_style (a_cursor: [like pointer_style] detachable EV_POINTER_STYLE) set_target_data_function (a_function: FUNCTION [[like pebble] detachable ANY, EV_PND_TARGET_DATA]) set_target_name (a_name: READABLE_STRING_GENERAL) show -- Generated by Eiffel Studio --
For more details: eiffel.org