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
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
|
module template_travel_01_math
implicit none
private
public :: add_real, slash_real
contains
pure function add_real(x, y) result(total)
real, intent(in) :: x, y
real :: total
total = x + y
end function
pure function slash_real(x, y) result(total)
real, intent(in) :: x, y
real :: total
total = x / y
end function
end module
module template_travel_01_travel
use template_travel_01_math
implicit none
private
public :: travel_tmpl
requirement operations(D, T, S, plus_D, plus_T, D_divided_by_T, D_divided_by_S)
type, deferred :: D
type, deferred :: T
type, deferred :: S
pure function plus_D(l, r) result(total)
type(D), intent(in) :: l, R
type(D) :: total
end function
pure function plus_T(l, r) result(total)
type(T), intent(in) :: l, R
type(T) :: total
end function
pure function D_divided_by_T(n, d) result(quotient)
type(D), intent(in) :: n
type(T), intent(in) :: d
type(S) :: quotient
end function
pure function D_divided_by_S(n, d) result(quotient)
type(D), intent(in) :: n
type(S), intent(in) :: d
type(T) :: quotient
end function
end requirement
template travel_tmpl(D, T, S, plus_D, plus_T, D_divided_by_T, D_divided_by_S)
require :: operations(D, T, S, plus_D, plus_T, D_divided_by_T, D_divided_by_S)
private
public :: avg_S_from_T
contains
pure function avg_S_from_T(d1, t1, d2, t2) result(avg)
type(D), intent(in) :: d1, d2
type(T), intent(in) :: t1, t2
type(S) :: avg
avg = D_divided_by_T(plus_D(d1, d2), plus_T(t1, t2))
end function
pure function avg_S_from_S(d1, s1, d2, s2) result(avg)
type(D), intent(in) :: d1, d2
type(S), intent(in) :: s1, s2
type(S) :: avg
avg = avg_S_from_T(d1, D_divided_by_S(d1, s1), d2, D_divided_by_S(d2, s2))
end function
end template
end module
module template_travel_01_m
use template_travel_01_math
use template_travel_01_travel
implicit none
contains
subroutine test_template()
instantiate travel_tmpl(real, real, real, add_real, add_real, slash_real, slash_real), &
only: avg_real_S_from_T => avg_S_from_T
instantiate travel_tmpl(real, real, real, add_real, add_real, slash_real, slash_real), &
only: avg_real_S_from_S => avg_S_from_S
real :: s1, s2
s1 = avg_real_S_from_T(1.0, 3.0, 1.5, 4.0)
s2 = avg_real_S_from_S(1.1, 0.5, 2.0, 0.75)
print *, "s1=", s1
print *, "s2=", s2
end subroutine
end module
program template_travel_01
use template_travel_01_m
implicit none
call test_template()
end program template_travel_01
|
