File:  [gforth] / gforth / history.fs
Revision 1.80: download - view: text, annotated - select for diffs
Mon Dec 31 15:25:18 2012 UTC (11 years, 2 months ago) by anton
Branches: MAIN
CVS tags: HEAD
updated copyright year

    1: \ command line edit and history support                 16oct94py
    2: 
    3: \ Copyright (C) 1995,2000,2003,2004,2005,2006,2007,2008,2010,2011,2012 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 3
   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, see http://www.gnu.org/licenses/.
   19: 
   20: : ctrl-i ( "<char>" -- c )
   21:     char toupper $40 xor ;
   22: 
   23: ' ctrl-i
   24: :noname
   25:     ctrl-i postpone Literal ;
   26: interpret/compile: ctrl  ( "<char>" -- ctrl-code )
   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: 
   33: : bindkey ( xt key -- )  cells ctrlkeys + ! ;
   34: 
   35: \ history support                                       16oct94py
   36: 
   37: 0 Value history \ history file fid
   38: 
   39: 2Variable forward^
   40: 2Variable backward^
   41: 2Variable end^
   42: 
   43: : force-open ( addr len -- fid )
   44:     2dup r/w open-file
   45:     IF
   46: 	drop r/w create-file throw
   47:     ELSE
   48: 	nip nip
   49:     THEN ;
   50: 
   51: s" os-class" environment? [IF] s" unix" str= [ELSE] true [THEN] 
   52: [IF]
   53: : history-file ( -- addr u )
   54:     s" GFORTHHIST" getenv dup 0= IF
   55: 	2drop s" ~/.gforth-history"
   56:     THEN ;
   57: [ELSE]
   58: 
   59: : history-dir ( -- addr u )
   60:   s" TMP" getenv ?dup ?EXIT drop
   61:   s" TEMP" getenv ?dup ?EXIT drop
   62:   s" c:/" ;
   63: 
   64: : history-file ( -- addr u )
   65:   s" GFORTHHIST" getenv ?dup ?EXIT
   66:   drop
   67:   history-dir pad place
   68:   s" /ghist.fs" pad +place pad count ;
   69: [THEN]
   70: 
   71: \ moving in history file                               16oct94py
   72: 
   73: defer back-restore ( u -- )
   74: defer cur-correct ( addr u -- )
   75: ' backspaces IS back-restore
   76: ' 2drop IS cur-correct
   77: 
   78: Variable linew
   79: Variable screenw
   80: : linew-off  linew off cols screenw ! ;
   81: 
   82: [IFDEF] x-width
   83: : clear-line ( max span addr pos1 -- max addr )
   84:     drop linew @ back-restore over over swap x-width
   85:     dup spaces back-restore nip linew off ;
   86: [ELSE]
   87: : clear-line ( max span addr pos1 -- max addr )
   88:   back-restore over spaces swap back-restore ;
   89: [THEN]
   90: \ : clear-tib ( max span addr pos -- max 0 addr 0 false )
   91: \   clear-line 0 tuck dup ;
   92: 
   93: : hist-pos    ( -- ud )  history file-position drop ( throw ) ;
   94: : hist-setpos ( ud -- )  history reposition-file drop ( throw ) ;
   95: 
   96: : get-line ( addr len -- len' flag )
   97:   swap history read-line throw ;
   98: 
   99: : next-line  ( max span addr pos1 -- max span addr pos2 false )
  100:   clear-line
  101:   forward^ 2@ 2dup hist-setpos backward^ 2!
  102:   2dup get-line drop
  103:   hist-pos  forward^ 2!
  104:   tuck 2dup type 2dup cur-correct 0 ;
  105: 
  106: : find-prev-line ( max addr -- max span addr pos2 )
  107:   backward^ 2@ forward^ 2!
  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
  113:   REPEAT  2drop  THEN  tuck ;
  114: 
  115: : prev-line  ( max span addr pos1 -- max span addr pos2 false )
  116:     clear-line find-prev-line 2dup type 2dup cur-correct 0 ;
  117: 
  118: \ Create lfpad #lf c,
  119: 
  120: : (enter)  ( max span addr pos1 -- max span addr pos2 true )
  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) ;
  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: 
  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: 
  143: : word-lex ( nfa1 nfa2 -- -1/0/1 )
  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 ;
  155: 
  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
  174: 	    THEN
  175: 	THEN
  176: 	r> @
  177:     REPEAT
  178:     drop r> ;
  179: 
  180: : prefix-off ( -- )  0 0 prefix-found 2! ;
  181: 
  182: : prefix-string ( addr len nfa -- addr' len' )
  183:     dup prefix-found !  ?dup
  184:     IF
  185: 	name>string rot /string rot drop
  186: 	dup 1+ prefix-found cell+ !
  187:     ELSE
  188: 	2drop s" " prefix-off
  189:     THEN ;
  190: 
  191: : search-prefix  ( addr1 len1 -- addr2 len2 )
  192:     0 vp dup @ 1- cells over +
  193:     DO  I 2@ <>
  194:         IF  I cell+ @ wordlist-id @ swap  search-voc  THEN
  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<> - < ;
  200: 
  201: : kill-prefix  ( key -- key )
  202:   dup #tab <> IF  prefix-off  THEN ;
  203: 
  204: \ UTF-8 support
  205: 
  206: require utf-8.fs
  207: 
  208: [IFUNDEF] #esc  27 Constant #esc  [THEN]
  209: 
  210: Defer at-deltaxy
  211: : vt100-at-deltaxy ( dx dy -- )
  212:     over 0< over 0= and IF  drop abs backspaces  EXIT  THEN
  213:     base @ >r decimal
  214:     ?dup IF
  215: 	#esc emit '[ emit  dup abs 0 .r 0< IF  'A  ELSE  'B  THEN  emit
  216:     THEN
  217:     ?dup IF
  218: 	#esc emit '[ emit  dup abs 0 .r 0< IF  'D  ELSE  'C  THEN  emit
  219:     THEN  r> base ! ;
  220: ' vt100-at-deltaxy IS at-deltaxy
  221: 
  222: \ : cygwin? ( -- flag ) s" TERM" getenv s" cygwin" str= ;
  223: \ : at-xy? ( -- x y )
  224: \     key? drop \ make sure prep_terminal() is executed
  225: \     #esc emit ." [6n"  0 0
  226: \     BEGIN  key dup 'R <>  WHILE
  227: \ 	    dup '; = IF  drop  swap  ELSE
  228: \ 		dup '0 '9 1+ within  IF  '0 - swap 10 * +  ELSE
  229: \ 		    drop  THEN  THEN
  230: \     REPEAT  drop 1- swap 1- ;
  231: \ : cursor@ ( -- n )  at-xy? screenw @ * + ;
  232: \ : cursor! ( n -- )  screenw @ /mod at-xy ;
  233: : xcur-correct  ( addr u -- )  x-width linew ! ;
  234: 
  235: ' xcur-correct IS cur-correct
  236: 
  237: : xback-restore ( u -- )
  238:     dup screenw @ mod 0= IF  1- 0 max  THEN
  239:     \ correction for line=screenw, no wraparound then!
  240:     screenw @ /mod negate swap negate swap at-deltaxy ;
  241: : .rest ( addr pos1 -- addr pos1 )
  242:     linew @ xback-restore 2dup type 2dup cur-correct ;
  243: : .all ( span addr pos1 -- span addr pos1 )
  244:     linew @ xback-restore >r 2dup swap type 2dup swap cur-correct r> ;
  245: 
  246: : xretype ( max span addr pos1 -- max span addr pos1 f )
  247:     .all cols screenw @ >r screenw !
  248:     linew @ screenw @ / linew @ r@ / max
  249:     screenw @ r> - * 0 max
  250:     dup spaces linew +! .rest false ;
  251: 
  252: \ In the following, addr max is the buffer, addr span is the current
  253: \ string in the buffer, and pos1 is the cursor position in the buffer.
  254: 
  255: : <xins>  ( max span addr pos1 xc -- max span addr pos2 )
  256:     >r  2over r@ xc-size + u< IF  ( max span addr pos1 R:xc )
  257: 	rdrop bell  EXIT  THEN
  258:     >string over r@ xc-size + swap move
  259:     2dup chars + r@ swap r@ xc-size xc!+? 2drop drop
  260:     r> xc-size >r  rot r@ chars + -rot r> chars + ;
  261: : (xins)  ( max span addr pos1 xc -- max span addr pos2 )
  262:     <xins> key? 0= IF  .all .rest  THEN ;
  263: : xback  ( max span addr pos1 -- max span addr pos2 f )
  264:     dup  IF  over + xchar- over -  0 max .all .rest
  265:     ELSE  bell  THEN 0 ;
  266: : xforw  ( max span addr pos1 -- max span addr pos2 f )
  267:     2 pick over <> IF  over + xc@+ xemit over -  ELSE  bell  THEN
  268:     2dup cur-correct 0 ;
  269: : (xdel)  ( max span addr pos1 -- max span addr pos2 )
  270:     over + dup xchar- tuck - >r over -
  271:     >string over r@ + -rot move
  272:     rot r> - -rot ;
  273: : ?xdel ( max span addr pos1 -- max span addr pos2 0 )
  274:   dup  IF  (xdel) .all 2 spaces 2 linew +! .rest  THEN  0 ;
  275: : <xdel> ( max span addr pos1 -- max span addr pos2 0 )
  276:   2 pick over <>
  277:     IF  xforw drop (xdel) .all 2 spaces 2 linew +! .rest
  278:     ELSE  bell  THEN  0 ;
  279: : xeof  2 pick over or 0=  IF  bye  ELSE  <xdel>  THEN ;
  280: 
  281: : xfirst-pos  ( max span addr pos1 -- max span addr 0 0 )
  282:   drop 0 .all .rest 0 ;
  283: : xend-pos  ( max span addr pos1 -- max span addr span 0 )
  284:   drop over .all 0 ;
  285: 
  286: : xclear-rest ( max span addr pos -- max pos addr pos false )
  287:      rot >r tuck 2dup r> swap /string u8width dup spaces linew +! .all 0 ;
  288: 
  289: : (xenter)  ( max span addr pos1 -- max span addr pos2 true )
  290:     >r 2dup swap -trailing nip IF
  291: 	end^ 2@ hist-setpos
  292: 	2dup swap history write-line drop ( throw ) \ don't worry about errors
  293: 	hist-pos 2dup backward^ 2! end^ 2!
  294:     THEN  r> .all space true ;
  295: 
  296: : xkill-expand ( max span addr pos1 -- max span addr pos2 )
  297:     prefix-found cell+ @ ?dup IF  >r
  298: 	r@ - >string over r@ + -rot move
  299: 	rot r@ - -rot .all r@ spaces r> back-restore .rest THEN ;
  300: 
  301: [IFUNDEF] insert
  302: : insert   ( string length buffer size -- )
  303:     rot over min >r  r@ - ( left over )
  304:     over dup r@ +  rot move   r> move  ;
  305: [THEN]
  306: 
  307: : xtab-expand ( max span addr pos1 -- max span addr pos2 0 )
  308:     key? IF  #tab (xins) 0  EXIT  THEN
  309:     xkill-expand 2dup extract-word dup 0= IF  nip EXIT  THEN
  310:     search-prefix tib-full?
  311:     IF    bell  2drop  prefix-off
  312:     ELSE  dup >r
  313: 	2>r >string r@ + 2r> 2swap insert
  314: 	r@ + rot r> + -rot
  315:     THEN
  316:     prefix-found @ IF  bl (xins)  ELSE  .all .rest  THEN  0 ;
  317: 
  318: : xchar-history ( -- )
  319:     ['] xforw        ctrl F bindkey
  320:     ['] xback        ctrl B bindkey
  321:     ['] ?xdel        ctrl H bindkey
  322:     ['] xeof         ctrl D bindkey
  323:     ['] <xdel>       ctrl X bindkey
  324:     ['] xclear-rest  ctrl K bindkey
  325:     ['] xfirst-pos   ctrl A bindkey
  326:     ['] xend-pos     ctrl E bindkey
  327:     ['] xretype      ctrl L bindkey
  328:     history IF  ['] (xenter)     #lf    bindkey  THEN
  329:     history IF  ['] (xenter)     #cr    bindkey  THEN
  330:     ['] xtab-expand  #tab   bindkey
  331:     ['] (xins)       IS insert-char
  332:     ['] kill-prefix  IS everychar
  333: [ifdef] everyline
  334:     ['] linew-off     IS everyline
  335: [endif]
  336:     ['] xback-restore IS back-restore
  337:     ['] xcur-correct  IS cur-correct
  338: ;
  339: 
  340: xchar-history
  341: 
  342: \ initializing history
  343: 
  344: : get-history ( addr len -- )
  345:     ['] force-open catch
  346:     ?dup-if
  347: 	\ !! >stderr
  348:         \ history-file type ." : " .error cr
  349: 	drop 2drop 0 to history
  350: 	['] false ['] false ['] (ret)
  351:     else
  352: 	to history
  353: 	history file-size throw
  354: 	2dup forward^ 2! 2dup backward^ 2! end^ 2!
  355: 	['] next-line ['] prev-line ['] (enter)
  356:     endif
  357:     dup #lf bindkey
  358:         #cr bindkey
  359:      ctrl P bindkey
  360:      ctrl N bindkey
  361: ;
  362: 
  363: : history-cold ( -- )
  364:     history-file get-history xchar-history ;
  365: 
  366: :noname ( -- )
  367:     defers 'cold
  368:     history-cold
  369: ; is 'cold
  370: 
  371: history-cold
  372: 

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