Exemplo n.º 1
0
        protected TimeManager(Timer timer)
        {
            this.timer = timer;

            Time = 0;
            Width = 10;
            IsUpdated = true;
        }
Exemplo n.º 2
0
        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();
        }
Exemplo n.º 3
0
 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);
 }
Exemplo n.º 4
0
        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)
            );
        }
Exemplo n.º 5
0
        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)
 {
 }
Exemplo n.º 7
0
 public ShiftingTimeManager(Timer timer)
     : base(timer)
 {
     ShiftLength = 0.8;
 }
Exemplo n.º 8
0
 public WrappingTimeManager(Timer timer)
     : base(timer)
 {
     GapLength = 0.2;
 }