Annotation of gforth/utf-8.fs, revision 1.13

1.1       pazsan      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: 
1.7       pazsan     23: s" malformed UTF-8 character" exception Constant UTF-8-err
                     24: 
1.13    ! anton      25: $80 Value max-single-byte
1.10      pazsan     26: 
1.4       pazsan     27: : u8len ( u8 -- n )
1.13    ! anton      28:     dup      max-single-byte u< IF  drop 1  EXIT  THEN \ special case ASCII
1.1       pazsan     29:     $800  2 >r
                     30:     BEGIN  2dup u>=  WHILE  5 lshift r> 1+ >r  REPEAT
                     31:     2drop r> ;
                     32: 
                     33: : u8@+ ( u8addr -- u8addr' u )
1.13    ! anton      34:     count  dup max-single-byte u< ?EXIT  \ special case ASCII
1.1       pazsan     35:     $7F and  $40 >r
                     36:     BEGIN  dup r@ and  WHILE  r@ xor
                     37:            6 lshift r> 5 lshift >r >r count
1.7       pazsan     38:            dup $C0 and $80 <> IF   UTF-8-err throw  THEN
1.1       pazsan     39:            $3F and r> or
                     40:     REPEAT  rdrop ;
                     41: 
                     42: : u8!+ ( u u8addr -- u8addr' )
1.13    ! anton      43:     over max-single-byte u< IF  tuck c! 1+  EXIT  THEN \ special case ASCII
1.1       pazsan     44:     >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: 
1.8       pazsan     50: \ plug-in so that char and '<char> work for UTF-8
                     51: 
1.9       anton      52: [ifundef] char@ \ !! bootstrapping help
                     53:     Defer char@ ( addr u -- char addr' u' )
                     54:     :noname  over c@ -rot 1 /string ; IS char@
                     55: [then]
                     56: 
1.8       pazsan     57: :noname  ( addr u -- char addr' u' )
1.9       anton      58:     \ !! 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
1.8       pazsan     61:     over + >r u8@+ swap r> over - ; IS char@
                     62: 
1.1       pazsan     63: \ scan to next/previous character
                     64: 
1.13    ! anton      65: \ alternative names: u8char+ u8char-
        !            66: 
1.12      pazsan     67: : u8>> ( u8addr -- u8addr' )  u8@+ drop ;
1.1       pazsan     68: : u8<< ( u8addr -- u8addr' )
1.13    ! anton      69:     BEGIN  1- dup c@ $C0 and max-single-byte <>  UNTIL ;
1.1       pazsan     70: 
                     71: \ utf key and emit
                     72: 
                     73: : u8key ( -- u )
1.13    ! anton      74:     defers key dup max-single-byte u< ?EXIT  \ special case ASCII
1.1       pazsan     75:     $7F and  $40 >r
                     76:     BEGIN  dup r@ and  WHILE  r@ xor
                     77:            6 lshift r> 5 lshift >r >r defers key
1.7       pazsan     78:            dup $C0 and $80 <> IF  UTF-8-err throw  THEN
1.1       pazsan     79:            $3F and r> or
                     80:     REPEAT  rdrop ;
                     81: 
                     82: : u8emit ( u -- )
1.13    ! anton      83:     dup max-single-byte u< IF  defers emit  EXIT  THEN \ special case ASCII
1.1       pazsan     84:     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 ;
1.13    ! anton      89: 
        !            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: ;
1.1       pazsan    142: 
                    143: \ input editor
                    144: 
1.7       pazsan    145: [IFUNDEF] #esc  27 Constant #esc  [THEN]
                    146: 
                    147: : save-cursor ( -- )  #esc emit '7 emit ;
                    148: : restore-cursor ( -- )  #esc emit '8 emit ;
1.1       pazsan    149: : .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: 
1.3       pazsan    154: : <u8ins>  ( max span addr pos1 u8char -- max span addr pos2 )
1.6       pazsan    155:     >r  2over r@ u8len + u< IF  rdrop bell  EXIT  THEN
                    156:     >string over r@ u8len + swap move 2dup chars + r@ swap u8!+ drop
1.3       pazsan    157:     r> u8len >r  rot r@ chars + -rot r> chars + ;
1.1       pazsan    158: : (u8ins)  ( max span addr pos1 u8char -- max span addr pos2 )
1.3       pazsan    159:     <u8ins> .all .rest ;
1.1       pazsan    160: : u8back  ( max span addr pos1 -- max span addr pos2 f )
1.2       pazsan    161:     dup  IF  over + u8<< over -  0 max .all .rest
1.6       pazsan    162:     ELSE  bell  THEN 0 ;
1.1       pazsan    163: : u8forw  ( max span addr pos1 -- max span addr pos2 f )
1.6       pazsan    164:     2 pick over <> IF  over + u8@+ u8emit over -  ELSE  bell  THEN 0 ;
1.1       pazsan    165: : (u8del)  ( max span addr pos1 -- max span addr pos2 )
                    166:     over + dup u8<< tuck - >r over -
                    167:     >string over r@ + -rot move
1.3       pazsan    168:     rot r> - -rot ;
1.1       pazsan    169: : ?u8del ( max span addr pos1 -- max span addr pos2 0 )
1.3       pazsan    170:   dup  IF  (u8del) .all 2 spaces .rest  THEN  0 ;
1.1       pazsan    171: : <u8del> ( max span addr pos1 -- max span addr pos2 0 )
                    172:   2 pick over <>
1.3       pazsan    173:     IF  u8forw drop (u8del) .all 2 spaces .rest
1.6       pazsan    174:     ELSE  bell  THEN  0 ;
1.1       pazsan    175: : u8eof  2 pick over or 0=  IF  bye  ELSE  <u8del>  THEN ;
                    176: 
1.3       pazsan    177: : 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
1.5       pazsan    206:     search-prefix tib-full?
                    207:     IF    7 emit  2drop  prefix-off
1.3       pazsan    208:     ELSE  dup >r
                    209:        2>r >string r@ + 2r> 2swap insert
                    210:        r@ + rot r> + -rot
                    211:     THEN
1.5       pazsan    212:     prefix-found @ IF  bl (u8ins)  ELSE  .all .rest  THEN  0 ;
1.3       pazsan    213: 
1.4       pazsan    214: : 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
1.5       pazsan    227:     ['] kill-prefix  IS everychar
1.4       pazsan    228:     ['] save-cursor  IS everyline
                    229:     ['] u8key        IS key
                    230:     ['] u8emit       IS emit ;
                    231: 

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>