diff -r 34d1402c0e24 -r b5e564608b9e GraphicViewer.py --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/GraphicViewer.py Wed Jan 14 19:45:22 2009 +0100 @@ -0,0 +1,222 @@ +#!/usr/bin/env python +# -*- coding: utf-8 -*- + +#This file is part of PLCOpenEditor, a library implementing an IEC 61131-3 editor +#based on the plcopen standard. +# +#Copyright (C) 2007: Edouard TISSERANT and Laurent BESSARD +# +#See COPYING file for copyrights details. +# +#This library is free software; you can redistribute it and/or +#modify it under the terms of the GNU General Public +#License as published by the Free Software Foundation; either +#version 2.1 of the License, or (at your option) any later version. +# +#This library is distributed in the hope that it will be useful, +#but WITHOUT ANY WARRANTY; without even the implied warranty of +#MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +#General Public License for more details. +# +#You should have received a copy of the GNU General Public +#License along with this library; if not, write to the Free Software +#Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + +import wx +import wx.lib.plot as plot + + +colours = ['blue', 'red', 'green', 'yellow', 'orange', 'purple', 'brown', 'cyan', + 'pink', 'grey'] +markers = ['circle', 'dot', 'square', 'triangle', 'triangle_down', 'cross', 'plus', 'circle'] + + +#------------------------------------------------------------------------------- +# Debug Variable Graphic Viewer class +#------------------------------------------------------------------------------- + + +RANGE_VALUES = [str(25 * 2 ** i) for i in xrange(6)] + +[ID_GRAPHICVIEWER, ID_GRAPHICVIEWERCANVAS, + ID_GRAPHICVIEWERCANVASRANGE, ID_GRAPHICVIEWERCANVASPOSITION, + ID_GRAPHICVIEWERRESETBUTTON, ID_GRAPHICVIEWERCURRENTBUTTON, + ID_GRAPHICVIEWERSTATICTEXT1, ID_GRAPHICVIEWERSTATICTEXT2, +] = [wx.NewId() for _init_ctrls in range(8)] + +class GraphicViewer(wx.Panel): + + def _init_coll_MainGridSizer_Items(self, parent): + # generated method, don't edit + parent.AddWindow(self.Canvas, 0, border=0, flag=wx.GROW) + parent.AddSizer(self.RangeSizer, 0, border=0, flag=wx.GROW) + + def _init_coll_MainGridSizer_Growables(self, parent): + # generated method, don't edit + parent.AddGrowableCol(0) + parent.AddGrowableRow(0) + + def _init_coll_RangeSizer_Items(self, parent): + # generated method, don't edit + parent.AddWindow(self.staticbox1, 0, border=5, flag=wx.ALL) + parent.AddWindow(self.CanvasRange, 0, border=5, flag=wx.ALL) + parent.AddWindow(self.staticText2, 0, border=5, flag=wx.ALL) + parent.AddWindow(self.CanvasPosition, 0, border=5, flag=wx.GROW|wx.ALL) + parent.AddWindow(self.ResetButton, 0, border=5, flag=wx.ALL) + parent.AddWindow(self.CurrentButton, 0, border=5, flag=wx.ALL) + + def _init_coll_RangeSizer_Growables(self, parent): + # generated method, don't edit + parent.AddGrowableCol(3) + parent.AddGrowableRow(0) + + def _init_sizers(self): + # generated method, don't edit + self.MainGridSizer = wx.FlexGridSizer(cols=1, hgap=0, rows=2, vgap=0) + self.RangeSizer = wx.FlexGridSizer(cols=6, hgap=0, rows=1, vgap=0) + + self._init_coll_MainGridSizer_Items(self.MainGridSizer) + self._init_coll_MainGridSizer_Growables(self.MainGridSizer) + self._init_coll_RangeSizer_Items(self.RangeSizer) + self._init_coll_RangeSizer_Growables(self.RangeSizer) + + self.SetSizer(self.MainGridSizer) + + def _init_ctrls(self, prnt): + wx.Panel.__init__(self, prnt, ID_GRAPHICVIEWER, wx.DefaultPosition, + wx.DefaultSize, 0) + + self.Canvas = plot.PlotCanvas(id=ID_GRAPHICVIEWERCANVAS, + name='Canvas', parent=self, pos=wx.Point(0, 0), + size=wx.Size(0, 0), style=0) + def _axisInterval(spec, lower, upper): + if spec == 'border': + if lower == upper: + return lower - 0.5, upper + 0.5 + else: + border = (upper - lower) * 0.05 + return lower - border, upper + border + else: + return plot.PlotCanvas._axisInterval(self.Canvas, spec, lower, upper) + self.Canvas._axisInterval = _axisInterval + self.Canvas.SetYSpec('border') + + self.staticbox1 = wx.StaticText(id=ID_GRAPHICVIEWERSTATICTEXT1, + label='Range:', name='staticText1', parent=self, + pos=wx.Point(0, 0), size=wx.Size(45, 17), style=0) + + self.CanvasRange = wx.ComboBox(id=ID_GRAPHICVIEWERCANVASRANGE, + name='CanvasRange', parent=self, pos=wx.Point(0, 0), + size=wx.Size(100, 24), choices=RANGE_VALUES, style=0) + self.CanvasRange.SetStringSelection("25") + self.Bind(wx.EVT_COMBOBOX, self.OnRangeChanged, id=ID_GRAPHICVIEWERCANVASRANGE) + self.Bind(wx.EVT_TEXT_ENTER, self.OnRangeChanged, id=ID_GRAPHICVIEWERCANVASRANGE) + + self.staticText2 = wx.StaticText(id=ID_GRAPHICVIEWERSTATICTEXT2, + label='Position:', name='staticText2', parent=self, + pos=wx.Point(0, 0), size=wx.Size(60, 17), style=0) + + self.CanvasPosition = wx.ScrollBar(id=ID_GRAPHICVIEWERCANVASPOSITION, + name='Position', parent=self, pos=wx.Point(0, 0), + size=wx.Size(0, 16), style=wx.SB_HORIZONTAL) + self.CanvasPosition.SetScrollbar(0, 10, 100, 10) + self.CanvasPosition.Bind(wx.EVT_SCROLL_THUMBTRACK, self.OnPositionChanging, + id = ID_GRAPHICVIEWERCANVASPOSITION) + self.CanvasPosition.Bind(wx.EVT_SCROLL_LINEUP, self.OnPositionChanging, + id = ID_GRAPHICVIEWERCANVASPOSITION) + self.CanvasPosition.Bind(wx.EVT_SCROLL_LINEDOWN, self.OnPositionChanging, + id = ID_GRAPHICVIEWERCANVASPOSITION) + self.CanvasPosition.Bind(wx.EVT_SCROLL_PAGEUP, self.OnPositionChanging, + id = ID_GRAPHICVIEWERCANVASPOSITION) + self.CanvasPosition.Bind(wx.EVT_SCROLL_PAGEDOWN, self.OnPositionChanging, + id = ID_GRAPHICVIEWERCANVASPOSITION) + + self.ResetButton = wx.Button(id=ID_GRAPHICVIEWERRESETBUTTON, label='Reset', + name='ResetButton', parent=self, pos=wx.Point(0, 0), + size=wx.Size(72, 24), style=0) + self.Bind(wx.EVT_BUTTON, self.OnResetButton, id=ID_GRAPHICVIEWERRESETBUTTON) + + self.CurrentButton = wx.Button(id=ID_GRAPHICVIEWERCURRENTBUTTON, label='Current', + name='CurrentButton', parent=self, pos=wx.Point(0, 0), + size=wx.Size(72, 24), style=0) + self.Bind(wx.EVT_BUTTON, self.OnCurrentButton, id=ID_GRAPHICVIEWERCURRENTBUTTON) + + self._init_sizers() + + def __init__(self, parent, window, controler, instancepath = ""): + self._init_ctrls(parent) + + self.ParentWindow = window + self.Controler = controler + self.InstancePath = instancepath + + self.Datas = [] + self.CurrentValue = 0 + self.CurrentRange = 25 + + self.Controler.SubscribeDebugIECVariable(self.InstancePath.upper(), self) + + def RefreshView(self): + var_name = self.InstancePath.split(".")[-1] + + self.VariableGraphic = plot.PolyLine(self.Datas[self.CurrentValue:self.CurrentValue + self.CurrentRange], + legend=var_name, colour=colours[0]) + self.GraphicsObject = plot.PlotGraphics([self.VariableGraphic], "%s Graphics" % var_name, "Tick", "Values") + datas_length = len(self.Datas) + if datas_length > 1: + start = self.Datas[self.CurrentValue][0] + if self.CurrentValue + self.CurrentRange > datas_length: + end = start + (self.Datas[datas_length - 1][0] - start) * self.CurrentRange / (datas_length - self.CurrentValue - 1) + else: + end = self.Datas[self.CurrentValue + self.CurrentRange - 1][0] + else: + start = 0. + end = 25. + self.Canvas.Draw(self.GraphicsObject, xAxis=(start, end)) + + self.RefreshScrollBar() + + def GetTagName(self): + return "" + + def GetInstancePath(self): + return self.InstancePath + + def AddPoint(self, tick, value): + self.Datas.append((float(tick), {True:1., False:0.}.get(value, float(value)))) + if self.CurrentValue + self.CurrentRange == len(self.Datas) - 1: + self.CurrentValue += 1 + self.RefreshView() + elif len(self.Datas) < self.CurrentValue + self.CurrentRange: + self.RefreshView() + + def RefreshScrollBar(self): + self.CanvasPosition.SetScrollbar(self.CurrentValue, self.CurrentRange, len(self.Datas), self.CurrentRange) + + def OnRangeChanged(self, event): + old_range = self.CurrentRange + try: + self.CurrentRange = int(self.CanvasRange.GetValue()) + except ValueError, e: + self.CanvasRange.SetValue(str(self.CurrentRange)) + self.CurrentValue = max(0, min(self.CurrentValue + old_range - self.CurrentRange, + len(self.Datas) - self.CurrentRange)) + self.RefreshView() + event.Skip() + + def OnPositionChanging(self, event): + self.CurrentValue = event.GetPosition() + self.RefreshView() + event.Skip() + + def OnResetButton(self, event): + self.Datas = [] + self.CurrentValue = 0 + self.RefreshView() + event.Skip() + + def OnCurrentButton(self, event): + self.CurrentValue = max(0, len(self.Datas) - self.CurrentRange) + self.RefreshView() + event.Skip() +