1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
module operator_overloading_23_mod
implicit none
type :: string_t
character(len=:), allocatable :: s
end type
interface operator(.cat.)
pure function concat(strings) result(r)
import string_t
type(string_t), intent(in) :: strings(:)
type(string_t) :: r
end function
end interface
type :: diag_t
logical :: passed = .false.
end type
interface diag_t
pure function make_diag(test_passed, diagnostics_string) result(d)
import diag_t, string_t
logical, intent(in) :: test_passed
type(string_t), intent(in) :: diagnostics_string
type(diag_t) :: d
end function
end interface
contains
pure function aggregate(diagnoses) result(d)
type(diag_t), intent(in) :: diagnoses(:)
type(diag_t) :: d
type(string_t) :: array(2)
d = diag_t( &
test_passed = all(diagnoses%passed), &
diagnostics_string = .cat. pack(array, mask = .not. diagnoses%passed) &
)
end function
end module
pure function concat(strings) result(r)
use operator_overloading_23_mod, only: string_t
type(string_t), intent(in) :: strings(:)
type(string_t) :: r
r%s = "ok"
end function
pure function make_diag(test_passed, diagnostics_string) result(d)
use operator_overloading_23_mod, only: diag_t, string_t
logical, intent(in) :: test_passed
type(string_t), intent(in) :: diagnostics_string
type(diag_t) :: d
d%passed = test_passed
end function
program operator_overloading_23
use operator_overloading_23_mod, only: diag_t, aggregate
implicit none
type(diag_t) :: diagnoses(2), result
diagnoses(1)%passed = .true.
diagnoses(2)%passed = .true.
result = aggregate(diagnoses)
if (.not. result%passed) error stop
diagnoses(1)%passed = .true.
diagnoses(2)%passed = .false.
result = aggregate(diagnoses)
if (result%passed) error stop
print *, "ok"
end program
|
