1

#!/usr/bin/env python

     2

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

     3

     4

# This file is part of Beremiz, a Integrated Development Environment for

     5

# programming IEC 61131-3 automates supporting plcopen standard and CanFestival.

     6

#

     7

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

     8

#

     9

# See COPYING file for copyrights details.

    10

#

    11

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

    12

# modify it under the terms of the GNU General Public License

    13

# as published by the Free Software Foundation; either version 2

    14

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

    15

#

    16

# This program 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

    19

# GNU General Public License for more details.

    20

#

    21

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

    22

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

    23

# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.

    24

    25

    26

from functools import cmp_to_key

    27

from operator import eq

    28

import math

    29

from time import time as gettime

    30

from threading import Lock

    31

    32

import wx

    33

    34

from plcopen.structures import *

    35

from plcopen.types_enums import ComputePouName

    36

from PLCControler import ITEM_VAR_LOCAL, ITEM_POU, ITEM_PROGRAM, ITEM_FUNCTIONBLOCK

    37

    38

from graphics.GraphicCommons import *

    39

from graphics.FBD_Objects import *

    40

from graphics.LD_Objects import *

    41

from graphics.SFC_Objects import *

    42

from graphics.RubberBand import RubberBand

    43

from graphics.DebugDataConsumer import DebugDataConsumer

    44

    45

from dialogs import *

    46

from editors.DebugViewer import DebugViewer, REFRESH_PERIOD

    47

from editors.EditorPanel import EditorPanel

    48

    49

SCROLLBAR_UNIT = 10

    50

WINDOW_BORDER = 10

    51

SCROLL_ZONE = 10

    52

    53

CURSORS = None

    54

SFC_Objects = (SFC_Step, SFC_ActionBlock, SFC_Transition, SFC_Divergence, SFC_Jump)

    55

    56

    57

def ResetCursors():

    58

    global CURSORS

    59

    if CURSORS is None:

    60

        CURSORS = [wx.NullCursor,

    61

                   wx.Cursor(wx.CURSOR_HAND),

    62

                   wx.Cursor(wx.CURSOR_SIZENWSE),

    63

                   wx.Cursor(wx.CURSOR_SIZENESW),

    64

                   wx.Cursor(wx.CURSOR_SIZEWE),

    65

                   wx.Cursor(wx.CURSOR_SIZENS)]

    66

    67

    68

if wx.Platform == '__WXMSW__':

    69

    faces = {

    70

        'times': 'Times New Roman',

    71

        'mono':  'Courier New',

    72

        'helv':  'Arial',

    73

        'other': 'Comic Sans MS',

    74

        'size':  10,

    75

    }

    76

else:

    77

    faces = {

    78

        'times': 'Times',

    79

        'mono':  'FreeMono',

    80

        'helv':  'Helvetica',

    81

        'other': 'new century schoolbook',

    82

        'size':  10,

    83

    }

    84

    85

if wx.Platform == '__WXMSW__':

    86

    MAX_ZOOMIN = 4

    87

else:

    88

    MAX_ZOOMIN = 7

    89

ZOOM_FACTORS = [math.sqrt(2) ** x for x in range(-6, MAX_ZOOMIN)]

    90

    91

    92

WX_NO_LOGICAL = "gtk3" in wx.PlatformInfo

    93

    94

def GetVariableCreationFunction(variable_type):

    95

    def variableCreationFunction(viewer, id, specific_values):

    96

        return FBD_Variable(viewer,

    97

                            variable_type,

    98

                            specific_values.name,

    99

                            specific_values.value_type,

   100

                            id,

   101

                            specific_values.execution_order)

   102

    return variableCreationFunction

   103

   104

   105

def GetConnectorCreationFunction(connector_type):

   106

    def connectorCreationFunction(viewer, id, specific_values):

   107

        return FBD_Connector(viewer,

   108

                             connector_type,

   109

                             specific_values.name,

   110

                             id)

   111

    return connectorCreationFunction

   112

   113

   114

def commentCreationFunction(viewer, id, specific_values):

   115

    return Comment(viewer, specific_values.content, id)

   116

   117

   118

def GetPowerRailCreationFunction(powerrail_type):

   119

    def powerRailCreationFunction(viewer, id, specific_values):

   120

        return LD_PowerRail(viewer,

   121

                            powerrail_type,

   122

                            id,

   123

                            specific_values.connectors)

   124

    return powerRailCreationFunction

   125

   126

   127

def NEGATED_VALUE(x):

   128

    return x if x is not None else False

   129

   130

   131

def MODIFIER_VALUE(x):

   132

    return x if x is not None else 'none'

   133

   134

   135

CONTACT_TYPES = {(True, "none"): CONTACT_REVERSE,

   136

                 (False, "rising"): CONTACT_RISING,

   137

                 (False, "falling"): CONTACT_FALLING}

   138

   139

   140

def contactCreationFunction(viewer, id, specific_values):

   141

    contact_type = CONTACT_TYPES.get((NEGATED_VALUE(specific_values.negated),

   142

                                      MODIFIER_VALUE(specific_values.edge)),

   143

                                     CONTACT_NORMAL)

   144

    return LD_Contact(viewer, contact_type, specific_values.name, id)

   145

   146

   147

COIL_TYPES = {(True, "none", "none"): COIL_REVERSE,

   148

              (False, "none", "set"): COIL_SET,

   149

              (False, "none", "reset"): COIL_RESET,

   150

              (False, "rising", "none"): COIL_RISING,

   151

              (False, "falling", "none"): COIL_FALLING}

   152

   153

   154

def coilCreationFunction(viewer, id, specific_values):

   155

    coil_type = COIL_TYPES.get((NEGATED_VALUE(specific_values.negated),

   156

                                MODIFIER_VALUE(specific_values.edge),

   157

                                MODIFIER_VALUE(specific_values.storage)),

   158

                               COIL_NORMAL)

   159

    return LD_Coil(viewer, coil_type, specific_values.name, id)

   160

   161

   162

def stepCreationFunction(viewer, id, specific_values):

   163

    step = SFC_Step(viewer,

   164

                    specific_values.name,

   165

                    specific_values.initial,

   166

                    id)

   167

    if specific_values.action is not None:

   168

        step.AddAction()

   169

        connector = step.GetActionConnector()

   170

        connector.SetPosition(wx.Point(*specific_values.action.position))

   171

    return step

   172

   173

   174

def transitionCreationFunction(viewer, id, specific_values):

   175

    transition = SFC_Transition(viewer,

   176

                                specific_values.condition_type,

   177

                                specific_values.condition,

   178

                                specific_values.priority,

   179

                                id)

   180

    return transition

   181

   182

   183

divergence_types = [SELECTION_DIVERGENCE,

   184

                    SELECTION_CONVERGENCE, SIMULTANEOUS_DIVERGENCE, SIMULTANEOUS_CONVERGENCE]

   185

   186

   187

def GetDivergenceCreationFunction(divergence_type):

   188

    def divergenceCreationFunction(viewer, id, specific_values):

   189

        return SFC_Divergence(viewer, divergence_type,

   190

                              specific_values.connectors, id)

   191

    return divergenceCreationFunction

   192

   193

   194

def jumpCreationFunction(viewer, id, specific_values):

   195

    return SFC_Jump(viewer, specific_values.target, id)

   196

   197

   198

def actionBlockCreationFunction(viewer, id, specific_values):

   199

    return SFC_ActionBlock(viewer, specific_values.actions, id)

   200

   201

   202

ElementCreationFunctions = {

   203

    "input": GetVariableCreationFunction(INPUT),

   204

    "output": GetVariableCreationFunction(OUTPUT),

   205

    "inout": GetVariableCreationFunction(INOUT),

   206

    "connector": GetConnectorCreationFunction(CONNECTOR),

   207

    "continuation": GetConnectorCreationFunction(CONTINUATION),

   208

    "comment": commentCreationFunction,

   209

    "leftPowerRail": GetPowerRailCreationFunction(LEFTRAIL),

   210

    "rightPowerRail": GetPowerRailCreationFunction(RIGHTRAIL),

   211

    "contact": contactCreationFunction,

   212

    "coil": coilCreationFunction,

   213

    "step": stepCreationFunction,

   214

    "transition": transitionCreationFunction,

   215

    "selectionDivergence": GetDivergenceCreationFunction(SELECTION_DIVERGENCE),

   216

    "selectionConvergence": GetDivergenceCreationFunction(SELECTION_CONVERGENCE),

   217

    "simultaneousDivergence": GetDivergenceCreationFunction(SIMULTANEOUS_DIVERGENCE),

   218

    "simultaneousConvergence": GetDivergenceCreationFunction(SIMULTANEOUS_CONVERGENCE),

   219

    "jump": jumpCreationFunction,

   220

    "actionBlock": actionBlockCreationFunction,

   221

}

   222

   223

   224

def sort_blocks(block_infos1, block_infos2):

   225

    x1, y1 = block_infos1[0].GetPosition()

   226

    x2, y2 = block_infos2[0].GetPosition()

   227

    if y1 == y2:

   228

        return eq(x1, x2)

   229

    else:

   230

        return eq(y1, y2)

   231

   232

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

   233

#                       Graphic elements Viewer base class

   234

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

   235

   236

   237

class ViewerDropTarget(wx.TextDropTarget):

   238

   239

    def __init__(self, parent):

   240

        wx.TextDropTarget.__init__(self)

   241

        self.ParentWindow = parent

   242

   243

    def OnDropText(self, x, y, data):

   244

        self.ParentWindow.Select()

   245

        tagname = self.ParentWindow.GetTagName()

   246

        pou_name, pou_type = self.ParentWindow.Controler.GetEditedElementType(tagname, self.ParentWindow.Debug)

   247

        x, y = self.ParentWindow.CalcUnscrolledPosition(x, y)

   248

        x = int(x / self.ParentWindow.ViewScale[0])

   249

        y = int(y / self.ParentWindow.ViewScale[1])

   250

        scaling = self.ParentWindow.Scaling

   251

        message = None

   252

        try:

   253

            values = eval(data)

   254

        except Exception:

   255

            message = _("Invalid value \"%s\" for viewer block") % data

   256

            values = None

   257

        if not isinstance(values, tuple):

   258

            message = _("Invalid value \"%s\" for viewer block") % data

   259

            values = None

   260

        if values is not None:

   261

            if values[1] == "debug":

   262

                pass

   263

            elif values[1] == "program":

   264

                message = _("Programs can't be used by other POUs!")

   265

            elif values[1] in ["function", "functionBlock"]:

   266

                if pou_name == values[0]:

   267

                    message = _("\"%s\" can't use itself!") % pou_name

   268

                elif pou_type == "function" and values[1] != "function":

   269

                    message = _("Function Blocks can't be used in Functions!")

   270

                elif self.ParentWindow.Controler.PouIsUsedBy(pou_name, values[0], self.ParentWindow.Debug):

   271

                    message = _("\"{a1}\" is already used by \"{a2}\"!").format(a1=pou_name, a2=values[0])

   272

                else:

   273

                    blockname = values[2]

   274

                    if len(values) > 3:

   275

                        blockinputs = values[3]

   276

                    else:

   277

                        blockinputs = None

   278

                    if values[1] != "function" and blockname == "":

   279

                        blockname = self.ParentWindow.GenerateNewName(blocktype=values[0])

   280

                    if blockname.upper() in [name.upper() for name in self.ParentWindow.Controler.GetProjectPouNames(self.ParentWindow.Debug)]:

   281

                        message = _("\"%s\" pou already exists!") % blockname

   282

                    elif blockname.upper() in [name.upper() for name in self.ParentWindow.Controler.GetEditedElementVariables(tagname, self.ParentWindow.Debug)]:

   283

                        message = _("\"%s\" element for this pou already exists!") % blockname

   284

                    else:

   285

                        id = self.ParentWindow.GetNewId()

   286

                        block = FBD_Block(self.ParentWindow, values[0], blockname, id, inputs=blockinputs)

   287

                        width, height = block.GetMinSize()

   288

                        if scaling is not None:

   289

                            x = round(x / scaling[0]) * scaling[0]

   290

                            y = round(y / scaling[1]) * scaling[1]

   291

                            width = round(width / scaling[0] + 0.5) * scaling[0]

   292

                            height = round(height / scaling[1] + 0.5) * scaling[1]

   293

                        block.SetPosition(x, y)

   294

                        block.SetSize(width, height)

   295

                        self.ParentWindow.AddBlock(block)

   296

                        self.ParentWindow.Controler.AddEditedElementBlock(tagname, id, values[0], blockname)

   297

                        self.ParentWindow.RefreshBlockModel(block)

   298

                        self.ParentWindow.RefreshBuffer()

   299

                        self.ParentWindow.RefreshScrollBars()

   300

                        self.ParentWindow.RefreshVisibleElements()

   301

                        self.ParentWindow.RefreshVariablePanel()

   302

                        self.ParentWindow.ParentWindow.RefreshPouInstanceVariablesPanel()

   303

                        self.ParentWindow.Refresh(False)

   304

            elif values[1] == "location":

   305

                if pou_type == "program":

   306

                    location = values[0]

   307

                    if not location.startswith("%"):

   308

                        dialog = wx.SingleChoiceDialog(

   309

                            self.ParentWindow.ParentWindow,

   310

                            _("Select a variable class:"),

   311

                            _("Variable class"),

   312

                            [_("Input"), _("Output"), _("Memory")],

   313

                            wx.DEFAULT_DIALOG_STYLE | wx.OK | wx.CANCEL)

   314

                        if dialog.ShowModal() == wx.ID_OK:

   315

                            selected = dialog.GetSelection()

   316

                        else:

   317

                            selected = None

   318

                        dialog.Destroy()

   319

                        if selected is None:

   320

                            return False

   321

                        if selected == 0:

   322

                            location = "%I" + location

   323

                        elif selected == 1:

   324

                            location = "%Q" + location

   325

                        else:

   326

                            location = "%M" + location

   327

                    var_name = values[3]

   328

                    dlg = wx.TextEntryDialog(

   329

                        self.ParentWindow.ParentWindow,

   330

                        _("Confirm or change variable name"),

   331

                        _('Variable Drop'), var_name)

   332

                    dlg.SetValue(var_name)

   333

                    var_name = dlg.GetValue() if dlg.ShowModal() == wx.ID_OK else None

   334

                    dlg.Destroy()

   335

                    if var_name is None:

   336

                        return False

   337

                    elif var_name.upper() in [name.upper() for name in self.ParentWindow.Controler.GetProjectPouNames(self.ParentWindow.Debug)]:

   338

                        message = _("\"%s\" pou already exists!") % var_name

   339

                    elif not var_name.upper() in [name.upper() for name in self.ParentWindow.Controler.GetEditedElementVariables(tagname, self.ParentWindow.Debug)]:

   340

                        if location[1] == "Q":

   341

                            var_class = OUTPUT

   342

                        else:

   343

                            var_class = INPUT

   344

                        if values[2] is not None:

   345

                            var_type = values[2]

   346

                        else:

   347

                            var_type = LOCATIONDATATYPES.get(location[2], ["BOOL"])[0]

   348

                        self.ParentWindow.Controler.AddEditedElementPouVar(tagname, var_type, var_name, location=location, description=values[4])

   349

                        self.ParentWindow.RefreshVariablePanel()

   350

                        self.ParentWindow.ParentWindow.RefreshPouInstanceVariablesPanel()

   351

                        self.ParentWindow.AddVariableBlock(x, y, scaling, var_class, var_name, var_type)

   352

                    else:

   353

                        message = _("\"%s\" element for this pou already exists!") % var_name

   354

            elif values[1] == "NamedConstant":

   355

                if pou_type == "program":

   356

                    initval = values[0]

   357

                    var_name = values[3]

   358

                    dlg = wx.TextEntryDialog(

   359

                        self.ParentWindow.ParentWindow,

   360

                        _("Confirm or change variable name"),

   361

                        _('Variable Drop'), var_name)

   362

                    dlg.SetValue(var_name)

   363

                    var_name = dlg.GetValue() if dlg.ShowModal() == wx.ID_OK else None

   364

                    dlg.Destroy()

   365

                    if var_name is None:

   366

                        return False

   367

                    elif var_name.upper() in [name.upper() for name in self.ParentWindow.Controler.GetProjectPouNames(self.ParentWindow.Debug)]:

   368

                        message = _("\"%s\" pou already exists!") % var_name

   369

                    elif not var_name.upper() in [name.upper() for name in self.ParentWindow.Controler.GetEditedElementVariables(tagname, self.ParentWindow.Debug)]:

   370

                        var_class = INPUT

   371

                        var_type = values[2]

   372

                        self.ParentWindow.Controler.AddEditedElementPouVar(tagname, var_type, var_name, description=values[4], initval=initval)

   373

                        self.ParentWindow.RefreshVariablePanel()

   374

                        self.ParentWindow.ParentWindow.RefreshPouInstanceVariablesPanel()

   375

                        self.ParentWindow.AddVariableBlock(x, y, scaling, var_class, var_name, var_type)

   376

                    else:

   377

                        message = _("\"%s\" element for this pou already exists!") % var_name

   378

            elif values[1] == "Global":

   379

                var_name = values[0]

   380

                dlg = wx.TextEntryDialog(

   381

                    self.ParentWindow.ParentWindow,

   382

                    _("Confirm or change variable name"),

   383

                    _('Variable Drop'), var_name)

   384

                dlg.SetValue(var_name)

   385

                var_name = dlg.GetValue() if dlg.ShowModal() == wx.ID_OK else None

   386

                dlg.Destroy()

   387

                if var_name is None:

   388

                    return False

   389

                elif var_name.upper() in [name.upper() for name in self.ParentWindow.Controler.GetProjectPouNames(self.ParentWindow.Debug)]:

   390

                    message = _("\"%s\" pou already exists!") % var_name

   391

                elif not var_name.upper() in [name.upper() for name in self.ParentWindow.Controler.GetEditedElementVariables(tagname, self.ParentWindow.Debug)]:

   392

                    kwargs = dict(description=values[4]) if len(values)>4 else {}

   393

                    self.ParentWindow.Controler.AddEditedElementPouExternalVar(tagname, values[2], var_name, **kwargs)

   394

                    self.ParentWindow.RefreshVariablePanel()

   395

                    self.ParentWindow.ParentWindow.RefreshPouInstanceVariablesPanel()

   396

                    self.ParentWindow.AddVariableBlock(x, y, scaling, INPUT, var_name, values[2])

   397

                else:

   398

                    message = _("\"%s\" element for this pou already exists!") % var_name

   399

            elif values[1] == "Constant":

   400

                self.ParentWindow.AddVariableBlock(x, y, scaling, INPUT, values[0], None)

   401

            elif values[3] == tagname:

   402

                if values[1] == "Output":

   403

                    var_class = OUTPUT

   404

                elif values[1] == "InOut":

   405

                    var_class = INPUT

   406

                else:

   407

                    var_class = INPUT

   408

                tree = dict([(var.Name, var.Tree) for var in self.ParentWindow.Controler.GetEditedElementInterfaceVars(tagname, True, self.ParentWindow.Debug)]).get(values[0], None)

   409

                if tree is not None:

   410

                    if len(tree[0]) > 0:

   411

                        menu = wx.Menu(title='')

   412

                        self.GenerateTreeMenu(x, y, scaling, menu, "", var_class, [(values[0], values[2], tree)])

   413

                        self.ParentWindow.PopupMenu(menu)

   414

                    else:

   415

                        self.ParentWindow.AddVariableBlock(x, y, scaling, var_class, values[0], values[2])

   416

                else:

   417

                    message = _("Unknown variable \"%s\" for this POU!") % values[0]

   418

            else:

   419

                message = _("Variable don't belong to this POU!")

   420

        if message is not None:

   421

            wx.CallAfter(self.ShowMessage, message)

   422

            return False

   423

        return True

   424

   425

    def GenerateTreeMenu(self, x, y, scaling, menu, base_path, var_class, tree):

   426

        for child_name, child_type, (child_tree, child_dimensions) in tree:

   427

            if base_path:

   428

                child_path = "%s.%s" % (base_path, child_name)

   429

            else:

   430

                child_path = child_name

   431

            if len(child_dimensions) > 0:

   432

                child_path += "[%s]" % ",".join([str(dimension[0]) for dimension in child_dimensions])

   433

                child_name += "[]"

   434

   435

            item = self.AppendItem(menu,

   436

                child_name,

   437

                self.GetAddVariableBlockFunction(x, y, scaling, var_class, child_path, child_type))

   438

            if len(child_tree) > 0:

   439

                child_menu = wx.Menu(title='')

   440

                self.GenerateTreeMenu(x, y, scaling, child_menu, child_path, var_class, child_tree)

   441

                menu.AppendMenu(wx.ID_ANY, "%s." % child_name, child_menu)

   442

   443

    def GetAddVariableBlockFunction(self, x, y, scaling, var_class, var_name, var_type):

   444

        def AddVariableFunction(event):

   445

            self.ParentWindow.AddVariableBlock(x, y, scaling, var_class, var_name, var_type)

   446

        return AddVariableFunction

   447

   448

    def ShowMessage(self, message):

   449

        message = wx.MessageDialog(self.ParentWindow, message, _("Error"), wx.OK | wx.ICON_ERROR)

   450

        message.ShowModal()

   451

        message.Destroy()

   452

   453

   454

class DebugInstanceName(DebugDataConsumer):

   455

    VALUE_TRANSLATION = None

   456

   457

    def __init__(self, parent):

   458

        DebugDataConsumer.__init__(self)

   459

        self.Parent = parent

   460

        self.ActionLastState = None

   461

        self.ActionState = None

   462

        self.x_offset = 2

   463

        self.y_offset = 2

   464

   465

        if self.VALUE_TRANSLATION is None:

   466

            self.__class__.VALUE_TRANSLATION = {True: _("Active"), False: _("Inactive")}

   467

   468

    def SetValue(self, value):

   469

        self.ActionState = value

   470

        if self.ActionState != self.ActionLastState:

   471

            self.ActionLastState = self.ActionState

   472

            wx.CallAfter(self.Parent.ElementNeedRefresh, self)

   473

   474

    def GetInstanceName(self):

   475

        return _("Debug: %s") % self.Parent.InstancePath

   476

   477

    def GetRedrawRect(self):

   478

        x, y = self.Parent.CalcUnscrolledPosition(self.x_offset, self.y_offset)

   479

        dc = self.Parent.GetLogicalDC()

   480

        ipw, _iph = dc.GetTextExtent(self.GetInstanceName())

   481

        vw, vh = 0, 0

   482

        for value in self.VALUE_TRANSLATION.values():

   483

            w, h = dc.GetTextExtent(" (%s)" % value)

   484

            vw = max(vw, w)

   485

            vh = max(vh, h)

   486

        return wx.Rect(ipw + x, y, vw, vh)

   487

   488

    def Draw(self, dc):

   489

        scalex, scaley = dc.GetUserScale()

   490

        dc.SetUserScale(1, 1)

   491

        x, y = self.Parent.CalcUnscrolledPosition(self.x_offset, self.y_offset)

   492

   493

        text = self.GetInstanceName()

   494

        if self.ActionState is not None:

   495

            text += " ("

   496

   497