
{ pdt verify_configuration (input, i : file = $required
{                           output, o : file = $output
{                           status)

?? PUSH (LISTEXT := ON) ??

  VAR
    verify_configuration: [STATIC, READ, cls$pdt] clt$parameter_descriptor_table := [
      ^verify_configuration_names, ^verify_configuration_params];

  VAR
    verify_configuration_names: [STATIC, READ, cls$pdt_names_and_defaults] array [1 .. 5] of
      clt$parameter_name_descriptor := [['INPUT', 1], ['I', 1], ['OUTPUT', 2], ['O', 2], ['STATUS', 3]];

  VAR
    verify_configuration_params: [STATIC, READ, cls$pdt_parameters] array [1 .. 3] of
      clt$parameter_descriptor := [

{ INPUT I }
    [[clc$required], 1, 1, 1, 1, clc$value_range_not_allowed, [NIL, clc$file_value]],

{ OUTPUT O }
    [[clc$optional_with_default, ^verify_configuration_dv2], 1, 1, 1, 1, clc$value_range_not_allowed, [NIL,
      clc$file_value]],

{ STATUS }
    [[clc$optional], 1, 1, 1, 1, clc$value_range_not_allowed, [NIL, clc$variable_reference,
      clc$array_not_allowed, clc$status_value]]];

  VAR
    verify_configuration_dv2: [STATIC, READ, cls$pdt_names_and_defaults] string (7) := '$output';

?? POP ??
