    class
    	EV_FIGURE_DOT

    General
    	cluster: interface
    	description: "Pixels on `point' with size `line_width'."
    	keywords: "figure, dot, point, pixel"
    	create: make_with_point, default_create

    Ancestors
    	EV_ATOMIC_FIGURE*
    	EV_SINGLE_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
    	dashed_line_style: BOOLEAN
    	deny_cursor: EV_POINTER_STYLE
    	foreground_color: EV_COLOR
    	group: EV_FIGURE_GROUP
    	has_capture: BOOLEAN
    	id_object (an_id: INTEGER_32): IDENTIFIED
    	intersects (r: EV_RECTANGLE): BOOLEAN
    	is_sensitive: BOOLEAN
    	is_show_requested: BOOLEAN
    	line_width: INTEGER_32
    	object_id: INTEGER_32
    	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
    	target_name: STRING_GENERAL
    	world: EV_FIGURE_WORLD

    Commands
    	disable_capture
    	disable_dashed_line_style
    	disable_sensitive
    	enable_capture
    	enable_dashed_line_style
    	enable_sensitive
    	hide
    	remove_pebble
    	set_accept_cursor (a_cursor: EV_POINTER_STYLE)
    	set_deny_cursor (a_cursor: 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] 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_target_name (a_name: STRING_GENERAL)
    	show