Diff for /gforth/search.fs between versions 1.5 and 1.20

version 1.5, 1998/10/10 10:28:35 version 1.20, 2002/01/05 22:58:59
Line 1 Line 1
 \ search order wordset                                 14may93py  \ search order wordset                                 14may93py
   
 \ Copyright (C) 1995 Free Software Foundation, Inc.  \ Copyright (C) 1995,1996,1997,1998,2000 Free Software Foundation, Inc.
   
 \ This file is part of Gforth.  \ This file is part of Gforth.
   
Line 16 Line 16
   
 \ 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, write to the Free Software
 \ Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.  \ Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111, USA.
   
 $10 constant maxvp  $10 Value maxvp         \ current size of search order stack
 Variable vp  $400 Value maxvp-limit  \ upper limit for resizing search order stack
   0 A, 0 A,  0 A, 0 A,   0 A, 0 A,   0 A, 0 A,   0 AValue vp             \ will be initialized later (dynamic)
   0 A, 0 A,  0 A, 0 A,   0 A, 0 A,   0 A, 0 A,   
   : get-current  ( -- wid ) \ search
 : get-current  ( -- wid )  current @ ;    \G @i{wid} is the identifier of the current compilation word list.
 : set-current  ( wid -- )  current ! ;    current @ ;
   
 \ : context ( -- addr )  vp dup @ cells + ;  : set-current  ( wid -- )  \ search
 : vp! dup vp ! cells vp + to context ;    \G Set the compilation word list to the word list identified by @i{wid}.
 : definitions  ( -- )  context @ current ! ;    current ! ;
   
   :noname ( -- addr )
       vp dup @ cells + ;
   is context
   
   : vp! ( u -- )
       vp ! ;
   : definitions  ( -- ) \ search
     \G Set the compilation word list to be the same as the word list
     \G that is currently at the top of the search order.
     context @ current ! ;
   
 \ wordlist Vocabulary also previous                    14may93py  \ wordlist Vocabulary also previous                    14may93py
   
Line 37  Variable slowvoc   0 slowvoc ! Line 48  Variable slowvoc   0 slowvoc !
 \ Forth-wordlist AConstant Forth-wordlist  \ Forth-wordlist AConstant Forth-wordlist
   
 : mappedwordlist ( map-struct -- wid )  \ gforth  : mappedwordlist ( map-struct -- wid )  \ gforth
 \G creates a wordlist with a special map-structure  \G Create a wordlist with a special map-structure.
   here swap A, 0 A, voclink @ A, 0 A,    here swap A, 0 A, voclink @ A, 0 A,
   dup wordlist-link voclink !    dup wordlist-link voclink !
   dup initvoc ;    dup initvoc ;
   
 : wordlist  ( -- wid )  : wordlist  ( -- wid ) \ search
     \G Create a new, empty word list represented by @i{wid}.
   slowvoc @    slowvoc @
   IF    \ this is now f83search because hashing may be loaded already    IF    \ this is now f83search because hashing may be loaded already
         \ jaw          \ jaw
Line 50  Variable slowvoc   0 slowvoc ! Line 62  Variable slowvoc   0 slowvoc !
   ELSE  Forth-wordlist wordlist-map @   THEN    ELSE  Forth-wordlist wordlist-map @   THEN
   mappedwordlist ;    mappedwordlist ;
   
 : Vocabulary ( -- ) Create wordlist drop  DOES> context ! ;  : Vocabulary ( "name" -- ) \ gforth
     \G Create a definition "name" and associate a new word list with it.
 : also  ( -- )    \G The run-time effect of "name" is to replace the @i{wid} at the
   context @ vp @ 1+ dup maxvp > abort" Vocstack full"    \G top of the search order with the @i{wid} associated with the new
   vp! context ! ;    \G word list.
     Create wordlist drop  DOES> context ! ;
 : previous ( -- )  vp @ 1- dup 0= abort" Vocstack empty" vp! ;  
   : check-maxvp ( n -- )
      dup maxvp-limit > -49 and throw
      dup maxvp > IF
         BEGIN  dup  maxvp 2* dup TO maxvp  <= UNTIL
         vp  maxvp 1+ cells resize throw TO vp
      THEN drop ;
   
   : >order ( wid -- ) \ gforth to-order
       \g Push @var{wid} on the search order.
       vp @ 1+ dup check-maxvp vp! context ! ;
   
   : also  ( -- ) \ search-ext
     \G Like @code{DUP} for the search order. Usually used before a
     \G vocabulary (e.g., @code{also Forth}); the combined effect is to push
     \G the wordlist represented by the vocabulary on the search order.
     context @ >order ;
   
   : previous ( -- ) \ search-ext
     \G Drop the wordlist at the top of the search order.
     vp @ 1- dup 0= -50 and throw vp! ;
   
 \ vocabulary find                                      14may93py  \ vocabulary find                                      14may93py
   
Line 102  slowvoc off Line 134  slowvoc off
   
 \ Only root                                            14may93py  \ Only root                                            14may93py
   
 Vocabulary Forth  Vocabulary Forth ( -- ) \ gforthman- search-ext
 Vocabulary Root    \G Replace the @i{wid} at the top of the search order with the
     \G @i{wid} associated with the word list @code{forth-wordlist}.
   
   
   Vocabulary Root ( -- ) \ gforth
     \G Add the root wordlist to the search order stack.  This vocabulary
     \G makes up the minimum search order and contains only a
     \G search-order words.
   
   : Only ( -- ) \ search-ext
     \G Set the search order to the implementation-defined minimum search
     \G order (for Gforth, this is the word list @code{Root}).
     1 vp! Root also ;
   
   : init-vp  ( -- )
      $10 TO maxvp
      maxvp 1+ cells allocate throw TO vp
      Only Forth also definitions ;
   
   :noname
      init-vp DEFERS 'cold ;
   IS 'cold
   
 : Only  1 vp! Root also ;  init-vp
   
 \ set initial search order                             14may93py  \ set initial search order                             14may93py
   
 Forth-wordlist wordlist-id @ ' Forth >body wordlist-id !  Forth-wordlist wordlist-id @ ' Forth >body wordlist-id !
   
 0 vp! also Root also definitions  
 Only Forth also definitions  
 lookup ! \ our dictionary search order becomes the law ( -- )  lookup ! \ our dictionary search order becomes the law ( -- )
   
 ' Forth >body to Forth-wordlist \ "forth definitions get-current" and "forth-wordlist" should produce the same wid  ' Forth >body to Forth-wordlist \ "forth definitions get-current" and "forth-wordlist" should produce the same wid
Line 120  lookup ! \ our dictionary search order b Line 171  lookup ! \ our dictionary search order b
   
 \ get-order set-order                                  14may93py  \ get-order set-order                                  14may93py
   
 : get-order  ( -- wid1 .. widn n )  : get-order  ( -- widn .. wid1 n ) \ search
   vp @ 0 ?DO  vp cell+ I cells + @  LOOP  vp @ ;    \G Copy the search order to the data stack. The current search order
     \G has @i{n} entries, of which @i{wid1} represents the wordlist
 : set-order  ( wid1 .. widn n / -1 -- )    \G that is searched first (the word list at the top of the search
   dup -1 = IF  drop Only exit  THEN  dup vp!    \G order) and @i{widn} represents the wordlist that is searched
   ?dup IF  1- FOR  vp cell+ I cells + !  NEXT  THEN ;    \G last.
     vp @ 0 ?DO vp cell+ I cells + @ LOOP vp @ ;
 : seal ( -- )  context @ 1 set-order ;  
   : set-order  ( widn .. wid1 n -- ) \ gforthman- search
       \G If @var{n}=0, empty the search order.  If @var{n}=-1, set the
       \G search order to the implementation-defined minimum search order
       \G (for Gforth, this is the word list @code{Root}). Otherwise,
       \G replace the existing search order with the @var{n} wid entries
       \G such that @var{wid1} represents the word list that will be
       \G searched first and @var{widn} represents the word list that will
       \G be searched last.
       dup -1 = IF
           drop only exit
       THEN
       dup check-maxvp
       dup vp!
       ?dup IF 1- FOR vp cell+ I cells + !  NEXT THEN ;
   
   : seal ( -- ) \ gforth
     \G Remove all word lists from the search order stack other than the word
     \G list that is currently on the top of the search order stack.
     context @ 1 set-order ;
   
 : .voc  : .voc
     body> >head name>string type space ;      body> >head-noprim name>string type space ;
   
 : order ( -- )  \  search-ext  : order ( -- )  \  gforthman- search-ext
     \g prints the search order and the @code{current} wordlist.  The    \G Print the search order and the compilation word list.  The
     \g standard requires that the wordlists are printed in the order    \G word lists are printed in the order in which they are searched
     \g in which they are searched. Therefore, the output is reversed    \G (which is reversed with respect to the conventional way of
     \g with respect to the conventional way of displaying stacks. The    \G displaying stacks). The compilation word list is displayed last.
     \g @code{current} wordlist is displayed last.    \ The standard requires that the word lists are printed in the order
     \ in which they are searched. Therefore, the output is reversed
     \ with respect to the conventional way of displaying stacks.
     get-order 0      get-order 0
     ?DO      ?DO
         .voc          .voc
Line 145  lookup ! \ our dictionary search order b Line 217  lookup ! \ our dictionary search order b
     4 spaces get-current .voc ;      4 spaces get-current .voc ;
   
 : vocs ( -- ) \ gforth  : vocs ( -- ) \ gforth
     \g prints vocabularies and wordlists defined in the system.      \G List vocabularies and wordlists defined in the system.
     voclink      voclink
     BEGIN      BEGIN
         @ dup          @ dup
Line 156  lookup ! \ our dictionary search order b Line 228  lookup ! \ our dictionary search order b
   
 Root definitions  Root definitions
   
 ' words Alias words  ' words Alias words  ( -- ) \ tools
   \G Display a list of all of the definitions in the word list at the top
   \G of the search order.
 ' Forth Alias Forth  ' Forth Alias Forth
 ' forth-wordlist alias forth-wordlist  ' forth-wordlist alias forth-wordlist ( -- wid ) \ search
     \G @code{Constant} -- @i{wid} identifies the word list that includes all of the standard words
     \G provided by Gforth. When Gforth is invoked, this word list is the compilation word
     \G list and is at the top of the search order.
 ' set-order alias set-order  ' set-order alias set-order
 ' order alias order  ' order alias order
   

Removed from v.1.5  
changed lines
  Added in v.1.20


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