15.意外と使えるgoto　


1 /*3,4,5をループ実行*/
2 active proctype go_to_A() {
3  A:
4 　 printf("Hello World!"); 　
5    goto A;
6 }

　gotoは嫌いですか？
　C言語でgotoを乱発すると怒られますよね。でも、Promelaではgotoを使うと楽なことが少々・・・
　のちのち説明するabstraction（抽象化）を行う際に乱発しますので、一応説明しておきます。※
3 A:
これはラベルです。A:という場所を示すことができます。
5 goto A;
　ここまでプログラムが進んだら、Aに飛べ！という意味です。
※ gotoを使わなくても記述することはできます。