private IProcess GetNilDriver()
{
Array enumValues = _tState.GetEnumValues();
object defaultState = Activator.CreateInstance(_tState);
return(_altState.Instance.DriveUT(SignalSource.CreateUT(defaultState)));
}
private IProcess GetStateDriver(BranchLabel target)
{
Array enumValues = _tState.GetEnumValues();
Debug.Assert(target.CStep >= 0 && target.CStep < enumValues.Length);
object stateValue = enumValues.GetValue(target.CStep);
return(_altState.Instance.DriveUT(SignalSource.CreateUT(stateValue)));
}
public override IProcess ToProcess()
{
return(Target.ToSignal().DriveUT(SignalSource.CreateUT(Value)));
}