たいのですが待ちのイベントのリストのイベントspecman?

Question

い構造体にspecman:

struct foo_s {
    event foo_ev;

    // some code that will emit foo_ev sometimes
};

一覧:

var foo_l: list of foo_s;  // later code will manage the list

ていきたい同期の foo_ev イベントの一覧:

first of {
    sync @foo_l[0].foo_ev;
    sync @foo_l[1].foo_ev;
    sync @foo_l[2].foo_ev;
    //etc
};

問題は、このスニペットをいか分からない要素に foo_l.がくるのを待つ 他の の foo_ev イベントの排出される?

Answer 1

は、手動でイベントをカスケードできます：

unit bar_u {
    foo_l: list of foo_s;  
    event any_foo_toggled_e;
}

struct foo_s {
    event foo_e;
    on foo_e {
        emit get_enclosing_unit(bar_u).any_foo_toggled_e;
    };

    // some code that will emit foo_ev sometimes
};

Answer 2

別の提言を利用する計算をクリックします。の概念をマクロ計算は、シンプルにわかりやすく書くコードを生成するe-コードです。このアプローチまでの長さ foo_l を生成し first of { sync ... リストとしての入れ替えをクリックします。

また、現在いないの料理一例が、Specman書類はできるだけお友達に入っています。っていない場合は耳にした計算値マクロなので、間違いなく一見の価値があります。

[更新]: チームSpecmanいだけで掲載され 例マクロ計算.も 古い投稿 この話題です。