Diff for /gforth/extend.fs between versions 1.32 and 1.62

version 1.32, 1999/02/03 00:10:20 version 1.62, 2007/12/31 18:40:24
Line 1 Line 1
 \ EXTEND.FS    CORE-EXT Word not fully tested!         12may93jaw  \ EXTEND.FS    CORE-EXT Word not fully tested!         12may93jaw
   
 \ Copyright (C) 1995,1998 Free Software Foundation, Inc.  \ Copyright (C) 1995,1998,2000,2003,2005,2007 Free Software Foundation, Inc.
   
 \ This file is part of Gforth.  \ This file is part of Gforth.
   
 \ Gforth is free software; you can redistribute it and/or  \ Gforth is free software; you can redistribute it and/or
 \ modify it under the terms of the GNU General Public License  \ modify it under the terms of the GNU General Public License
 \ as published by the Free Software Foundation; either version 2  \ as published by the Free Software Foundation, either version 3
 \ of the License, or (at your option) any later version.  \ of the License, or (at your option) any later version.
   
 \ This program is distributed in the hope that it will be useful,  \ This program is distributed in the hope that it will be useful,
Line 15 Line 15
 \ GNU General Public License for more details.  \ GNU General Public License for more details.
   
 \ You should have received a copy of the GNU General Public License  \ You should have received a copy of the GNU General Public License
 \ along with this program; if not, write to the Free Software  \ along with this program. If not, see http://www.gnu.org/licenses/.
 \ Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.  
   
   
 \ May be cross-compiled  \ May be cross-compiled
Line 25  decimal Line 24  decimal
   
 \ .(                                                    12may93jaw  \ .(                                                    12may93jaw
   
 : .(   ( "ccc<paren>" -- ) \ core-ext dot-paren  : .(   ( compilation&interpretation "ccc<paren>" -- ) \ core-ext dot-paren
   \G Parse a string ccc delimited by a ) (right parenthesis). Display    \G Compilation and interpretation semantics: Parse a string @i{ccc}
   \G the string. This is often used to display progress information    \G delimited by a @code{)} (right parenthesis). Display the
   \G during compilation. See examples below.    \G string. This is often used to display progress information during
     \G compilation; see examples below.
   [char] ) parse type ; immediate    [char] ) parse type ; immediate
   
 \ VALUE 2>R 2R> 2R@                                     17may93jaw  \ VALUE 2>R 2R> 2R@                                     17may93jaw
   
 \ !! 2value  \ !! 2value
   
   [ifundef] 2literal
 : 2Literal ( compilation w1 w2 -- ; run-time  -- w1 w2 ) \ double two-literal  : 2Literal ( compilation w1 w2 -- ; run-time  -- w1 w2 ) \ double two-literal
     \G Compile appropriate code such that, at run-time, cell pair w1, w2 are      \G Compile appropriate code such that, at run-time, cell pair @i{w1, w2} are
     \G placed on the stack. Interpretation semantics are undefined.      \G placed on the stack. Interpretation semantics are undefined.
     swap postpone Literal  postpone Literal ; immediate restrict      swap postpone Literal  postpone Literal ; immediate restrict
   [then]
   
 ' drop alias d>s ( d -- n ) \ double            d_to_s  ' drop alias d>s ( d -- n ) \ double            d_to_s
   
 : m*/ ( d1 n2 u3 -- dqout ) \ double m-star-slash  : m*/ ( d1 n2 u3 -- dquot ) \ double m-star-slash
       \G dquot=(d1*n2)/u3, with the intermediate result being triple-precision.
       \G In ANS Forth u3 can only be a positive signed number.
     >r s>d >r abs -rot      >r s>d >r abs -rot
     s>d r> xor r> swap >r >r dabs rot tuck um* 2swap um*      s>d r> xor r> swap >r >r dabs rot tuck um* 2swap um*
     swap >r 0 d+ r> -rot r@ um/mod -rot r> um/mod nip swap      swap >r 0 d+ r> -rot r@ um/mod -rot r> um/mod
     r> IF dnegate THEN ;      [ s" floored" environment? 0= throw ] [if]
           -rot r> IF IF 1. d+ THEN dnegate ELSE drop THEN
       [else]
           nip swap r> IF dnegate THEN
       [then] ;
   
 \ CASE OF ENDOF ENDCASE                                 17may93jaw  \ CASE OF ENDOF ENDCASE                                 17may93jaw
   
Line 70  decimal Line 78  decimal
   
 \ C"                                                    17may93jaw  \ C"                                                    17may93jaw
   
 : (c")     "lit ;  
   
 : CLiteral  
     postpone (c") here over char+ allot  place align ; immediate restrict  
   
 : C" ( compilation "ccc<quote>" -- ; run-time  -- c-addr ) \ core-ext c-quote  : C" ( compilation "ccc<quote>" -- ; run-time  -- c-addr ) \ core-ext c-quote
     \G Compilation: parse a string ccc delimited by a " (double quote). At      \G Compilation: parse a string @i{ccc} delimited by a @code{"}
     \G run-time, return c-addr which specifies the counted string ccc.      \G (double quote). At run-time, return @i{c-addr} which
     \G Interpretation semantics are undefined.      \G specifies the counted string @i{ccc}.  Interpretation
       \G semantics are undefined.
     [char] " parse postpone CLiteral ; immediate restrict      [char] " parse postpone CLiteral ; immediate restrict
   
 \ [COMPILE]                                             17may93jaw  \ [COMPILE]                                             17may93jaw
   
 : [compile] ( compilation "name" -- ; run-time ? -- ? ) \ core-ext bracket-compile  : [compile] ( compilation "name" -- ; run-time ? -- ? ) \ core-ext bracket-compile
     comp' drop compile, ; immediate      comp' drop
       dup [ comp' exit drop ] literal = if
           execute \ EXIT has default compilation semantics, perform them
       else
           compile,
       then ; immediate
   
 \ CONVERT                                               17may93jaw  \ CONVERT                                               17may93jaw
   
 : convert ( ud1 c-addr1 -- ud2 c-addr2 ) \ core-ext  : convert ( ud1 c-addr1 -- ud2 c-addr2 ) \ core-ext-obsolescent
     \G obsolescent; superseded by @code{>number}.      \G Obsolescent: superseded by @code{>number}.
     char+ true >number drop ;      char+ true >number drop ;
   
 \ ERASE                                                 17may93jaw  \ ERASE                                                 17may93jaw
   
 : erase ( addr len -- ) \ core-ext  : erase ( addr u -- ) \ core-ext
     \G If len>0, clear all bits in each location of a memory region      \G Clear all bits in @i{u} aus starting at @i{addr}.
     \G of len address units starting at address addr.  
     \ !! dependence on "1 chars 1 ="      \ !! dependence on "1 chars 1 ="
     ( 0 1 chars um/mod nip )  0 fill ;      ( 0 1 chars um/mod nip )  0 fill ;
 : blank ( addr len -- ) \ string  : blank ( c-addr u -- ) \ string
     \G If len>0, store the character value for a space in each      \G Store the space character into @i{u} chars starting at @i{c-addr}.
     \G location of a memory region  
     \G of len character units starting at address addr.  
     bl fill ;      bl fill ;
   
 \ SEARCH                                                02sep94py  \ SEARCH                                                02sep94py
   
 : search ( c-addr1 u1 c-addr2 u2 -- c-addr3 u3 flag ) \ string  : search ( c-addr1 u1 c-addr2 u2 -- c-addr3 u3 flag ) \ string
     \G Search the string specified by c-addr1, u1 for the string      \G Search the string specified by @i{c-addr1, u1} for the string
     \G speficied by c-addr2, u2. If flag is true: match was found      \G specified by @i{c-addr2, u2}. If @i{flag} is true: match was found
     \G at c-addr3 with u3 characters remaining. If flag is false:      \G at @i{c-addr3} with @i{u3} characters remaining. If @i{flag} is false:
     \G no match was found; c-addr3, u3 are equal to c-addr1, u1.      \G no match was found; @i{c-addr3, u3} are equal to @i{c-addr1, u1}.
     \ not very efficient; but if we want efficiency, we'll do it as primitive      \ not very efficient; but if we want efficiency, we'll do it as primitive
     2>r 2dup      2>r 2dup
     begin      begin
         dup r@ >=          dup r@ >=
     while      while
         over 2r@ swap -text 0= if          2dup 2r@ string-prefix? if
             2swap 2drop 2r> 2drop true exit              2swap 2drop 2r> 2drop true exit
         endif          endif
         1 /string          1 /string
Line 126  decimal Line 132  decimal
   
 \ SOURCE-ID SAVE-INPUT RESTORE-INPUT                    11jun93jaw  \ SOURCE-ID SAVE-INPUT RESTORE-INPUT                    11jun93jaw
   
   [IFUNDEF] source-id
 : source-id ( -- 0 | -1 | fileid ) \ core-ext,file source-i-d  : source-id ( -- 0 | -1 | fileid ) \ core-ext,file source-i-d
   loadfile @ dup 0= IF  drop sourceline# 0 min  THEN ;      \G Return 0 (the input source is the user input device), -1 (the
       \G input source is a string being processed by @code{evaluate}) or
 : save-input ( -- x1 .. xn n ) \ core-ext      \G a @i{fileid} (the input source is the file specified by
       \G @i{fileid}).
       loadfile @ dup 0= IF  drop sourceline# 0 min  THEN ;
   
   : save-input ( -- xn .. x1 n ) \ core-ext
       \G The @i{n} entries @i{xn - x1} describe the current state of the
       \G input source specification, in some platform-dependent way that can
       \G be used by @code{restore-input}.
     >in @      >in @
     loadfile @      loadfile @
     if      if
         loadfile @ file-position throw          loadfile @ file-position throw
           [IFDEF] #fill-bytes #fill-bytes @ [ELSE] #tib @ 1+ [THEN] 0 d-
     else      else
         blk @          blk @
         linestart @          linestart @
Line 143  decimal Line 158  decimal
     source-id      source-id
     6 ;      6 ;
   
 : restore-input ( x1 .. xn n -- flag ) \ core-ext  : restore-input ( xn .. x1 n -- flag ) \ core-ext
       \G Attempt to restore the input source specification to the state
       \G described by the @i{n} entries @i{xn - x1}. @i{flag} is
       \G true if the restore fails.  In Gforth it fails pretty often
       \G (and sometimes with a @code{throw}).
     6 <> -12 and throw      6 <> -12 and throw
     source-id <> -12 and throw      source-id <> -12 and throw
     >tib !      >tib !
Line 151  decimal Line 170  decimal
     loadfile @ 0<>      loadfile @ 0<>
     if      if
         loadfile @ reposition-file throw          loadfile @ reposition-file throw
           refill 0= -36 and throw \ should never throw
     else      else
         linestart !          linestart !
         blk !          blk !
Line 162  decimal Line 182  decimal
     r> loadline !      r> loadline !
     >in !      >in !
     false ;      false ;
   [THEN]
 \ This things we don't need, but for being complete... jaw  \ This things we don't need, but for being complete... jaw
   
 \ EXPECT SPAN                                           17may93jaw  \ EXPECT SPAN                                           17may93jaw
   
 variable span ( -- a-addr ) \ core-ext  variable span ( -- c-addr ) \ core-ext-obsolescent
 \ obsolescent  \G @code{Variable} -- @i{c-addr} is the address of a cell that stores the
   \G length of the last string received by @code{expect}. OBSOLESCENT.
 : expect ( c-addr +len -- ) \ core-ext  
     \ obsolescent; use accept  : expect ( c-addr +n -- ) \ core-ext-obsolescent
       \G Receive a string of at most @i{+n} characters, and store it
       \G in memory starting at @i{c-addr}. The string is
       \G displayed. Input terminates when the <return> key is pressed or
       \G @i{+n} characters have been received. The normal Gforth line
       \G editing capabilites are available. The length of the string is
       \G stored in @code{span}; it does not include the <return>
       \G character. OBSOLESCENT: superceeded by @code{accept}.
     0 rot over      0 rot over
     BEGIN ( maxlen span c-addr pos1 )      BEGIN ( maxlen span c-addr pos1 )
         key decode ( maxlen span c-addr pos2 flag )          key decode ( maxlen span c-addr pos2 flag )
Line 214  variable span ( -- a-addr ) \ core-ext Line 241  variable span ( -- a-addr ) \ core-ext
     REPEAT      REPEAT
     drop      drop
     \ remember udp      \ remember udp
     udp @ , ;      udp @ ,
       \ remember dyncode-ptr
       here ['] noop , compile-prim1 finish-code ;
   
 : marker! ( mark -- )  : marker! ( mark -- )
     \ reset included files count; resize will happen on next add-included-file      \ reset included files count; resize will happen on next add-included-file
Line 241  variable span ( -- a-addr ) \ core-ext Line 270  variable span ( -- a-addr ) \ core-ext
     REPEAT      REPEAT
     drop      drop
     \ restore udp and dp      \ restore udp and dp
   [IFDEF] forget-dyncode
       dup cell+ @ forget-dyncode drop
   [THEN]
     @ udp !  dp !      @ udp !  dp !
     \ clean up vocabulary stack      \ clean up vocabulary stack
     0 vp @ 0      0 vp @ 0
Line 254  variable span ( -- a-addr ) \ core-ext Line 286  variable span ( -- a-addr ) \ core-ext
     THEN ;      THEN ;
   
 : marker ( "<spaces> name" -- ) \ core-ext  : marker ( "<spaces> name" -- ) \ core-ext
     \G Create a definition, @var{name} (called a @var{mark}) whose      \G Create a definition, @i{name} (called a @i{mark}) whose
     \G execution semantics are to remove itself and everything       \G execution semantics are to remove itself and everything 
     \G defined after it.      \G defined after it.
     marker, Create A,      marker, Create A,

Removed from v.1.32  
changed lines
  Added in v.1.62


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