Annotation of gforth/history.fs, revision 1.74

1.11      pazsan      1: \ command line edit and history support                 16oct94py
1.4       pazsan      2: 
1.74    ! anton       3: \ Copyright (C) 1995,2000,2003,2004,2005,2006,2007,2008,2010 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.7       pazsan    121:   >r end^ 2@ hist-setpos
1.32      pazsan    122:   2dup swap history write-line drop ( throw ) \ don't worry about errors
1.7       pazsan    123:   hist-pos 2dup backward^ 2! end^ 2!
1.4       pazsan    124:   r> (ret) ;
                    125: 
                    126: : extract-word ( addr len -- addr' len' )  dup >r
                    127:   BEGIN  1- dup 0>=  WHILE  2dup + c@ bl =  UNTIL  THEN  1+
                    128:   tuck + r> rot - ;
                    129: 
                    130: Create prefix-found  0 , 0 ,
                    131: 
1.30      anton     132: : sgn ( n -- -1/0/1 )
                    133:  dup 0= IF EXIT THEN  0< 2* 1+ ;
                    134: 
                    135: : capscomp  ( c_addr1 u c_addr2 -- n )
                    136:  swap bounds
                    137:  ?DO  dup c@ I c@ <>
                    138:      IF  dup c@ toupper I c@ toupper =
                    139:      ELSE  true  THEN  WHILE  1+  LOOP  drop 0
                    140:  ELSE  c@ toupper I c@ toupper - unloop  THEN  sgn ;
                    141: 
1.4       pazsan    142: : word-lex ( nfa1 nfa2 -- -1/0/1 )
1.9       anton     143:     dup 0=
                    144:     IF
                    145:        2drop 1  EXIT
                    146:     THEN
                    147:     name>string 2>r name>string
                    148:     dup r@ =
                    149:     IF
                    150:        rdrop r> capscomp 0<= EXIT
                    151:     THEN
                    152:     r> <
                    153:     nip rdrop ;
1.4       pazsan    154: 
1.9       anton     155: : search-voc ( addr len nfa1 nfa2 -- addr len nfa3 )
                    156:     >r
                    157:     BEGIN
                    158:        dup
                    159:     WHILE
                    160:        >r dup r@ name>string nip <=
                    161:        IF
                    162:            2dup r@ name>string drop capscomp  0=
                    163:            IF
                    164:                r> dup r@ word-lex
                    165:                IF
                    166:                    dup prefix-found @ word-lex
                    167:                    0>=
                    168:                    IF
                    169:                        rdrop dup >r
                    170:                    THEN
                    171:                THEN
                    172:                >r
1.7       pazsan    173:            THEN
1.9       anton     174:        THEN
                    175:        r> @
                    176:     REPEAT
                    177:     drop r> ;
1.7       pazsan    178: 
1.35      pazsan    179: : prefix-off ( -- )  0 0 prefix-found 2! ;
                    180: 
1.7       pazsan    181: : prefix-string ( addr len nfa -- addr' len' )
                    182:     dup prefix-found !  ?dup
1.9       anton     183:     IF
                    184:        name>string rot /string rot drop
1.7       pazsan    185:        dup 1+ prefix-found cell+ !
                    186:     ELSE
1.35      pazsan    187:        2drop s" " prefix-off
1.7       pazsan    188:     THEN ;
                    189: 
                    190: : search-prefix  ( addr1 len1 -- addr2 len2 )
                    191:     0 vp dup @ 1- cells over +
                    192:     DO  I 2@ <>
1.17      pazsan    193:         IF  I cell+ @ wordlist-id @ swap  search-voc  THEN
1.7       pazsan    194:        [ -1 cells ] Literal +LOOP
                    195:     prefix-string ;
                    196: 
                    197: : tib-full? ( max span addr pos addr' len' -- max span addr pos addr1 u flag )
                    198:     5 pick over 4 pick + prefix-found @ 0<> - < ;
1.4       pazsan    199: 
                    200: : kill-prefix  ( key -- key )
1.36      pazsan    201:   dup #tab <> IF  prefix-off  THEN ;
1.33      pazsan    202: 
                    203: \ UTF-8 support
                    204: 
1.38      anton     205: require utf-8.fs
1.33      pazsan    206: 
1.39      anton     207: [IFUNDEF] #esc  27 Constant #esc  [THEN]
                    208: 
1.71      pazsan    209: : at-deltaxy ( dx dy -- )
                    210:     over 0< over 0= and IF  drop abs backspaces  EXIT  THEN
                    211:     base @ >r decimal
1.63      pazsan    212:     ?dup IF
                    213:        #esc emit '[ emit  dup abs 0 .r 0< IF  'A  ELSE  'B  THEN  emit
                    214:     THEN
                    215:     ?dup IF
                    216:        #esc emit '[ emit  dup abs 0 .r 0< IF  'D  ELSE  'C  THEN  emit
1.64      pazsan    217:     THEN  r> base ! ;
1.62      pazsan    218: 
1.63      pazsan    219: \ : cygwin? ( -- flag ) s" TERM" getenv s" cygwin" str= ;
                    220: \ : at-xy? ( -- x y )
                    221: \     key? drop \ make sure prep_terminal() is executed
                    222: \     #esc emit ." [6n"  0 0
                    223: \     BEGIN  key dup 'R <>  WHILE
                    224: \          dup '; = IF  drop  swap  ELSE
                    225: \              dup '0 '9 1+ within  IF  '0 - swap 10 * +  ELSE
                    226: \                  drop  THEN  THEN
                    227: \     REPEAT  drop 1- swap 1- ;
                    228: \ : cursor@ ( -- n )  at-xy? screenw @ * + ;
                    229: \ : cursor! ( n -- )  screenw @ /mod at-xy ;
                    230: : xcur-correct  ( addr u -- )  x-width linew ! ;
1.56      pazsan    231: 
1.55      pazsan    232: ' xcur-correct IS cur-correct
                    233: 
1.63      pazsan    234: : xback-restore ( u -- )
                    235:     screenw @ /mod negate swap negate swap at-deltaxy ;
1.39      anton     236: : .rest ( addr pos1 -- addr pos1 )
1.63      pazsan    237:     linew @ xback-restore 2dup type 2dup cur-correct ;
1.39      anton     238: : .all ( span addr pos1 -- span addr pos1 )
1.63      pazsan    239:     linew @ xback-restore >r 2dup swap type 2dup swap cur-correct r> ;
1.44      anton     240: 
1.63      pazsan    241: : xretype ( max span addr pos1 -- max span addr pos1 f )
1.67      anton     242:     .all cols screenw @ >r screenw !
1.63      pazsan    243:     linew @ screenw @ / linew @ r@ / max
                    244:     screenw @ r> - * 0 max
                    245:     dup spaces linew +! .rest false ;
1.58      pazsan    246: 
1.44      anton     247: \ In the following, addr max is the buffer, addr span is the current
                    248: \ string in the buffer, and pos1 is the cursor position in the buffer.
1.39      anton     249: 
1.40      anton     250: : <xins>  ( max span addr pos1 xc -- max span addr pos2 )
                    251:     >r  2over r@ xc-size + u< IF  ( max span addr pos1 R:xc )
                    252:        rdrop bell  EXIT  THEN
                    253:     >string over r@ xc-size + swap move
                    254:     2dup chars + r@ swap r@ xc-size xc!+? 2drop drop
                    255:     r> xc-size >r  rot r@ chars + -rot r> chars + ;
                    256: : (xins)  ( max span addr pos1 xc -- max span addr pos2 )
1.64      pazsan    257:     <xins> key? 0= IF  .all .rest  THEN ;
1.40      anton     258: : xback  ( max span addr pos1 -- max span addr pos2 f )
                    259:     dup  IF  over + xchar- over -  0 max .all .rest
1.39      anton     260:     ELSE  bell  THEN 0 ;
1.40      anton     261: : xforw  ( max span addr pos1 -- max span addr pos2 f )
1.63      pazsan    262:     2 pick over <> IF  over + xc@+ xemit over -  ELSE  bell  THEN
                    263:     2dup cur-correct 0 ;
1.40      anton     264: : (xdel)  ( max span addr pos1 -- max span addr pos2 )
                    265:     over + dup xchar- tuck - >r over -
1.39      anton     266:     >string over r@ + -rot move
                    267:     rot r> - -rot ;
1.40      anton     268: : ?xdel ( max span addr pos1 -- max span addr pos2 0 )
1.63      pazsan    269:   dup  IF  (xdel) .all 2 spaces 2 linew +! .rest  THEN  0 ;
1.40      anton     270: : <xdel> ( max span addr pos1 -- max span addr pos2 0 )
1.39      anton     271:   2 pick over <>
1.63      pazsan    272:     IF  xforw drop (xdel) .all 2 spaces 2 linew +! .rest
1.39      anton     273:     ELSE  bell  THEN  0 ;
1.40      anton     274: : xeof  2 pick over or 0=  IF  bye  ELSE  <xdel>  THEN ;
1.39      anton     275: 
1.40      anton     276: : xfirst-pos  ( max span addr pos1 -- max span addr 0 0 )
1.39      anton     277:   drop 0 .all .rest 0 ;
1.40      anton     278: : xend-pos  ( max span addr pos1 -- max span addr span 0 )
1.39      anton     279:   drop over .all 0 ;
                    280: 
1.73      pazsan    281: : xclear-rest ( max span addr pos -- max pos addr pos false )
                    282:      rot >r tuck 2dup r> swap /string u8width dup spaces linew +! .all 0 ;
1.39      anton     283: 
1.40      anton     284: : (xenter)  ( max span addr pos1 -- max span addr pos2 true )
1.39      anton     285:     >r end^ 2@ hist-setpos
                    286:     2dup swap history write-line drop ( throw ) \ don't worry about errors
                    287:     hist-pos 2dup backward^ 2! end^ 2!
1.63      pazsan    288:     r> .all space true ;
1.39      anton     289: 
1.40      anton     290: : xkill-expand ( max span addr pos1 -- max span addr pos2 )
1.39      anton     291:     prefix-found cell+ @ ?dup IF  >r
                    292:        r@ - >string over r@ + -rot move
1.63      pazsan    293:        rot r@ - -rot .all r@ spaces r> back-restore .rest THEN ;
1.39      anton     294: 
                    295: : insert   ( string length buffer size -- )
                    296:     rot over min >r  r@ - ( left over )
                    297:     over dup r@ +  rot move   r> move  ;
                    298: 
1.40      anton     299: : xtab-expand ( max span addr pos1 -- max span addr pos2 0 )
                    300:     key? IF  #tab (xins) 0  EXIT  THEN
                    301:     xkill-expand 2dup extract-word dup 0= IF  nip EXIT  THEN
1.39      anton     302:     search-prefix tib-full?
1.40      anton     303:     IF    bell  2drop  prefix-off
1.39      anton     304:     ELSE  dup >r
                    305:        2>r >string r@ + 2r> 2swap insert
                    306:        r@ + rot r> + -rot
                    307:     THEN
1.40      anton     308:     prefix-found @ IF  bl (xins)  ELSE  .all .rest  THEN  0 ;
1.39      anton     309: 
1.40      anton     310: : xchar-history ( -- )
                    311:     ['] xforw        ctrl F bindkey
                    312:     ['] xback        ctrl B bindkey
                    313:     ['] ?xdel        ctrl H bindkey
                    314:     ['] xeof         ctrl D bindkey
                    315:     ['] <xdel>       ctrl X bindkey
1.73      pazsan    316:     ['] xclear-rest  ctrl K bindkey
1.40      anton     317:     ['] xfirst-pos   ctrl A bindkey
                    318:     ['] xend-pos     ctrl E bindkey
1.61      pazsan    319:     ['] xretype      ctrl L bindkey
1.49      pazsan    320:     history IF  ['] (xenter)     #lf    bindkey  THEN
                    321:     history IF  ['] (xenter)     #cr    bindkey  THEN
1.40      anton     322:     ['] xtab-expand  #tab   bindkey
                    323:     ['] (xins)       IS insert-char
1.39      anton     324:     ['] kill-prefix  IS everychar
1.70      anton     325: [ifdef] everyline
1.63      pazsan    326:     ['] linew-off     IS everyline
1.70      anton     327: [endif]
1.44      anton     328:     ['] xback-restore IS back-restore
1.55      pazsan    329:     ['] xcur-correct  IS cur-correct
1.44      anton     330: ;
1.39      anton     331: 
1.40      anton     332: xchar-history
1.19      anton     333: 
                    334: \ initializing history
                    335: 
                    336: : get-history ( addr len -- )
                    337:     ['] force-open catch
                    338:     ?dup-if
                    339:        \ !! >stderr
1.21      pazsan    340:         \ history-file type ." : " .error cr
1.49      pazsan    341:        drop 2drop 0 to history
1.19      anton     342:        ['] false ['] false ['] (ret)
                    343:     else
                    344:        to history
                    345:        history file-size throw
                    346:        2dup forward^ 2! 2dup backward^ 2! end^ 2!
                    347:        ['] next-line ['] prev-line ['] (enter)
                    348:     endif
1.27      pazsan    349:     dup #lf bindkey
                    350:         #cr bindkey
                    351:      ctrl P bindkey
                    352:      ctrl N bindkey
1.19      anton     353: ;
                    354: 
                    355: : history-cold ( -- )
1.42      pazsan    356:     history-file get-history xchar-history ;
1.19      anton     357: 
1.48      anton     358: :noname ( -- )
                    359:     defers 'cold
                    360:     history-cold
                    361: ; is 'cold
                    362: 
1.19      anton     363: history-cold
                    364: 

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