1 | module m_wxml_buffer |
---|
2 | |
---|
3 | ! |
---|
4 | ! At this point we use a fixed-size buffer. |
---|
5 | ! Note however that buffer overflows will only be |
---|
6 | ! triggered by overly long *unbroken* pcdata values, or |
---|
7 | ! by overly long attribute values. Hopefully |
---|
8 | ! element or attribute names are "short enough". |
---|
9 | ! There is code in the parser module m_fsm to avoid buffer overflows |
---|
10 | ! caused by pcdata values. |
---|
11 | ! |
---|
12 | ! This module is re-used from the parser package. |
---|
13 | ! Most of the routines are superfluous at this point. |
---|
14 | ! |
---|
15 | ! In a forthcoming implementation it could be made dynamical... |
---|
16 | ! |
---|
17 | integer, parameter, public :: MAX_BUFF_SIZE = 2000 |
---|
18 | integer, parameter, private :: BUFF_SIZE_WARNING = 1750 |
---|
19 | ! |
---|
20 | type, public :: buffer_t |
---|
21 | private |
---|
22 | integer :: size |
---|
23 | character(len=MAX_BUFF_SIZE) :: str |
---|
24 | end type buffer_t |
---|
25 | |
---|
26 | public :: add_to_buffer |
---|
27 | public :: print_buffer, str, char, len |
---|
28 | public :: operator (.equal.) |
---|
29 | public :: buffer_nearly_full, reset_buffer |
---|
30 | |
---|
31 | |
---|
32 | !---------------------------------------------------------------- |
---|
33 | interface add_to_buffer |
---|
34 | module procedure add_str_to_buffer |
---|
35 | end interface |
---|
36 | private :: add_char_to_buffer, add_str_to_buffer |
---|
37 | |
---|
38 | interface operator (.equal.) |
---|
39 | module procedure compare_buffers, compare_buffer_str, & |
---|
40 | compare_str_buffer |
---|
41 | end interface |
---|
42 | private :: compare_buffers, compare_buffer_str, compare_str_buffer |
---|
43 | |
---|
44 | interface str |
---|
45 | module procedure buffer_to_str |
---|
46 | end interface |
---|
47 | interface char ! Experimental |
---|
48 | module procedure buffer_to_str |
---|
49 | end interface |
---|
50 | private :: buffer_to_str |
---|
51 | |
---|
52 | interface len |
---|
53 | module procedure buffer_length |
---|
54 | end interface |
---|
55 | private :: buffer_length |
---|
56 | |
---|
57 | CONTAINS |
---|
58 | !================================================================== |
---|
59 | |
---|
60 | !---------------------------------------------------------------- |
---|
61 | function compare_buffers(a,b) result(equal) ! .equal. generic |
---|
62 | type(buffer_t), intent(in) :: a |
---|
63 | type(buffer_t), intent(in) :: b |
---|
64 | logical :: equal |
---|
65 | |
---|
66 | equal = ((a%size == b%size) .and. (a%str(1:a%size) == b%str(1:b%size))) |
---|
67 | |
---|
68 | end function compare_buffers |
---|
69 | |
---|
70 | !---------------------------------------------------------------- |
---|
71 | function compare_buffer_str(buffer,str) result(equal) ! .equal. generic |
---|
72 | type(buffer_t), intent(in) :: buffer |
---|
73 | character(len=*), intent(in) :: str |
---|
74 | logical :: equal |
---|
75 | |
---|
76 | equal = (buffer%str(1:buffer%size) == trim(str)) |
---|
77 | |
---|
78 | end function compare_buffer_str |
---|
79 | |
---|
80 | !---------------------------------------------------------------- |
---|
81 | function compare_str_buffer(str,buffer) result(equal) ! .equal. generic |
---|
82 | character(len=*), intent(in) :: str |
---|
83 | type(buffer_t), intent(in) :: buffer |
---|
84 | logical :: equal |
---|
85 | |
---|
86 | equal = (buffer%str(1:buffer%size) == trim(str)) |
---|
87 | |
---|
88 | end function compare_str_buffer |
---|
89 | |
---|
90 | !---------------------------------------------------------------- |
---|
91 | subroutine add_char_to_buffer(c,buffer) |
---|
92 | character(len=1), intent(in) :: c |
---|
93 | type(buffer_t), intent(inout) :: buffer |
---|
94 | |
---|
95 | integer :: n |
---|
96 | buffer%size = buffer%size + 1 |
---|
97 | n = buffer%size |
---|
98 | |
---|
99 | if (n> MAX_BUFF_SIZE) then |
---|
100 | stop "wxml Buffer overflow: long unbroken string of pcdata or attribute value..." |
---|
101 | ! RETURN |
---|
102 | ! |
---|
103 | endif |
---|
104 | |
---|
105 | buffer%str(n:n) = c |
---|
106 | end subroutine add_char_to_buffer |
---|
107 | |
---|
108 | !---------------------------------------------------------------- |
---|
109 | subroutine add_str_to_buffer(s,buffer) |
---|
110 | character(len=*), intent(in) :: s |
---|
111 | type(buffer_t), intent(inout) :: buffer |
---|
112 | |
---|
113 | integer :: n, len_s, last_pos |
---|
114 | |
---|
115 | len_s = len(s) |
---|
116 | last_pos = buffer%size |
---|
117 | buffer%size = buffer%size + len_s |
---|
118 | n = buffer%size |
---|
119 | |
---|
120 | if (n> MAX_BUFF_SIZE) then |
---|
121 | stop "wxml Buffer overflow: long unbroken string of pcdata or attribute value..." |
---|
122 | ! RETURN |
---|
123 | endif |
---|
124 | |
---|
125 | buffer%str(last_pos+1:n) = s |
---|
126 | end subroutine add_str_to_buffer |
---|
127 | |
---|
128 | !---------------------------------------------------------------- |
---|
129 | subroutine reset_buffer(buffer) |
---|
130 | type(buffer_t), intent(inout) :: buffer |
---|
131 | |
---|
132 | buffer%size = 0 |
---|
133 | |
---|
134 | end subroutine reset_buffer |
---|
135 | |
---|
136 | !---------------------------------------------------------------- |
---|
137 | subroutine print_buffer(buffer) |
---|
138 | type(buffer_t), intent(in) :: buffer |
---|
139 | |
---|
140 | integer :: i |
---|
141 | |
---|
142 | do i = 1, buffer%size |
---|
143 | write(unit=6,fmt="(a1)",advance="no") buffer%str(i:i) |
---|
144 | enddo |
---|
145 | |
---|
146 | end subroutine print_buffer |
---|
147 | !---------------------------------------------------------------- |
---|
148 | ! This is better... but could it lead to memory leaks? |
---|
149 | ! |
---|
150 | function buffer_to_str(buffer) result(str) |
---|
151 | type(buffer_t), intent(in) :: buffer |
---|
152 | character(len=buffer%size) :: str |
---|
153 | |
---|
154 | str = buffer%str(1:buffer%size) |
---|
155 | end function buffer_to_str |
---|
156 | |
---|
157 | !---------------------------------------------------------------- |
---|
158 | function buffer_nearly_full(buffer) result(warn) |
---|
159 | type(buffer_t), intent(in) :: buffer |
---|
160 | logical :: warn |
---|
161 | |
---|
162 | warn = buffer%size > BUFF_SIZE_WARNING |
---|
163 | |
---|
164 | end function buffer_nearly_full |
---|
165 | |
---|
166 | !---------------------------------------------------------------- |
---|
167 | function buffer_length(buffer) result(length) |
---|
168 | type(buffer_t), intent(in) :: buffer |
---|
169 | integer :: length |
---|
170 | |
---|
171 | length = buffer%size |
---|
172 | |
---|
173 | end function buffer_length |
---|
174 | |
---|
175 | |
---|
176 | end module m_wxml_buffer |
---|