----------------------------------------------------------------------------
-- Operator-Cell Interface (tasks & commands )
--
-- Nov, 1995   (Defined by Teresa Goncalves & Joao Paulo Pimentao
----------------------------------------------------------------------------

ENTITY operator_to_cell_message
	ABSTRACT SUPERTYPE OF( operator_to_cell_command )
	SUBTYPE OF (message);
END_ENTITY;


----------------------------------------------------------------------------
-- These commands are equal to the site_to_cell_commands with one more:
--	the "query_tool_status" command defined below.
----------------------------------------------------------------------------

ENTITY operator_to_cell_command
	ABSTRACT SUPERTYPE OF ( ONEOF ( command_link_active, start_next_task, 
		start_task, clear_all_tasks, fast_stop, pause_task, 
		resume_task, query_cell_status, query_machine_status, 
		query_tool_status, 
		grant_local_control, grant_remote_control, clear_task, 
		insert_task, modify))
	SUBTYPE OF (operator_to_cell_message);
END_ENTITY;


ENTITY query_tool_status
	SUBTYPE OF (StepID;
	tool_id:	StepID;
END_ENTITY;




----------------------------------------------------------------------------
-- These responses are equal to the site_to_cell_responses with two more
-- from the cell_to_machine_responses that are:
--	tool_status
--	tool_invalid
----------------------------------------------------------------------------

ENTITY operator_to_cell_response
	ABSTRACT SUPERTYPE OF ( ONEOF (task_completed, task_aborted, 
		task_list_is_empty, task_already_being_executed,
                fast_stop_completed, no_task_being_executed,
                foresee_task_conclusion, task_is_paused, 
		request_local_control,request_remote_control, cell_absent, 
		cell_present, application_error, communication_link_down, 
		in_local_control, in_remote_control, machine_status, 
                tool_status, tool_invalid, 
		machine_invalid, machine_error,
		task_description_unavailable, task_cleared, task_paused,
		task_resumed, no_task_suspended, task_inserted, object_modified,
		inconsistent_object, object_unavailable))
	SUBTYPE OF (response);
END_ENTITY;