--- gforth/oof.fs 1997/08/02 20:19:05 1.11 +++ gforth/oof.fs 2002/09/14 08:20:19 1.16 @@ -1,44 +1,48 @@ + \ oof.fs Object Oriented FORTH -\ This file is (c) 1996 by Bernd Paysan -\ e-mail: paysan@informatik.tu-muenchen.de +\ This file is (c) 1996,2000 by Bernd Paysan +\ e-mail: bernd.paysan@gmx.de \ \ Please copy and share this program, modify it for your system \ and improve it as you like. But don't remove this notice. \ \ Thank you. \ -\ The program uses the following words -\ from CORE : -\ decimal : bl word 0= ; = cells Constant Variable ! Create , allot @ IF -\ POSTPONE >r ELSE +! dup + THEN immediate r> * >body cell+ Literal drop -\ align here aligned DOES> execute ['] 2@ recurse swap 1+ over LOOP and -\ EXIT ?dup 0< rot r@ - i negate +LOOP 2drop BEGIN WHILE 2dup REPEAT 1- -\ rshift > / ' move UNTIL or count -\ from CORE-EXT : -\ nip tuck true ?DO compile, false Value erase pick :noname 0<> -\ from BLOCK-EXT : -\ \ -\ from EXCEPTION : -\ throw -\ from EXCEPTION-EXT : -\ abort" -\ from FILE : -\ ( S" -\ from FLOAT : -\ faligned -\ from LOCAL : -\ TO -\ from MEMORY : -\ allocate free -\ from SEARCH : -\ find definitions get-order set-order get-current wordlist set-current -\ search-wordlist -\ from SEARCH-EXT : -\ also Forth previous -\ from STRING : -\ /string compare -\ from TOOLS-EXT : -\ [IF] [THEN] [ELSE] state + +\ The program uses the following words +\ from CORE : +\ decimal : bl word 0= ; = cells Constant Variable ! Create , allot @ +\ IF POSTPONE >r ELSE +! dup + THEN immediate r> * >body cell+ +\ Literal drop align here aligned DOES> execute ['] 2@ recurse swap +\ 1+ over LOOP and EXIT ?dup 0< ] [ rot r@ - i negate +LOOP 2drop +\ BEGIN WHILE 2dup REPEAT 1- rshift > / ' move UNTIL or count +\ from CORE-EXT : +\ nip false Value tuck true ?DO compile, erase pick :noname 0<> +\ from BLOCK-EXT : +\ \ +\ from EXCEPTION : +\ throw +\ from EXCEPTION-EXT : +\ abort" +\ from FILE : +\ ( S" +\ from FLOAT : +\ faligned +\ from LOCAL : +\ TO +\ from MEMORY : +\ allocate free +\ from SEARCH : +\ find definitions get-order set-order get-current wordlist +\ set-current search-wordlist +\ from SEARCH-EXT : +\ also Forth previous +\ from STRING : +\ /string compare +\ from TOOLS-EXT : +\ [IF] [THEN] [ELSE] state +\ from non-ANS : +\ cell dummy [THEN] ?EXIT Vocabulary [ELSE] ( \G \ Loadscreen 27dec95py @@ -51,6 +55,10 @@ define? cell [IF] 1 cells Constant cell [THEN] +define? \G [IF] +: \G postpone \ ; immediate +[THEN] + define? ?EXIT [IF] : ?EXIT postpone IF postpone EXIT postpone THEN ; immediate [THEN] @@ -173,16 +181,26 @@ define? faligned 0= [IF] types definitions -: static ( -- ) mallot Create , #static , - DOES> @ o@ + ; -: method ( -- ) mallot Create , #method , - DOES> @ o@ + @ execute ; -: early ( -- ) Create ['] crash , #early , - DOES> @ execute ; -: var ( size -- ) vallot Create , #var , - DOES> @ ^ + ; -: defer ( -- ) valign cell vallot Create , #defer , - DOES> @ ^ + @ execute ; +: static ( -- ) \ oof- oof + \G Create a class-wide cell-sized variable. + mallot Create , #static , +DOES> @ o@ + ; +: method ( -- ) \ oof- oof + \G Create a method selector. + mallot Create , #method , +DOES> @ o@ + @ execute ; +: early ( -- ) \ oof- oof + \G Create a method selector for early binding. + Create ['] crash , #early , +DOES> @ execute ; +: var ( size -- ) \ oof- oof + \G Create an instance variable + vallot Create , #var , +DOES> @ ^ + ; +: defer ( -- ) \ oof- oof + \G Create an instance defer + valign cell vallot Create , #defer , +DOES> @ ^ + @ execute ; \ dealing with threads 29oct94py @@ -224,7 +242,10 @@ false Value method? IF r> o, ELSE r> drop execute THEN o> false to method? ; : cmethod, ( object early? -- ) - state @ >r state on method, r> state ! ; + state @ dup >r + 0= IF postpone ] THEN + method, + r> 0= IF postpone [ THEN ; : early, ( object -- ) true to oset? true method, state @ oset? and IF postpone o> THEN false to oset? ; @@ -310,7 +331,8 @@ Objects definitions \ instance creation 29mar94py : instance, ( o -- ) alloc @ >r static new, r> alloc ! drop - DOES> state @ IF dup postpone Literal oset? IF postpone op! ELSE postpone >o THEN THEN early, ; + DOES> state @ IF dup postpone Literal oset? IF postpone op! ELSE postpone >o THEN THEN early, +; : ptr, ( o -- ) 0 , , DOES> state @ IF dup postpone Literal postpone @ oset? IF postpone op! ELSE postpone >o THEN cell+ @@ -332,11 +354,12 @@ Variable ob-interface get-order wordlist tuck classlist ! 1+ set-order also types classlist @ set-current ; -: (class ( parent -- ) +: (class-does> DOES> false method, ; + +: (class ( parent -- ) (class-does> here lastob ! true decl ! 0 ob-interface ! 0 , dup voc! dup lastparent ! - dup 0= IF 0 ELSE :method# + 2@ THEN methods ! vars ! - DOES> false method, ; + dup 0= IF 0 ELSE :method# + 2@ THEN methods ! vars ! ; : (is ( addr -- ) bl word findo drop dup defer? abort" not deferred!" @@ -430,23 +453,32 @@ Variable last-interface 0 last-interfac types definitions -: how: ( -- ) decl @ 0= abort" not twice!" 0 decl ! +: how: ( -- ) \ oof- oof how-to +\G End declaration, start implementation + decl @ 0= abort" not twice!" 0 decl ! align interface, lastob! thread, parent, var, 'link, 0 , cells, interfaces, dup IF dup :method# + @ >r :init + swap r> :init /string move ELSE 2drop THEN ; -: class; ( -- ) decl @ IF how: THEN 0 'link ! - voc# @ drop-order old-current @ set-current ; - -: ptr ( -- ) Create immediate lastob @ here lastob ! instptr, ; -: asptr ( addr -- ) cell+ @ Create immediate - lastob @ here lastob ! , , instptr> ; +: class; ( -- ) \ oof- oof end-class +\G End class declaration or implementation + decl @ IF how: THEN 0 'link ! + voc# @ drop-order old-current @ set-current ; + +: ptr ( -- ) \ oof- oof + \G Create an instance pointer + Create immediate lastob @ here lastob ! instptr, ; +: asptr ( class -- ) \ oof- oof + \G Create an alias to an instance pointer, cast to another class. + cell+ @ Create immediate + lastob @ here lastob ! , , instptr> ; : Fpostpone postpone postpone ; immediate -: : ( -- ) decl @ abort" HOW: missing! " +: : ( -- ) \ oof- oof colon + decl @ abort" HOW: missing! " bl word findo 0= abort" not found" dup exec? over early? or over >body cell+ @ 0< or 0= abort" not a method" @@ -454,7 +486,8 @@ types definitions Forth -: ; ( xt colon-sys -- ) postpone ; +: ; ( xt colon-sys -- ) \ oof- oof + postpone ; m-name @ dup >body swap exec? IF @ o@ + ELSE dup cell+ @ 0< IF 2@ swap o@ + @ + THEN @@ -474,30 +507,42 @@ Create object immediate 0 (class \ do static size \ number of variables (bytes) static newlink \ ptr to allocated space static ilist \ interface list - method init - method dispose + method init ( ... -- ) \ object- oof + method dispose ( -- ) \ object- oof - early class - early new immediate - early new[] immediate - early : - early ptr - early asptr - early [] - early :: immediate - early class? - early super immediate - early self - early bind immediate - early bound - early link immediate - early is immediate - early send immediate - early with immediate - early endwith immediate - early ' immediate - early postpone immediate - early definitions + early class ( "name" -- ) \ object- oof + early new ( -- o ) \ object- oof + immediate + early new[] ( n -- o ) \ object- oof new-array + immediate + early : ( "name" -- ) \ object- oof define + early ptr ( "name" -- ) \ object- oof + early asptr ( o "name" -- ) \ object- oof + early [] ( n "name" -- ) \ object- oof array + early :: ( "name" -- ) \ object- oof scope + immediate + early class? ( o -- flag ) \ object- oof class-query + early super ( "name" -- ) \ object- oof + immediate + early self ( -- o ) \ object- oof + early bind ( o "name" -- ) \ object- oof + immediate + early bound ( class addr "name" -- ) \ object- oof + early link ( "name" -- class addr ) \ object- oof + immediate + early is ( xt "name" -- ) \ object- oof + immediate + early send ( xt -- ) \ object- oof + immediate + early with ( o -- ) \ object- oof + immediate + early endwith ( -- ) \ object- oof + immediate + early ' ( "name" -- xt ) \ object- oof tick + immediate + early postpone ( "name" -- ) \ object- oof + immediate + early definitions ( -- ) \ object- oof \ base object class implementation part 23mar95py @@ -551,13 +596,13 @@ class; \ object Objects definitions -: implement ( interface -- ) +: implement ( interface -- ) \ oof-interface- oof align here over , ob-interface @ , ob-interface ! :ilist + @ >r get-order r> swap 1+ set-order 1 voc# +! ; -: inter-method, ( interface -- ) - :ilist + @ bl word count 2dup s" '" compare - 0= dup >r IF 2drop bl word count THEN +: inter-method, ( interface -- ) \ oof-interface- oof + :ilist + @ bl word count 2dup s" '" str= + dup >r IF 2drop bl word count THEN rot search-wordlist dup 0= abort" Not an interface method!" r> IF drop state @ IF postpone Literal THEN EXIT THEN @@ -569,19 +614,23 @@ Variable inter# Vocabulary interfaces interfaces definitions -: method ( -- ) mallot Create , inter# @ , - DOES> 2@ swap o@ + @ + @ execute ; +: method ( -- ) \ oof-interface- oof + mallot Create , inter# @ , +DOES> 2@ swap o@ + @ + @ execute ; -: how: ( -- ) align +: how: ( -- ) \ oof-interface- oof + align here lastif @ ! 0 decl ! here last-interface @ , last-interface ! inter-list @ , methods @ , inter# @ , methods @ :inum cell+ ?DO ['] crash , LOOP ; -: interface; ( -- ) old-current @ set-current +: interface; ( -- ) \ oof-interface- oof + old-current @ set-current previous previous ; -: : ( -- ) decl @ abort" HOW: missing! " +: : ( -- ) \ oof-interface- oof colon + decl @ abort" HOW: missing! " bl word count lastif @ @ :ilist + @ search-wordlist 0= abort" not found" dup >body cell+ @ 0< 0= abort" not a method" @@ -589,19 +638,23 @@ Vocabulary interfaces interfaces defini Forth -: ; ( xt colon-sys -- ) postpone ; +: ; ( xt colon-sys -- ) \ oof-interface- oof + postpone ; m-name @ >body @ lastif @ @ + ! ; immediate Forth definitions -: interface ( -- ) - Create here lastif ! 0 , get-current old-current ! +: interface-does> + DOES> @ decl @ IF implement ELSE inter-method, THEN ; +: interface ( -- ) \ oof-interface- oof + Create interface-does> + here lastif ! 0 , get-current old-current ! last-interface @ dup IF :inum @ THEN 1 cells - inter# ! get-order wordlist dup inter-list ! dup set-current swap 1+ set-order true decl ! - 0 vars ! :inum cell+ methods ! also interfaces - DOES> @ decl @ IF implement ELSE inter-method, THEN ; + 0 vars ! :inum cell+ methods ! also interfaces ; previous previous +