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): 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 Lesser 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

#Lesser General Public License for more details.

    20

#

    21

#You should have received a copy of the GNU Lesser 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

from minixsv import pyxsval

    26

import cPickle

    27

import os,sys,re

    28

    29

from plcopen import plcopen

    30

from plcopen.structures import *

    31

from graphics.GraphicCommons import *

    32

from PLCGenerator import *

    33

    34

[ITEM_UNEDITABLE, ITEM_PROJECT, ITEM_POU, ITEM_CLASS, ITEM_VARIABLE,

    35

 ITEM_TRANSITION, ITEM_ACTION, ITEM_CONFIGURATION, ITEM_RESOURCE] = range(9)

    36

    37

"""

    38

pyxsval is not complete and the parts that are not supported print some error

    39

reports. This class is used for not displaying them

    40

"""

    41

class HolePseudoFile:

    42

    """ Base class for file like objects to facilitate StdOut for the Shell."""

    43

    def __init__(self, output = None):

    44

        if output is None: output = []

    45

        self.output = output

    46

    47

    def writelines(self, l):

    48

        map(self.write, l)

    49

    50

    def write(self, s):

    51

        pass

    52

    53

    def flush(self):

    54

        pass

    55

    56

    def isatty(self):

    57

        return false

    58

    59

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

    60

#                         Undo Buffer for PLCOpenEditor

    61

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

    62

    63

# Length of the buffer

    64

UNDO_BUFFER_LENGTH = 20

    65

    66

"""

    67

Class implementing a buffer of changes made on the current editing Object Dictionary

    68

"""

    69

class UndoBuffer:

    70

    71

    # Constructor initialising buffer

    72

    def __init__(self, currentstate, issaved = False):

    73

        self.Buffer = []

    74

        self.CurrentIndex = -1

    75

        self.MinIndex = -1

    76

        self.MaxIndex = -1

    77

        # if current state is defined

    78

        if currentstate:

    79

            self.CurrentIndex = 0

    80

            self.MinIndex = 0

    81

            self.MaxIndex = 0

    82

        # Initialising buffer with currentstate at the first place

    83

        for i in xrange(UNDO_BUFFER_LENGTH):

    84

            if i == 0:

    85

                self.Buffer.append(currentstate)

    86

            else:

    87

                self.Buffer.append(None)

    88

        # Initialising index of state saved

    89

        if issaved:

    90

            self.LastSave = 0

    91

        else:

    92

            self.LastSave = -1

    93

    94

    # Add a new state in buffer

    95

    def Buffering(self, currentstate):

    96

        self.CurrentIndex = (self.CurrentIndex + 1) % UNDO_BUFFER_LENGTH

    97

        self.Buffer[self.CurrentIndex] = currentstate

    98

        # Actualising buffer limits

    99

        self.MaxIndex = self.CurrentIndex

   100

        if self.MinIndex == self.CurrentIndex:

   101

            # If the removed state was the state saved, there is no state saved in the buffer

   102

            if self.LastSave == self.MinIndex:

   103

                self.LastSave = -1

   104

            self.MinIndex = (self.MinIndex + 1) % UNDO_BUFFER_LENGTH

   105

        self.MinIndex = max(self.MinIndex, 0)

   106

   107

    # Return current state of buffer

   108

    def Current(self):

   109

        return self.Buffer[self.CurrentIndex]

   110

   111

    # Change current state to previous in buffer and return new current state

   112

    def Previous(self):

   113

        if self.CurrentIndex != self.MinIndex:

   114

            self.CurrentIndex = (self.CurrentIndex - 1) % UNDO_BUFFER_LENGTH

   115

            return self.Buffer[self.CurrentIndex]

   116

        return None

   117

   118

    # Change current state to next in buffer and return new current state

   119

    def Next(self):

   120

        if self.CurrentIndex != self.MaxIndex:

   121

            self.CurrentIndex = (self.CurrentIndex + 1) % UNDO_BUFFER_LENGTH

   122

            return self.Buffer[self.CurrentIndex]

   123

        return None

   124

   125

    # Return True if current state is the first in buffer

   126

    def IsFirst(self):

   127

        return self.CurrentIndex == self.MinIndex

   128

   129

    # Return True if current state is the last in buffer

   130

    def IsLast(self):

   131

        return self.CurrentIndex == self.MaxIndex

   132

   133

    # Note that current state is saved

   134

    def CurrentSaved(self):

   135

        self.LastSave = self.CurrentIndex

   136

   137

    # Return True if current state is saved

   138

    def IsCurrentSaved(self):

   139

        return self.LastSave == self.CurrentIndex

   140

   141

   142

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

   143

#                           Controler for PLCOpenEditor

   144

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

   145

   146

"""

   147

Class which controls the operations made on the plcopen model and answers to view requests

   148

"""

   149

class PLCControler:

   150

   151

    # Create a new PLCControler

   152

    def __init__(self):

   153

        self.LastNewIndex = 0

   154

        self.Reset()

   155

   156

    # Reset PLCControler internal variables

   157

    def Reset(self):

   158

        self.Project = None

   159

        self.ProjectBuffer = None

   160

        self.FilePath = ""

   161

        self.FileName = ""

   162

        self.ElementsOpened = []

   163

        self.CurrentElementEditing = None

   164

        self.RefreshPouUsingTree()

   165

        self.RefreshBlockTypes()

   166

   167

    def GetQualifierTypes(self):

   168

        return plcopen.QualifierList

   169

   170

   171

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

   172

#                         Project management functions

   173

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

   174

   175

    # Return if a project is opened

   176

    def HasOpenedProject(self):

   177

        return self.Project != None

   178

   179

    # Create a new project by replacing the current one

   180

    def CreateNewProject(self, name):

   181

        # Create the project

   182

        self.Project = plcopen.project()

   183

        self.Project.setName(name)

   184

        # Initialize the project buffer

   185

        self.ProjectBuffer = UndoBuffer(self.Copy(self.Project))

   186

   187

    # Change project name

   188

    def SetProjectName(self, name):

   189

        self.Project.setName(name)

   190

   191

    # Return project name

   192

    def GetProjectName(self):

   193

        return self.Project.getName()

   194

   195

    # Return project pou names

   196

    def GetProjectPouNames(self):

   197

        return [pou.getName() for pou in self.Project.getPous()]

   198

   199

    # Return project pou names

   200

    def GetProjectConfigNames(self):

   201

        return [config.getName() for config in self.Project.getConfigurations()]

   202

   203

    # Return file path if project is an open file

   204

    def GetFilePath(self):

   205

        return self.FilePath

   206

   207

    # Return file name and point out if file is up to date

   208

    def GetFilename(self):

   209

        if self.ProjectBuffer.IsCurrentSaved():

   210

            return self.FileName

   211

        else:

   212

            return "~%s~"%self.FileName

   213

   214

    # Change file path and save file name or create a default one if file path not defined

   215

    def SetFilePath(self, filepath):

   216

        self.FilePath = filepath

   217

        if filepath == "":

   218

            self.LastNewIndex += 1

   219

            self.FileName = "Unnamed%d"%self.LastNewIndex

   220

        else:

   221

            self.FileName = os.path.splitext(os.path.basename(filepath))[0]

   222

   223

    # Change project properties

   224

    def SetProjectProperties(self, values):

   225

        self.Project.setFileHeader(values)

   226

   227

    # Return project properties

   228

    def GetProjectProperties(self):

   229

        return self.Project.getFileHeader()

   230

   231

    # Return project informations

   232

    def GetProjectInfos(self):

   233

        if self.Project:

   234

            infos = {"name": self.Project.getName(), "type": ITEM_PROJECT}

   235

            pou_types = {"function": {"name": "Functions", "type": ITEM_UNEDITABLE, "values":[]},

   236

                         "functionBlock": {"name": "Function Blocks", "type": ITEM_UNEDITABLE, "values":[]},

   237

                         "program": {"name": "Programs", "type": ITEM_UNEDITABLE, "values":[]}}

   238

            for pou in self.Project.getPous():

   239

                pou_type = pou.getPouType().getValue()

   240

                pou_infos = {"name": pou.getName(), "type": ITEM_POU}

   241

                var_types = {"Input": {"name": "Input", "type": ITEM_CLASS, "values": []},

   242

                         "Output": {"name": "Output", "type": ITEM_CLASS, "values": []},

   243

                         "InOut": {"name": "InOut", "type": ITEM_CLASS, "values": []},

   244

                         "External": {"name": "External", "type": ITEM_CLASS, "values": []},

   245

                         "Local": {"name": "Local", "type": ITEM_CLASS, "values": []},

   246

                         "Temp": {"name": "Temp", "type": ITEM_CLASS, "values": []},

   247

                         "Global": {"name": "Global", "type": ITEM_CLASS, "values": []}}

   248

                for var in self.GetPouInterfaceVars(pou):

   249

                    var_values = {"name": var["Name"], "type": ITEM_VARIABLE, "values": []}

   250

                    if var["Class"] in var_types.keys():

   251

                        var_types[var["Class"]]["values"].append(var_values)

   252

                pou_values = []

   253

                pou_values.append({"name": "Interface", "type": ITEM_CLASS, 

   254

                    "values": [var_types["Input"], var_types["Output"], var_types["InOut"], var_types["External"]]})

   255

                pou_values.append({"name": "Variables", "type": ITEM_CLASS, 

   256

                    "values": [var_types["Local"], var_types["Temp"]]})

   257

                if pou_type == "program":

   258

                    pou_values.append(var_types["Global"])

   259

                if pou.getBodyType() == "SFC":

   260

                    transitions = []

   261

                    for transition in pou.getTransitionList():

   262

                        transitions.append({"name": transition.getName(), "type": ITEM_TRANSITION, "values": []})

   263

                    pou_values.append({"name": "Transitions", "type": ITEM_UNEDITABLE, "values": transitions})

   264

                    actions = []

   265

                    for action in pou.getActionList():

   266

                        actions.append({"name": action.getName(), "type": ITEM_ACTION, "values": []})

   267

                    pou_values.append({"name": "Actions", "type": ITEM_UNEDITABLE, "values": actions})

   268

                if pou_type in pou_types:

   269

                    pou_infos["values"] = pou_values

   270

                    pou_types[pou_type]["values"].append(pou_infos)

   271

            configurations = {"name": "Configurations", "type": ITEM_UNEDITABLE, "values": []}

   272

            for config in self.Project.getConfigurations():

   273

                config_name = config.getName()

   274

                config_infos = {"name": config_name, "type": ITEM_CONFIGURATION, "values": []}

   275

                config_vars = {"name": "Global", "type": ITEM_CLASS, "values": []}

   276

                for var in self.GetConfigurationGlobalVars(config_name):

   277

                    var_values = {"name": var["Name"], "type": ITEM_VARIABLE, "values": []}

   278

                    config_vars["values"].append(var_values)

   279

                resources = {"name": "Resources", "type": ITEM_UNEDITABLE, "values": []}

   280

                for resource in config.getResource():

   281

                    resource_name = resource.getName()

   282

                    resource_infos = {"name": resource_name, "type": ITEM_RESOURCE, "values": []}

   283

                    resource_vars = {"name": "Global", "type": ITEM_CLASS, "values": []}

   284

                    for var in self.GetConfigurationResourceGlobalVars(config_name, resource_name):

   285

                        var_values = {"name": var["Name"], "type": ITEM_VARIABLE, "values": []}

   286

                        resource_vars["values"].append(var_values)

   287

                    resource_infos["values"].append(resource_vars)

   288

                    resources["values"].append(resource_infos)

   289

                config_infos["values"] = [config_vars, resources]

   290

                configurations["values"].append(config_infos)

   291

            infos["values"] = [{"name": "Properties", "type": ITEM_UNEDITABLE, "values": []},

   292

                               pou_types["function"], pou_types["functionBlock"], 

   293

                               pou_types["program"], configurations]

   294

            return infos

   295

        return None

   296

   297

    # Refresh the tree of user-defined pou cross-use

   298

    def RefreshPouUsingTree(self):

   299

        # Reset the tree of user-defined pou cross-use

   300

        self.PouUsingTree = {}

   301

        if self.Project:

   302

            pous = self.Project.getPous()

   303

            # Reference all the user-defined pou names and initialize the tree of 

   304

            # user-defined pou cross-use

   305

            pounames = [pou.getName() for pou in pous]

   306

            for name in pounames:

   307

                self.PouUsingTree[name] = []

   308

            # Analyze each pou 

   309

            for pou in pous:

   310

                name = pou.getName()

   311

                bodytype = pou.getBodyType()

   312

                # If pou is written in a graphical language

   313

                if bodytype in ["FBD","LD","SFC"]:

   314

                    # Analyze each instance of the pou

   315

                    for instance in pou.getInstances():

   316

                        if isinstance(instance, plcopen.block):

   317

                            typename = instance.getTypeName()

   318

                            # Update tree if there is a cross-use

   319

                            if typename in pounames and name not in self.PouUsingTree[typename]:

   320

                                 self.PouUsingTree[typename].append(name)

   321

                # If pou is written in a textual language

   322

                elif bodytype in ["IL", "ST"]:

   323

                    text = pou.getText()

   324

                    # Search if each pou is mentioned in the pou text

   325

                    for typename in pounames:

   326

                        typename_model = re.compile("[ \t\n]%s[ \t\n]"%typename)

   327

                        # Update tree if there is a cross-use

   328

                        if typename != name and typename_model.search(text):

   329

                            self.PouUsingTree[typename].append(name)

   330

   331

    # Return if pou given by name is used by another pou

   332

    def PouIsUsed(self, name):

   333

        if name in self.PouUsingTree:

   334

            return len(self.PouUsingTree[name]) > 0

   335

        return False

   336

   337

    # Return if pou given by name is directly or undirectly used by the reference pou

   338

    def PouIsUsedBy(self, name, reference):

   339

        if name in self.PouUsingTree:

   340

            list = self.PouUsingTree[name]

   341

            # Test if pou is directly used by reference

   342

            if reference in list:

   343

                return True

   344

            else:

   345

                # Test if pou is undirectly used by reference, by testing if pous 

   346

                # that directly use pou is directly or undirectly used by reference

   347

                used = False

   348

                for element in list:

   349

                    used |= self.PouIsUsedBy(element, reference)

   350

                return used

   351

        return False

   352

   354

        if self.Project:

   364

   365

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

   366

#                        Project Pous management functions

   367

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

   368

   369

    # Add a Pou to Project

   370

    def ProjectAddPou(self, name, pou_type, body_type):

   371

        # Add the pou to project

   372

        self.Project.appendPou(name, pou_type, body_type)

   373

        self.RefreshPouUsingTree()

   374

        self.RefreshBlockTypes()

   375

   376

    # Remove a pou from project

   377

    def ProjectRemovePou(self, name):

   378

        removed = None

   379

        # Search if the pou removed is currently opened

   380

        for i, pou in enumerate(self.ElementsOpened):

   381

            if pou == name:

   382

                removed = i

   383

        # If found, remove pou from list of opened pous and actualize current edited

   384

        if removed != None:

   385

            self.ElementsOpened.pop(removed)

   386

            if self.CurrentElementEditing > removed:

   387

                self.CurrentElementEditing -= 1

   388

            if len(self.ElementsOpened) > 0:

   389

                self.CurrentElementEditing = max(0, min(self.CurrentElementEditing, len(self.ElementsOpened) - 1))

   390

            else:

   391

                self.CurrentElementEditing = None

   392

        # Remove pou from project

   393

        self.Project.removePou(name)

   394

        self.RefreshPouUsingTree()

   395

        self.RefreshBlockTypes()

   396

   397

    # Add a configuration to Project

   398

    def ProjectAddConfiguration(self, name):

   399

        self.Project.addConfiguration(name)

   400

        self.RefreshPouUsingTree()

   401

        self.RefreshBlockTypes()

   402

   403

    # Remove a configuration from project

   404

    def ProjectRemoveConfiguration(self, name):

   405

        self.Project.removeConfiguration(name)

   406

        self.RefreshPouUsingTree()

   407

        self.RefreshBlockTypes()

   408

   409

    # Add a resource to a configuration of the Project

   410

    def ProjectAddConfigurationResource(self, config, name):

   411

        self.Project.addConfigurationResource(config, name)

   412

        self.RefreshPouUsingTree()

   413

        self.RefreshBlockTypes()

   414

   415

    # Remove a resource from a configuration of the project

   416

    def ProjectRemoveConfigurationResource(self, config, name):

   417

        self.Project.removeConfigurationResource(config, name)

   418

        self.RefreshPouUsingTree()

   419

        self.RefreshBlockTypes()

   420

   421

    # Add a Transition to a Project Pou

   422

    def ProjectAddPouTransition(self, pou_name, transition_name, transition_type):

   423

        pou = self.Project.getPou(pou_name)

   424

        pou.addTransition(transition_name, transition_type)

   425

   426

    # Add a Transition to a Project Pou

   427

    def ProjectAddPouAction(self, pou_name, action_name, action_type):

   428

        pou = self.Project.getPou(pou_name)

   429

        pou.addAction(action_name, action_type)

   430

   431

    # Change the name of a pou

   432

    def ChangePouName(self, old_name, new_name):

   433

        # Found the pou corresponding to old name and change its name to new name

   434

        pou = self.Project.getPou(old_name)

   435

        pou.setName(new_name)

   436

        # If pou is currently opened, change its name in the list of opened pous

   437

        if old_name in self.ElementsOpened:

   438

            idx = self.ElementsOpened.index(old_name)

   439

            self.ElementsOpened[idx] = new_name

   440

        self.RefreshPouUsingTree()

   441

        self.RefreshBlockTypes()

   442

   443

    # Change the name of a pou transition

   444

    def ChangePouTransitionName(self, pou_name, old_name, new_name):

   445

        # Found the pou transition corresponding to old name and change its name to new name

   446

        pou = self.Project.getPou(pou_name)

   447

        transition = pou.getTransition(old_name)

   448

        transition.setName(new_name)

   449

        # If pou transition is currently opened, change its name in the list of opened elements

   450

        old_computedname = self.ComputePouTransitionName(pou_name, old_name)

   451

        new_computedname = self.ComputePouTransitionName(pou_name, new_name)

   452

        if old_computedname in self.ElementsOpened:

   453

            idx = self.ElementsOpened.index(old_computedname)

   454

            self.ElementsOpened[idx] = new_computedname

   455

   456

    # Change the name of a pou action

   457

    def ChangePouActionName(self, pou_name, old_name, new_name):

   458

        # Found the pou action corresponding to old name and change its name to new name

   459

        pou = self.Project.getPou(pou_name)

   460

        action = pou.getAction(old_name)

   461

        action.setName(new_name)

   462

        # If pou action is currently opened, change its name in the list of opened elements

   463

        old_computedname = self.ComputePouActionName(pou_name, old_name)

   464

        new_computedname = self.ComputePouActionName(pou_name, new_name)

   465

        if old_computedname in self.ElementsOpened:

   466

            idx = self.ElementsOpened.index(old_computedname)

   467

            self.ElementsOpened[idx] = new_computedname

   468

   469

    # Change the name of a configuration

   470

    def ChangeConfigurationName(self, old_name, new_name):

   471

        # Found the configuration corresponding to old name and change its name to new name

   472

        configuration = self.Project.getConfiguration(old_name)

   473

        configuration.setName(new_name)

   474

        # If configuration is currently opened, change its name in the list of opened elements

   475

        for idx, element in enumerate(self.ElementsOpened):

   476

            self.ElementsOpened[idx] = element.replace(old_name, new_name)

   477

   478

    # Change the name of a configuration resource

   479

    def ChangeConfigurationResourceName(self, config_name, old_name, new_name):

   480

        # Found the resource corresponding to old name and change its name to new name

   481

        resource = self.Project.getConfigurationResource(config_name)

   482

        resource.setName(new_name)

   483

        # If resource is currently opened, change its name in the list of opened elements

   484

        old_computedname = self.ComputeConfigurationResourceName(config_name, old_name)

   485

        new_computedname = self.ComputeConfigurationResourceName(config_name, new_name)

   486

        if old_computedname in self.ElementsOpened:

   487

            idx = self.ElementsOpened.index(old_computedname)

   488

            self.ElementsOpened[idx] = new_computedname

   489

   490

    # Return the type of the pou given by its name

   491

    def GetPouType(self, name):

   492

        # Found the pou correponding to name and return its type

   493

        pou = self.Project.getPou(name)

   494

        return pou.pouType.getValue()

   495

   496

    # Return pous with SFC language

   497

    def GetSFCPous(self):

   498

        list = []

   499

        if self.Project:

   500

            for pou in self.Project.getPous():

   501

                if pou.getBodyType() == "SFC":

   502

                    list.append(pou.getName())

   503

        return list

   504

   505

    # Return the body language of the pou given by its name

   506

    def GetPouBodyType(self, name):

   507

        # Found the pou correponding to name and return its body language

   508

        pou = self.Project.getPou(name)

   509

        return pou.getBodyType()

   510

   511

    # Return the body language of the transition given by its name

   512

    def GetTransitionBodyType(self, pou_name, pou_transition):

   513

        # Found the pou correponding to name and return its body language

   514

        pou = self.Project.getPou(pou_name)

   515

        transition = pou.getTransition(pou_transition)

   516

        return transition.getBodyType()

   517

   518

    # Return the body language of the pou given by its name

   519

    def GetActionBodyType(self, pou_name, pou_action):

   520

        # Found the pou correponding to name and return its body language

   521

        pou = self.Project.getPou(pou_name)

   522

        action = pou.getAction(pou_action)

   523

        return action.getBodyType()

   524

   525

    # Extract varlists from a list of vars

   526

    def ExtractVarLists(self, vars):

   527

        varlist_list = []