protected TimeManager(Timer timer) { this.timer = timer; Time = 0; Width = 10; IsUpdated = true; }
public DiagramSettings(string xElementName, System.Windows.Forms.PropertyGrid propertyGrid, Timer timer, Diagram diagram) : base(xElementName) { this.propertyGrid = propertyGrid; this.timer = timer; this.diagram = diagram; Initialize(); }
public Settings(System.Windows.Forms.PropertyGrid propertyGrid, MainWindow mainWindow, Viewport viewport, Drawer drawer, Timer timer, Diagram diagram, RectangleSelector zoomSelector, RectangleSelector unZoomSelector, Dragger panDragger, VisibleFrameCounter frameCounter) : base("Settings") { this.mainWindow = mainWindow; this.viewport = new ViewportSettings("ViewportSettings", viewport); this.drawer = new DrawerSettings("DrawerSettings", drawer); this.diagram = new DiagramSettings("DiagramSettings", propertyGrid, timer, diagram); this.zoomSelector = new RectangleSelectorSettings("ZoomSelectorSettings", zoomSelector); this.unZoomSelector = new RectangleSelectorSettings("UnZoomSelectorSettings", unZoomSelector); this.panDragger = new DraggerSettings("PanDraggerSettings", panDragger); this.frameCounter = new FrameCounterSettings("FrameCounterSettings", frameCounter); }
public Session(Timer timer, IEnumerable<string> portStrings) { List<string> textPortStrings = new List<string>(); List<string> yarpPortStrings = new List<string>(); List<string> rosPortStrings = new List<string>(); foreach (string portString in portStrings) { if (portString.Length < 2) throw new InvalidOperationException("\"" + portString + "\" is not a valid port string"); switch (portString.Substring(0, 2)) { case "t:": textPortStrings.Add(portString.Substring(2)); break; case "y:": yarpPortStrings.Add(portString.Substring(2)); break; case "r:": rosPortStrings.Add(portString.Substring(2)); break; default: throw new InvalidOperationException("\"" + portString + "\" is not a valid port string"); } } if (yarpPortStrings.Any()) this.yarpNetwork = new YarpNetwork(); if (rosPortStrings.Any()) this.rosNetwork = new RosNetwork(); List<Receiver> receivers = new List<Receiver>(); foreach (string portString in textPortStrings) { string name = portString.Split(':').First(); Port port = name == "-" ? new TextReaderPort() : new TextReaderPort(name); receivers.Add(new Receiver(port, timer, portString)); } foreach (string portString in yarpPortStrings) { string name = portString.Split(':').First(); Port port = new YarpReaderPort(name, yarpNetwork); receivers.Add(new Receiver(port, timer, portString)); } foreach (string portString in rosPortStrings) { string name = portString.Split(':').First(); Port port = new RosPort(name, rosNetwork); receivers.Add(new Receiver(port, timer, portString)); } this.receivers = receivers; if (receivers.Count(receiver => receiver.HasTimer) > 1) throw new ArgumentException("More than one timer stream was found."); this.capture = new Capture ( from receiver in receivers select new PortData(receiver.PortName, receiver.PortStreams) ); }
public MainWindow(Parameters parameters) { Console.WriteLine("Initializing graphics and user interface..."); InitializeComponent(); Text = title; this.parameters = parameters; this.drawer = new Drawer(viewport); this.timer = new Data.Timer(); this.diagram = CreateDiagram(viewport, drawer, timer, parameters); this.zoomSelector = new RectangleSelector(drawer, viewport); this.zoomSelector.Button = MouseButtons.Left; this.zoomSelector.Color = System.Drawing.Color.White; this.zoomSelector.EndSelect += zoomSelector_Select; this.unZoomSelector = new RectangleSelector(drawer, viewport); this.unZoomSelector.Button = MouseButtons.Middle; this.unZoomSelector.Color = System.Drawing.Color.Blue; this.unZoomSelector.EndSelect += unZoomSelector_Select; this.panDragger = new Dragger(viewport); this.panDragger.Button = MouseButtons.Right; this.panDragger.Drag += panDragger_Drag; this.panDragger.EndDrag += panDragger_EndDrag; this.frameCounter = new VisibleFrameCounter(drawer); this.frameCounter.Color = System.Drawing.Color.Yellow; this.frameCounter.Alignment = TextAlignment.Far; this.coordinateLabel = new CoordinateLabel(coordinateStatusLabel, viewport, diagram); NewSession(parameters.PortStrings); if (parameters.MinimalMode != null) MinimalMode = parameters.MinimalMode.Value; this.settings = new Settings(properties, this, viewport, drawer, timer, diagram, zoomSelector, unZoomSelector, panDragger, frameCounter); if (System.IO.File.Exists(SettingsPath)) this.settings.XElement = XElement.Load(SettingsPath); properties.SelectedObject = settings; viewport.AddComponent(diagram); viewport.AddComponent(zoomSelector); viewport.AddComponent(unZoomSelector); viewport.AddComponent(frameCounter); viewport.AddComponent(coordinateLabel); }
public ContinuousTimeManager(Timer timer) : base(timer) { }
public ShiftingTimeManager(Timer timer) : base(timer) { ShiftLength = 0.8; }
public WrappingTimeManager(Timer timer) : base(timer) { GapLength = 0.2; }