Annotation of gforth/history.fs, revision 1.53

1.11      pazsan      1: \ command line edit and history support                 16oct94py
1.4       pazsan      2: 
1.50      anton       3: \ Copyright (C) 1995,2000,2003,2004,2005,2006 Free Software Foundation, Inc.
1.8       anton       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
1.26      anton      19: \ Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111, USA.
1.8       anton      20: 
1.11      pazsan     21: :noname
                     22:     char [char] @ - ;
                     23: :noname
                     24:     char [char] @ - postpone Literal ;
1.12      anton      25: interpret/compile: ctrl  ( "<char>" -- ctrl-code )
1.11      pazsan     26: 
                     27: \ command line editing                                  16oct94py
                     28: 
                     29: : >string  ( span addr pos1 -- span addr pos1 addr2 len )
                     30:   over 3 pick 2 pick chars /string ;
                     31: 
1.27      pazsan     32: : bindkey ( xt key -- )  cells ctrlkeys + ! ;
                     33: 
1.11      pazsan     34: \ history support                                       16oct94py
                     35: 
1.13      anton      36: 0 Value history \ history file fid
1.4       pazsan     37: 
                     38: 2Variable forward^
                     39: 2Variable backward^
                     40: 2Variable end^
                     41: 
1.13      anton      42: : force-open ( addr len -- fid )
1.19      anton      43:     2dup r/w open-file
                     44:     IF
                     45:        drop r/w create-file throw
                     46:     ELSE
                     47:        nip nip
                     48:     THEN ;
1.4       pazsan     49: 
1.29      anton      50: s" os-class" environment? [IF] s" unix" str= [ELSE] true [THEN] 
1.15      jwilke     51: [IF]
1.16      pazsan     52: : history-file ( -- addr u )
1.14      pazsan     53:     s" GFORTHHIST" getenv dup 0= IF
                     54:        2drop s" ~/.gforth-history"
1.16      pazsan     55:     THEN ;
1.15      jwilke     56: [ELSE]
                     57: 
1.16      pazsan     58: : history-dir ( -- addr u )
1.15      jwilke     59:   s" TMP" getenv ?dup ?EXIT drop
                     60:   s" TEMP" getenv ?dup ?EXIT drop
                     61:   s" c:/" ;
                     62: 
1.16      pazsan     63: : history-file ( -- addr u )
1.15      jwilke     64:   s" GFORTHHIST" getenv ?dup ?EXIT
                     65:   drop
                     66:   history-dir pad place
1.16      pazsan     67:   s" /ghist.fs" pad +place pad count ;
                     68: [THEN]
1.15      jwilke     69: 
1.4       pazsan     70: \ moving in history file                               16oct94py
                     71: 
1.44      anton      72: defer back-restore ( u -- )
                     73: ' backspaces is back-restore
                     74: 
1.47      pazsan     75: [IFDEF] x-width
1.4       pazsan     76: : clear-line ( max span addr pos1 -- max addr )
1.46      pazsan     77:   back-restore over over swap x-width spaces swap back-restore ;
1.47      pazsan     78: [ELSE]
                     79: : clear-line ( max span addr pos1 -- max addr )
                     80:   back-restore over spaces swap back-restore ;
                     81: [THEN]
1.41      anton      82: \ : clear-tib ( max span addr pos -- max 0 addr 0 false )
                     83: \   clear-line 0 tuck dup ;
1.4       pazsan     84: 
1.32      pazsan     85: : hist-pos    ( -- ud )  history file-position drop ( throw ) ;
                     86: : hist-setpos ( ud -- )  history reposition-file drop ( throw ) ;
1.4       pazsan     87: 
1.7       pazsan     88: : get-line ( addr len -- len' flag )
                     89:   swap history read-line throw ;
                     90: 
1.4       pazsan     91: : next-line  ( max span addr pos1 -- max span addr pos2 false )
                     92:   clear-line
1.7       pazsan     93:   forward^ 2@ 2dup hist-setpos backward^ 2!
                     94:   2dup get-line drop
                     95:   hist-pos  forward^ 2!
                     96:   tuck 2dup type 0 ;
1.4       pazsan     97: 
1.20      pazsan     98: : find-prev-line ( max addr -- max span addr pos2 )
                     99:   backward^ 2@ forward^ 2!
1.7       pazsan    100:   over 2 + negate s>d backward^ 2@ d+ 0. dmax 2dup hist-setpos
                    101:   BEGIN
                    102:       backward^ 2!   2dup get-line  WHILE
                    103:       hist-pos 2dup forward^ 2@ d<  WHILE
                    104:       rot drop
1.20      pazsan    105:   REPEAT  2drop  THEN  tuck ;
                    106: 
                    107: : prev-line  ( max span addr pos1 -- max span addr pos2 false )
                    108:     clear-line find-prev-line 2dup type 0 ;
1.4       pazsan    109: 
1.41      anton     110: \ Create lfpad #lf c,
1.4       pazsan    111: 
                    112: : (enter)  ( max span addr pos1 -- max span addr pos2 true )
1.7       pazsan    113:   >r end^ 2@ hist-setpos
1.32      pazsan    114:   2dup swap history write-line drop ( throw ) \ don't worry about errors
1.7       pazsan    115:   hist-pos 2dup backward^ 2! end^ 2!
1.4       pazsan    116:   r> (ret) ;
                    117: 
                    118: : extract-word ( addr len -- addr' len' )  dup >r
                    119:   BEGIN  1- dup 0>=  WHILE  2dup + c@ bl =  UNTIL  THEN  1+
                    120:   tuck + r> rot - ;
                    121: 
                    122: Create prefix-found  0 , 0 ,
                    123: 
1.30      anton     124: : sgn ( n -- -1/0/1 )
                    125:  dup 0= IF EXIT THEN  0< 2* 1+ ;
                    126: 
                    127: : capscomp  ( c_addr1 u c_addr2 -- n )
                    128:  swap bounds
                    129:  ?DO  dup c@ I c@ <>
                    130:      IF  dup c@ toupper I c@ toupper =
                    131:      ELSE  true  THEN  WHILE  1+  LOOP  drop 0
                    132:  ELSE  c@ toupper I c@ toupper - unloop  THEN  sgn ;
                    133: 
1.4       pazsan    134: : word-lex ( nfa1 nfa2 -- -1/0/1 )
1.9       anton     135:     dup 0=
                    136:     IF
                    137:        2drop 1  EXIT
                    138:     THEN
                    139:     name>string 2>r name>string
                    140:     dup r@ =
                    141:     IF
                    142:        rdrop r> capscomp 0<= EXIT
                    143:     THEN
                    144:     r> <
                    145:     nip rdrop ;
1.4       pazsan    146: 
1.9       anton     147: : search-voc ( addr len nfa1 nfa2 -- addr len nfa3 )
                    148:     >r
                    149:     BEGIN
                    150:        dup
                    151:     WHILE
                    152:        >r dup r@ name>string nip <=
                    153:        IF
                    154:            2dup r@ name>string drop capscomp  0=
                    155:            IF
                    156:                r> dup r@ word-lex
                    157:                IF
                    158:                    dup prefix-found @ word-lex
                    159:                    0>=
                    160:                    IF
                    161:                        rdrop dup >r
                    162:                    THEN
                    163:                THEN
                    164:                >r
1.7       pazsan    165:            THEN
1.9       anton     166:        THEN
                    167:        r> @
                    168:     REPEAT
                    169:     drop r> ;
1.7       pazsan    170: 
1.35      pazsan    171: : prefix-off ( -- )  0 0 prefix-found 2! ;
                    172: 
1.7       pazsan    173: : prefix-string ( addr len nfa -- addr' len' )
                    174:     dup prefix-found !  ?dup
1.9       anton     175:     IF
                    176:        name>string rot /string rot drop
1.7       pazsan    177:        dup 1+ prefix-found cell+ !
                    178:     ELSE
1.35      pazsan    179:        2drop s" " prefix-off
1.7       pazsan    180:     THEN ;
                    181: 
                    182: : search-prefix  ( addr1 len1 -- addr2 len2 )
                    183:     0 vp dup @ 1- cells over +
                    184:     DO  I 2@ <>
1.17      pazsan    185:         IF  I cell+ @ wordlist-id @ swap  search-voc  THEN
1.7       pazsan    186:        [ -1 cells ] Literal +LOOP
                    187:     prefix-string ;
                    188: 
                    189: : tib-full? ( max span addr pos addr' len' -- max span addr pos addr1 u flag )
                    190:     5 pick over 4 pick + prefix-found @ 0<> - < ;
1.4       pazsan    191: 
                    192: : kill-prefix  ( key -- key )
1.36      pazsan    193:   dup #tab <> IF  prefix-off  THEN ;
1.33      pazsan    194: 
                    195: \ UTF-8 support
                    196: 
1.38      anton     197: require utf-8.fs
1.33      pazsan    198: 
1.39      anton     199: [IFUNDEF] #esc  27 Constant #esc  [THEN]
                    200: 
1.51      pazsan    201: Variable curpos
                    202: 
                    203: : at-xy? ( -- x y )
                    204:     key? drop
                    205:     #esc emit ." [6n"  0 0
                    206:     BEGIN  key dup 'R <>  WHILE
                    207:            dup '; = IF  drop  swap  ELSE
                    208:                dup '0 '9 1+ within  IF  '0 - swap 10 * +  ELSE
                    209:                    drop  THEN  THEN
                    210:     REPEAT  drop 1- swap 1- ;
                    211: : cursor@ ( -- n )  at-xy? form nip * + ;
                    212: : cursor! ( n -- )  form nip /mod at-xy ;
                    213: : cur-correct  ( addr u -- )  x-width curpos @ + cursor@ -
                    214:     form nip >r  r@ 2/ + r@ / r> * negate curpos +! ;
                    215: 
                    216: : save-cursor ( -- )  cursor@ curpos ! ;
                    217: : restore-cursor ( -- )  curpos @ cursor! ;
1.39      anton     218: : .rest ( addr pos1 -- addr pos1 )
1.53    ! pazsan    219:     key? ?EXIT
1.51      pazsan    220:     restore-cursor 2dup type 2dup cur-correct ;
1.39      anton     221: : .all ( span addr pos1 -- span addr pos1 )
1.53    ! pazsan    222:     key? ?EXIT
1.51      pazsan    223:     restore-cursor >r 2dup swap type 2dup swap cur-correct r> ;
1.44      anton     224: : xback-restore ( u -- )
1.53    ! pazsan    225:     drop key? ?EXIT
        !           226:     restore-cursor ;
1.44      anton     227: 
                    228: \ In the following, addr max is the buffer, addr span is the current
                    229: \ string in the buffer, and pos1 is the cursor position in the buffer.
1.39      anton     230: 
1.40      anton     231: : <xins>  ( max span addr pos1 xc -- max span addr pos2 )
                    232:     >r  2over r@ xc-size + u< IF  ( max span addr pos1 R:xc )
                    233:        rdrop bell  EXIT  THEN
                    234:     >string over r@ xc-size + swap move
                    235:     2dup chars + r@ swap r@ xc-size xc!+? 2drop drop
                    236:     r> xc-size >r  rot r@ chars + -rot r> chars + ;
                    237: : (xins)  ( max span addr pos1 xc -- max span addr pos2 )
1.52      pazsan    238:     <xins> .all .rest ;
1.40      anton     239: : xback  ( max span addr pos1 -- max span addr pos2 f )
                    240:     dup  IF  over + xchar- over -  0 max .all .rest
1.39      anton     241:     ELSE  bell  THEN 0 ;
1.40      anton     242: : xforw  ( max span addr pos1 -- max span addr pos2 f )
                    243:     2 pick over <> IF  over + xc@+ xemit over -  ELSE  bell  THEN 0 ;
                    244: : (xdel)  ( max span addr pos1 -- max span addr pos2 )
                    245:     over + dup xchar- tuck - >r over -
1.39      anton     246:     >string over r@ + -rot move
                    247:     rot r> - -rot ;
1.40      anton     248: : ?xdel ( max span addr pos1 -- max span addr pos2 0 )
                    249:   dup  IF  (xdel) .all 2 spaces .rest  THEN  0 ;
                    250: : <xdel> ( max span addr pos1 -- max span addr pos2 0 )
1.39      anton     251:   2 pick over <>
1.40      anton     252:     IF  xforw drop (xdel) .all 2 spaces .rest
1.39      anton     253:     ELSE  bell  THEN  0 ;
1.40      anton     254: : xeof  2 pick over or 0=  IF  bye  ELSE  <xdel>  THEN ;
1.39      anton     255: 
1.40      anton     256: : xfirst-pos  ( max span addr pos1 -- max span addr 0 0 )
1.39      anton     257:   drop 0 .all .rest 0 ;
1.40      anton     258: : xend-pos  ( max span addr pos1 -- max span addr span 0 )
1.39      anton     259:   drop over .all 0 ;
                    260: 
                    261: 
1.40      anton     262: : xclear-line ( max span addr pos1 -- max addr )
1.39      anton     263:     drop restore-cursor swap spaces restore-cursor ;
1.40      anton     264: : xclear-tib ( max span addr pos -- max 0 addr 0 false )
                    265:     xclear-line 0 tuck dup ;
1.39      anton     266: 
1.40      anton     267: : (xenter)  ( max span addr pos1 -- max span addr pos2 true )
1.39      anton     268:     >r end^ 2@ hist-setpos
                    269:     2dup swap history write-line drop ( throw ) \ don't worry about errors
                    270:     hist-pos 2dup backward^ 2! end^ 2!
                    271:     r> .all space true ;
                    272: 
1.40      anton     273: : xkill-expand ( max span addr pos1 -- max span addr pos2 )
1.39      anton     274:     prefix-found cell+ @ ?dup IF  >r
                    275:        r@ - >string over r@ + -rot move
                    276:        rot r@ - -rot .all r> spaces .rest THEN ;
                    277: 
                    278: : insert   ( string length buffer size -- )
                    279:     rot over min >r  r@ - ( left over )
                    280:     over dup r@ +  rot move   r> move  ;
                    281: 
1.40      anton     282: : xtab-expand ( max span addr pos1 -- max span addr pos2 0 )
                    283:     key? IF  #tab (xins) 0  EXIT  THEN
                    284:     xkill-expand 2dup extract-word dup 0= IF  nip EXIT  THEN
1.39      anton     285:     search-prefix tib-full?
1.40      anton     286:     IF    bell  2drop  prefix-off
1.39      anton     287:     ELSE  dup >r
                    288:        2>r >string r@ + 2r> 2swap insert
                    289:        r@ + rot r> + -rot
                    290:     THEN
1.40      anton     291:     prefix-found @ IF  bl (xins)  ELSE  .all .rest  THEN  0 ;
1.39      anton     292: 
1.40      anton     293: : xchar-history ( -- )
                    294:     ['] xforw        ctrl F bindkey
                    295:     ['] xback        ctrl B bindkey
                    296:     ['] ?xdel        ctrl H bindkey
                    297:     ['] xeof         ctrl D bindkey
                    298:     ['] <xdel>       ctrl X bindkey
                    299:     ['] xclear-tib   ctrl K bindkey
                    300:     ['] xfirst-pos   ctrl A bindkey
                    301:     ['] xend-pos     ctrl E bindkey
1.49      pazsan    302:     history IF  ['] (xenter)     #lf    bindkey  THEN
                    303:     history IF  ['] (xenter)     #cr    bindkey  THEN
1.40      anton     304:     ['] xtab-expand  #tab   bindkey
                    305:     ['] (xins)       IS insert-char
1.39      anton     306:     ['] kill-prefix  IS everychar
1.44      anton     307:     ['] save-cursor  IS everyline
                    308:     ['] xback-restore IS back-restore
                    309: ;
1.39      anton     310: 
1.40      anton     311: xchar-history
1.19      anton     312: 
                    313: \ initializing history
                    314: 
                    315: : get-history ( addr len -- )
                    316:     ['] force-open catch
                    317:     ?dup-if
                    318:        \ !! >stderr
1.21      pazsan    319:         \ history-file type ." : " .error cr
1.49      pazsan    320:        drop 2drop 0 to history
1.19      anton     321:        ['] false ['] false ['] (ret)
                    322:     else
                    323:        to history
                    324:        history file-size throw
                    325:        2dup forward^ 2! 2dup backward^ 2! end^ 2!
                    326:        ['] next-line ['] prev-line ['] (enter)
                    327:     endif
1.27      pazsan    328:     dup #lf bindkey
                    329:         #cr bindkey
                    330:      ctrl P bindkey
                    331:      ctrl N bindkey
1.19      anton     332: ;
                    333: 
                    334: : history-cold ( -- )
1.42      pazsan    335:     history-file get-history xchar-history ;
1.19      anton     336: 
1.48      anton     337: :noname ( -- )
                    338:     defers 'cold
                    339:     history-cold
                    340: ; is 'cold
                    341: 
1.19      anton     342: history-cold
                    343: 

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