147 call test%run(test_isOpenErr_3, SK_
"test_isOpenErr_3")
157 call test%summarize()
166 logical(LK) :: assertion
170 assertion
= .not. file
%err
%occurred
171 call test%assert(assertion, desc
= "No error should occur upon `file` construction.")
173 assertion
= assertion
.and. file
%path
%original
== ""
174 call test%assert(assertion)
175 assertion
= assertion
.and. file
%path
%modified
== ""
176 call test%assert(assertion)
177 assertion
= assertion
.and. file
%path
%dir
== ""
178 call test%assert(assertion)
179 assertion
= assertion
.and. file
%path
%name
== ""
180 call test%assert(assertion)
181 assertion
= assertion
.and. file
%path
%ext
== ""
182 call test%assert(assertion)
183 assertion
= assertion
.and. file
%unit
== -2147483647
184 call test%assert(assertion)
185 assertion
= assertion
.and. file
%number
== -2147483647
186 call test%assert(assertion)
187 assertion
= assertion
.and. file
%recl
== -2147483647
188 call test%assert(assertion)
189 assertion
= assertion
.and. file
%exists
.eqv. .false._LK
190 call test%assert(assertion)
191 assertion
= assertion
.and. file
%isOpen .eqv. .false._LK
192 call test%assert(assertion)
193 assertion
= assertion
.and. file
%isNamed
.eqv. .false._LK
194 call test%assert(assertion)
195 assertion
= assertion
.and. file
%isNumbered
.eqv. .false._LK
196 call test%assert(assertion)
197 assertion
= assertion
.and. file
%status
== "unknown"
198 call test%assert(assertion)
199 assertion
= assertion
.and. file
%asynchronous
== "no"
200 call test%assert(assertion)
201 assertion
= assertion
.and. file
%format == ""
202 call test%assert(assertion)
203 assertion
= assertion
.and. file
%nameByCompiler
== ""
204 call test%assert(assertion)
205 assertion
= assertion
.and. file
%action
%val
== "readwrite"
206 call test%assert(assertion)
207 assertion
= assertion
.and. file
%access
%val
== "sequential"
208 call test%assert(assertion)
209 assertion
= assertion
.and. file
%form
%val
== "formatted"
210 call test%assert(assertion)
211 assertion
= assertion
.and. file
%blank
%val
== "null"
212 call test%assert(assertion)
213 assertion
= assertion
.and. file
%position
%val
== "asis"
214 call test%assert(assertion)
215 assertion
= assertion
.and. file
%delim
%val
== "none"
216 call test%assert(assertion)
217 assertion
= assertion
.and. file
%pad
%val
== "yes"
218 call test%assert(assertion)
219 assertion
= assertion
.and. file
%round
%val
== "processor_defined"
220 call test%assert(assertion)
221 assertion
= assertion
.and. file
%sign
%val
== "processor_defined"
222 call test%assert(assertion)
223 assertion
= assertion
.and. file
%err
%occurred
.eqv. .false._LK
224 call test%assert(assertion)
225 assertion
= assertion
.and. file
%err
%msg
== ""
226 call test%assert(assertion)
228 if (
test%traceable
.and. .not. assertion)
then
231 write(
test%disp%unit,
"(*(g0))")
"file%path%original : ", file
%path
%original
232 write(
test%disp%unit,
"(*(g0))")
"file%path%modified : ", file
%path
%modified
233 write(
test%disp%unit,
"(*(g0))")
"file%path%dir : ", file
%path
%dir
234 write(
test%disp%unit,
"(*(g0))")
"file%path%name : ", file
%path
%name
235 write(
test%disp%unit,
"(*(g0))")
"file%path%ext : ", file
%path
%ext
236 write(
test%disp%unit,
"(*(g0))")
"file%path%sep : ", file
%path
%sep
237 write(
test%disp%unit,
"(*(g0))")
"file%unit : ", file
%unit
238 write(
test%disp%unit,
"(*(g0))")
"file%number : ", file
%number
239 write(
test%disp%unit,
"(*(g0))")
"file%recl : ", file
%recl
240 write(
test%disp%unit,
"(*(g0))")
"file%exists : ", file
%exists
242 write(
test%disp%unit,
"(*(g0))")
"file%isNamed : ", file
%isNamed
243 write(
test%disp%unit,
"(*(g0))")
"file%isNumbered : ", file
%isNumbered
244 write(
test%disp%unit,
"(*(g0))")
"file%status : ", file
%status
245 write(
test%disp%unit,
"(*(g0))")
"file%asynchronous : ", file
%asynchronous
246 write(
test%disp%unit,
"(*(g0))")
"file%format : ", file
%format
247 write(
test%disp%unit,
"(*(g0))")
"file%nameByCompiler : ", file
%nameByCompiler
248 write(
test%disp%unit,
"(*(g0))")
"file%action%val : ", file
%action
%val
249 write(
test%disp%unit,
"(*(g0))")
"file%access%val : ", file
%access
%val
250 write(
test%disp%unit,
"(*(g0))")
"file%form%val : ", file
%form
%val
251 write(
test%disp%unit,
"(*(g0))")
"file%blank%val : ", file
%blank
%val
252 write(
test%disp%unit,
"(*(g0))")
"file%position%val : ", file
%position
%val
253 write(
test%disp%unit,
"(*(g0))")
"file%delim%val : ", file
%delim
%val
254 write(
test%disp%unit,
"(*(g0))")
"file%pad%val : ", file
%pad
%val
255 write(
test%disp%unit,
"(*(g0))")
"file%round%val : ", file
%round
%val
256 write(
test%disp%unit,
"(*(g0))")
"file%sign%val : ", file
%sign
%val
268 logical(LK) :: assertion
273 , path
="./test_File_pmod/\test_File_pmod\-" &
275 , position
="APPEND" &
277 , form
="unformatted" &
283 , blank
= "undefined" &
285 , asynchronous
= "Yes" &
288 assertion
= .not. file
%err
%occurred
289 call test%assert(assertion)
291 assertion
= assertion
.and. file
%path
%original
== "./test_File_pmod/\test_File_pmod\-"
293 if (file
%path
%sep
=="/")
then
294 assertion
= assertion
.and. file
%path
%modified
== "./test_File_pmod/\test_File_pmod\-"
295 call test%assert(assertion)
296 assertion
= assertion
.and. file
%path
%dir
== "./test_File_pmod/"
297 call test%assert(assertion)
298 assertion
= assertion
.and. file
%path
%name
== "\test_File_pmod\-"
299 call test%assert(assertion)
300 assertion
= assertion
.and. file
%path
%ext
== ""
301 call test%assert(assertion)
304 assertion
= assertion
.and. file
%path
%modified
== ".\test_File_pmod\\test_File_pmod\-"
305 call test%assert(assertion)
306 assertion
= assertion
.and. file
%path
%dir
== ".\test_File_pmod\\test_File_pmod\"
307 call test%assert(assertion)
308 assertion
= assertion
.and. file
%path
%name
== "-"
309 call test%assert(assertion)
310 assertion
= assertion
.and. file
%path
%ext
== ""
311 call test%assert(assertion)
314 assertion
= assertion
.and. file
%unit
== 13
315 call test%assert(assertion)
316 assertion
= assertion
.and. file
%number
== -2147483647
317 call test%assert(assertion)
318 assertion
= assertion
.and. file
%recl
== 9999
319 call test%assert(assertion)
320 assertion
= assertion
.and. file
%exists
.eqv. .false._LK
321 call test%assert(assertion)
322 assertion
= assertion
.and. file
%isOpen .eqv. .false._LK
323 call test%assert(assertion)
324 assertion
= assertion
.and. file
%isNamed
.eqv. .false._LK
325 call test%assert(assertion)
326 assertion
= assertion
.and. file
%isNumbered
.eqv. .false._LK
327 call test%assert(assertion)
328 assertion
= assertion
.and. file
%status
== "new"
329 call test%assert(assertion)
330 assertion
= assertion
.and. file
%asynchronous
== "yes"
331 call test%assert(assertion)
332 assertion
= assertion
.and. file
%format == "(A)"
333 call test%assert(assertion)
334 assertion
= assertion
.and. file
%nameByCompiler
== ""
335 call test%assert(assertion)
336 assertion
= assertion
.and. file
%action
%val
== "read"
337 call test%assert(assertion)
338 assertion
= assertion
.and. file
%access
%val
== "direct"
339 call test%assert(assertion)
340 assertion
= assertion
.and. file
%form
%val
== "unformatted"
341 call test%assert(assertion)
342 assertion
= assertion
.and. file
%blank
%val
== "undefined"
343 call test%assert(assertion)
344 assertion
= assertion
.and. file
%position
%val
== "append"
345 call test%assert(assertion)
346 assertion
= assertion
.and. file
%delim
%val
== "quote"
347 call test%assert(assertion)
348 assertion
= assertion
.and. file
%pad
%val
== "no"
349 call test%assert(assertion)
350 assertion
= assertion
.and. file
%round
%val
== "up"
351 call test%assert(assertion)
352 assertion
= assertion
.and. file
%sign
%val
== "undefined"
353 call test%assert(assertion)
354 assertion
= assertion
.and. file
%err
%occurred
.eqv. .false._LK
355 call test%assert(assertion)
356 assertion
= assertion
.and. file
%err
%msg
== ""
357 call test%assert(assertion)
359 if (
test%traceable
.and. .not. assertion)
then
362 write(
test%disp%unit,
"(*(g0))")
"file%path%original : ", file
%path
%original
363 write(
test%disp%unit,
"(*(g0))")
"file%path%modified : ", file
%path
%modified
364 write(
test%disp%unit,
"(*(g0))")
"file%path%dir : ", file
%path
%dir
365 write(
test%disp%unit,
"(*(g0))")
"file%path%name : ", file
%path
%name
366 write(
test%disp%unit,
"(*(g0))")
"file%path%ext : ", file
%path
%ext
367 write(
test%disp%unit,
"(*(g0))")
"file%path%sep: ", file
%path
%sep
368 write(
test%disp%unit,
"(*(g0))")
"file%unit : ", file
%unit
369 write(
test%disp%unit,
"(*(g0))")
"file%number : ", file
%number
370 write(
test%disp%unit,
"(*(g0))")
"file%recl : ", file
%recl
371 write(
test%disp%unit,
"(*(g0))")
"file%exists : ", file
%exists
373 write(
test%disp%unit,
"(*(g0))")
"file%isNamed : ", file
%isNamed
374 write(
test%disp%unit,
"(*(g0))")
"file%isNumbered : ", file
%isNumbered
375 write(
test%disp%unit,
"(*(g0))")
"file%status : ", file
%status
376 write(
test%disp%unit,
"(*(g0))")
"file%asynchronous : ", file
%asynchronous
377 write(
test%disp%unit,
"(*(g0))")
"file%format : ", file
%format
378 write(
test%disp%unit,
"(*(g0))")
"file%nameByCompiler : ", file
%nameByCompiler
379 write(
test%disp%unit,
"(*(g0))")
"file%action%val : ", file
%action
%val
380 write(
test%disp%unit,
"(*(g0))")
"file%access%val : ", file
%access
%val
381 write(
test%disp%unit,
"(*(g0))")
"file%form%val : ", file
%form
%val
382 write(
test%disp%unit,
"(*(g0))")
"file%blank%val : ", file
%blank
%val
383 write(
test%disp%unit,
"(*(g0))")
"file%position%val : ", file
%position
%val
384 write(
test%disp%unit,
"(*(g0))")
"file%delim%val : ", file
%delim
%val
385 write(
test%disp%unit,
"(*(g0))")
"file%pad%val : ", file
%pad
%val
386 write(
test%disp%unit,
"(*(g0))")
"file%round%val : ", file
%round
%val
387 write(
test%disp%unit,
"(*(g0))")
"file%sign%val : ", file
%sign
%val
388 write(
test%disp%unit,
"(*(g0))")
"file%err%occurred : ", file
%err
%occurred
389 write(
test%disp%unit,
"(*(g0))")
"file%err%msg : ", file
%err
%msg
403 logical(LK) :: assertion
408 , path
="./test_File_pmod/\test_File_pmod\-" &
410 , position
="APPEND" &
417 , blank
= "undefined" &
419 , asynchronous
= "Yes" &
422 assertion
= .not. file
%err
%occurred
423 call test%assert(assertion)
425 assertion
= assertion
.and. file
%path
%original
== "./test_File_pmod/\test_File_pmod\-"
426 call test%assert(assertion)
428 if (file
%path
%sep
=="/")
then
429 assertion
= assertion
.and. file
%path
%modified
== "./test_File_pmod/\test_File_pmod\-"
430 call test%assert(assertion)
431 assertion
= assertion
.and. file
%path
%dir
== "./test_File_pmod/"
432 call test%assert(assertion)
433 assertion
= assertion
.and. file
%path
%name
== "\test_File_pmod\-"
434 call test%assert(assertion)
435 assertion
= assertion
.and. file
%path
%ext
== ""
436 call test%assert(assertion)
439 assertion
= assertion
.and. file
%path
%modified
== ".\test_File_pmod\\test_File_pmod\-"
440 call test%assert(assertion)
441 assertion
= assertion
.and. file
%path
%dir
== ".\test_File_pmod\\test_File_pmod\"
442 call test%assert(assertion)
443 assertion
= assertion
.and. file
%path
%name
== "-"
444 call test%assert(assertion)
445 assertion
= assertion
.and. file
%path
%ext
== ""
446 call test%assert(assertion)
450 assertion
= assertion
.and. file
%unit
== 13
451 call test%assert(assertion)
452 assertion
= assertion
.and. file
%number
== -2147483647
453 call test%assert(assertion)
454 assertion
= assertion
.and. file
%recl
== 9999
455 call test%assert(assertion)
456 assertion
= assertion
.and. file
%exists
.eqv. .false._LK
457 call test%assert(assertion)
458 assertion
= assertion
.and. file
%isOpen .eqv. .false._LK
459 call test%assert(assertion)
460 assertion
= assertion
.and. file
%isNamed
.eqv. .false._LK
461 call test%assert(assertion)
462 assertion
= assertion
.and. file
%isNumbered
.eqv. .false._LK
463 call test%assert(assertion)
464 assertion
= assertion
.and. file
%status
== "new"
465 call test%assert(assertion)
466 assertion
= assertion
.and. file
%asynchronous
== "yes"
467 call test%assert(assertion)
468 assertion
= assertion
.and. file
%format == "(A)"
469 call test%assert(assertion)
470 assertion
= assertion
.and. file
%nameByCompiler
== ""
471 call test%assert(assertion)
472 assertion
= assertion
.and. file
%action
%val
== "read"
473 call test%assert(assertion)
474 assertion
= assertion
.and. file
%access
%val
== "direct"
475 call test%assert(assertion)
476 assertion
= assertion
.and. file
%form
%val
== "unformatted"
477 call test%assert(assertion)
478 assertion
= assertion
.and. file
%blank
%val
== "undefined"
479 call test%assert(assertion)
480 assertion
= assertion
.and. file
%position
%val
== "append"
481 call test%assert(assertion)
482 assertion
= assertion
.and. file
%delim
%val
== "quote"
483 call test%assert(assertion)
484 assertion
= assertion
.and. file
%pad
%val
== "no"
485 call test%assert(assertion)
486 assertion
= assertion
.and. file
%round
%val
== "up"
487 call test%assert(assertion)
488 assertion
= assertion
.and. file
%sign
%val
== "undefined"
489 call test%assert(assertion)
490 assertion
= assertion
.and. file
%err
%occurred
.eqv. .false._LK
491 call test%assert(assertion)
492 assertion
= assertion
.and. file
%err
%msg
== ""
493 call test%assert(assertion)
495 if (
test%traceable
.and. .not. assertion)
then
498 write(
test%disp%unit,
"(*(g0))")
"file%path%original : ", file
%path
%original
499 write(
test%disp%unit,
"(*(g0))")
"file%path%modified : ", file
%path
%modified
500 write(
test%disp%unit,
"(*(g0))")
"file%path%dir : ", file
%path
%dir
501 write(
test%disp%unit,
"(*(g0))")
"file%path%name : ", file
%path
%name
502 write(
test%disp%unit,
"(*(g0))")
"file%path%ext : ", file
%path
%ext
503 write(
test%disp%unit,
"(*(g0))")
"file%path%sep: ", file
%path
%sep
504 write(
test%disp%unit,
"(*(g0))")
"file%unit : ", file
%unit
505 write(
test%disp%unit,
"(*(g0))")
"file%number : ", file
%number
506 write(
test%disp%unit,
"(*(g0))")
"file%recl : ", file
%recl
507 write(
test%disp%unit,
"(*(g0))")
"file%exists : ", file
%exists
509 write(
test%disp%unit,
"(*(g0))")
"file%isNamed : ", file
%isNamed
510 write(
test%disp%unit,
"(*(g0))")
"file%isNumbered : ", file
%isNumbered
511 write(
test%disp%unit,
"(*(g0))")
"file%status : ", file
%status
512 write(
test%disp%unit,
"(*(g0))")
"file%asynchronous : ", file
%asynchronous
513 write(
test%disp%unit,
"(*(g0))")
"file%format : ", file
%format
514 write(
test%disp%unit,
"(*(g0))")
"file%nameByCompiler : ", file
%nameByCompiler
515 write(
test%disp%unit,
"(*(g0))")
"file%action%val : ", file
%action
%val
516 write(
test%disp%unit,
"(*(g0))")
"file%access%val : ", file
%access
%val
517 write(
test%disp%unit,
"(*(g0))")
"file%form%val : ", file
%form
%val
518 write(
test%disp%unit,
"(*(g0))")
"file%blank%val : ", file
%blank
%val
519 write(
test%disp%unit,
"(*(g0))")
"file%position%val : ", file
%position
%val
520 write(
test%disp%unit,
"(*(g0))")
"file%delim%val : ", file
%delim
%val
521 write(
test%disp%unit,
"(*(g0))")
"file%pad%val : ", file
%pad
%val
522 write(
test%disp%unit,
"(*(g0))")
"file%round%val : ", file
%round
%val
523 write(
test%disp%unit,
"(*(g0))")
"file%sign%val : ", file
%sign
%val
524 write(
test%disp%unit,
"(*(g0))")
"file%err%occurred : ", file
%err
%occurred
525 write(
test%disp%unit,
"(*(g0))")
"file%err%msg : ", file
%err
%msg
536 logical(LK) :: assertion
537 type(Pad_type) :: pad
539 assertion
= .not. pad
%err
%occurred
540 call test%assert(assertion)
541 assertion
= assertion
.and. pad
%val
== "yes"
542 call test%assert(assertion)
543 assertion
= assertion
.and. pad
%isPadded
.eqv. .true._LK
544 call test%assert(assertion)
545 assertion
= assertion
.and. pad
%isNotPadded
.eqv. .false._LK
546 call test%assert(assertion)
547 assertion
= assertion
.and. pad
%isUndefined
.eqv. .false._LK
555 logical(LK) :: assertion
556 type(Pad_type) :: pad
557 pad
= Pad_type(value
='undefined')
558 assertion
= .not. pad
%err
%occurred
559 call test%assert(assertion)
560 assertion
= assertion
.and. pad
%val
== "undefined"
561 call test%assert(assertion)
562 assertion
= assertion
.and. pad
%isPadded
.eqv. .false._LK
563 call test%assert(assertion)
564 assertion
= assertion
.and. pad
%isNotPadded
.eqv. .false._LK
565 call test%assert(assertion)
566 assertion
= assertion
.and. pad
%isUndefined
.eqv. .true._LK
574 logical(LK) :: assertion
575 type(Pad_type) :: pad
576 pad
= Pad_type(value
='yes')
577 assertion
= .not. pad
%err
%occurred
578 call test%assert(assertion)
579 assertion
= assertion
.and. pad
%val
== "yes"
580 call test%assert(assertion)
581 assertion
= assertion
.and. pad
%isPadded
.eqv. .true._LK
582 call test%assert(assertion)
583 assertion
= assertion
.and. pad
%isNotPadded
.eqv. .false._LK
584 call test%assert(assertion)
585 assertion
= assertion
.and. pad
%isUndefined
.eqv. .false._LK
593 logical(LK) :: assertion
594 type(Pad_type) :: pad
595 pad
= Pad_type(value
='no')
596 assertion
= .not. pad
%err
%occurred
597 call test%assert(assertion)
598 assertion
= assertion
.and. pad
%val
== "no"
599 call test%assert(assertion)
600 assertion
= assertion
.and. pad
%isPadded
.eqv. .false._LK
601 call test%assert(assertion)
602 assertion
= assertion
.and. pad
%isNotPadded
.eqv. .true._LK
603 call test%assert(assertion)
604 assertion
= assertion
.and. pad
%isUndefined
.eqv. .false._LK
612 logical(LK) :: assertion
613 type(Pad_type) :: pad
614 pad
= Pad_type(value
="nonsense")
615 assertion
= pad
%err
%occurred
616 call test%assert(assertion)
617 assertion
= assertion
.and. pad
%val
== ""
618 call test%assert(assertion)
619 assertion
= assertion
.and. pad
%isPadded
.eqv. .false._LK
620 call test%assert(assertion)
621 assertion
= assertion
.and. pad
%isNotPadded
.eqv. .false._LK
622 call test%assert(assertion)
623 assertion
= assertion
.and. pad
%isUndefined
.eqv. .false._LK
630 logical(LK) :: assertion
631 type(Action_type) :: action
632 action = Action_type()
633 assertion
= .not. action
%err
%occurred
634 call test%assert(assertion)
635 assertion
= assertion
.and. action
%val
== "readwrite"
636 call test%assert(assertion)
637 assertion
= assertion
.and. action
%isRead
.eqv. .false._LK
638 call test%assert(assertion)
639 assertion
= assertion
.and. action
%isWrite
.eqv. .false._LK
640 call test%assert(assertion)
641 assertion
= assertion
.and. action
%isReadWrite
.eqv. .true._LK
642 call test%assert(assertion)
643 assertion
= assertion
.and. action
%isUndefined
.eqv. .false._LK
650 logical(LK) :: assertion
651 type(Action_type) :: action
652 action
= Action_type(value
="undefined")
653 assertion
= .not. action
%err
%occurred
654 call test%assert(assertion)
655 assertion
= assertion
.and. action
%val
== "undefined"
656 call test%assert(assertion)
657 assertion
= assertion
.and. action
%isRead
.eqv. .false._LK
658 call test%assert(assertion)
659 assertion
= assertion
.and. action
%isWrite
.eqv. .false._LK
660 call test%assert(assertion)
661 assertion
= assertion
.and. action
%isReadWrite
.eqv. .false._LK
662 call test%assert(assertion)
663 assertion
= assertion
.and. action
%isUndefined
.eqv. .true._LK
670 logical(LK) :: assertion
671 type(Action_type) :: action
672 action
= Action_type(value
="read")
673 assertion
= .not. action
%err
%occurred
674 call test%assert(assertion)
675 assertion
= assertion
.and. action
%val
== "read"
676 call test%assert(assertion)
677 assertion
= assertion
.and. action
%isRead
.eqv. .true._LK
678 call test%assert(assertion)
679 assertion
= assertion
.and. action
%isWrite
.eqv. .false._LK
680 call test%assert(assertion)
681 assertion
= assertion
.and. action
%isReadWrite
.eqv. .false._LK
682 call test%assert(assertion)
683 assertion
= assertion
.and. action
%isUndefined
.eqv. .false._LK
690 logical(LK) :: assertion
691 type(Action_type) :: action
692 action
= Action_type(value
="write")
693 assertion
= .not. action
%err
%occurred
694 call test%assert(assertion)
695 assertion
= assertion
.and. action
%val
== "write"
696 call test%assert(assertion)
697 assertion
= assertion
.and. action
%isRead
.eqv. .false._LK
698 call test%assert(assertion)
699 assertion
= assertion
.and. action
%isWrite
.eqv. .true._LK
700 call test%assert(assertion)
701 assertion
= assertion
.and. action
%isReadWrite
.eqv. .false._LK
702 call test%assert(assertion)
703 assertion
= assertion
.and. action
%isUndefined
.eqv. .false._LK
710 logical(LK) :: assertion
711 type(Action_type) :: action
712 action
= Action_type(value
="nonsense")
713 assertion
= action
%err
%occurred
714 call test%assert(assertion)
715 assertion
= assertion
.and. action
%val
== ""
716 call test%assert(assertion)
717 assertion
= assertion
.and. action
%isRead
.eqv. .false._LK
718 call test%assert(assertion)
719 assertion
= assertion
.and. action
%isWrite
.eqv. .false._LK
720 call test%assert(assertion)
721 assertion
= assertion
.and. action
%isReadWrite
.eqv. .false._LK
722 call test%assert(assertion)
723 assertion
= assertion
.and. action
%isUndefined
.eqv. .false._LK
730 logical(LK) :: assertion
731 type(Access_type) :: access
732 access = Access_type()
733 assertion
= .not. access
%err
%occurred
734 call test%assert(assertion)
735 assertion
= assertion
.and. access
%val
== "sequential"
736 call test%assert(assertion)
737 assertion
= assertion
.and. access
%isSequential
.eqv. .true._LK
738 call test%assert(assertion)
739 assertion
= assertion
.and. access
%isDirect
.eqv. .false._LK
740 call test%assert(assertion)
741 assertion
= assertion
.and. access
%isUndefined
.eqv. .false._LK
748 logical(LK) :: assertion
749 type(Access_type) :: access
750 access
= Access_type(
"undefined")
751 assertion
= .not. access
%err
%occurred
752 call test%assert(assertion)
753 assertion
= assertion
.and. access
%val
== "undefined"
754 call test%assert(assertion)
755 assertion
= assertion
.and. access
%isSequential
.eqv. .false._LK
756 call test%assert(assertion)
757 assertion
= assertion
.and. access
%isDirect
.eqv. .false._LK
758 call test%assert(assertion)
759 assertion
= assertion
.and. access
%isUndefined
.eqv. .true._LK
766 logical(LK) :: assertion
767 type(Access_type) :: access
768 access
= Access_type(
"sequential")
769 assertion
= .not. access
%err
%occurred
770 call test%assert(assertion)
771 assertion
= assertion
.and. access
%val
== "sequential"
772 call test%assert(assertion)
773 assertion
= assertion
.and. access
%isSequential
.eqv. .true._LK
774 call test%assert(assertion)
775 assertion
= assertion
.and. access
%isDirect
.eqv. .false._LK
776 call test%assert(assertion)
777 assertion
= assertion
.and. access
%isUndefined
.eqv. .false._LK
784 logical(LK) :: assertion
785 type(Access_type) :: access
786 access
= Access_type(
"direct")
787 assertion
= .not. access
%err
%occurred
788 call test%assert(assertion)
789 assertion
= assertion
.and. access
%val
== "direct"
790 call test%assert(assertion)
791 assertion
= assertion
.and. access
%isSequential
.eqv. .false._LK
792 call test%assert(assertion)
793 assertion
= assertion
.and. access
%isDirect
.eqv. .true._LK
794 call test%assert(assertion)
795 assertion
= assertion
.and. access
%isUndefined
.eqv. .false._LK
802 logical(LK) :: assertion
803 type(Access_type) :: access
804 access
= Access_type(
"nonsense")
805 assertion
= access
%err
%occurred
820 logical(LK) :: assertion
821 type(Form_type) :: form
823 assertion
= .not. form
%err
%occurred
824 call test%assert(assertion)
825 assertion
= assertion
.and. form
%val
== "formatted"
826 call test%assert(assertion)
827 assertion
= assertion
.and. form
%isFormatted
.eqv. .true._LK
828 call test%assert(assertion)
829 assertion
= assertion
.and. form
%isUnformatted
.eqv. .false._LK
830 call test%assert(assertion)
831 assertion
= assertion
.and. form
%isUndefined
.eqv. .false._LK
838 logical(LK) :: assertion
839 type(Form_type) :: form
840 form
= Form_type(
"undefined")
841 assertion
= .not. form
%err
%occurred
842 call test%assert(assertion)
843 assertion
= assertion
.and. form
%val
== "undefined"
844 call test%assert(assertion)
845 assertion
= assertion
.and. form
%isFormatted
.eqv. .false._LK
846 call test%assert(assertion)
847 assertion
= assertion
.and. form
%isUnformatted
.eqv. .false._LK
848 call test%assert(assertion)
849 assertion
= assertion
.and. form
%isUndefined
.eqv. .true._LK
856 logical(LK) :: assertion
857 type(Form_type) :: form
858 form
= Form_type(
"formatted")
859 assertion
= .not. form
%err
%occurred
860 call test%assert(assertion)
861 assertion
= assertion
.and. form
%val
== "formatted"
862 call test%assert(assertion)
863 call test%assert(assertion)
864 assertion
= assertion
.and. form
%isFormatted
.eqv. .true._LK
865 call test%assert(assertion)
866 assertion
= assertion
.and. form
%isUnformatted
.eqv. .false._LK
867 call test%assert(assertion)
868 assertion
= assertion
.and. form
%isUndefined
.eqv. .false._LK
875 logical(LK) :: assertion
876 type(Form_type) :: form
877 form
= Form_type(
"unformatted")
878 assertion
= .not. form
%err
%occurred
879 call test%assert(assertion)
880 assertion
= assertion
.and. form
%val
== "unformatted"
881 call test%assert(assertion)
882 assertion
= assertion
.and. form
%isFormatted
.eqv. .false._LK
883 call test%assert(assertion)
884 assertion
= assertion
.and. form
%isUnformatted
.eqv. .true._LK
885 call test%assert(assertion)
886 assertion
= assertion
.and. form
%isUndefined
.eqv. .false._LK
893 logical(LK) :: assertion
894 type(Form_type) :: form
895 form
= Form_type(
"nonsense")
896 assertion
= form
%err
%occurred
911 logical(LK) :: assertion
912 type(Blank_type) :: blank
914 assertion
= .not. blank
%err
%occurred
915 call test%assert(assertion)
916 assertion
= assertion
.and. blank
%val
== "null"
917 call test%assert(assertion)
918 assertion
= assertion
.and. blank
%isNull
.eqv. .true._LK
919 call test%assert(assertion)
920 assertion
= assertion
.and. blank
%isZero
.eqv. .false._LK
921 call test%assert(assertion)
922 assertion
= assertion
.and. blank
%isUndefined
.eqv. .false._LK
929 logical(LK) :: assertion
930 type(Blank_type) :: blank
931 blank
= Blank_type(
"undefined")
932 assertion
= .not. blank
%err
%occurred
933 call test%assert(assertion)
934 assertion
= assertion
.and. blank
%val
== "undefined"
935 call test%assert(assertion)
936 assertion
= assertion
.and. blank
%isNull
.eqv. .false._LK
937 call test%assert(assertion)
938 assertion
= assertion
.and. blank
%isZero
.eqv. .false._LK
939 call test%assert(assertion)
940 assertion
= assertion
.and. blank
%isUndefined
.eqv. .true._LK
947 logical(LK) :: assertion
948 type(Blank_type) :: blank
949 blank
= Blank_type(
"null")
950 assertion
= .not. blank
%err
%occurred
951 call test%assert(assertion)
952 assertion
= assertion
.and. blank
%val
== "null"
953 call test%assert(assertion)
954 assertion
= assertion
.and. blank
%isNull
.eqv. .true._LK
955 call test%assert(assertion)
956 assertion
= assertion
.and. blank
%isZero
.eqv. .false._LK
957 call test%assert(assertion)
958 assertion
= assertion
.and. blank
%isUndefined
.eqv. .false._LK
965 logical(LK) :: assertion
966 type(Blank_type) :: blank
967 blank
= Blank_type(
"zero")
968 assertion
= .not. blank
%err
%occurred
969 call test%assert(assertion)
970 assertion
= assertion
.and. blank
%val
== "zero"
971 call test%assert(assertion)
972 assertion
= assertion
.and. blank
%isNull
.eqv. .false._LK
973 call test%assert(assertion)
974 assertion
= assertion
.and. blank
%isZero
.eqv. .true._LK
975 call test%assert(assertion)
976 assertion
= assertion
.and. blank
%isUndefined
.eqv. .false._LK
983 logical(LK) :: assertion
984 type(Blank_type) :: blank
985 blank
= Blank_type(
"nonsense")
986 assertion
= blank
%err
%occurred
1001 logical(LK) :: assertion
1002 type(Position_type) :: position
1003 position = Position_type()
1004 assertion
= .not. position
%err
%occurred
1005 call test%assert(assertion)
1006 assertion
= assertion
.and. position
%val
== "asis"
1007 call test%assert(assertion)
1008 assertion
= assertion
.and. position
%isRewind
.eqv. .false._LK
1009 call test%assert(assertion)
1010 assertion
= assertion
.and. position
%isAppend
.eqv. .false._LK
1011 call test%assert(assertion)
1012 assertion
= assertion
.and. position
%isAsis
.eqv. .true._LK
1013 call test%assert(assertion)
1014 assertion
= assertion
.and. position
%isUndefined
.eqv. .false._LK
1021 logical(LK) :: assertion
1022 type(Position_type) :: position
1023 position
= Position_type(
"undefined")
1024 assertion
= .not. position
%err
%occurred
1025 call test%assert(assertion)
1026 assertion
= assertion
.and. position
%val
== "undefined"
1027 call test%assert(assertion)
1028 assertion
= assertion
.and. position
%isRewind
.eqv. .false._LK
1029 call test%assert(assertion)
1030 assertion
= assertion
.and. position
%isAppend
.eqv. .false._LK
1031 call test%assert(assertion)
1032 assertion
= assertion
.and. position
%isAsis
.eqv. .false._LK
1033 call test%assert(assertion)
1034 assertion
= assertion
.and. position
%isUndefined
.eqv. .true._LK
1041 logical(LK) :: assertion
1042 type(Position_type) :: position
1043 position
= Position_type(
"rewind")
1044 assertion
= .not. position
%err
%occurred
1045 call test%assert(assertion)
1046 assertion
= assertion
.and. position
%val
== "rewind"
1047 call test%assert(assertion)
1048 assertion
= assertion
.and. position
%isRewind
.eqv. .true._LK
1049 call test%assert(assertion)
1050 assertion
= assertion
.and. position
%isAppend
.eqv. .false._LK
1051 call test%assert(assertion)
1052 assertion
= assertion
.and. position
%isAsis
.eqv. .false._LK
1053 call test%assert(assertion)
1054 assertion
= assertion
.and. position
%isUndefined
.eqv. .false._LK
1061 logical(LK) :: assertion
1062 type(Position_type) :: position
1063 position
= Position_type(
"APPEND")
1064 assertion
= .not. position
%err
%occurred
1065 call test%assert(assertion)
1066 assertion
= assertion
.and. position
%val
== "append"
1067 call test%assert(assertion)
1068 assertion
= assertion
.and. position
%isRewind
.eqv. .false._LK
1069 call test%assert(assertion)
1070 assertion
= assertion
.and. position
%isAppend
.eqv. .true._LK
1071 call test%assert(assertion)
1072 assertion
= assertion
.and. position
%isAsis
.eqv. .false._LK
1073 call test%assert(assertion)
1074 assertion
= assertion
.and. position
%isUndefined
.eqv. .false._LK
1081 logical(LK) :: assertion
1082 type(Position_type) :: position
1083 position
= Position_type(
"ASIS")
1084 assertion
= .not. position
%err
%occurred
1085 call test%assert(assertion)
1086 assertion
= assertion
.and. position
%val
== "asis"
1087 call test%assert(assertion)
1088 assertion
= assertion
.and. position
%isRewind
.eqv. .false._LK
1089 call test%assert(assertion)
1090 assertion
= assertion
.and. position
%isAppend
.eqv. .false._LK
1091 call test%assert(assertion)
1092 assertion
= assertion
.and. position
%isAsis
.eqv. .true._LK
1093 call test%assert(assertion)
1094 assertion
= assertion
.and. position
%isUndefined
.eqv. .false._LK
1101 logical(LK) :: assertion
1102 type(Position_type) :: position
1103 position
= Position_type(
"nonsense")
1104 assertion
= position
%err
%occurred
1121 logical(LK) :: assertion
1122 type(Delim_type) :: delim
1123 delim = Delim_type()
1124 assertion
= .not. delim
%err
%occurred
1125 call test%assert(assertion)
1126 assertion
= assertion
.and. delim
%val
== "none"
1127 call test%assert(assertion)
1128 assertion
= assertion
.and. delim
%isQuote
.eqv. .false._LK
1129 call test%assert(assertion)
1130 assertion
= assertion
.and. delim
%isApostrophe
.eqv. .false._LK
1131 call test%assert(assertion)
1132 assertion
= assertion
.and. delim
%isNone
.eqv. .true._LK
1133 call test%assert(assertion)
1134 assertion
= assertion
.and. delim
%isUndefined
.eqv. .false._LK
1141 logical(LK) :: assertion
1142 type(Delim_type) :: delim
1143 delim
= Delim_type(
"Undefined")
1144 assertion
= .not. delim
%err
%occurred
1145 call test%assert(assertion)
1146 assertion
= assertion
.and. delim
%val
== "undefined"
1147 call test%assert(assertion)
1148 assertion
= assertion
.and. delim
%isQuote
.eqv. .false._LK
1149 call test%assert(assertion)
1150 assertion
= assertion
.and. delim
%isApostrophe
.eqv. .false._LK
1151 call test%assert(assertion)
1152 assertion
= assertion
.and. delim
%isNone
.eqv. .false._LK
1153 call test%assert(assertion)
1154 assertion
= assertion
.and. delim
%isUndefined
.eqv. .true._LK
1161 logical(LK) :: assertion
1162 type(Delim_type) :: delim
1163 delim
= Delim_type(
"Quote")
1164 assertion
= .not. delim
%err
%occurred
1165 call test%assert(assertion)
1166 assertion
= assertion
.and. delim
%val
== "quote"
1167 call test%assert(assertion)
1168 assertion
= assertion
.and. delim
%isQuote
.eqv. .true._LK
1169 call test%assert(assertion)
1170 assertion
= assertion
.and. delim
%isApostrophe
.eqv. .false._LK
1171 call test%assert(assertion)
1172 assertion
= assertion
.and. delim
%isNone
.eqv. .false._LK
1173 call test%assert(assertion)
1174 assertion
= assertion
.and. delim
%isUndefined
.eqv. .false._LK
1181 logical(LK) :: assertion
1182 type(Delim_type) :: delim
1183 delim
= Delim_type(
"Apostrophe")
1184 assertion
= .not. delim
%err
%occurred
1185 call test%assert(assertion)
1186 assertion
= assertion
.and. delim
%val
== "apostrophe"
1187 call test%assert(assertion)
1188 assertion
= assertion
.and. delim
%isQuote
.eqv. .false._LK
1189 call test%assert(assertion)
1190 assertion
= assertion
.and. delim
%isApostrophe
.eqv. .true._LK
1191 call test%assert(assertion)
1192 assertion
= assertion
.and. delim
%isNone
.eqv. .false._LK
1193 call test%assert(assertion)
1194 assertion
= assertion
.and. delim
%isUndefined
.eqv. .false._LK
1201 logical(LK) :: assertion
1202 type(Delim_type) :: delim
1203 delim
= Delim_type(
"None")
1204 assertion
= .not. delim
%err
%occurred
1205 call test%assert(assertion)
1206 assertion
= assertion
.and. delim
%val
== "none"
1207 call test%assert(assertion)
1208 assertion
= assertion
.and. delim
%isQuote
.eqv. .false._LK
1209 call test%assert(assertion)
1210 call test%assert(assertion)
1211 assertion
= assertion
.and. delim
%isApostrophe
.eqv. .false._LK
1212 call test%assert(assertion)
1213 assertion
= assertion
.and. delim
%isNone
.eqv. .true._LK
1214 call test%assert(assertion)
1215 assertion
= assertion
.and. delim
%isUndefined
.eqv. .false._LK
1222 logical(LK) :: assertion
1223 type(Delim_type) :: delim
1224 delim
= Delim_type(
"nonsense")
1225 assertion
= delim
%err
%occurred
1242 logical(LK) :: assertion
1243 type(Round_type) :: round
1244 round = Round_type()
1245 assertion
= .not. round
%err
%occurred
1246 call test%assert(assertion)
1247 assertion
= assertion
.and. round
%val
== "processor_defined"
1248 call test%assert(assertion)
1249 assertion
= assertion
.and. round
%isUp
.eqv. .false._LK
1250 call test%assert(assertion)
1251 assertion
= assertion
.and. round
%isDown
.eqv. .false._LK
1252 call test%assert(assertion)
1253 assertion
= assertion
.and. round
%isZero
.eqv. .false._LK
1254 call test%assert(assertion)
1255 assertion
= assertion
.and. round
%isNearest
.eqv. .false._LK
1256 call test%assert(assertion)
1257 assertion
= assertion
.and. round
%isCompatible
.eqv. .false._LK
1258 call test%assert(assertion)
1259 assertion
= assertion
.and. round
%isProcessDefined
.eqv. .true._LK
1260 call test%assert(assertion)
1261 assertion
= assertion
.and. round
%isUndefined
.eqv. .false._LK
1268 logical(LK) :: assertion
1269 type(Round_type) :: round
1270 round
= Round_type(
"UP")
1271 assertion
= .not. round
%err
%occurred
1272 call test%assert(assertion)
1273 assertion
= assertion
.and. round
%val
== "up"
1274 call test%assert(assertion)
1275 assertion
= assertion
.and. round
%isUp
.eqv. .true._LK
1276 call test%assert(assertion)
1277 assertion
= assertion
.and. round
%isDown
.eqv. .false._LK
1278 call test%assert(assertion)
1279 assertion
= assertion
.and. round
%isZero
.eqv. .false._LK
1280 call test%assert(assertion)
1281 assertion
= assertion
.and. round
%isNearest
.eqv. .false._LK
1282 call test%assert(assertion)
1283 assertion
= assertion
.and. round
%isCompatible
.eqv. .false._LK
1284 call test%assert(assertion)
1285 assertion
= assertion
.and. round
%isProcessDefined
.eqv. .false._LK
1286 call test%assert(assertion)
1287 assertion
= assertion
.and. round
%isUndefined
.eqv. .false._LK
1294 logical(LK) :: assertion
1295 type(Round_type) :: round
1296 round
= Round_type(
"Down")
1297 assertion
= .not. round
%err
%occurred
1298 call test%assert(assertion)
1299 assertion
= assertion
.and. round
%val
== "down"
1300 call test%assert(assertion)
1301 assertion
= assertion
.and. round
%isUp
.eqv. .false._LK
1302 call test%assert(assertion)
1303 assertion
= assertion
.and. round
%isDown
.eqv. .true._LK
1304 call test%assert(assertion)
1305 assertion
= assertion
.and. round
%isZero
.eqv. .false._LK
1306 call test%assert(assertion)
1307 assertion
= assertion
.and. round
%isNearest
.eqv. .false._LK
1308 call test%assert(assertion)
1309 assertion
= assertion
.and. round
%isCompatible
.eqv. .false._LK
1310 call test%assert(assertion)
1311 assertion
= assertion
.and. round
%isProcessDefined
.eqv. .false._LK
1312 call test%assert(assertion)
1313 assertion
= assertion
.and. round
%isUndefined
.eqv. .false._LK
1320 logical(LK) :: assertion
1321 type(Round_type) :: round
1322 round
= Round_type(
"Zero")
1323 assertion
= .not. round
%err
%occurred
1324 call test%assert(assertion)
1325 assertion
= assertion
.and. round
%val
== "zero"
1326 call test%assert(assertion)
1327 assertion
= assertion
.and. round
%isUp
.eqv. .false._LK
1328 call test%assert(assertion)
1329 assertion
= assertion
.and. round
%isDown
.eqv. .false._LK
1330 call test%assert(assertion)
1331 assertion
= assertion
.and. round
%isZero
.eqv. .true._LK
1332 call test%assert(assertion)
1333 assertion
= assertion
.and. round
%isNearest
.eqv. .false._LK
1334 call test%assert(assertion)
1335 assertion
= assertion
.and. round
%isCompatible
.eqv. .false._LK
1336 call test%assert(assertion)
1337 assertion
= assertion
.and. round
%isProcessDefined
.eqv. .false._LK
1338 call test%assert(assertion)
1339 assertion
= assertion
.and. round
%isUndefined
.eqv. .false._LK
1346 logical(LK) :: assertion
1347 type(Round_type) :: round
1348 round
= Round_type(
"Nearest")
1349 assertion
= .not. round
%err
%occurred
1350 call test%assert(assertion)
1351 assertion
= assertion
.and. round
%val
== "nearest"
1352 call test%assert(assertion)
1353 assertion
= assertion
.and. round
%isUp
.eqv. .false._LK
1354 call test%assert(assertion)
1355 assertion
= assertion
.and. round
%isDown
.eqv. .false._LK
1356 call test%assert(assertion)
1357 assertion
= assertion
.and. round
%isZero
.eqv. .false._LK
1358 call test%assert(assertion)
1359 assertion
= assertion
.and. round
%isNearest
.eqv. .true._LK
1360 call test%assert(assertion)
1361 assertion
= assertion
.and. round
%isCompatible
.eqv. .false._LK
1362 call test%assert(assertion)
1363 assertion
= assertion
.and. round
%isProcessDefined
.eqv. .false._LK
1364 call test%assert(assertion)
1365 assertion
= assertion
.and. round
%isUndefined
.eqv. .false._LK
1372 logical(LK) :: assertion
1373 type(Round_type) :: round
1374 round
= Round_type(
"Nearest")
1375 assertion
= .not. round
%err
%occurred
1376 call test%assert(assertion)
1377 assertion
= assertion
.and. round
%val
== "nearest"
1378 call test%assert(assertion)
1379 assertion
= assertion
.and. round
%isUp
.eqv. .false._LK
1380 call test%assert(assertion)
1381 assertion
= assertion
.and. round
%isDown
.eqv. .false._LK
1382 call test%assert(assertion)
1383 assertion
= assertion
.and. round
%isZero
.eqv. .false._LK
1384 call test%assert(assertion)
1385 assertion
= assertion
.and. round
%isNearest
.eqv. .true._LK
1386 call test%assert(assertion)
1387 assertion
= assertion
.and. round
%isCompatible
.eqv. .false._LK
1388 call test%assert(assertion)
1389 assertion
= assertion
.and. round
%isProcessDefined
.eqv. .false._LK
1390 call test%assert(assertion)
1391 assertion
= assertion
.and. round
%isUndefined
.eqv. .false._LK
1398 logical(LK) :: assertion
1399 type(Round_type) :: round
1400 round
= Round_type(
"Compatible")
1401 assertion
= .not. round
%err
%occurred
1402 call test%assert(assertion)
1403 assertion
= assertion
.and. round
%val
== "compatible"
1404 call test%assert(assertion)
1405 assertion
= assertion
.and. round
%isUp
.eqv. .false._LK
1406 call test%assert(assertion)
1407 assertion
= assertion
.and. round
%isDown
.eqv. .false._LK
1408 call test%assert(assertion)
1409 assertion
= assertion
.and. round
%isZero
.eqv. .false._LK
1410 call test%assert(assertion)
1411 assertion
= assertion
.and. round
%isNearest
.eqv. .false._LK
1412 call test%assert(assertion)
1413 assertion
= assertion
.and. round
%isCompatible
.eqv. .true._LK
1414 call test%assert(assertion)
1415 assertion
= assertion
.and. round
%isProcessDefined
.eqv. .false._LK
1416 call test%assert(assertion)
1417 assertion
= assertion
.and. round
%isUndefined
.eqv. .false._LK
1424 logical(LK) :: assertion
1425 type(Round_type) :: round
1426 round
= Round_type(
"Processor_defined")
1427 assertion
= .not. round
%err
%occurred
1428 call test%assert(assertion)
1429 assertion
= assertion
.and. round
%val
== "processor_defined"
1430 call test%assert(assertion)
1431 assertion
= assertion
.and. round
%isUp
.eqv. .false._LK
1432 call test%assert(assertion)
1433 assertion
= assertion
.and. round
%isDown
.eqv. .false._LK
1434 call test%assert(assertion)
1435 assertion
= assertion
.and. round
%isZero
.eqv. .false._LK
1436 call test%assert(assertion)
1437 assertion
= assertion
.and. round
%isNearest
.eqv. .false._LK
1438 call test%assert(assertion)
1439 assertion
= assertion
.and. round
%isCompatible
.eqv. .false._LK
1440 call test%assert(assertion)
1441 assertion
= assertion
.and. round
%isProcessDefined
.eqv. .true._LK
1442 call test%assert(assertion)
1443 assertion
= assertion
.and. round
%isUndefined
.eqv. .false._LK
1450 logical(LK) :: assertion
1451 type(Round_type) :: round
1452 round
= Round_type(
"nonsense")
1453 assertion
= round
%err
%occurred
1476 logical(LK) :: assertion
1477 type(Sign_type) :: sign
1479 assertion
= .not. sign
%err
%occurred
1480 call test%assert(assertion)
1481 assertion
= assertion
.and. sign
%val
== "processor_defined"
1482 call test%assert(assertion)
1483 assertion
= assertion
.and. sign
%isSuppress
.eqv. .false._LK
1484 call test%assert(assertion)
1485 assertion
= assertion
.and. sign
%isPlus
.eqv. .false._LK
1486 call test%assert(assertion)
1487 assertion
= assertion
.and. sign
%isProcessDefined
.eqv. .true._LK
1488 call test%assert(assertion)
1489 assertion
= assertion
.and. sign
%isUndefined
.eqv. .false._LK
1496 logical(LK) :: assertion
1497 type(Sign_type) :: sign
1498 sign
= Sign_type(
"Undefined")
1499 assertion
= .not. sign
%err
%occurred
1500 call test%assert(assertion)
1501 assertion
= assertion
.and. sign
%val
== "undefined"
1502 call test%assert(assertion)
1503 assertion
= assertion
.and. sign
%isSuppress
.eqv. .false._LK
1504 call test%assert(assertion)
1505 assertion
= assertion
.and. sign
%isPlus
.eqv. .false._LK
1506 call test%assert(assertion)
1507 assertion
= assertion
.and. sign
%isProcessDefined
.eqv. .false._LK
1508 call test%assert(assertion)
1509 assertion
= assertion
.and. sign
%isUndefined
.eqv. .true._LK
1516 logical(LK) :: assertion
1517 type(Sign_type) :: sign
1518 sign
= Sign_type(
"Suppress")
1519 assertion
= .not. sign
%err
%occurred
1520 call test%assert(assertion)
1521 assertion
= assertion
.and. sign
%val
== "suppress"
1522 call test%assert(assertion)
1523 assertion
= assertion
.and. sign
%isSuppress
.eqv. .true._LK
1524 call test%assert(assertion)
1525 assertion
= assertion
.and. sign
%isPlus
.eqv. .false._LK
1526 call test%assert(assertion)
1527 assertion
= assertion
.and. sign
%isProcessDefined
.eqv. .false._LK
1528 call test%assert(assertion)
1529 assertion
= assertion
.and. sign
%isUndefined
.eqv. .false._LK
1536 logical(LK) :: assertion
1537 type(Sign_type) :: sign
1538 sign
= Sign_type(
"Plus")
1539 assertion
= .not. sign
%err
%occurred
1540 call test%assert(assertion)
1541 assertion
= assertion
.and. sign
%val
== "plus"
1542 call test%assert(assertion)
1543 assertion
= assertion
.and. sign
%isSuppress
.eqv. .false._LK
1544 call test%assert(assertion)
1545 assertion
= assertion
.and. sign
%isPlus
.eqv. .true._LK
1546 call test%assert(assertion)
1547 assertion
= assertion
.and. sign
%isProcessDefined
.eqv. .false._LK
1548 call test%assert(assertion)
1549 assertion
= assertion
.and. sign
%isUndefined
.eqv. .false._LK
1556 logical(LK) :: assertion
1557 type(Sign_type) :: sign
1558 sign
= Sign_type(
"Processor_defined")
1559 assertion
= .not. sign
%err
%occurred
1560 call test%assert(assertion)
1561 assertion
= assertion
.and. sign
%val
== "processor_defined"
1562 call test%assert(assertion)
1563 assertion
= assertion
.and. sign
%isSuppress
.eqv. .false._LK
1564 call test%assert(assertion)
1565 assertion
= assertion
.and. sign
%isPlus
.eqv. .false._LK
1566 call test%assert(assertion)
1567 assertion
= assertion
.and. sign
%isProcessDefined
.eqv. .true._LK
1568 call test%assert(assertion)
1569 assertion
= assertion
.and. sign
%isUndefined
.eqv. .false._LK
1576 logical(LK) :: assertion
1577 type(Sign_type) :: sign
1578 sign
= Sign_type(
"nonsense")
1579 assertion
= sign
%err
%occurred
1599 logical(LK) :: assertion
1603 Err = getWriteErr(stat)
1604 assertion
= err
%occurred
1612 logical(LK) :: assertion
1616 Err = getWriteErr(stat)
1617 assertion
= .not. err
%occurred
1625 logical(LK) :: assertion
1629 Err = getWriteErr(stat)
1630 assertion
= err
%occurred
1638 logical(LK) :: assertion
1642 Err
= getReadErr(stat,
"./path")
1643 assertion
= err
%occurred
1651 logical(LK) :: assertion
1655 Err = getReadErr(stat)
1656 assertion
= err
%occurred
1664 logical(LK) :: assertion
1668 Err
= getReadErr(stat,
"./path")
1669 assertion
= .not. err
%occurred
1677 logical(LK) :: assertion
1681 Err = getReadErr(stat)
1682 assertion
= .not. err
%occurred
1690 logical(LK) :: assertion
1694 Err
= getReadErr(stat,
"./path")
1695 assertion
= err
%occurred
1703 logical(LK) :: assertion
1707 Err = getReadErr(stat)
1708 assertion
= err
%occurred
1714 logical(LK) :: assertion
1715 assertion
= .not. isCloseErr(
0_IK)
1723 logical(LK) :: assertion
1727 Err = isCloseErr(stat)
1728 assertion
= err
%occurred
1736 logical(LK) :: assertion
1738 Err = isCloseErr(
-1)
1739 assertion
= .not. err
%occurred
1745 logical(LK) :: assertion
1746 assertion
= .not. isOpenErr(
0_IK)
1752 logical(LK) :: assertion
1753 assertion
= isOpenErr(
1_IK)
1759 logical(LK) :: assertion
1760 assertion
= isOpenErr(
-1_IK)
1766 logical(LK) :: assertion
1767 assertion
= .not. isInqErr(
0_IK)
1773 logical(LK) :: assertion
1774 assertion
= isInqErr(
1_IK)
1780 logical(LK) :: assertion
1781 assertion
= isInqErr(
-1_IK)
1791 logical(LK) :: assertion
1792 logical(LK) :: exists
1794 call isExtant(exists, Err, unit
= -1, file
= "")
1795 assertion
= err
%occurred
1805 logical(LK) :: assertion
1806 logical(LK) :: exists
1808 call isExtant(exists, Err)
1809 assertion
= err
%occurred
1819 logical(LK) :: assertion
1820 logical(LK) :: exists
1822 call isExtant(exists, Err,
unit = 123)
1823 assertion
= .not. err
%occurred
1833 logical(LK) :: assertion
1836 call getOpenStatus(
isOpen, Err, unit
= 124, file
= "")
1837 assertion
= err
%occurred
1847 logical(LK) :: assertion
1850 call getOpenStatus(
isOpen, Err)
1851 assertion
= err
%occurred
1861 logical(LK) :: assertion
1864 call getOpenStatus(
isOpen, Err,
unit = 123)
1865 assertion
= .not. err
%occurred
1875 logical(LK) :: assertion
1878 call getOpenStatus(
isOpen, Err, file
= "nonexisting.file")
1879 assertion
= .not. isOpen .and. .not. err
%occurred
1889 logical(LK) :: assertion
1891 logical(LK) :: isNumbered
1893 call getNumber(isNumbered, number, Err, unit
= 124, file
= "")
1894 assertion
= err
%occurred
1904 logical(LK) :: assertion
1906 logical(LK) :: isNumbered
1908 call getNumber(isNumbered, number, Err)
1909 assertion
= err
%occurred
1919 logical(LK) :: assertion
1921 logical(LK) :: isNumbered
1923 call getNumber(isNumbered, number, Err,
unit = 124)
1924 assertion
= .not. err
%occurred
.and. number
== -1 .and. .not. isNumbered
1934 logical(LK) :: assertion
1936 logical(LK) :: isNumbered
1938 call getNumber(isNumbered, number, Err, file
= "nonexisting.file")
1939 assertion
= .not. err
%occurred
.and. number
== -1 .and. .not. isNumbered
1949 logical(LK) :: assertion
1951 logical(LK) :: isNamed
1952 character(:, SK),
allocatable :: nameByCompiler
1953 call getName(isNamed, nameByCompiler, Err, unit
= 124, file
= "")
1954 assertion
= err
%occurred
1964 logical(LK) :: assertion
1966 logical(LK) :: isNamed
1967 character(:, SK),
allocatable :: nameByCompiler
1968 call getName(isNamed, nameByCompiler, Err)
1969 assertion
= err
%occurred
1979 logical(LK) :: assertion
1981 logical(LK) :: isNamed
1982 character(:, SK),
allocatable :: nameByCompiler
1983 call getName(isNamed, nameByCompiler, Err,
unit = 124)
1984 assertion
= .not. err
%occurred
.and. .not. isNamed
1994 logical(LK) :: assertion
1996 logical(LK) :: isNamed
1997 character(:, SK),
allocatable :: nameByCompiler
1998 call getName(isNamed, nameByCompiler, Err, file
= "nonexisting.file")
1999 assertion
= .not. err
%occurred
.and. isNamed
2001 assertion
= .true._LK
2012 logical(LK) :: assertion
2014 character(:, SK),
allocatable :: access
2015 call getAccess(access, Err, unit
= 124, file
= "")
2016 assertion
= err
%occurred
2026 logical(LK) :: assertion
2028 character(:, SK),
allocatable :: access
2029 call getAccess(access, Err)
2030 assertion
= err
%occurred
2040 logical(LK) :: assertion
2042 character(:, SK),
allocatable :: access
2043 call getAccess(access, Err,
unit = 124)
2044 assertion
= .not. err
%occurred
2054 logical(LK) :: assertion
2056 character(:, SK),
allocatable :: access
2057 call getAccess(access, Err, file
= "nonexisting.file")
2058 assertion
= .not. err
%occurred
2068 logical(LK) :: assertion
2070 character(:, SK),
allocatable :: form
2071 call getForm(form, Err, unit
= 124, file
= "")
2072 assertion
= err
%occurred
2082 logical(LK) :: assertion
2084 character(:, SK),
allocatable :: form
2085 call getForm(form, Err)
2086 assertion
= err
%occurred
2096 logical(LK) :: assertion
2098 character(:, SK),
allocatable :: form
2099 call getForm(form, Err,
unit = 124)
2100 assertion
= .not. err
%occurred
2110 logical(LK) :: assertion
2112 character(:, SK),
allocatable :: form
2113 call getForm(form, Err, file
= "nonexisting.file")
2114 assertion
= .not. err
%occurred
2124 logical(LK) :: assertion
2127 call getRecl(recl, Err, unit
= 124, file
= "")
2128 assertion
= err
%occurred
2138 logical(LK) :: assertion
2141 call getRecl(recl, Err)
2142 assertion
= err
%occurred
2152 logical(LK) :: assertion
2155 call getRecl(recl, Err,
unit = 124)
2156 assertion
= .not. err
%occurred
2166 logical(LK) :: assertion
2169 call getRecl(recl, Err, file
= "nonexisting.file")
2170 assertion
= .not. err
%occurred
2180 logical(LK) :: assertion
2182 character(:, SK),
allocatable :: blank
2183 call getBlank(blank, Err, unit
= 124, file
= "")
2184 assertion
= err
%occurred
2194 logical(LK) :: assertion
2196 character(:, SK),
allocatable :: blank
2197 call getBlank(blank, Err)
2198 assertion
= err
%occurred
2208 logical(LK) :: assertion
2210 character(:, SK),
allocatable :: blank
2211 call getBlank(blank, Err,
unit = 124)
2212 assertion
= .not. err
%occurred
.and. blank
== "undefined"
2213 if (
test%traceable
.and. .not. assertion)
then
2216 write(
test%disp%unit,
"(*(g0))")
"err%occurred : ", err
%occurred
2217 write(
test%disp%unit,
"(*(g0))")
"blank : ", blank
2230 logical(LK) :: assertion
2232 character(:, SK),
allocatable :: blank
2233 call getBlank(blank, Err, file
= "nonexisting.file")
2234 assertion
= .not. err
%occurred
.and. blank
== "undefined"
2235 if (
test%traceable
.and. .not. assertion)
then
2238 write(
test%disp%unit,
"(*(g0))")
"err%occurred : ", err
%occurred
2239 write(
test%disp%unit,
"(*(g0))")
"blank : ", blank
2252 logical(LK) :: assertion
2254 character(:, SK),
allocatable :: position
2255 call getPosition(position, Err, unit
= 124, file
= "")
2256 assertion
= err
%occurred
2266 logical(LK) :: assertion
2268 character(:, SK),
allocatable :: position
2269 call getPosition(position, Err)
2270 assertion
= err
%occurred
2280 logical(LK) :: assertion
2282 character(:, SK),
allocatable :: position
2283 call getPosition(position, Err,
unit = 124)
2284 assertion
= .not. err
%occurred
.and. position
== "undefined"
2285 if (
test%traceable
.and. .not. assertion)
then
2288 write(
test%disp%unit,
"(*(g0))")
"err%occurred : ", err
%occurred
2289 write(
test%disp%unit,
"(*(g0))")
"position : ", position
2302 logical(LK) :: assertion
2304 character(:, SK),
allocatable :: position
2305 call getPosition(position, Err, file
= "nonexisting.file")
2306 assertion
= .not. err
%occurred
.and. position
== "undefined"
2307 if (
test%traceable
.and. .not. assertion)
then
2310 write(
test%disp%unit,
"(*(g0))")
"err%occurred : ", err
%occurred
2311 write(
test%disp%unit,
"(*(g0))")
"position : ", position
2324 logical(LK) :: assertion
2326 character(:, SK),
allocatable :: action
2327 call getAction(action, Err, unit
= 124, file
= "")
2328 assertion
= err
%occurred
2338 logical(LK) :: assertion
2340 character(:, SK),
allocatable :: action
2342 assertion
= err
%occurred
2352 logical(LK) :: assertion
2354 character(:, SK),
allocatable :: action
2356 assertion
= .not. err
%occurred
.and. action
== "undefined"
2357 if (
test%traceable
.and. .not. assertion)
then
2360 write(
test%disp%unit,
"(*(g0))")
"err%occurred : ", err
%occurred
2361 write(
test%disp%unit,
"(*(g0))")
"action : ", action
2374 logical(LK) :: assertion
2376 character(:, SK),
allocatable :: action
2377 call getAction(action, Err, file
= "nonexisting.file")
2378 assertion
= .not. err
%occurred
2379 if (
test%traceable
.and. .not. assertion)
then
2382 write(
test%disp%unit,
"(*(g0))")
"err%occurred : ", err
%occurred
2383 write(
test%disp%unit,
"(*(g0))")
"action : ", action
2396 logical(LK) :: assertion
2398 character(:, SK),
allocatable :: delim
2399 call getDelim(delim, Err, unit
= 124, file
= "")
2400 assertion
= err
%occurred
2410 logical(LK) :: assertion
2412 character(:, SK),
allocatable :: delim
2413 call getDelim(delim, Err)
2414 assertion
= err
%occurred
2424 logical(LK) :: assertion
2426 character(:, SK),
allocatable :: delim
2427 call getDelim(delim, Err,
unit = 124)
2428 assertion
= .not. err
%occurred
.and. delim
== "undefined"
2429 if (
test%traceable
.and. .not. assertion)
then
2432 write(
test%disp%unit,
"(*(g0))")
"err%occurred : ", err
%occurred
2433 write(
test%disp%unit,
"(*(g0))")
"delim : ", delim
2446 logical(LK) :: assertion
2448 character(:, SK),
allocatable :: delim
2449 call getDelim(delim, Err, file
= "nonexisting.file")
2450 assertion
= .not. err
%occurred
2451 if (
test%traceable
.and. .not. assertion)
then
2454 write(
test%disp%unit,
"(*(g0))")
"err%occurred : ", err
%occurred
2455 write(
test%disp%unit,
"(*(g0))")
"delim : ", delim
Generate and return the action attribute of the input file or unit.
Generate and return .true. if the input file (or unit) is connected to a unit (or file),...
This module contains classes and procedures for reporting and handling errors.
This module contains classes and procedures for input/output (IO) or generic display operations on st...
character(*, SK), parameter MODULE_NAME
type(display_type) disp
This is a scalar module variable an object of type display_type for general display.
This module contains a simple unit-testing framework for the Fortran libraries, including the ParaMon...
This module contains tests of the module pm_io.
logical(LK) function test_getReadErr_3()
logical(LK) function test_getReadErr_2()
logical(LK) function test_getAction_2()
At least one of the two identifiers (unit or file) must be present.
logical(LK) function test_constructDelim_6()
logical(LK) function test_isInqErr_3()
logical(LK) function test_getOpenStatus_3()
The input unit can point to any existing or non-existing opened or closed file at runtime.
logical(LK) function test_constructBlank_4()
logical(LK) function test_getNumber_4()
Check inquire with an input file name.
logical(LK) function test_getForm_4()
Check inquire with an input file name.
logical(LK) function test_constructSign_1()
logical(LK) function test_getBlank_2()
At least one of the two identifiers (unit or file) must be present.
logical(LK) function test_constructPosition_6()
logical(LK) function test_constructForm_3()
logical(LK) function test_getName_3()
The input unit can point to any existing or non-existing opened or closed file at runtime.
logical(LK) function test_constructRound_4()
logical(LK) function test_getDelim_4()
Check inquire with an input file name.
logical(LK) function test_constructAction_2()
logical(LK) function test_constructDelim_5()
logical(LK) function test_constructRound_8()
logical(LK) function test_getWriteErr_1()
logical(LK) function test_constructBlank_3()
logical(LK) function test_constructSign_2()
logical(LK) function test_constructPosition_3()
logical(LK) function test_getOpenStatus_2()
At least one of the two identifiers (unit or file) must be present.
logical(LK) function test_constructBlank_2()
logical(LK) function test_constructPosition_4()
logical(LK) function test_isInqErr_1()
logical(LK) function test_getForm_3()
The input unit can point to any existing or non-existing opened or closed file at runtime.
logical(LK) function test_getOpenStatus_1()
The input arguments unit and file must NOT be present simultaneously.
logical(LK) function test_getRecl_2()
At least one of the two identifiers (unit or file) must be present.
logical(LK) function test_getRecl_4()
Check inquire with an input file name.
logical(LK) function test_constructAccess_2()
logical(LK) function test_constructAction_4()
logical(LK) function test_getNumber_2()
At least one of the two identifiers (unit or file) must be present.
logical(LK) function test_getDelim_1()
The input arguments unit and file must NOT be present simultaneously.
logical(LK) function test_getDelim_2()
At least one of the two identifiers (unit or file) must be present.
logical(LK) function test_constructBlank_1()
logical(LK) function test_getAccess_2()
At least one of the two identifiers (unit or file) must be present.
logical(LK) function test_getForm_2()
At least one of the two identifiers (unit or file) must be present.
logical(LK) function test_constructRound_3()
logical(LK) function test_constructSign_6()
logical(LK) function test_getName_2()
At least one of the two identifiers (unit or file) must be present.
logical(LK) function test_constructDelim_4()
logical(LK) function test_constructPad_2()
logical(LK) function test_getPosition_3()
The input unit can point to any existing or non-existing opened or closed file at runtime.
logical(LK) function test_constructFile_3()
Test the effects of missing input argument form.
logical(LK) function test_getPosition_2()
At least one of the two identifiers (unit or file) must be present.
logical(LK) function test_constructAccess_3()
logical(LK) function test_getOpenErr_3()
logical(LK) function test_constructAccess_5()
logical(LK) function test_constructAccess_1()
logical(LK) function test_constructRound_6()
logical(LK) function test_isOpenErr_2()
logical(LK) function test_getAction_3()
The input unit can point to any existing or non-existing opened or closed file at runtime.
logical(LK) function test_constructForm_4()
logical(LK) function test_isOpenErr_1()
logical(LK) function test_getName_1()
The input arguments unit and file must NOT be present simultaneously.
logical(LK) function test_getNumber_3()
The input unit can point to any existing or non-existing opened or closed file at runtime.
logical(LK) function test_constructSign_4()
logical(LK) function test_isExtant_3()
The input unit can point to any existing or non-existing opened or closed file at runtime.
logical(LK) function test_constructAccess_4()
logical(LK) function test_getDelim_3()
The input unit can point to any existing or non-existing opened or closed file at runtime.
logical(LK) function test_constructRound_5()
logical(LK) function test_constructPosition_1()
logical(LK) function test_getAction_4()
Check inquire with an input file name.
logical(LK) function test_getRecl_3()
The input unit can point to any existing or non-existing opened or closed file at runtime.
logical(LK) function test_getReadErr_4()
logical(LK) function test_isCloseErr_3()
logical(LK) function test_constructPad_4()
logical(LK) function test_getPosition_4()
Check inquire with an input file name.
logical(LK) function test_constructRound_1()
logical(LK) function test_getBlank_4()
Check inquire with an input file name.
logical(LK) function test_constructFile_1()
logical(LK) function test_getNumber_1()
The input arguments unit and file must NOT be present simultaneously.
logical(LK) function test_getForm_1()
The input arguments unit and file must NOT be present simultaneously.
logical(LK) function test_getBlank_3()
The input unit can point to any existing or non-existing opened or closed file at runtime.
logical(LK) function test_getReadErr_1()
logical(LK) function test_getAction_1()
The input arguments unit and file must NOT be present simultaneously.
logical(LK) function test_getAccess_1()
The input arguments unit and file must NOT be present simultaneously.
logical(LK) function test_constructSign_5()
logical(LK) function test_constructForm_2()
logical(LK) function test_isExtant_1()
The input arguments unit and file must NOT be present simultaneously.
logical(LK) function test_getAccess_4()
Check inquire with an input file name.
logical(LK) function test_constructPosition_5()
logical(LK) function test_getRecl_1()
The input arguments unit and file must NOT be present simultaneously.
logical(LK) function test_getPosition_1()
The input arguments unit and file must NOT be present simultaneously.
logical(LK) function test_constructBlank_5()
logical(LK) function test_isInqErr_2()
logical(LK) function test_constructFile_2()
logical(LK) function test_constructDelim_1()
logical(LK) function test_constructAction_5()
logical(LK) function test_getAccess_3()
The input unit can point to any existing or non-existing opened or closed file at runtime.
logical(LK) function test_constructAction_3()
logical(LK) function test_isCloseErr_2()
logical(LK) function test_constructForm_5()
logical(LK) function test_constructPosition_2()
logical(LK) function test_constructDelim_2()
logical(LK) function test_getWriteErr_3()
logical(LK) function test_constructDelim_3()
logical(LK) function test_constructAction_1()
logical(LK) function test_getReadErr_6()
logical(LK) function test_constructPad_5()
logical(LK) function test_getBlank_1()
The input arguments unit and file must NOT be present simultaneously.
logical(LK) function test_constructPad_1()
logical(LK) function test_getOpenStatus_4()
Check inquire with an input file name.
logical(LK) function test_constructSign_3()
logical(LK) function test_isCloseErr_1()
logical(LK) function test_constructRound_7()
logical(LK) function test_isExtant_2()
At least one of the two identifiers (unit or file) must be present.
logical(LK) function test_constructPad_3()
logical(LK) function test_constructRound_9()
logical(LK) function test_getName_4()
Check inquire with an input file name.
logical(LK) function test_constructRound_2()
logical(LK) function test_getWriteErr_2()
logical(LK) function test_getReadErr_5()
logical(LK) function test_constructForm_1()
This is the derived type for generating objects to gracefully and verbosely handle runtime unexpected...
This is the module private derived type for constructing objects that contain the path to a file and ...
This is the derived type test_type for generating objects that facilitate testing of a series of proc...