[gforth] / gforth / utf-8.fs  

gforth: gforth/utf-8.fs


1 : pazsan 1.1 \ UTF-8 handling 12dec04py
2 :    
3 :     \ Copyright (C) 2004 Free Software Foundation, Inc.
4 :    
5 :     \ This file is part of Gforth.
6 :    
7 :     \ Gforth is free software; you can redistribute it and/or
8 :     \ modify it under the terms of the GNU General Public License
9 :     \ as published by the Free Software Foundation; either version 2
10 :     \ of the License, or (at your option) any later version.
11 :    
12 :     \ This program is distributed in the hope that it will be useful,
13 :     \ but WITHOUT ANY WARRANTY; without even the implied warranty of
14 :     \ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 :     \ GNU General Public License for more details.
16 :    
17 :     \ You should have received a copy of the GNU General Public License
18 :     \ along with this program; if not, write to the Free Software
19 :     \ Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111, USA.
20 :    
21 :     \ short: u8 means utf-8 encoded address
22 :    
23 : pazsan 1.7 s" malformed UTF-8 character" exception Constant UTF-8-err
24 :    
25 : anton 1.13 $80 Value max-single-byte
26 : pazsan 1.10
27 : pazsan 1.4 : u8len ( u8 -- n )
28 : anton 1.13 dup max-single-byte u< IF drop 1 EXIT THEN \ special case ASCII
29 : pazsan 1.1 $800 2 >r
30 :     BEGIN 2dup u>= WHILE 5 lshift r> 1+ >r REPEAT
31 :     2drop r> ;
32 :    
33 :     : u8@+ ( u8addr -- u8addr' u )
34 : anton 1.13 count dup max-single-byte u< ?EXIT \ special case ASCII
35 : pazsan 1.1 $7F and $40 >r
36 :     BEGIN dup r@ and WHILE r@ xor
37 :     6 lshift r> 5 lshift >r >r count
38 : pazsan 1.7 dup $C0 and $80 <> IF UTF-8-err throw THEN
39 : pazsan 1.1 $3F and r> or
40 :     REPEAT rdrop ;
41 :    
42 :     : u8!+ ( u u8addr -- u8addr' )
43 : anton 1.13 over max-single-byte u< IF tuck c! 1+ EXIT THEN \ special case ASCII
44 : pazsan 1.1 >r 0 swap $3F
45 :     BEGIN 2dup u> WHILE
46 :     2/ >r dup $3F and $80 or swap 6 rshift r>
47 :     REPEAT $7F xor 2* or r>
48 :     BEGIN over $80 u>= WHILE tuck c! 1+ REPEAT nip ;
49 :    
50 : pazsan 1.8 \ plug-in so that char and '<char> work for UTF-8
51 :    
52 : anton 1.9 [ifundef] char@ \ !! bootstrapping help
53 :     Defer char@ ( addr u -- char addr' u' )
54 :     :noname over c@ -rot 1 /string ; IS char@
55 :     [then]
56 :    
57 : pazsan 1.8 :noname ( addr u -- char addr' u' )
58 : anton 1.9 \ !! the if here seems to work around some breakage, but not
59 :     \ entirely; e.g., try 'ç' with LANG=C.
60 :     dup 1 u<= IF defers char@ EXIT THEN
61 : pazsan 1.8 over + >r u8@+ swap r> over - ; IS char@
62 :    
63 : pazsan 1.1 \ scan to next/previous character
64 :    
65 : anton 1.13 \ alternative names: u8char+ u8char-
66 :    
67 : pazsan 1.12 : u8>> ( u8addr -- u8addr' ) u8@+ drop ;
68 : pazsan 1.1 : u8<< ( u8addr -- u8addr' )
69 : anton 1.13 BEGIN 1- dup c@ $C0 and max-single-byte <> UNTIL ;
70 : pazsan 1.1
71 :     \ utf key and emit
72 :    
73 :     : u8key ( -- u )
74 : anton 1.13 defers key dup max-single-byte u< ?EXIT \ special case ASCII
75 : pazsan 1.1 $7F and $40 >r
76 :     BEGIN dup r@ and WHILE r@ xor
77 :     6 lshift r> 5 lshift >r >r defers key
78 : pazsan 1.7 dup $C0 and $80 <> IF UTF-8-err throw THEN
79 : pazsan 1.1 $3F and r> or
80 :     REPEAT rdrop ;
81 :    
82 :     : u8emit ( u -- )
83 : anton 1.13 dup max-single-byte u< IF defers emit EXIT THEN \ special case ASCII
84 : pazsan 1.1 0 swap $3F
85 :     BEGIN 2dup u> WHILE
86 :     2/ >r dup $3F and $80 or swap 6 rshift r>
87 :     REPEAT $7F xor 2* or
88 :     BEGIN dup $80 u>= WHILE defers emit REPEAT drop ;
89 : anton 1.13
90 :     \ utf-8 stuff for xchars
91 :    
92 :     : +u8/string ( c-addr1 u1 -- c-addr2 u2 )
93 :     over dup u8>> swap - /string ;
94 :    
95 :     : -u8/string ( c-addr1 u1 -- c-addr2 u2 )
96 :     over dup u8<< swap - /string ;
97 :    
98 :     : u8@ ( c-addr -- u )
99 :     u8@+ nip ;
100 :    
101 :     : u8!+? ( xc xc-addr1 u1 -- xc-addr2 u2 f )
102 :     >r over u8len r@ over u< if ( xc xc-addr1 len r: u1 )
103 :     \ not enough space
104 :     drop nip r> false
105 :     else
106 :     >r u8!+ r> r> swap - true
107 :     then ;
108 :    
109 :     : u8addrlen ( u8-addr -- u )
110 :     \ length of UTF-8 char starting at u8-addr (accesses only u8-addr)
111 :     c@
112 :     dup $80 u< if drop 1 exit endif
113 :     dup $c0 u< if UTF-8-err throw endif
114 :     dup $e0 u< if drop 2 exit endif
115 :     dup $f0 u< if drop 3 exit endif
116 :     dup $f8 u< if drop 4 exit endif
117 :     dup $fc u< if drop 5 exit endif
118 :     dup $fe u< if drop 6 exit endif
119 :     UTF-8-err throw ;
120 :    
121 :     : -u8trailing-garbage ( addr u1 -- addr u2 )
122 :     2dup + dup u8<< ( addr u1 end1 end2 )
123 :     2dup dup u8addrlen + = if \ last character ok
124 :     2drop
125 :     else
126 :     nip nip over -
127 :     then ;
128 :    
129 :     : set-encoding-utf-8 ( -- )
130 :     ['] u8emit is xemit
131 :     ['] u8key is xkey
132 :     ['] u8>> is xchar+
133 :     ['] u8<< is xchar-
134 :     ['] +u8/string is +x/string
135 :     ['] -u8/string is -x/string
136 :     ['] u8@ is xc@
137 :     ['] u8!+? is xc!+?
138 :     ['] u8@+ is xc@+
139 :     ['] u8len is xc-size
140 :     ['] -u8trailing-garbage is -trailing-garbage
141 :     ;
142 : pazsan 1.1
143 :     \ input editor
144 :    
145 : pazsan 1.7 [IFUNDEF] #esc 27 Constant #esc [THEN]
146 :    
147 :     : save-cursor ( -- ) #esc emit '7 emit ;
148 :     : restore-cursor ( -- ) #esc emit '8 emit ;
149 : pazsan 1.1 : .rest ( addr pos1 -- addr pos1 )
150 :     restore-cursor 2dup type ;
151 :     : .all ( span addr pos1 -- span addr pos1 )
152 :     restore-cursor >r 2dup swap type r> ;
153 :    
154 : pazsan 1.3 : <u8ins> ( max span addr pos1 u8char -- max span addr pos2 )
155 : pazsan 1.6 >r 2over r@ u8len + u< IF rdrop bell EXIT THEN
156 :     >string over r@ u8len + swap move 2dup chars + r@ swap u8!+ drop
157 : pazsan 1.3 r> u8len >r rot r@ chars + -rot r> chars + ;
158 : pazsan 1.1 : (u8ins) ( max span addr pos1 u8char -- max span addr pos2 )
159 : pazsan 1.3 <u8ins> .all .rest ;
160 : pazsan 1.1 : u8back ( max span addr pos1 -- max span addr pos2 f )
161 : pazsan 1.2 dup IF over + u8<< over - 0 max .all .rest
162 : pazsan 1.6 ELSE bell THEN 0 ;
163 : pazsan 1.1 : u8forw ( max span addr pos1 -- max span addr pos2 f )
164 : pazsan 1.6 2 pick over <> IF over + u8@+ u8emit over - ELSE bell THEN 0 ;
165 : pazsan 1.1 : (u8del) ( max span addr pos1 -- max span addr pos2 )
166 :     over + dup u8<< tuck - >r over -
167 :     >string over r@ + -rot move
168 : pazsan 1.3 rot r> - -rot ;
169 : pazsan 1.1 : ?u8del ( max span addr pos1 -- max span addr pos2 0 )
170 : pazsan 1.3 dup IF (u8del) .all 2 spaces .rest THEN 0 ;
171 : pazsan 1.1 : <u8del> ( max span addr pos1 -- max span addr pos2 0 )
172 :     2 pick over <>
173 : pazsan 1.3 IF u8forw drop (u8del) .all 2 spaces .rest
174 : pazsan 1.6 ELSE bell THEN 0 ;
175 : pazsan 1.1 : u8eof 2 pick over or 0= IF bye ELSE <u8del> THEN ;
176 :    
177 : pazsan 1.3 : u8first-pos ( max span addr pos1 -- max span addr 0 0 )
178 :     drop 0 .all .rest 0 ;
179 :     : u8end-pos ( max span addr pos1 -- max span addr span 0 )
180 :     drop over .all 0 ;
181 :    
182 :    
183 :     : u8clear-line ( max span addr pos1 -- max addr )
184 :     drop restore-cursor swap spaces restore-cursor ;
185 :     : u8clear-tib ( max span addr pos -- max 0 addr 0 false )
186 :     u8clear-line 0 tuck dup ;
187 :    
188 :     : (u8enter) ( max span addr pos1 -- max span addr pos2 true )
189 :     >r end^ 2@ hist-setpos
190 :     2dup swap history write-line drop ( throw ) \ don't worry about errors
191 :     hist-pos 2dup backward^ 2! end^ 2!
192 :     r> .all space true ;
193 :    
194 :     : u8kill-expand ( max span addr pos1 -- max span addr pos2 )
195 :     prefix-found cell+ @ ?dup IF >r
196 :     r@ - >string over r@ + -rot move
197 :     rot r@ - -rot .all r> spaces .rest THEN ;
198 :    
199 :     : insert ( string length buffer size -- )
200 :     rot over min >r r@ - ( left over )
201 :     over dup r@ + rot move r> move ;
202 :    
203 :     : u8tab-expand ( max span addr pos1 -- max span addr pos2 0 )
204 :     key? IF #tab (u8ins) 0 EXIT THEN
205 :     u8kill-expand 2dup extract-word dup 0= IF nip EXIT THEN
206 : pazsan 1.5 search-prefix tib-full?
207 :     IF 7 emit 2drop prefix-off
208 : pazsan 1.3 ELSE dup >r
209 :     2>r >string r@ + 2r> 2swap insert
210 :     r@ + rot r> + -rot
211 :     THEN
212 : pazsan 1.5 prefix-found @ IF bl (u8ins) ELSE .all .rest THEN 0 ;
213 : pazsan 1.3
214 : pazsan 1.4 : utf-8-io ( -- )
215 :     ['] u8forw ctrl F bindkey
216 :     ['] u8back ctrl B bindkey
217 :     ['] ?u8del ctrl H bindkey
218 :     ['] u8eof ctrl D bindkey
219 :     ['] <u8del> ctrl X bindkey
220 :     ['] u8clear-tib ctrl K bindkey
221 :     ['] u8first-pos ctrl A bindkey
222 :     ['] u8end-pos ctrl E bindkey
223 :     ['] (u8enter) #lf bindkey
224 :     ['] (u8enter) #cr bindkey
225 :     ['] u8tab-expand #tab bindkey
226 :     ['] (u8ins) IS insert-char
227 : pazsan 1.5 ['] kill-prefix IS everychar
228 : pazsan 1.4 ['] save-cursor IS everyline
229 :     ['] u8key IS key
230 :     ['] u8emit IS emit ;
231 :    

CVS Admin

Powered by ViewCVS 1.0-dev
(Powered by ViewCVS)

ViewCVS and CVS Help