私は継承specmanに次のコードを持っている:私の理解では、毎回some_method()が呼び出されるということです some_method() is {
var a: bool;
if (!a) {
a = some_other_method();
};
};
、aが新たに生成され、それが割り当てられている前には意味がaの値をチェックするには
E(specman)では、リストである変数を宣言したいので、その長さを修正したいと思います。 それは、構造体のメンバーのために行うのは簡単です: thread[2] : list of thread_t;
機能で、「通常の」変数に対して上記の仕事、そして私のような何かをする必要はありませんが: var warned : list of bool;
gen warned keeping {
私が印刷したいリストを持っている: foo: list of string;
私はfooの要素を連結した文字列barを作成したいです。 Perlでは、私はどうなる:specmanでこれを行うには、私は考えることができる $bar = join " ", @foo;
唯一の方法がある:それは非常に悪いパフォーマンスを持っているのと同じよう var bar: string = "";
for
私はspecmanに次のコードを持っている:今 var x := some.very.long.path.to.a.variable.in.another.struct;
while (x == some_value) {
//do something that uses x;
//wait for something
//get a new value for
Specmanのメソッド呼び出しから配列を返すにはどうすればよいですか?例えば。 method a : list of uint is {
var data: list of uint;
.....
result = data;
};
extend sys {
var data_sys: list of uint;
run() is also {