Annotation of gforth/history.fs, revision 1.78

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

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