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); }