Esempio n. 1
0
 public MainViewModel(IReduxDispatcher sourceDispatcher)
 {
     this.sourceDispatcher            = sourceDispatcher;
     sourceDispatcher.StateChanged   += SourceDispatcher_StateChanged;
     sourceDispatcher.RepliedActions += SourceDispatcher_RepliedActions;
     dispatcher.StateChanged         += Default_StateChanged;
     GotoStepCommand = new RelayCommand(GotoStep, () => selectedStep != null && !IsResetingState);
 }
 public static void Init(IReduxDispatcher sourceDispatcher)
 {
     //if (Settings.IsHubEnabled)
     //{
     //    SharpReduxManager.Settings.LogLevel = Settings.LogLevel;
     //    SharpReduxManager.Start(Settings.UploadToken, Settings.DownloadToken, Settings.HubServer, sourceDispatcher,
     //        new Sharp.Redux.HubClient.Models.EnvironmentInfo("1.0.0", "Miha"),
     //        new SharpReduxManagerSettings(Settings.PersistData, Settings.IncludeState, dataFile: Settings.DataFile));
     //}
 }
        public void Dispatch(IReduxMessage message, IReduxDispatcher next)
        {
            if (next is null)
            {
                throw new ArgumentNullException(nameof(next));
            }

            if (message is SpeakMessage speak)
            {
                Speak(speak.TextToSay);
            }

            next.Dispatch(message);
        }
Esempio n. 4
0
 public void Dispatch(IReduxMessage message, IReduxDispatcher next)
 {
     LastCapturedMessage = message;
     next.Dispatch(message);
 }
Esempio n. 5
0
 public void Dispatch(IReduxMessage message, IReduxDispatcher next)
 => _dispatch(message, next);
Esempio n. 6
0
 public void Dispatch(IReduxMessage message, IReduxDispatcher next)
 {
     // do nothing
 }
Esempio n. 7
0
 public static void Init(IReduxDispatcher sourceDispatcher, string[] ignoredNamespacePrefixes = null)
 {
     IgnoredNamespacePrefixes = ignoredNamespacePrefixes ?? new string[0];
     VisualizerDispatcher.Init();
     MainViewModel = new MainViewModel(sourceDispatcher);
 }
Esempio n. 8
0
 public Communicator(IReduxDispatcher dispatcher, HttpClient http)
 {
     this.dispatcher = dispatcher;
     this.http       = http;
 }