制御コマンド

if

( flag -- ) 

flag が true の場合、このコマンドの後のコードを実行します。

else

( -- ) 

if が false の場合、このコマンドの後のコードを実行します。

then

( -- ) 

if...else...then を終了します。

flag if
    (true の場合これを実行)
else
    (false の場合これを実行)
then
    (通常どおりに実行を継続) 

flag if
    (true の場合これを実行)
then
    (通常どおりに実行を継続)

ok : testit  ( n -- )  
] 5 >  if  ." good enough "  
] else  ." too small "  
] then  
] ." Done. "  ; 
ok
ok 8 testit
good enough Done. 
ok 2 testit 
too small Done. 
ok 

( selector -- selector )  

case...endcase 条件付き構造を開始します。

( selector | {empty} -- ) 

case...endcase 条件付き構造を終了します。

( -- ) 

条件付き構造内の of...endof 句を終了します。

( selector test-value -- selector | {empty} ) 

case 条件付き構造内の of...endof 句を開始します。

ok : testit  ( testvalue -- )
]  case  0  of  ." It was zero "  endof 
]    1  of  ." It was one "  endof 
]    ff of  ." Correct "  endof 
]    -2 of  ." It was minus-two "  endof 
]    ( default )  ." It was this value: "  dup . 
]  endcase   ." All done."  ; 
ok
ok 1 testit
It was one All done.
ok ff testit
Correct All done.
ok 4 testit
It was this value: 4 All done.
ok 

( -- ) 

begin...again 無限ループを終了します。

( -- ) 

begin...while...repeat、begin...until または begin...again ループを開始します。

( -- ) 

begin...while...repeat ループを終了します。

( flag -- ) 

flag が true である間、begin...until ループの実行を続けます。

( flag -- ) 

flag が true の間、begin...while...repeat ループの実行を続けます。

begin    any commands...flag until 

begin    any commands...flagwhile
       more commands repeat

ok begin 4000 c@ .  key? until (任意のキーが押されるまで繰り返す)
43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43
ok 

( n -- ) 

do...+loop 構造を終了します。ループインデックスに n を加算し、do に戻ります (n < 0 の場合は、インデックスは start から end まで使用されます)。

( end start -- ) 

?do...loop の 0 回またはそれ以上の実行を開始します。インデックスは start から end-1 まで使用されます。end = start の場合はループは実行されません。

( flag -- ) 

flag がゼロ以外の場合、実行を do...loop から抜けます。

( end start -- ) 

do...loop を開始します。インデックスは start から end まで使用されます。

例: 10 0 do i . loop ( 0 1 2...d e f と出力します)

( -- n ) 

ループインデックスをスタックに残します。 

( -- n ) 

1 つ外側のループのループインデックスをスタックに残します。 

( -- ) 

実行を do...loop から抜けます。

( -- ) 

do...loop を終了します。

ok 10 5 do  i .  loop 
5 6 7 8 9 a b c d e f
ok
ok 2000 1000 do i .  i c@ . cr   i c@ ff = if leave then  4 +loop 
1000 23
1004 0
1008 fe
100c 0
1010 78
1014 ff
ok : scan ( byte -- ) 
]    6000 5000     (5000 〜 6000 のメモリー領域を走査して指定のバイト値に一致しないバイトを調べる)
]    do dup i c@ <> (  byte error? )  
]      if i . then  ( byte ) 
]    loop 
]    drop ( the original byte was still on the stack, discard it ) 
]  ; 
ok 55 scan 
5005 5224 5f99 
ok 6000 5000 do i i c! loop     (メモリー領域にステップパターンを埋め込む)
ok       
ok 500 value testloc 
ok : test16 ( -- ) 1.0000 0 ( do 0-ffff )     (指定位置に異なる 16 ビット値を書き込む)
]     do i testloc w! testloc w@ i <> ( error? )      (さらに位置をチェック)
]       if ." Error - wrote " i . ." read " testloc w@ . cr 
]        leave ( exit after first error found )      (この行は省略可能)
]       then 
]     loop 
]  ; 
ok test16 
ok 6000 to testloc 
ok test16 
Error - wrote 200 read 300 
ok 

( -- ) 

現在の実行を終了させ、キーボードコマンドを解釈します。 

( abort? -- ) 

abort? が true の場合は、実行を終了させてメッセージを表示します。

( addr len -- ) 

配列から Forth のソースを解釈します。 

( xt -- ) 

実行トークンがスタックにあるワードを実行します。 

( -- ) 

現在のワードから復帰します。(カウント付きループでは使用できません。) 

( -- ) 

スタック内容をまったく変えない点を除いて、abort と同じです。