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

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

   100

#                            Resource Editor class

   101

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

   102

   103

class ResourceTable(wx.grid.PyGridTableBase):

   104

   105

    """

   106

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

   107

    """

   108

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

   109

        # The base class must be initialized *first*

   110

        wx.grid.PyGridTableBase.__init__(self)

   111

        self.data = data

   112

        self.colnames = colnames

   113

        self.Parent = parent

   114

   115

        self.ColAlignements = []

   116

        self.ColSizes = []

   117

        # XXX

   118

        # we need to store the row length and collength to

   119

        # see if the table has changed size

   120

        self._rows = self.GetNumberRows()

   121

        self._cols = self.GetNumberCols()

   122

   123

    def GetColAlignements(self):

   124

        return self.ColAlignements

   125

   126

    def SetColAlignements(self, list):

   127

        self.ColAlignements = list

   128

   129

    def GetColSizes(self):

   130

        return self.ColSizes

   131

   132

    def SetColSizes(self, list):

   133

        self.ColSizes = list

   134

   135

    def GetNumberCols(self):

   136

        return len(self.colnames)

   137

   138

    def GetNumberRows(self):

   139

        return len(self.data)

   140

   141

    def GetColLabelValue(self, col):

   142

        if col < len(self.colnames):

   143

            return self.colnames[col]

   144

   145

    def GetRowLabelValues(self, row):

   146

        return row

   147

   148

    def GetValue(self, row, col):

   149

        if row < self.GetNumberRows():

   150

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

   151

            return name

   152

   153

    def GetValueByName(self, row, colname):

   154

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

   155

   156

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

   157

        if col < len(self.colnames):

   158

            self.data[row][self.GetColLabelValue(col)] = 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)

   217

                grid.SetReadOnly(row, col, False)

   218

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

   219

                    editor = wx.grid.GridCellTextEditor()

   220

                    renderer = wx.grid.GridCellStringRenderer()

   221

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

   222

                        grid.SetReadOnly(row, col, True)

   223

                elif colname == "Single":

   224

                    editor = wx.grid.GridCellChoiceEditor()

   225

                    editor.SetParameters(self.Parent.VariableList)

   226

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

   227

                        grid.SetReadOnly(row, col, True)

   228

                elif colname == "Type":

   229

                    editor = wx.grid.GridCellChoiceEditor()

   230

                    editor.SetParameters(self.Parent.TypeList)

   231

                elif colname == "Priority":

   232

                    editor = wx.grid.GridCellNumberEditor()

   233

                    editor.SetParameters("0,65535")

   234

                elif colname == "Task":

   235

                    editor = wx.grid.GridCellChoiceEditor()

   236

                    editor.SetParameters(self.Parent.TaskList)

   237

   238

                grid.SetCellEditor(row, col, editor)

   239

                grid.SetCellRenderer(row, col, renderer)

   240

   241

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

   242

   243

    def SetData(self, data):

   244

        self.data = data

   245

   246

    def GetData(self):

   247

        return self.data

   248

   249

    def GetCurrentIndex(self):

   250

        return self.CurrentIndex

   251

   252

    def SetCurrentIndex(self, index):

   253

        self.CurrentIndex = index

   254

   255

    def AppendRow(self, row_content):

   256

        self.data.append(row_content)

   257

   258

    def RemoveRow(self, row_index):

   259

        self.data.pop(row_index)

   260

   261

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

   262

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

   263

        if new_index != row_index:

   264

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

   265

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

   266

   267

    def Empty(self):

   268

        self.data = []

   269

        self.editors = []

   270

   271

   272

[ID_RESOURCEEDITOR, ID_RESOURCEEDITORSTATICTEXT1,

   273

 ID_RESOURCEEDITORSTATICTEXT2, ID_RESOURCEEDITORINSTANCESGRID,

   274

 ID_RESOURCEEDITORTASKSGRID, ID_RESOURCEEDITORADDINSTANCEBUTTON,

   275

 ID_RESOURCEEDITORDELETEINSTANCEBUTTON, ID_RESOURCEEDITORUPINSTANCEBUTTON,

   276

 ID_RESOURCEEDITORDOWNINSTANCEBUTTON, ID_RESOURCEEDITORADDTASKBUTTON,

   277

 ID_RESOURCEEDITORDELETETASKBUTTON, ID_RESOURCEEDITORUPTASKBUTTON,

   278

 ID_RESOURCEEDITORDOWNTASKBUTTON,

   279

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

   280

   281

class ResourceEditor(wx.Panel):

   282

   283

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

   284

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

   285

            if id is not None:

   286

                event(self, id, function)

   287

            else:

   288

                event(self, function)

   289

   290

    def _init_coll_InstancesSizer_Growables(self, parent):

   291

        parent.AddGrowableCol(0)

   292

        parent.AddGrowableRow(1)

   293

   294

    def _init_coll_InstancesSizer_Items(self, parent):

   295

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

   296

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

   297

   298

    def _init_coll_InstancesButtonsSizer_Growables(self, parent):

   299

        parent.AddGrowableCol(0)

   300

        parent.AddGrowableRow(0)

   301

   302

    def _init_coll_InstancesButtonsSizer_Items(self, parent):

   303

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

   304

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

   305

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

   306

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

   307

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

   308

   309

    def _init_coll_TasksSizer_Growables(self, parent):

   310

        parent.AddGrowableCol(0)

   311

        parent.AddGrowableRow(1)

   312

   313

    def _init_coll_TasksSizer_Items(self, parent):

   314

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

   315

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

   316

   317

    def _init_coll_TasksButtonsSizer_Growables(self, parent):

   318

        parent.AddGrowableCol(0)

   319

        parent.AddGrowableRow(0)

   320

   321

    def _init_coll_TasksButtonsSizer_Items(self, parent):

   322

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

   323

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

   324

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

   325

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

   326

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

   327

   328

    def _init_coll_MainGridSizer_Items(self, parent):

   331

   332

    def _init_coll_MainGridSizer_Growables(self, parent):

   333

        parent.AddGrowableCol(0)

   334

        parent.AddGrowableRow(0)

   335

        parent.AddGrowableRow(1)

   336

   337

    def _init_sizers(self):

   338

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

   339

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

   340

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

   341

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

   342

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

   343

   344

        self._init_coll_MainGridSizer_Growables(self.MainGridSizer)

   345

        self._init_coll_MainGridSizer_Items(self.MainGridSizer)

   346

        self._init_coll_InstancesSizer_Growables(self.InstancesSizer)

   347

        self._init_coll_InstancesSizer_Items(self.InstancesSizer)

   348

        self._init_coll_InstancesButtonsSizer_Growables(self.InstancesButtonsSizer)

   349

        self._init_coll_InstancesButtonsSizer_Items(self.InstancesButtonsSizer)

   350

        self._init_coll_TasksSizer_Growables(self.TasksSizer)

   351

        self._init_coll_TasksSizer_Items(self.TasksSizer)

   352

        self._init_coll_TasksButtonsSizer_Growables(self.TasksButtonsSizer)

   353

        self._init_coll_TasksButtonsSizer_Items(self.TasksButtonsSizer)

   354

   355

        self.SetSizer(self.MainGridSizer)

   356

   357

    def _init_ctrls(self, prnt):

   358

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

   359

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

   360

   361

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

   362

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

   363

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

   364

   365

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

   366

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

   367

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

   368

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

   369

              'Sans'))

   370

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

   371

              False, 'Sans'))

   372

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

   373

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

   374

        else:

   375

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

   376

   377

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

   378

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

   379

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

   380

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

   381

   382

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

   383

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

   384

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

   385

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

   386

   387

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

   388

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

   389

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

   390

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

   391

   392

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

   393

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

   394

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

   395

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

   396

   397

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

   398

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

   399

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

   400

   401

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

   402

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

   403

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

   404

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

   405

              'Sans'))

   406

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

   407

              False, 'Sans'))

   408

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

   409

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

   410

        else:

   411

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

   412

   413

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

   414

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

   415

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

   416

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

   417

   418

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

   419

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

   420

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

   421

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

   422

   423

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

   424

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

   425

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

   426

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

   427

   428

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

   429

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

   430

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

   431

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

   432

   433

        self._init_sizers()

   434

   435

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

   436

        self._init_ctrls(parent)

   437

   438

        self.ParentWindow = window

   439

        self.Controler = controler

   440

        self.TagName = tagname

   441

   442

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

   443

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

   444

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

   445

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

   446

        self.TasksGrid.SetTable(self.TasksTable)

   447

        self.TasksGrid.SetRowLabelSize(0)

   448

        self.TasksTable.ResetView(self.TasksGrid)

   449

   450

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

   451

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

   452

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

   453

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

   454

        self.InstancesGrid.SetTable(self.InstancesTable)

   455

        self.InstancesGrid.SetRowLabelSize(0)

   456

        self.InstancesTable.ResetView(self.InstancesGrid)

   457

   458

    def SetTagName(self, tagname):

   459

        self.TagName = tagname

   460

   461

    def GetTagName(self):

   462

        return self.TagName

   463

   464

    def IsViewing(self, tagname):

   465

        return self.TagName == tagname

   466

   467

    def SetMode(self, mode):

   468

        pass

   469

   470

    def RefreshTypeList(self):

   471

        self.TypeList = ""

   472

        blocktypes = self.Controler.GetBlockResource()

   473

        for blocktype in blocktypes:

   474

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

   475

   476

    def RefreshTaskList(self):

   477

        self.TaskList = ""

   478

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

   479

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

   480

   481

    def RefreshVariableList(self):

   482

        self.VariableList = ""

   483

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

   484

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

   485

   486

    def RefreshModel(self):

   487

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

   488

        self.RefreshBuffer()

   489

   490

    def ResetBuffer(self):

   491

        pass

   492

   493

    # Buffer the last model state

   494

    def RefreshBuffer(self):

   495

        self.Controler.BufferProject()

   496

        self.ParentWindow.RefreshTitle()

   497

        self.ParentWindow.RefreshEditMenu()

   498

   499

    def RefreshView(self):

   500

        tasks, instances = self.Controler.GetEditedResourceInfos(self.TagName)

   501

        self.TasksTable.SetData(tasks)

   502

        self.InstancesTable.SetData(instances)

   503

        self.RefreshTypeList()

   504

        self.RefreshTaskList()

   505

        self.RefreshVariableList()

   506

        self.InstancesTable.ResetView(self.InstancesGrid)

   507

        self.TasksTable.ResetView(self.TasksGrid)

   508

   509

    def OnAddTaskButton(self, event):

   510

        self.TasksTable.AppendRow(self.TasksDefaultValue.copy())