?? NEWTITLE := 'nft$ptf_protocol_states' ??

{ nft$ptf_protocol_states }

  TYPE
    nft$protocol_actions = (nfc$ptf_send_command, nfc$ptf_start_transfer,
          nfc$ptf_receive_command, nfc$ptf_terminate);

  CONST
    nfc$ptf_number_pstates = 11;

  TYPE
    nft$ptfi_state_table = record
      last_command_sent: nft$last_command_sent,
      last_command_received: nft$last_command_received,
      data_xfer_complete: boolean,
      case action: nft$protocol_actions of
      = nfc$ptf_send_command =
        send_command: nft$protocol_commands,
        send_parameters: nft$parameter_set,
      = nfc$ptf_receive_command =
        legal_receive_commands: nft$command_set,
      = nfc$ptf_start_transfer =
        xfer_send_command: nft$protocol_commands,
        xfer_send_parameters: nft$parameter_set,
      = nfc$ptf_terminate =
      casend,
    recend;

  TYPE
    nft$ptf_protocol_states = array [1 .. nfc$ptf_number_pstates] of
          nft$ptfi_state_table;

*copyc nft$last_command_sent
*copyc nft$last_command_received
*copyc nft$parameter_set
*copyc nft$protocol_commands
*copyc nft$command_set

?? OLDTITLE ??
