
{ File Routing General Definitions. }

  CONST
    jmc$routing_repeat_count_max = 0ff(16),

    jmc$queue_file_priority_max = 0ffff(16),

    jmc$queue_entry_number_max = 0ffff(16),

    jmc$queue_entry_count_max = 500,

    jmc$routing_form_code_size = 4,

    jmc$routing_address_size = 135,

    jmc$job_position_size = 80;

  TYPE
    jmt$routing_external = (jmc$routing_external_default,
      jmc$routing_external_ascii96, jmc$routing_external_ascii64,
      jmc$routing_external_coded, jmc$routing_external_binary,
      jmc$routing_external_ins1, jmc$routing_external_ins2),

    jmt$routing_external_set = set OF jmt$routing_external,

    jmt$routing_form_code = string (jmc$routing_form_code_size),

    jmt$routing_repeat_count = 1 .. jmc$routing_repeat_count_max,

    jmt$routing_address = string (jmc$routing_address_size),

    jmt$queue_type = (jmc$queue_type_default, jmc$queue_type_input,
      jmc$queue_type_print, jmc$queue_type_punch, jmc$queue_type_execute,
      jmc$queue_type_printing, jmc$queue_type_all,
      jmc$queue_type_local, jmc$queue_type_ins1, jmc$queue_type_ins2),

    jmt$queue_type_set = set OF jmt$queue_type,

    jmt$queue_file_priority = 0 .. jmc$queue_file_priority_max,

    jmt$queue_entry_number = 1 .. jmc$queue_entry_number_max,

    jmt$execution_state = (jmc$estate_execute, jmc$estate_swapped_out, jmc$estate_wait_memory,
      jmc$estate_wait_terminal, jmc$estate_wait_pf, jmc$estate_wait_tape),

    jmt$job_position = string (jmc$job_position_size);


