blob: a3d54fa7a00bb692ba243b1d2cc42379f9ad2d7b (
plain)
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
|
use "types.use"
use "utf.use"
use "chartype.use"
pkg std =
const strstrip : (str : byte[:] -> byte[:])
const strfstrip : (str : byte[:] -> byte[:])
const strrstrip : (str : byte[:] -> byte[:])
;;
/* strip blanks from both head and tail of str */
const strstrip = {str
-> strrstrip(strfstrip(str))
}
/* strip forward on str */
const strfstrip = {str
var c
for c = decode(str); isblank(c); c = decode(str)
str = str[charlen(c):]
;;
-> str
}
/* strip reverse on str */
const strrstrip = {str
var i
var end
/* scan backwards for start of utf8 char */
end = str.len
for i = str.len; i != 0; i--
if str[i - 1] & 0x80 == 0 || str[i-1] & 0xc0 != 0x80
if !isspace(decode(str[i-1:]))
break
;;
end = i - 1
;;
;;
-> str[:end]
}
|
