laurent@566: #!/usr/bin/env python laurent@566: # -*- coding: utf-8 -*- laurent@566: laurent@566: #This file is part of PLCOpenEditor, a library implementing an IEC 61131-3 editor laurent@566: #based on the plcopen standard. laurent@566: # laurent@566: #Copyright (C) 2007: Edouard TISSERANT and Laurent BESSARD laurent@566: # laurent@566: #See COPYING file for copyrights details. laurent@566: # laurent@566: #This library is free software; you can redistribute it and/or laurent@566: #modify it under the terms of the GNU General Public laurent@566: #License as published by the Free Software Foundation; either laurent@566: #version 2.1 of the License, or (at your option) any later version. laurent@566: # laurent@566: #This library is distributed in the hope that it will be useful, laurent@566: #but WITHOUT ANY WARRANTY; without even the implied warranty of laurent@566: #MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU laurent@566: #General Public License for more details. laurent@566: # laurent@566: #You should have received a copy of the GNU General Public laurent@566: #License along with this library; if not, write to the Free Software laurent@566: #Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA laurent@566: laurent@566: import re laurent@566: laurent@566: import wx laurent@566: laurent@566: RE_ESCAPED_CHARACTERS = ".*+()[]?:|{}^$<>=-," laurent@566: laurent@566: def EscapeText(text): laurent@566: text = text.replace('\\', '\\\\') laurent@566: for c in RE_ESCAPED_CHARACTERS: laurent@566: text = text.replace(c, '\\' + c) laurent@566: return text laurent@566: laurent@566: #------------------------------------------------------------------------------- laurent@566: # Search In Project Dialog laurent@566: #------------------------------------------------------------------------------- laurent@566: laurent@566: def GetElementsChoices(): laurent@566: _ = lambda x: x laurent@566: return [("datatype", _("Data Type")), laurent@566: ("function", _("Function")), laurent@566: ("functionBlock", _("Function Block")), laurent@566: ("program", _("Program")), laurent@566: ("configuration", _("Configuration"))] laurent@566: laurent@566: class SearchInProjectDialog(wx.Dialog): laurent@566: Laurent@714: def __init__(self, parent): Laurent@714: wx.Dialog.__init__(self, parent, title=_('Search in Project'), Laurent@737: size=wx.Size(600, 350)) laurent@566: Laurent@714: main_sizer = wx.FlexGridSizer(cols=1, hgap=0, rows=3, vgap=10) Laurent@714: main_sizer.AddGrowableCol(0) Laurent@714: main_sizer.AddGrowableRow(1) laurent@566: Laurent@714: pattern_sizer = wx.FlexGridSizer(cols=2, hgap=5, rows=2, vgap=5) Laurent@714: pattern_sizer.AddGrowableCol(0) Laurent@714: main_sizer.AddSizer(pattern_sizer, border=20, Laurent@714: flag=wx.GROW|wx.TOP|wx.LEFT|wx.RIGHT) laurent@566: Laurent@714: pattern_label = wx.StaticText(self, label=_('Pattern to search:')) Laurent@714: pattern_sizer.AddWindow(pattern_label, flag=wx.ALIGN_BOTTOM) laurent@566: Laurent@714: self.CaseSensitive = wx.CheckBox(self, label=_('Case sensitive')) Laurent@714: pattern_sizer.AddWindow(self.CaseSensitive, flag=wx.GROW) laurent@566: Laurent@738: self.Pattern = wx.TextCtrl(self) Laurent@714: pattern_sizer.AddWindow(self.Pattern, flag=wx.GROW) laurent@566: Laurent@714: self.RegularExpression = wx.CheckBox(self, label=_('Regular expression')) Laurent@714: pattern_sizer.AddWindow(self.RegularExpression, flag=wx.GROW) Laurent@714: Laurent@714: scope_staticbox = wx.StaticBox(self, label=_('Scope')) Laurent@714: scope_sizer = wx.StaticBoxSizer(scope_staticbox, wx.HORIZONTAL) Laurent@714: main_sizer.AddSizer(scope_sizer, border=20, Laurent@714: flag=wx.GROW|wx.LEFT|wx.RIGHT) Laurent@714: Laurent@714: scope_selection_sizer = wx.BoxSizer(wx.VERTICAL) Laurent@714: scope_sizer.AddSizer(scope_selection_sizer, 1, border=5, Laurent@714: flag=wx.GROW|wx.TOP|wx.LEFT|wx.BOTTOM) Laurent@714: Laurent@714: self.WholeProject = wx.RadioButton(self, label=_('Whole Project'), Laurent@714: size=wx.Size(0, 24), style=wx.RB_GROUP) laurent@566: self.WholeProject.SetValue(True) Laurent@714: self.Bind(wx.EVT_RADIOBUTTON, self.OnScopeChanged, self.WholeProject) Laurent@714: scope_selection_sizer.AddWindow(self.WholeProject, border=5, Laurent@714: flag=wx.GROW|wx.BOTTOM) laurent@566: Laurent@714: self.OnlyElements = wx.RadioButton(self, Laurent@714: label=_('Only Elements'), size=wx.Size(0, 24)) Laurent@714: self.Bind(wx.EVT_RADIOBUTTON, self.OnScopeChanged, self.OnlyElements) laurent@566: self.OnlyElements.SetValue(False) Laurent@714: scope_selection_sizer.AddWindow(self.OnlyElements, flag=wx.GROW) laurent@566: Laurent@714: self.ElementsList = wx.CheckListBox(self) laurent@566: self.ElementsList.Enable(False) Laurent@714: scope_sizer.AddWindow(self.ElementsList, 1, border=5, Laurent@714: flag=wx.GROW|wx.TOP|wx.RIGHT|wx.BOTTOM) laurent@566: laurent@566: self.ButtonSizer = self.CreateButtonSizer(wx.OK|wx.CANCEL|wx.CENTRE) Laurent@714: ok_button = self.ButtonSizer.GetAffirmativeButton() laurent@566: ok_button.SetLabel(_('Search')) Laurent@714: self.Bind(wx.EVT_BUTTON, self.OnOK, ok_button) Laurent@714: main_sizer.AddSizer(self.ButtonSizer, border=20, Laurent@714: flag=wx.ALIGN_RIGHT|wx.BOTTOM|wx.LEFT|wx.RIGHT) laurent@566: Laurent@714: self.SetSizer(main_sizer) Laurent@714: laurent@566: for name, label in GetElementsChoices(): laurent@566: self.ElementsList.Append(_(label)) laurent@577: laurent@577: self.Pattern.SetFocus() laurent@566: laurent@566: def GetCriteria(self): laurent@571: raw_pattern = pattern = self.Pattern.GetValue() laurent@566: if not self.CaseSensitive.GetValue(): laurent@571: pattern = pattern.upper() laurent@566: if not self.RegularExpression.GetValue(): laurent@571: pattern = EscapeText(pattern) laurent@566: criteria = { laurent@566: "raw_pattern": raw_pattern, laurent@566: "pattern": re.compile(pattern), laurent@566: "case_sensitive": self.CaseSensitive.GetValue(), laurent@566: "regular_expression": self.RegularExpression.GetValue(), laurent@566: } laurent@566: if self.WholeProject.GetValue(): laurent@566: criteria["filter"] = "all" laurent@566: elif self.OnlyElements.GetValue(): laurent@566: criteria["filter"] = [] laurent@566: for index, (name, label) in enumerate(GetElementsChoices()): laurent@566: if self.ElementsList.IsChecked(index): laurent@566: criteria["filter"].append(name) laurent@566: return criteria laurent@566: laurent@566: def OnScopeChanged(self, event): laurent@566: self.ElementsList.Enable(self.OnlyElements.GetValue()) laurent@566: event.Skip() laurent@566: laurent@566: def OnOK(self, event): Laurent@738: message = None laurent@566: if self.Pattern.GetValue() == "": Laurent@714: message = _("Form isn't complete. Pattern to search must be filled!") laurent@566: else: laurent@566: wrong_pattern = False laurent@566: if self.RegularExpression.GetValue(): laurent@566: try: laurent@566: re.compile(self.Pattern.GetValue()) laurent@566: except: laurent@566: wrong_pattern = True laurent@566: if wrong_pattern: Laurent@714: message = _("Syntax error in regular expression of pattern to search!") Laurent@714: Laurent@714: if message is not None: Laurent@714: dialog = wx.MessageDialog(self, message, _("Error"), wx.OK|wx.ICON_ERROR) Laurent@714: dialog.ShowModal() Laurent@714: dialog.Destroy() Laurent@714: else: Laurent@714: self.EndModal(wx.ID_OK)