1

#!/usr/bin/env python

     2

# -*- coding: utf-8 -*-

     3

     4

#This file is part of PLCOpenEditor, a library implementing an IEC 61131-3 editor

     5

#based on the plcopen standard. 

     6

#

     7

#Copyright (C) 2007: Edouard TISSERANT and Laurent BESSARD

     8

#

     9

#See COPYING file for copyrights details.

    10

#

    11

#This library is free software; you can redistribute it and/or

    12

#modify it under the terms of the GNU General Public

    13

#License as published by the Free Software Foundation; either

    14

#version 2.1 of the License, or (at your option) any later version.

    15

#

    16

#This library is distributed in the hope that it will be useful,

    17

#but WITHOUT ANY WARRANTY; without even the implied warranty of

    18

#MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU

    19

#General Public License for more details.

    20

#

    21

#You should have received a copy of the GNU General Public

    22

#License along with this library; if not, write to the Free Software

    23

#Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA

    24

    25

import wx

    26

import wx.grid

    27

    29

    30

#-------------------------------------------------------------------------------

    31

#                          Configuration Editor class

    32

#-------------------------------------------------------------------------------

    33

    34

[ID_CONFIGURATIONEDITOR, 

    35

] = [wx.NewId() for _init_ctrls in range(1)]

    36

    37

class ConfigurationEditor(wx.Panel):

    38

    39

    def _init_ctrls(self, prnt):

    40

        wx.Panel.__init__(self, id=ID_CONFIGURATIONEDITOR, name='', parent=prnt,

    41

              size=wx.Size(0, 0), style=wx.SUNKEN_BORDER)

    42

    43

    def __init__(self, parent, tagname, window, controler):

    44

        self._init_ctrls(parent)

    45

    46

        self.ParentWindow = window

    47

        self.Controler = controler

    48

        self.TagName = tagname

    49

    50

    def SetTagName(self, tagname):

    51

        self.TagName = tagname

    52

    53

    def GetTagName(self):

    54

        return self.TagName

    55

    56

    def IsViewing(self, tagname):

    57

        return self.TagName == tagname

    58

    59

    def IsDebugging(self):

    60

        return False

    61

    62

    def SetMode(self, mode):

    63

        pass

    64

    65

    def ResetBuffer(self):

    66

        pass

    67

    68

    def RefreshView(self):

    69

        pass

    70

    71

    def RefreshScaling(self, refresh=True):

    72

        pass

    73

    74

    def ClearErrors(self):

    75

        pass

    76

    77

#-------------------------------------------------------------------------------

    78

#                            Resource Editor class

    79

#-------------------------------------------------------------------------------

    80

    81

def GetTasksTableColnames():

    82

    _ = lambda x : x

    83

    return [_("Name"), _("Triggering"), _("Single"), _("Interval"), _("Priority")]

    84

    85

def GetTaskTriggeringOptions():

    86

    _ = lambda x : x

    87

    return [_("Interrupt"), _("Cyclic")]

    88

TASKTRIGGERINGOPTIONS_DICT = dict([(_(option), option) for option in GetTaskTriggeringOptions()])

    89

    90

def GetInstancesTableColnames():

    91

    _ = lambda x : x

    92

    return [_("Name"), _("Type"), _("Task")]

    93

    94

class ResourceTable(wx.grid.PyGridTableBase):

    95

    96

    """

    97

    A custom wx.grid.Grid Table using user supplied data

    98

    """

    99

    def __init__(self, parent, data, colnames):

   100

        # The base class must be initialized *first*

   101

        wx.grid.PyGridTableBase.__init__(self)

   102

        self.data = data

   103

        self.colnames = colnames

   104

        self.Errors = {}

   105

        self.Parent = parent

   106

   107

        self.ColAlignements = []

   108

        self.ColSizes = []

   109

        # XXX

   110

        # we need to store the row length and collength to

   111

        # see if the table has changed size

   112

        self._rows = self.GetNumberRows()

   113

        self._cols = self.GetNumberCols()

   114

   115

    def GetColAlignements(self):

   116

        return self.ColAlignements

   117

   118

    def SetColAlignements(self, list):

   119

        self.ColAlignements = list

   120

   121

    def GetColSizes(self):

   122

        return self.ColSizes

   123

   124

    def SetColSizes(self, list):

   125

        self.ColSizes = list

   126

   127

    def GetNumberCols(self):

   128

        return len(self.colnames)

   129

   130

    def GetNumberRows(self):

   131

        return len(self.data)

   132

   133

    def GetColLabelValue(self, col, translate=True):

   134

        if col < len(self.colnames):

   135

            if translate:

   136

                return _(self.colnames[col])

   137

            return self.colnames[col]

   138

   139

    def GetRowLabelValues(self, row, translate=True):

   140

        return row

   141

   142

    def GetValue(self, row, col):

   143

        if row < self.GetNumberRows():

   144

            colname = self.GetColLabelValue(col, False)

   145

            value = str(self.data[row].get(colname, ""))

   146

            if colname == "Triggering":

   147

                return _(value)

   148

            return value

   149

   150

    def GetValueByName(self, row, colname):

   151

        return self.data[row].get(colname)

   152

   153

    def SetValue(self, row, col, value):

   154

        if col < len(self.colnames):

   155

            colname = self.GetColLabelValue(col, False)

   156

            if colname == "Triggering":

   157

                value = TASKTRIGGERINGOPTIONS_DICT[value]

   158

            self.data[row][colname] = value

   159

   160

    def SetValueByName(self, row, colname, value):

   161

        if colname in self.colnames:

   162

            self.data[row][colname] = value

   163

   164

    def ResetView(self, grid):

   165

        """

   166

        (wx.grid.Grid) -> Reset the grid view.   Call this to

   167

        update the grid if rows and columns have been added or deleted

   168

        """

   169

        grid.BeginBatch()

   170

        for current, new, delmsg, addmsg in [

   171

            (self._rows, self.GetNumberRows(), wx.grid.GRIDTABLE_NOTIFY_ROWS_DELETED, wx.grid.GRIDTABLE_NOTIFY_ROWS_APPENDED),

   172

            (self._cols, self.GetNumberCols(), wx.grid.GRIDTABLE_NOTIFY_COLS_DELETED, wx.grid.GRIDTABLE_NOTIFY_COLS_APPENDED),

   173

        ]:

   174

            if new < current:

   175

                msg = wx.grid.GridTableMessage(self,delmsg,new,current-new)

   176

                grid.ProcessTableMessage(msg)

   177

            elif new > current:

   178

                msg = wx.grid.GridTableMessage(self,addmsg,new-current)

   179

                grid.ProcessTableMessage(msg)

   180

                self.UpdateValues(grid)

   181

        grid.EndBatch()

   182

   183

        self._rows = self.GetNumberRows()

   184

        self._cols = self.GetNumberCols()

   185

        # update the column rendering scheme

   186

        self._updateColAttrs(grid)

   187

   188

        # update the scrollbars and the displayed part of the grid

   189

        grid.AdjustScrollbars()

   190

        grid.ForceRefresh()

   191

   192

    def UpdateValues(self, grid):

   193

        """Update all displayed values"""

   194

        # This sends an event to the grid table to update all of the values

   195

        msg = wx.grid.GridTableMessage(self, wx.grid.GRIDTABLE_REQUEST_VIEW_GET_VALUES)

   196

        grid.ProcessTableMessage(msg)

   197

   198

    def _updateColAttrs(self, grid):

   199

        """

   200

        wx.grid.Grid -> update the column attributes to add the

   201

        appropriate renderer given the column name.

   202

   203

        Otherwise default to the default renderer.

   204

        """

   205

   206

        for col in range(self.GetNumberCols()):

   207

            attr = wx.grid.GridCellAttr()

   208

            attr.SetAlignment(self.ColAlignements[col], wx.ALIGN_CENTRE)

   209

            grid.SetColAttr(col, attr)

   210

            grid.SetColSize(col, self.ColSizes[col])

   211

   212

        for row in range(self.GetNumberRows()):

   213

            for col in range(self.GetNumberCols()):

   214

                editor = None

   215

                renderer = None

   216

                colname = self.GetColLabelValue(col, False)

   217

                grid.SetReadOnly(row, col, False)

   219

                    editor = wx.grid.GridCellTextEditor()

   220

                    renderer = wx.grid.GridCellStringRenderer()

   225

                        grid.SetReadOnly(row, col, True)

   226

                elif colname == "Single":

   227

                    editor = wx.grid.GridCellChoiceEditor()

   228

                    editor.SetParameters(self.Parent.VariableList)

   229

                    if self.GetValueByName(row, "Triggering") != "Interrupt":

   230

                        grid.SetReadOnly(row, col, True)

   231

                elif colname == "Triggering":

   232

                    editor = wx.grid.GridCellChoiceEditor()

   233

                    editor.SetParameters(",".join([""] + GetTaskTriggeringOptions()))

   234

                elif colname == "Type":

   235

                    editor = wx.grid.GridCellChoiceEditor()

   236

                    editor.SetParameters(self.Parent.TypeList)

   237

                elif colname == "Priority":

   238

                    editor = wx.grid.GridCellNumberEditor()

   239

                    editor.SetParameters("0,65535")

   240

                elif colname == "Task":

   241

                    editor = wx.grid.GridCellChoiceEditor()

   242

                    editor.SetParameters(self.Parent.TaskList)

   243

   244

                grid.SetCellEditor(row, col, editor)

   245

                grid.SetCellRenderer(row, col, renderer)

   246

   247

                if row in self.Errors and self.Errors[row][0] == colname.lower():

   248

                    grid.SetCellBackgroundColour(row, col, wx.Colour(255, 255, 0))

   249

                    grid.SetCellTextColour(row, col, wx.RED)

   250

                    grid.MakeCellVisible(row, col)

   251

                else:

   252

                    grid.SetCellTextColour(row, col, wx.BLACK)

   253

                    grid.SetCellBackgroundColour(row, col, wx.WHITE)

   254

            if wx.Platform == '__WXMSW__':

   255

                grid.SetRowMinimalHeight(row, 20)

   256

            else:

   257

                grid.SetRowMinimalHeight(row, 28)

   258

            grid.AutoSizeRow(row, False)

   259

   260

    def SetData(self, data):

   261

        self.data = data

   262

   263

    def GetData(self):

   264

        return self.data

   265

   266

    def GetCurrentIndex(self):

   267

        return self.CurrentIndex

   268

   269

    def SetCurrentIndex(self, index):

   270

        self.CurrentIndex = index

   271

   272

    def AppendRow(self, row_content):

   273

        self.data.append(row_content)

   274

   275

    def InsertRow(self, index, row_content):

   276

        self.data.insert(index, row_content)

   277

   278

    def RemoveRow(self, row_index):

   279

        self.data.pop(row_index)

   280

   281

    def MoveRow(self, row_index, move):

   282

        new_index = max(0, min(row_index + move, len(self.data) - 1))

   283

        if new_index != row_index:

   284

            self.data.insert(new_index, self.data.pop(row_index))

   285

            return new_index

   286

        return None

   287

   288

    def Empty(self):

   289

        self.data = []

   290

        self.editors = []

   291

   292

    def AddError(self, infos):

   293

        self.Errors[infos[0]] = infos[1:]

   294

   295

    def ClearErrors(self):

   296

        self.Errors = {}

   297

   298

[ID_RESOURCEEDITOR, ID_RESOURCEEDITORSTATICTEXT1,

   299

 ID_RESOURCEEDITORSTATICTEXT2, ID_RESOURCEEDITORINSTANCESGRID,

   300

 ID_RESOURCEEDITORTASKSGRID, ID_RESOURCEEDITORADDINSTANCEBUTTON,

   301

 ID_RESOURCEEDITORDELETEINSTANCEBUTTON, ID_RESOURCEEDITORUPINSTANCEBUTTON,

   302

 ID_RESOURCEEDITORDOWNINSTANCEBUTTON, ID_RESOURCEEDITORADDTASKBUTTON,

   303

 ID_RESOURCEEDITORDELETETASKBUTTON, ID_RESOURCEEDITORUPTASKBUTTON,

   304

 ID_RESOURCEEDITORDOWNTASKBUTTON,

   305

] = [wx.NewId() for _init_ctrls in range(13)]

   306

   307

class ResourceEditor(wx.Panel):

   308

   309

    if wx.VERSION < (2, 6, 0):

   310

        def Bind(self, event, function, id = None):

   311

            if id is not None:

   312

                event(self, id, function)

   313

            else:

   314

                event(self, function)

   315

   316

    def _init_coll_InstancesSizer_Growables(self, parent):

   317

        parent.AddGrowableCol(0)

   318

        parent.AddGrowableRow(1)

   319

   320

    def _init_coll_InstancesSizer_Items(self, parent):

   321

        parent.AddSizer(self.InstancesButtonsSizer, 0, border=0, flag=wx.GROW)

   322

        parent.AddWindow(self.InstancesGrid, 0, border=0, flag=wx.GROW)

   323

   324

    def _init_coll_InstancesButtonsSizer_Growables(self, parent):

   325

        parent.AddGrowableCol(0)

   326

        parent.AddGrowableRow(0)

   327

   328

    def _init_coll_InstancesButtonsSizer_Items(self, parent):

   329

        parent.AddWindow(self.staticText2, 0, border=0, flag=wx.ALIGN_BOTTOM)

   330

        parent.AddWindow(self.AddInstanceButton, 0, border=0, flag=0)

   331

        parent.AddWindow(self.DeleteInstanceButton, 0, border=0, flag=0)

   332

        parent.AddWindow(self.UpInstanceButton, 0, border=0, flag=0)

   333

        parent.AddWindow(self.DownInstanceButton, 0, border=0, flag=0)

   334

   335

    def _init_coll_TasksSizer_Growables(self, parent):

   336

        parent.AddGrowableCol(0)

   337

        parent.AddGrowableRow(1)

   338

   339

    def _init_coll_TasksSizer_Items(self, parent):

   340

        parent.AddSizer(self.TasksButtonsSizer, 0, border=0, flag=wx.GROW)

   341

        parent.AddWindow(self.TasksGrid, 0, border=0, flag=wx.GROW)

   342

   343

    def _init_coll_TasksButtonsSizer_Growables(self, parent):

   344

        parent.AddGrowableCol(0)

   345

        parent.AddGrowableRow(0)

   346

   347

    def _init_coll_TasksButtonsSizer_Items(self, parent):

   348

        parent.AddWindow(self.staticText1, 0, border=0, flag=wx.ALIGN_BOTTOM)

   349

        parent.AddWindow(self.AddTaskButton, 0, border=0, flag=0)

   350

        parent.AddWindow(self.DeleteTaskButton, 0, border=0, flag=0)

   351

        parent.AddWindow(self.UpTaskButton, 0, border=0, flag=0)

   352

        parent.AddWindow(self.DownTaskButton, 0, border=0, flag=0)

   353

   354

    def _init_coll_MainGridSizer_Items(self, parent):

   355

        parent.AddSizer(self.TasksSizer, 0, border=5, flag=wx.GROW|wx.TOP|wx.LEFT|wx.RIGHT)

   356

        parent.AddSizer(self.InstancesSizer, 0, border=5, flag=wx.GROW|wx.BOTTOM|wx.LEFT|wx.RIGHT)

   357

   358

    def _init_coll_MainGridSizer_Growables(self, parent):

   359

        parent.AddGrowableCol(0)

   360

        parent.AddGrowableRow(0)

   361

        parent.AddGrowableRow(1)

   362

   363

    def _init_sizers(self):

   364

        self.MainGridSizer = wx.FlexGridSizer(cols=1, hgap=0, rows=2, vgap=5)

   365

        self.InstancesSizer = wx.FlexGridSizer(cols=1, hgap=0, rows=2, vgap=5)

   366

        self.InstancesButtonsSizer = wx.FlexGridSizer(cols=5, hgap=5, rows=1, vgap=0)

   367

        self.TasksSizer = wx.FlexGridSizer(cols=1, hgap=0, rows=2, vgap=5)

   368

        self.TasksButtonsSizer = wx.FlexGridSizer(cols=5, hgap=5, rows=1, vgap=0)

   369

   370

        self._init_coll_MainGridSizer_Growables(self.MainGridSizer)

   371

        self._init_coll_MainGridSizer_Items(self.MainGridSizer)

   372

        self._init_coll_InstancesSizer_Growables(self.InstancesSizer)

   373

        self._init_coll_InstancesSizer_Items(self.InstancesSizer)

   374

        self._init_coll_InstancesButtonsSizer_Growables(self.InstancesButtonsSizer)

   375

        self._init_coll_InstancesButtonsSizer_Items(self.InstancesButtonsSizer)

   376

        self._init_coll_TasksSizer_Growables(self.TasksSizer)

   377

        self._init_coll_TasksSizer_Items(self.TasksSizer)

   378

        self._init_coll_TasksButtonsSizer_Growables(self.TasksButtonsSizer)

   379

        self._init_coll_TasksButtonsSizer_Items(self.TasksButtonsSizer)

   380

   381

        self.SetSizer(self.MainGridSizer)

   382

   383

    def _init_ctrls(self, prnt):

   384

        wx.Panel.__init__(self, id=ID_RESOURCEEDITOR, name='', parent=prnt,

   385

              size=wx.Size(0, 0), style=wx.SUNKEN_BORDER)

   386

   387

        self.staticText1 = wx.StaticText(id=ID_RESOURCEEDITORSTATICTEXT1,

   388

              label=_(u'Tasks:'), name='staticText2', parent=self, pos=wx.Point(0,

   389

              0), size=wx.DefaultSize, style=wx.ALIGN_CENTER)

   390

   391

        self.TasksGrid = wx.grid.Grid(id=ID_RESOURCEEDITORTASKSGRID,

   392

              name='TasksGrid', parent=self, pos=wx.Point(0, 0), 

   393

              size=wx.Size(-1, -1), style=wx.VSCROLL)

   394

        self.TasksGrid.SetFont(wx.Font(12, 77, wx.NORMAL, wx.NORMAL, False,

   395

              'Sans'))

   396

        self.TasksGrid.SetLabelFont(wx.Font(10, 77, wx.NORMAL, wx.NORMAL,

   397

              False, 'Sans'))

   398

        if wx.VERSION >= (2, 5, 0):

   399

            self.TasksGrid.Bind(wx.grid.EVT_GRID_CELL_CHANGE, self.OnTasksGridCellChange)

   400

        else:

   401

            wx.grid.EVT_GRID_CELL_CHANGE(self.TasksGrid, self.OnTasksGridCellChange)

   402

   403

        self.AddTaskButton = wx.Button(id=ID_RESOURCEEDITORADDTASKBUTTON, label=_('Add Task'),

   404

              name='AddTaskButton', parent=self, pos=wx.Point(0, 0),

   405

              size=wx.DefaultSize, style=0)

   406

        self.Bind(wx.EVT_BUTTON, self.OnAddTaskButton, id=ID_RESOURCEEDITORADDTASKBUTTON)

   407

   408

        self.DeleteTaskButton = wx.Button(id=ID_RESOURCEEDITORDELETETASKBUTTON, label=_('Delete Task'),

   409

              name='DeleteTaskButton', parent=self, pos=wx.Point(0, 0),

   410

              size=wx.DefaultSize, style=0)

   411

        self.Bind(wx.EVT_BUTTON, self.OnDeleteTaskButton, id=ID_RESOURCEEDITORDELETETASKBUTTON)

   412

   413

        self.UpTaskButton = wx.Button(id=ID_RESOURCEEDITORUPTASKBUTTON, label='^',

   414

              name='UpTaskButton', parent=self, pos=wx.Point(0, 0),

   415

              size=wx.Size(32, 32), style=0)

   416

        self.Bind(wx.EVT_BUTTON, self.OnUpTaskButton, id=ID_RESOURCEEDITORUPTASKBUTTON)

   417

   418

        self.DownTaskButton = wx.Button(id=ID_RESOURCEEDITORDOWNTASKBUTTON, label='v',

   419

              name='DownTaskButton', parent=self, pos=wx.Point(0, 0),

   420

              size=wx.Size(32, 32), style=0)

   421

        self.Bind(wx.EVT_BUTTON, self.OnDownTaskButton, id=ID_RESOURCEEDITORDOWNTASKBUTTON)

   422

   423

        self.staticText2 = wx.StaticText(id=ID_RESOURCEEDITORSTATICTEXT2,

   424

              label=_(u'Instances:'), name='staticText1', parent=self,

   425

              pos=wx.Point(0, 0), size=wx.DefaultSize, style=wx.ALIGN_CENTER)

   426

   427

        self.InstancesGrid = wx.grid.Grid(id=ID_RESOURCEEDITORINSTANCESGRID,

   428

              name='InstancesGrid', parent=self, pos=wx.Point(0, 0), 

   429

              size=wx.Size(-1, -1), style=wx.VSCROLL)

   430

        self.InstancesGrid.SetFont(wx.Font(12, 77, wx.NORMAL, wx.NORMAL, False,

   431

              'Sans'))

   432

        self.InstancesGrid.SetLabelFont(wx.Font(10, 77, wx.NORMAL, wx.NORMAL,

   433

              False, 'Sans'))

   434

        if wx.VERSION >= (2, 5, 0):

   435

            self.InstancesGrid.Bind(wx.grid.EVT_GRID_CELL_CHANGE, self.OnInstancesGridCellChange)

   436

        else:

   437

            wx.grid.EVT_GRID_CELL_CHANGE(self.InstancesGrid, self.OnInstancesGridCellChange)

   438

   439

        self.AddInstanceButton = wx.Button(id=ID_RESOURCEEDITORADDINSTANCEBUTTON, label=_('Add Instance'),

   440

              name='AddInstanceButton', parent=self, pos=wx.Point(0, 0),

   441

              size=wx.DefaultSize, style=0)

   442

        self.Bind(wx.EVT_BUTTON, self.OnAddInstanceButton, id=ID_RESOURCEEDITORADDINSTANCEBUTTON)

   443

   444

        self.DeleteInstanceButton = wx.Button(id=ID_RESOURCEEDITORDELETEINSTANCEBUTTON, label=_('Delete Instance'),

   445

              name='DeleteInstanceButton', parent=self, pos=wx.Point(0, 0),

   446

              size=wx.DefaultSize, style=0)

   447

        self.Bind(wx.EVT_BUTTON, self.OnDeleteInstanceButton, id=ID_RESOURCEEDITORDELETEINSTANCEBUTTON)

   448

   449

        self.UpInstanceButton = wx.Button(id=ID_RESOURCEEDITORUPINSTANCEBUTTON, label='^',

   450

              name='UpInstanceButton', parent=self, pos=wx.Point(0, 0),

   451

              size=wx.Size(32, 32), style=0)

   452

        self.Bind(wx.EVT_BUTTON, self.OnUpInstanceButton, id=ID_RESOURCEEDITORUPINSTANCEBUTTON)

   453

   454

        self.DownInstanceButton = wx.Button(id=ID_RESOURCEEDITORDOWNINSTANCEBUTTON, label='v',

   455

              name='DownInstanceButton', parent=self, pos=wx.Point(0, 0),

   456

              size=wx.Size(32, 32), style=0)

   457

        self.Bind(wx.EVT_BUTTON, self.OnDownInstanceButton, id=ID_RESOURCEEDITORDOWNINSTANCEBUTTON)

   458

   459

        self._init_sizers()

   460

   461

    def __init__(self, parent, tagname, window, controler):

   462

        self._init_ctrls(parent)

   463

   464

        self.ParentWindow = window

   465

        self.Controler = controler

   466

        self.TagName = tagname

   467

   468

        self.TasksDefaultValue = {"Name" : "", "Triggering" : "", "Single" : "", "Interval" : "", "Priority" : 0}

   469

        self.TasksTable = ResourceTable(self, [], GetTasksTableColnames())

   470

        self.TasksTable.SetColAlignements([wx.ALIGN_LEFT, wx.ALIGN_LEFT, wx.ALIGN_LEFT, wx.ALIGN_RIGHT, wx.ALIGN_RIGHT])

   472

        self.TasksGrid.SetTable(self.TasksTable)

   473

        self.TasksGrid.SetRowLabelSize(0)

   474

        self.TasksTable.ResetView(self.TasksGrid)

   475

   476

        self.InstancesDefaultValue = {"Name" : "", "Type" : "", "Task" : ""}

   477

        self.InstancesTable = ResourceTable(self, [], GetInstancesTableColnames())

   478

        self.InstancesTable.SetColAlignements([wx.ALIGN_LEFT, wx.ALIGN_LEFT, wx.ALIGN_LEFT])

   479

        self.InstancesTable.SetColSizes([200, 150, 150])

   480

        self.InstancesGrid.SetTable(self.InstancesTable)

   481

        self.InstancesGrid.SetRowLabelSize(0)

   482

        self.InstancesTable.ResetView(self.InstancesGrid)

   483

   484

    def SetTagName(self, tagname):

   485

        self.TagName = tagname

   486

   487

    def GetTagName(self):

   488

        return self.TagName

   489

   490

    def IsViewing(self, tagname):

   491

        return self.TagName == tagname

   492

   493

    def IsDebugging(self):

   494

        return False

   495

   496

    def SetMode(self, mode):

   497

        pass

   498

   499

    def RefreshTypeList(self):

   500

        self.TypeList = ""

   501

        blocktypes = self.Controler.GetBlockResource()

   502

        for blocktype in blocktypes:

   503

            self.TypeList += ",%s"%blocktype

   504

   505