public void Refresh_OK_ab_FuncList()
{
// 状態Aから状態Bへの変化条件が登録済みのため動作する
int lambdaCheck = 0;
VEFD func = () => { lambdaCheck = 1; };//<Refresh_OK_ab>g__func|0
VE[] list =
{
new VE("a", "b",
VE.Func(() => { lambdaCheck = 1; }), /* <Refresh_OK_ab>b__1 */
func, /* <Refresh_OK_ab_FuncList>b__0 */
NameCheckFunc, /* NameCheckFunc */
() => { lambdaCheck = 1; } /* <Refresh_OK_ab_FuncList>b__2 */)
};
ins = new TW_StateVector("Refresh_OK_ab_FuncList", "a", list);
ins.EnableRefreshTrace = true;
ins.Refresh("b");
Assert.AreEqual(1, lambdaCheck);
}
public void Refresh_OK_ab_bb()
{
// 状態A or Bから状態Bへの変化条件が登録済みのため動作する
int lambdaCheck = 0;
VEFD func = () => { lambdaCheck++; };
VE[] list =
{
new VE(
VE.HeadOr("a", "b"),
"b",
VE.Func(func))
};
ins = new TW_StateVector("Refresh_OK_ab_bb", "a", list);
ins.EnableRefreshTrace = true;
ins.Refresh("b");
Assert.AreEqual(1, lambdaCheck);
ins.Refresh("b");
Assert.AreEqual(2, lambdaCheck);
}
