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

    28

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

    29

    import wx.aui

    30

    31

    class MDIConfigurationEditor(wx.aui.AuiMDIChildFrame):

    32

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

    33

            wx.aui.AuiMDIChildFrame.__init__(self, parent, -1, title = "")

    34

    35

            sizer = wx.BoxSizer(wx.HORIZONTAL)

    36

    37

            self.Viewer = ConfigurationEditor(self, tagname, window, controler)

    38

    39

            sizer.AddWindow(self.Viewer, 1, border=0, flag=wx.GROW)

    40

    41

            self.SetSizer(sizer)

    42

    43

        def GetViewer(self):

    44

            return self.Viewer

    45

    46

    class MDIResourceEditor(wx.aui.AuiMDIChildFrame):

    47

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

    48

            wx.aui.AuiMDIChildFrame.__init__(self, parent, -1, title = "")

    49

    50

            sizer = wx.BoxSizer(wx.HORIZONTAL)

    51

    52

            self.Viewer = ResourceEditor(self, tagname, window, controler)

    53

    54

            sizer.AddWindow(self.Viewer, 1, border=0, flag=wx.GROW)

    55

    56

            self.SetSizer(sizer)

    57

    58

        def GetViewer(self):

    59

            return self.Viewer

    60

    61

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

    62

#                          Configuration Editor class

    63

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

    64

    65

[ID_CONFIGURATIONEDITOR, 

    66

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

    67

    68

class ConfigurationEditor(wx.Panel):

    69

    70

    def _init_ctrls(self, prnt):

    71

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

    72

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

    73

    74

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

    75

        self._init_ctrls(parent)

    76

    77

        self.ParentWindow = window

    78

        self.Controler = controler

    79

        self.TagName = tagname

    80

    81

    def SetTagName(self, tagname):

    82

        self.TagName = tagname

    83

    84

    def GetTagName(self):

    85

        return self.TagName

    86

    87

    def IsViewing(self, tagname):

    88

        return self.TagName == tagname

    89

    90

    def SetMode(self, mode):

    91

        pass

    92

    93

    def ResetBuffer(self):

    94

        pass

    95

    96

    def RefreshView(self):

    97

        pass

    98

    99

    def RefreshScaling(self, refresh=True):

   100

        pass

   101

   102

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

   103

#                            Resource Editor class

   104

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

   105

   106

class ResourceTable(wx.grid.PyGridTableBase):

   107

   108

    """

   109

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

   110

    """

   111

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

   112

        # The base class must be initialized *first*

   113

        wx.grid.PyGridTableBase.__init__(self)

   114

        self.data = data

   115

        self.colnames = colnames

   117

        self.Parent = parent

   118

   119

        self.ColAlignements = []

   120

        self.ColSizes = []

   121

        # XXX

   122

        # we need to store the row length and collength to

   123

        # see if the table has changed size

   124

        self._rows = self.GetNumberRows()

   125

        self._cols = self.GetNumberCols()

   126

   127

    def GetColAlignements(self):

   128

        return self.ColAlignements

   129

   130

    def SetColAlignements(self, list):

   131

        self.ColAlignements = list

   132

   133

    def GetColSizes(self):

   134

        return self.ColSizes

   135

   136

    def SetColSizes(self, list):

   137

        self.ColSizes = list

   138

   139

    def GetNumberCols(self):

   140

        return len(self.colnames)

   141

   142

    def GetNumberRows(self):

   143

        return len(self.data)

   144

   145

    def GetColLabelValue(self, col):

   146

        if col < len(self.colnames):

   147

            return self.colnames[col]

   148

   149

    def GetRowLabelValues(self, row):

   150

        return row

   151

   152

    def GetValue(self, row, col):

   153

        if row < self.GetNumberRows():

   154

            name = str(self.data[row].get(self.GetColLabelValue(col), ""))

   155

            return name

   156

   157

    def GetValueByName(self, row, colname):

   158

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

   159

   160

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

   161

        if col < len(self.colnames):

   162

            self.data[row][self.GetColLabelValue(col)] = value

   163

   164

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

   165

        if colname in self.colnames:

   166

            self.data[row][colname] = value

   167

   168

    def ResetView(self, grid):

   169

        """

   170

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

   171

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

   172

        """

   173

        grid.BeginBatch()

   174

        for current, new, delmsg, addmsg in [

   175

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

   176

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

   177

        ]:

   178

            if new < current:

   179

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

   180

                grid.ProcessTableMessage(msg)

   181

            elif new > current:

   182

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

   183

                grid.ProcessTableMessage(msg)

   184

                self.UpdateValues(grid)

   185

        grid.EndBatch()

   186

   187

        self._rows = self.GetNumberRows()

   188

        self._cols = self.GetNumberCols()

   189

        # update the column rendering scheme

   190

        self._updateColAttrs(grid)

   191

   192

        # update the scrollbars and the displayed part of the grid

   193

        grid.AdjustScrollbars()

   194

        grid.ForceRefresh()

   195

   196

    def UpdateValues(self, grid):

   197

        """Update all displayed values"""

   198

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

   199

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

   200

        grid.ProcessTableMessage(msg)

   201

   202

    def _updateColAttrs(self, grid):

   203

        """

   204

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

   205

        appropriate renderer given the column name.

   206

   207

        Otherwise default to the default renderer.

   208

        """

   209

   210

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

   211

            attr = wx.grid.GridCellAttr()

   212

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

   213

            grid.SetColAttr(col, attr)

   214

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

   215

   216

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

   217

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

   218

                editor = None

   219

                renderer = None

   220

                colname = self.GetColLabelValue(col)

   221

                grid.SetReadOnly(row, col, False)

   222

                if colname in ["Name","Interval"]:

   223

                    editor = wx.grid.GridCellTextEditor()

   224

                    renderer = wx.grid.GridCellStringRenderer()

   225

                    if colname == "Interval" and self.GetValueByName(row, "Single") != "":

   226

                        grid.SetReadOnly(row, col, True)

   227

                elif colname == "Single":

   228

                    editor = wx.grid.GridCellChoiceEditor()

   229

                    editor.SetParameters(self.Parent.VariableList)

   230

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

   231

                        grid.SetReadOnly(row, col, True)

   232

                elif colname == "Type":

   233

                    editor = wx.grid.GridCellChoiceEditor()

   234

                    editor.SetParameters(self.Parent.TypeList)

   235

                elif colname == "Priority":

   236

                    editor = wx.grid.GridCellNumberEditor()

   237

                    editor.SetParameters("0,65535")

   238

                elif colname == "Task":

   239

                    editor = wx.grid.GridCellChoiceEditor()

   240

                    editor.SetParameters(self.Parent.TaskList)

   241

   242

                grid.SetCellEditor(row, col, editor)

   243

                grid.SetCellRenderer(row, col, renderer)

   244

   252

   253

    def SetData(self, data):

   254

        self.data = data

   255

   256

    def GetData(self):

   257

        return self.data

   258

   259

    def GetCurrentIndex(self):

   260

        return self.CurrentIndex

   261

   262

    def SetCurrentIndex(self, index):

   263

        self.CurrentIndex = index

   264

   265

    def AppendRow(self, row_content):

   266

        self.data.append(row_content)

   267

   268

    def RemoveRow(self, row_index):

   269

        self.data.pop(row_index)

   270

   271

    def MoveRow(self, row_index, move, grid):

   272

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

   273

        if new_index != row_index:

   274

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

   275

            grid.SetGridCursor(new_index, grid.GetGridCursorCol())

   276

   277

    def Empty(self):

   278

        self.data = []

   279

        self.editors = []

   280

   286

   287

[ID_RESOURCEEDITOR, ID_RESOURCEEDITORSTATICTEXT1,

   288

 ID_RESOURCEEDITORSTATICTEXT2, ID_RESOURCEEDITORINSTANCESGRID,

   289

 ID_RESOURCEEDITORTASKSGRID, ID_RESOURCEEDITORADDINSTANCEBUTTON,

   290

 ID_RESOURCEEDITORDELETEINSTANCEBUTTON, ID_RESOURCEEDITORUPINSTANCEBUTTON,

   291

 ID_RESOURCEEDITORDOWNINSTANCEBUTTON, ID_RESOURCEEDITORADDTASKBUTTON,

   292

 ID_RESOURCEEDITORDELETETASKBUTTON, ID_RESOURCEEDITORUPTASKBUTTON,

   293

 ID_RESOURCEEDITORDOWNTASKBUTTON,

   294

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

   295

   296

class ResourceEditor(wx.Panel):

   297

   298

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

   299

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

   300

            if id is not None:

   301

                event(self, id, function)

   302

            else:

   303

                event(self, function)

   304

   305

    def _init_coll_InstancesSizer_Growables(self, parent):

   306

        parent.AddGrowableCol(0)

   307

        parent.AddGrowableRow(1)

   308

   309

    def _init_coll_InstancesSizer_Items(self, parent):

   310

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

   311

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

   312

   313

    def _init_coll_InstancesButtonsSizer_Growables(self, parent):

   314

        parent.AddGrowableCol(0)

   315

        parent.AddGrowableRow(0)

   316

   317

    def _init_coll_InstancesButtonsSizer_Items(self, parent):

   318

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

   319

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

   320

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

   321

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

   322

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

   323

   324

    def _init_coll_TasksSizer_Growables(self, parent):

   325

        parent.AddGrowableCol(0)

   326

        parent.AddGrowableRow(1)

   327

   328

    def _init_coll_TasksSizer_Items(self, parent):

   329

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

   330

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

   331

   332

    def _init_coll_TasksButtonsSizer_Growables(self, parent):

   333

        parent.AddGrowableCol(0)

   334

        parent.AddGrowableRow(0)

   335

   336

    def _init_coll_TasksButtonsSizer_Items(self, parent):

   337

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

   338

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

   339

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

   340

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

   341

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

   342

   343

    def _init_coll_MainGridSizer_Items(self, parent):

   344

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

   345

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

   346

   347

    def _init_coll_MainGridSizer_Growables(self, parent):

   348

        parent.AddGrowableCol(0)

   349

        parent.AddGrowableRow(0)

   350

        parent.AddGrowableRow(1)

   351

   352

    def _init_sizers(self):

   353

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

   354

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

   355

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

   356

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

   357

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

   358

   359

        self._init_coll_MainGridSizer_Growables(self.MainGridSizer)

   360

        self._init_coll_MainGridSizer_Items(self.MainGridSizer)

   361

        self._init_coll_InstancesSizer_Growables(self.InstancesSizer)

   362

        self._init_coll_InstancesSizer_Items(self.InstancesSizer)

   363

        self._init_coll_InstancesButtonsSizer_Growables(self.InstancesButtonsSizer)

   364

        self._init_coll_InstancesButtonsSizer_Items(self.InstancesButtonsSizer)

   365

        self._init_coll_TasksSizer_Growables(self.TasksSizer)

   366

        self._init_coll_TasksSizer_Items(self.TasksSizer)

   367

        self._init_coll_TasksButtonsSizer_Growables(self.TasksButtonsSizer)

   368

        self._init_coll_TasksButtonsSizer_Items(self.TasksButtonsSizer)

   369

   370

        self.SetSizer(self.MainGridSizer)

   371

   372

    def _init_ctrls(self, prnt):

   373

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

   374

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

   375

   376

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

   377

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

   378

              0), size=wx.Size(60, 17), style=wx.ALIGN_CENTER)

   379

   380

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

   381

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

   382

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

   383

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

   384

              'Sans'))

   385

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

   386

              False, 'Sans'))

   387

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

   388

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

   389

        else:

   390

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

   391

   392

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

   393

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

   394

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

   395

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

   396

   397

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

   398

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

   399

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

   400

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

   401

   402

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

   403

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

   404

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

   405

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

   406

   407

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

   408

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

   409

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

   410

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

   411

   412

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

   413

              label=u'Instances:', name='staticText1', parent=self,

   414

              pos=wx.Point(0, 0), size=wx.Size(85, 17), style=wx.ALIGN_CENTER)

   415

   416

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

   417

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

   418

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

   419

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

   420

              'Sans'))

   421

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

   422

              False, 'Sans'))

   423

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

   424

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

   425

        else:

   426

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

   427

   428

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

   429

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

   430

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

   431

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

   432

   433

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

   434

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

   435

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

   436

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

   437

   438

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

   439

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

   440

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

   441

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

   442

   443

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

   444

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

   445

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

   446

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

   447

   448

        self._init_sizers()

   449

   450

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

   451

        self._init_ctrls(parent)

   452

   453

        self.ParentWindow = window

   454

        self.Controler = controler

   455

        self.TagName = tagname

   456

   457

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

   458

        self.TasksTable = ResourceTable(self, [], ["Name", "Single", "Interval", "Priority"])

   459

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

   460

        self.TasksTable.SetColSizes([200, 100, 100, 100])

   461

        self.TasksGrid.SetTable(self.TasksTable)

   462

        self.TasksGrid.SetRowLabelSize(0)

   463

        self.TasksTable.ResetView(self.TasksGrid)

   464

   465

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

   466

        self.InstancesTable = ResourceTable(self, [], ["Name", "Type", "Task"])

   467

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

   468

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

   469

        self.InstancesGrid.SetTable(self.InstancesTable)

   470

        self.InstancesGrid.SetRowLabelSize(0)

   471

        self.InstancesTable.ResetView(self.InstancesGrid)

   472

   473

    def SetTagName(self, tagname):

   474

        self.TagName = tagname

   475

   476

    def GetTagName(self):

   477

        return self.TagName

   478

   479

    def IsViewing(self, tagname):

   480

        return self.TagName == tagname

   481

   482

    def SetMode(self, mode):

   483

        pass

   484

   485

    def RefreshTypeList(self):

   486

        self.TypeList = ""

   487

        blocktypes = self.Controler.GetBlockResource()

   488

        for blocktype in blocktypes:

   489

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

   490

   491

    def RefreshTaskList(self):

   492

        self.TaskList = ""

   493

        for row in xrange(self.TasksTable.GetNumberRows()):

   494

            self.TaskList += ",%s"%self.TasksTable.GetValueByName(row, "Name")

   495

   496

    def RefreshVariableList(self):

   497

        self.VariableList = ""

   498

        for variable in self.Controler.GetEditedResourceVariables(self.TagName):

   499

            self.VariableList += ",%s"%variable

   500

   501

    def RefreshModel(self):

   502

        self.Controler.SetEditedResourceInfos(self.TagName, self.TasksTable.GetData(), self.InstancesTable.GetData())

   503

        self.RefreshBuffer()

   504

   505

    def ResetBuffer(self):

   506

        pass

   507

   508

    # Buffer the last model state

   509

    def RefreshBuffer(self):