dp_gr_flags
, dp_gr_print
dp_gr_main()
, dp_gr_mod_main()
実行時におけるさまざま
なパラメタを設定, 参照する.
["Print",1,"NoSugar",1,...]
なる形のリストで, 左から順に
設定される. パラメタ名は文字列で与える必要がある.
dp_gr_print()
は, 特にパラメタ Print
の値を直接設定, 参照
できる. これは, dp_gr_main()
などをサブルーチンとして用いるユーザ
函数において, Print
の値を見て, そのサブルーチンが中間情報の表示
を行う際に, 迅速にフラグを見ることができるように用意されている.
Go to the first, previous, next, last section, table of contents.