{ DECK: DFT$TRANSACTION_STATE

{ Transaction State, maintained in the cpu queue entry, indicates what is known
{ about the progress of a file server request. Transaction state, request start
{ time, request timeout count, and retransmission count, are the parameters
{ which determine if the client side should attempt to "retransmit" a file
{ server request.
{ The transaction state values which may be present in the client side cpu
{ queue entry are:
{   dfc$null_state = queue allocated, not initialized.
{   dfc$queue_entry_available = queue entry is not assigned to a task.
{   dfc$queue_entry_assigned = queue entry assigned to a task.
{   dfc$request_queued = file server request queued for driver to process.
{   dfc$request_sent = driver has sent client's request to server side.
{   dfc$server_must_read_page_data = server has received command, not data yet.
{   dfc$server_received_request = server has received command and data if any.
{   dfc$server_sent_response = driver has sent server's response to client side.
{   dfc$client_must_read_page_data = client has received response, not data yet.
{   dfc$response_received = client has received response and data if any.
{   dfc$media_error = driver detected a failure in the connection between client
{      and server. The client must attempt to retransmit file server request.
{   dfc$message_content_error = server detected erronious data or some
{      inconsistency in the command message received from client. The client
{      must attempt to retransmit file server request.
{
{ The transaction state values which may be present in the server side cpu
{ queue entry are:
{   dfc$null_state = queue allocated, not initialized.
{   dfc$server_waiting_request = server completed a transaction, ready for next.
{   dfc$server_must_read_page_data = server has received command, not data yet.
{   dfc$server_received_request = server has received command and data if any.
{   dfc$media_error = driver detected a failure in the connection between client
{      and server. The client must attempt to retransmit file server request.
{   dfc$message_content_error = server detected erronious data or some
{      inconsistency in the command message received from client. The client
{      must attempt to retransmit file server request.

TYPE
  dft$transaction_state = (dfc$null_state, dfc$queue_entry_available,
       dfc$queue_entry_assigned, dfc$request_queued, dfc$request_sent,
       dfc$server_must_read_page_data, dfc$server_received_request,
       dfc$server_sent_response, dfc$client_must_read_page_data,
       dfc$response_received, dfc$media_error, dfc$message_content_error,
       dfc$server_waiting_request, dfc$terminate_break_signal,
       dfc$pause_break_signal),

  dft$transaction_state_set = set of dft$transaction_state;
