[BACK]Return to recognizer.fs CVS log [TXT] [DIR] Up to [gforth] / gforth / kernel

Diff for /gforth/kernel/recognizer.fs between versions 1.6 and 1.7

version 1.6, 2011/10/05 21:17:09 version 1.7, 2011/10/06 20:04:35
Line 15 Line 15
 \ interpret it, compile interpretation semantics  \ interpret it, compile interpretation semantics
 \ compile it, compile it as literal.  \ compile it, compile it as literal.
   
 : recognizer: ( xt1 xt2 xt3 xt4 -- ) Create 2swap swap 2, swap 2, ;  : recognizer: ( xt1 xt2 xt3 -- ) Create rot , swap , , ;
   
 (field) r>int     ( r-addr -- addr )  0 cells ,  (field) r>int      ( r-addr -- addr )  0 cells ,
 (field) r>compint ( r-addr -- )       1 cells ,  (field) r>comp     ( r-addr -- )       1 cells ,
 (field) r>comp    ( r-addr -- )       2 cells ,  (field) r>lit      ( r-addr -- )       2 cells ,
 (field) r>lit     ( r-addr -- )       3 cells ,  
   
 :noname ( ... nt -- ) name>int execute ;  :noname ( ... nt -- ) name>int execute ;
 :noname ( ... nt -- ) name>int compile, ;  
 :noname ( ... nt -- ) name>comp execute ;  :noname ( ... nt -- ) name>comp execute ;
 :noname ( ... nt -- ) postpone Literal ;  :noname ( ... nt -- ) postpone Literal ;
 recognizer: r:interpreter  Create r:interpreter rot A, swap A, A,
   
 :noname ( addr u -- nt int-table true | addr u false )  :noname ( addr u -- nt int-table true | addr u false )
     2dup find-name [ [IFDEF] prelude-mask ] run-prelude [ [THEN] ] dup      2dup find-name [ [IFDEF] prelude-mask ] run-prelude [ [THEN] ] dup
Line 37  recognizer: r:interpreter Line 35  recognizer: r:interpreter
 ' noop  ' noop
 :noname  postpone Literal ;  :noname  postpone Literal ;
 dup  dup
 dup  Create r:number rot A, swap A, A,
 recognizer: r:number  
   
 ' noop  ' noop
 :noname  postpone 2Literal ;  :noname  postpone 2Literal ;
 dup  dup
 dup  Create r:2number rot A, swap A, A,
 recognizer: r:2number  
   \ snumber? should be implemented as recognizer stack
   
 :noname ( addr u -- nt int-table true | addr u false )  :noname ( addr u -- nt int-table true | addr u false )
     2dup 2>r snumber?  dup      2dup 2>r snumber?  dup
Line 53  recognizer: r:2number Line 51  recognizer: r:2number
     THEN      THEN
     drop 2r> false ; Constant num-recognizer      drop 2r> false ; Constant num-recognizer
   
 ' no.extensions dup 2dup recognizer: r:fail  ' no.extensions dup dup Create r:fail A, A, A,
   
 \ recognizer stack  \ recognizer stack
   
 $10 Constant max-rec#  $10 Constant max-rec#
 Variable forth-recognizer max-rec# cells allot  
   
 : get-recognizers ( rec-addr -- xt1 .. xtn n )  : get-recognizers ( rec-addr -- xt1 .. xtn n )
     dup cell+ swap @ dup >r cells bounds ?DO      dup cell+ swap @ dup >r cells bounds ?DO
Line 71  Variable forth-recognizer max-rec# cells Line 68  Variable forth-recognizer max-rec# cells
         I !          I !
     cell -LOOP ;      cell -LOOP ;
   
 num-recognizer int-recognizer 2 forth-recognizer set-recognizers  Variable forth-recognizer
   
   int-recognizer A, num-recognizer A, max-rec# 2 - cells allot
   2 forth-recognizer !
   \ num-recognizer int-recognizer 2 forth-recognizer set-recognizers
   
 \ recognizer loop  \ recognizer loop
   
Line 92  num-recognizer int-recognizer 2 forth-re Line 93  num-recognizer int-recognizer 2 forth-re
 : interpreter-r ( addr u -- ... xt )  : interpreter-r ( addr u -- ... xt )
     forth-recognizer do-recognizer r>int @ ;      forth-recognizer do-recognizer r>int @ ;
   
   ' interpreter-r IS parser1
   
 : compiler-r ( addr u -- ... xt )  : compiler-r ( addr u -- ... xt )
     forth-recognizer do-recognizer r>comp @ ;      forth-recognizer do-recognizer r>comp @ ;
   
Line 103  num-recognizer int-recognizer 2 forth-re Line 106  num-recognizer int-recognizer 2 forth-re
     \G Enter compilation state.      \G Enter compilation state.
     ['] compiler-r     IS parser1 state on  ;      ['] compiler-r     IS parser1 state on  ;
   
   : >postpone ( token table -- )
       dup r:fail = IF  no.extensions  THEN
       >r r@ r>lit perform r> r>comp @ compile, ;
   
 : postpone ( "name" -- ) \ core  : postpone ( "name" -- ) \ core
     \g Compiles the compilation semantics of @i{name}.      \g Compiles the compilation semantics of @i{name}.
     parse-name forth-recognizer do-recognizer >r      parse-name forth-recognizer do-recognizer >postpone ; immediate
     r@ r>lit perform r> r>comp @ compile, ; immediate  
   
Removed from v.1.6  
changed lines
  Added in v.1.7

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