{
{ BAI$VALIDATE_READ_ACCESS
{
{ This code does general validation for all reads.
{ Note that working_storage_length is in the same location in the call_block
{ of all get operations.

  IF (call_block.getn.working_storage_length <= 0) OR
        (call_block.getn.working_storage_length >
        UPPERVALUE (amt$working_storage_length)) THEN
    amp$set_file_instance_abnormal (file_identifier, ame$improper_wsl_value,
          call_block.operation, error_text, status);
  ELSEIF caller_id.ring > file_instance^.instance_attributes.static_label.
        ring_attributes.r2 THEN
    amp$set_file_instance_abnormal (file_identifier, ame$ring_validation_error,
          call_block.operation, error_text, status);
  ELSEIF NOT (pfc$read IN file_instance^.instance_attributes.dynamic_label.
        access_mode) THEN
    amp$set_file_instance_abnormal (file_identifier,
          ame$improper_input_attempt, call_block.operation, ' PFC$READ',
          status);
  IFEND;

{ end of BAI$VALIDATE_READ_ACCESS
{


