⟩RESOLVE: различия между версиями

Материал из ПМК вики
Перейти к навигации Перейти к поиску
 
(не показаны 3 промежуточные версии этого же участника)
Строка 2: Строка 2:
  >RESOLVE      ( a −− )                            Разрешить ссылку вперёд в адресе a.
  >RESOLVE      ( a −− )                            Разрешить ссылку вперёд в адресе a.


Слово >RESOLVE снимает [[Единое адресное пространство|адрес]], занесённый словом [[⟩MARK|>MARK]], со [[Стек данных|стека]] и вписывает в него ссылку на текущую вершину [[Словарь|словаря]] в соответствии с требованиями [[BRANCH]] и [[?BRANCH]].
Слово >RESOLVE снимает со [[Стек данных|стека]] [[Единое адресное пространство|адрес]], занесённый туда словом [[⟩MARK|>MARK]], и вписывает по этому адресу ссылку на текущую вершину [[Словарь|словаря]] в соответствии с требованиями [[BRANCH]] и [[?BRANCH]].


== Ввод слова >RESOLVE ==
== Ввод слова >RESOLVE ==
Строка 28: Строка 28:
3644                .DW SUB, SWAP, STORE, EXIT
3644                .DW SUB, SWAP, STORE, EXIT
</pre>
</pre>
Реализация из SP-Forth 4.20:
 
=== Реализации в SP-Forth 4.20 ===
<pre>
<pre>
: >RESOLVE1 ( A -> )
: >RESOLVE1 ( A -> )
Строка 39: Строка 40:
           ELSE 2 <> IF -2007 THROW THEN \ ABORT" Conditionals not paired"
           ELSE 2 <> IF -2007 THROW THEN \ ABORT" Conditionals not paired"
               >RESOLVE1
               >RESOLVE1
          THEN
;
</pre>
<pre>
: TC>RESOLVE1 ( A -> )
  DUP
    DP @ DUP TO :-SET
    OVER - 4 -
    SWAP !
\  J_OPT? IF ." R=" BASE @ HEX LAST-HERE U. DP @ U. BASE ! THEN
RESOLVE_OPT
;
: TC>RESOLVE ( A, N -- )
  DUP 1 = IF  DROP TC>RESOLVE1
          ELSE 2 <> IF -2007 THROW THEN \ ABORT" Conditionals not paired"
              TC>RESOLVE1
          THEN
;
</pre>
<pre>
: >ORESOLVE1 ( A -> )
  ?SET
  DUP
    DP @ DUP TO :-SET
    OVER - 4 -
    SWAP !
  RESOLVE_OPT
;
: >ORESOLVE ( A, N -- )
  DUP 1 = IF  DROP >ORESOLVE1
          ELSE 2 <> IF -2007 THROW THEN \ ABORT" Conditionals not paired"
              >ORESOLVE1
           THEN
           THEN
;
;

Текущая версия от 22:45, 6 марта 2019

>RESOLVE (разрешить) — фортовское слово Каллисто. Завершить компиляцию перехода вперёд.

>RESOLVE       ( a −− )                             Разрешить ссылку вперёд в адресе a.

Слово >RESOLVE снимает со стека адрес, занесённый туда словом >MARK, и вписывает по этому адресу ссылку на текущую вершину словаря в соответствии с требованиями BRANCH и ?BRANCH.

Ввод слова >RESOLVE[править]

В режиме NUM последовательно нажмите клавиши  F   ИП     Р-ГРД-Г   ×   ИП   1   5         ИП 

Для возврата в режим NUM нажмите синюю клавишу  P .

>RESOLVE в предыдущем стандарте Forth-83 (англ.)[править]

     >RESOLVE     addr --                       C,83 "forward-resolve"
          Used at the destination of a forward branch.  Calculates the
          branch address (to the current location in the dictionary)
          using addr and places this branch address into the space
          left by >MARK .

Реализация[править]

3636 ;#FwdRESOLVE
3637 ; >RESOLVE         ( a −− )                             Разрешить ссылку вперёд в адресе a.
3638 LGRESOLVE:      .DB     8
3639                 .TEXT   ">RESOLVE"
3640                 .DW     LGMARK
3641 GRESOLVE:       .DW CALL
3642 RGRESOLVE:      .DW HERE, LITP
3643                 .DB 39,17                       ; 10001
3644                 .DW SUB, SWAP, STORE, EXIT

Реализации в SP-Forth 4.20[править]

: >RESOLVE1 ( A -> )
  HERE OVER - 4 -
  SWAP !
;

: >RESOLVE ( A, N -- )
  DUP 1 = IF   DROP >RESOLVE1
          ELSE 2 <> IF -2007 THROW THEN \ ABORT" Conditionals not paired"
               >RESOLVE1
          THEN
;
: TC>RESOLVE1 ( A -> )
  DUP
    DP @ DUP TO :-SET
    OVER - 4 -
    SWAP !
\   J_OPT? IF ." R=" BASE @ HEX LAST-HERE U. DP @ U. BASE ! THEN
 RESOLVE_OPT

;

: TC>RESOLVE ( A, N -- )
  DUP 1 = IF   DROP TC>RESOLVE1
          ELSE 2 <> IF -2007 THROW THEN \ ABORT" Conditionals not paired"
               TC>RESOLVE1
          THEN
;
: >ORESOLVE1 ( A -> )
  ?SET
  DUP
    DP @ DUP TO :-SET
    OVER - 4 -
    SWAP !
  RESOLVE_OPT
;

: >ORESOLVE ( A, N -- )
  DUP 1 = IF   DROP >ORESOLVE1
          ELSE 2 <> IF -2007 THROW THEN \ ABORT" Conditionals not paired"
               >ORESOLVE1
          THEN
;

Советская реализация[править]

Описание и определение слова >RESOLVE в ядре ФОРТ-ЕС:

>RESOLVE К А-> РАЗРЕШИТЬ ССЫЛКУ ВПЕРЕД В АДРЕСЕ А               19

                     Экран номер 19
( 31.03.86   СРАВНЕНИЯ И РАЗРЕШЕНИЯ В ШИТОМ КОДЕ)

: >RESOLVE ( A->) HERE SWAP ! ;

Ссылки[править]


  У этой статьи нет иллюстраций. Вы можете помочь проекту, добавив их.


  Это заготовка статьи. Вы можете помочь проекту, дополнив её.