Exemple #1
0
        void InitializeViews()
        {
            this.Width = 950;
            var btn = new Button {
                Content = "Start"
            };

            btn.Click += async delegate
            {
                var t = new TargetsDef();
                t.MatchString = " ";
                StreamReadPipe  pipe1 = new StreamReadPipe(OpenFileRead());
                var             pipe2 = new ReplacePipe(pipe1.ClientHandleString, t);
                StreamWritePipe pipe3 = new StreamWritePipe(pipe2.ClientHandleString, OpenFileWrite());
                new Thread(() => pipe1.Start()).Start();
                new Thread(() => pipe2.Start()).Start();
                new Thread(() => pipe3.Start()).Start();
                while (true)
                {
                    await Task.Delay(500);

                    this.Title = $"{pipe1}, {pipe2}, {pipe3}";
                }
            };
            this.Content = btn;
        }
Exemple #2
0
 public SymbolsPicker(TargetsDef targetsDef)
 {
     this.Targets = targetsDef;
     InitializeViews();
     space  = new TargetsDef.Picker(Targets, " ");
     t      = new TargetsDef.Picker(Targets, "\t");
     r      = new TargetsDef.Picker(Targets, "\r");
     n      = new TargetsDef.Picker(Targets, "\n");
     az     = new TargetsDef.Picker(Targets, "abcdefghijklmnopqrstuvwxyz");
     AZ     = new TargetsDef.Picker(Targets, "ABCDEFGHIJKLMNOPQRSTUVWXYZ");
     digit  = new TargetsDef.Picker(Targets, "0123456789");
     symbol = new TargetsDef.Picker(Targets, symbols_string);
 }
Exemple #3
0
 public ReplacePipe(string handleString, TargetsDef targets) : base(handleString)
 {
     this.Targets = targets;
 }
Exemple #4
0
 public Picker(TargetsDef parent, string symbols)
 {
     this.parent  = parent;
     this.symbols = new SortedSet <char>(symbols);
 }