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

import wx

    26

    27

from graphics.GraphicCommons import *

    28

from plcopen.structures import *

    29

    30

    31

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

    32

#                         Function Block Diagram Block

    33

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

    34

    35

    36

def TestConnectorName(name, block_type):

    37

    return name in ["OUT", "MN", "MX"] or name.startswith("IN") and (block_type, name) != ("EXPT", "IN2")

    38

    39

    40

class FBD_Block(Graphic_Element):

    41

    """

    42

    Class that implements the graphic representation of a function block

    43

    """

    44

    45

    # Create a new block

    46

    def __init__(self, parent, type, name, id=None, extension=0, inputs=None, connectors=None, executionControl=False, executionOrder=0):

    47

        Graphic_Element.__init__(self, parent)

    48

        self.Type = None

    49

        self.Description = None

    50

        self.Extension = None

    51

        self.ExecutionControl = False

    52

        self.Id = id

    53

        self.SetName(name)

    54

        self.SetExecutionOrder(executionOrder)

    55

        self.Inputs = []

    56

        self.Outputs = []

    57

        self.Colour = wx.BLACK

    58

        self.Pen = MiterPen(wx.BLACK)

    59

        self.SetType(type, extension, inputs, connectors, executionControl)

    60

        self.Highlights = {}

    61

    62

    # Make a clone of this FBD_Block

    63

    def Clone(self, parent, id=None, name="", pos=None):

    64

        if self.Name != "" and name == "":

    65

            name = self.Name

    66

        block = FBD_Block(parent, self.Type, name, id, self.Extension)

    67

        block.SetSize(self.Size[0], self.Size[1])

    68

        if pos is not None:

    69

            block.SetPosition(pos.x, pos.y)

    70

        else:

    71

            block.SetPosition(self.Pos.x, self.Pos.y)

    72

        block.Inputs = [input.Clone(block) for input in self.Inputs]

    73

        block.Outputs = [output.Clone(block) for output in self.Outputs]

    74

        return block

    75

    76

    def GetConnectorTranslation(self, element):

    77

        return dict(zip(self.Inputs + self.Outputs, element.Inputs + element.Outputs))

    78

    79

    def Flush(self):

    80

        for input in self.Inputs:

    81

            input.Flush()

    82

        self.Inputs = []

    83

        for output in self.Outputs:

    84

            output.Flush()

    85

        self.Outputs = []

    86

    87

    # Returns the RedrawRect

    88

    def GetRedrawRect(self, movex=0, movey=0):

    89

        rect = Graphic_Element.GetRedrawRect(self, movex, movey)

    90

        if movex != 0 or movey != 0:

    91

            for input in self.Inputs:

    92

                if input.IsConnected():

    93

                    rect = rect.Union(input.GetConnectedRedrawRect(movex, movey))

    94

            for output in self.Outputs:

    95

                if output.IsConnected():

    96

                    rect = rect.Union(output.GetConnectedRedrawRect(movex, movey))

    97

        return rect

    98

    99

    # Delete this block by calling the appropriate method

   100

    def Delete(self):

   101

        self.Parent.DeleteBlock(self)

   102

   103

    # Unconnect all inputs and outputs

   104

    def Clean(self):

   105

        for input in self.Inputs:

   106

            input.UnConnect(delete=True)

   107

        for output in self.Outputs:

   108

            output.UnConnect(delete=True)

   109

   110

    # Refresh the size of text for name

   111

    def RefreshNameSize(self):

   112

        self.NameSize = self.Parent.GetTextExtent(self.Name)

   113

   114

    # Refresh the size of text for execution order

   115

    def RefreshExecutionOrderSize(self):

   116

        self.ExecutionOrderSize = self.Parent.GetTextExtent(str(self.ExecutionOrder))

   117

   118

    # Returns if the point given is in the bounding box

   119

    def HitTest(self, pt, connectors=True):

   120

        if self.Name != "":

   121

            test_text = self.GetTextBoundingBox().InsideXY(pt.x, pt.y)

   122

        else:

   123

            test_text = False

   124

        test_block = self.GetBlockBoundingBox(connectors).InsideXY(pt.x, pt.y)

   125

        return test_text or test_block

   126

   127

    # Returns the bounding box of the name outside the block

   128

    def GetTextBoundingBox(self):

   129

        # Calculate the size of the name outside the block

   130

        text_width, text_height = self.NameSize

   131

        return wx.Rect(self.Pos.x + (self.Size[0] - text_width) / 2,

   132

                       self.Pos.y - (text_height + 2),

   133

                       text_width,

   134

                       text_height)

   135

   136

    # Returns the bounding box of function block without name outside

   137

    def GetBlockBoundingBox(self, connectors=True):

   138

        bbx_x, bbx_y = self.Pos.x, self.Pos.y

   139

        bbx_width, bbx_height = self.Size

   140

        if connectors:

   141

            bbx_x -= min(1, len(self.Inputs)) * CONNECTOR_SIZE

   142

            bbx_width += (min(1, len(self.Inputs)) + min(1, len(self.Outputs))) * CONNECTOR_SIZE

   143

        if self.ExecutionOrder != 0:

   144

            bbx_x = min(bbx_x, self.Pos.x + self.Size[0] - self.ExecutionOrderSize[0])

   145

            bbx_width = max(bbx_width, bbx_width + self.Pos.x + self.ExecutionOrderSize[0] - bbx_x - self.Size[0])

   146

            bbx_height = bbx_height + (self.ExecutionOrderSize[1] + 2)

   147

        return wx.Rect(bbx_x, bbx_y, bbx_width + 1, bbx_height + 1)

   148

   149

    # Refresh the block bounding box

   150

    def RefreshBoundingBox(self):

   151

        self.BoundingBox = self.GetBlockBoundingBox()

   152

        if self.Name != "":

   153

            self.BoundingBox.Union(self.GetTextBoundingBox())

   154

   155

    # Refresh the positions of the block connectors

   156

    def RefreshConnectors(self):

   157

        scaling = self.Parent.GetScaling()

   158

        # Calculate the size for the connector lines

   159

        lines = max(len(self.Inputs), len(self.Outputs))

   160

        if lines > 0:

   161

            linesize = max((self.Size[1] - BLOCK_LINE_SIZE) / lines, BLOCK_LINE_SIZE)

   162

            # Update inputs and outputs positions

   163

            position = BLOCK_LINE_SIZE + linesize / 2

   164

            for i in xrange(lines):

   165

                if scaling is not None:

   166

                    ypos = round_scaling(self.Pos.y + position, scaling[1]) - self.Pos.y

   167

                else:

   168

                    ypos = position

   169

                if i < len(self.Inputs):

   170

                    self.Inputs[i].SetPosition(wx.Point(0, ypos))

   171

                if i < len(self.Outputs):

   172

                    self.Outputs[i].SetPosition(wx.Point(self.Size[0], ypos))

   173

                position += linesize

   174

        self.RefreshConnected()

   175

   176

    # Refresh the positions of wires connected to inputs and outputs

   177

    def RefreshConnected(self, exclude=None):

   178

        for input in self.Inputs:

   179

            input.MoveConnected(exclude)

   180

        for output in self.Outputs:

   181

            output.MoveConnected(exclude)

   182

   183

    # Returns the block connector that starts with the point given if it exists

   184

    def GetConnector(self, position, output_name=None, input_name=None):

   185

        if input_name is not None:

   186

            # Test each input connector

   187

            for input in self.Inputs:

   188

                if input_name == input.GetName():

   189

                    return input

   190

        if output_name is not None:

   191

            # Test each output connector

   192

            for output in self.Outputs:

   193

                if output_name == output.GetName():

   194

                    return output

   195

        if input_name is None and output_name is None:

   196

            return self.FindNearestConnector(position, self.Inputs + self.Outputs)

   197

        return None

   198

   199

    def GetInputTypes(self):

   200

        return tuple([input.GetType(True) for input in self.Inputs if input.GetName() != "EN"])

   201

   202

    def SetOutputValues(self, values):

   203

        for output in self.Outputs:

   204

            output.SetValue(values.get(ouput.getName(), None))

   205

   206

    def GetConnectionResultType(self, connector, connectortype):

   207

        if not TestConnectorName(connector.GetName(), self.Type):

   208

            return connectortype

   209

        resulttype = connectortype

   210

        for input in self.Inputs:

   211

            if input != connector and input.GetType(True) == "ANY" and TestConnectorName(input.GetName(), self.Type):

   212

                inputtype = input.GetConnectedType()

   213

                if resulttype is None or inputtype is not None and self.IsOfType(inputtype, resulttype):

   214

                    resulttype = inputtype

   215

        for output in self.Outputs:

   216

            if output != connector and output.GetType(True) == "ANY" and TestConnectorName(output.GetName(), self.Type):

   217

                outputtype = output.GetConnectedType()

   218

                if resulttype is None or outputtype is not None and self.IsOfType(outputtype, resulttype):

   219

                    resulttype = outputtype

   220

        return resulttype

   221

   222

    # Returns all the block connectors

   223

    def GetConnectors(self):

   224

        return {"inputs": self.Inputs, "outputs": self.Outputs}

   225

   226

    # Test if point given is on one of the block connectors

   227

    def TestConnector(self, pt, direction=None, exclude=True):

   228

        # Test each input connector

   229

        for input in self.Inputs:

   230

            if input.TestPoint(pt, direction, exclude):

   231

                return input

   232

        # Test each output connector

   233

        for output in self.Outputs:

   234

            if output.TestPoint(pt, direction, exclude):

   235

                return output

   236

        return None

   237

   238

    # Changes the block type

   239

    def SetType(self, type, extension, inputs=None, connectors=None, executionControl=False):

   240

        if type != self.Type or self.Extension != extension or executionControl != self.ExecutionControl:

   241

            if type != self.Type:

   242

                self.Type = type

   243

                self.TypeSize = self.Parent.GetTextExtent(self.Type)

   244

            self.Extension = extension

   245

            self.ExecutionControl = executionControl

   246

            # Find the block definition from type given and create the corresponding

   247

            # inputs and outputs

   248

            blocktype = self.Parent.GetBlockType(type, inputs)

   249

            if blocktype:

   250

                self.Colour = wx.BLACK

   251

                inputs = [input for input in blocktype["inputs"]]

   252

                outputs = [output for output in blocktype["outputs"]]

   253

                if blocktype["extensible"]:

   254

                    start = int(inputs[-1][0].replace("IN", ""))

   255

                    for dummy in xrange(self.Extension - len(blocktype["inputs"])):

   256

                        start += 1

   257

                        inputs.append(("IN%d" % start, inputs[-1][1], inputs[-1][2]))

   258

                comment = blocktype["comment"]

   259

                self.Description = _(comment) + blocktype.get("usage", "")

   260

            else:

   261

                self.Colour = wx.RED

   262

                connectors = {} if connectors is None else connectors

   263

                inputs = connectors.get("inputs", [])

   264

                outputs = connectors.get("outputs", [])

   265

                self.Description = None

   266

            if self.ExecutionControl:

   267

                inputs.insert(0,  ("EN",   "BOOL", "none"))

   268

                outputs.insert(0, ("ENO",  "BOOL", "none"))

   269

            self.Pen = MiterPen(self.Colour)

   270

   271

            # Extract the inputs properties and create or modify the corresponding connector

   272

            input_connectors = []

   273

            for input_name, input_type, input_modifier in inputs:

   274

                connector = Connector(self, input_name, input_type, wx.Point(0, 0), WEST, onlyone=True)

   275

                if input_modifier == "negated":

   276

                    connector.SetNegated(True)

   277

                elif input_modifier != "none":

   278

                    connector.SetEdge(input_modifier)

   279

                for input in self.Inputs:

   280

                    if input.GetName() == input_name:

   281

                        wires = input.GetWires()[:]

   282

                        input.UnConnect()

   283

                        for wire in wires:

   284

                            connector.Connect(wire)

   285

                        break

   286

                input_connectors.append(connector)

   287

            for input in self.Inputs:

   288

                input.UnConnect(delete=True)

   289

            self.Inputs = input_connectors

   290

   291

            # Extract the outputs properties and create or modify the corresponding connector

   292

            output_connectors = []

   293

            for output_name, output_type, output_modifier in outputs:

   294

                connector = Connector(self, output_name, output_type, wx.Point(0, 0), EAST)

   295

                if output_modifier == "negated":

   296

                    connector.SetNegated(True)

   297

                elif output_modifier != "none":

   298

                    connector.SetEdge(output_modifier)

   299

                for output in self.Outputs:

   300

                    if output.GetName() == output_name:

   301

                        wires = output.GetWires()[:]

   302

                        output.UnConnect()

   303

                        for wire in wires:

   304

                            connector.Connect(wire)

   305

                        break

   306

                output_connectors.append(connector)

   307

            for output in self.Outputs:

   308

                output.UnConnect(delete=True)

   309

            self.Outputs = output_connectors

   310

   311

            self.RefreshMinSize()

   312

            self.RefreshConnectors()

   313

            for output in self.Outputs:

   314

                output.RefreshWires()

   315

            self.RefreshBoundingBox()

   316

   317

    # Returns the block type

   318

    def GetType(self):

   319

        return self.Type

   320

   321

    # Changes the block name

   322

    def SetName(self, name):

   323

        self.Name = name

   324

        self.RefreshNameSize()

   325

   326

    # Returs the block name

   327

    def GetName(self):

   328

        return self.Name

   329

   330

    # Changes the extension name

   331

    def SetExtension(self, extension):

   332

        self.Extension = extension

   333

   334

    # Returs the extension name

   335

    def GetExtension(self):

   336

        return self.Extension

   337

   338

    # Changes the execution order

   339

    def SetExecutionOrder(self, executionOrder):

   340

        self.ExecutionOrder = executionOrder

   341

        self.RefreshExecutionOrderSize()

   342

   343

    # Returs the execution order

   344

    def GetExecutionOrder(self):

   345

        return self.ExecutionOrder

   346

   347

    # Returs the execution order

   348

    def GetExecutionControl(self):

   349

        return self.ExecutionControl

   350

   351

    # Refresh the block minimum size

   352

    def RefreshMinSize(self):

   353

        # Calculate the inputs maximum width

   354

        max_input = 0

   355

        for input in self.Inputs:

   356

            w, _h = input.GetNameSize()

   357

            max_input = max(max_input, w)

   358

        # Calculate the outputs maximum width

   359

        max_output = 0

   360

        for output in self.Outputs:

   361

            w, _h = output.GetNameSize()

   362

            max_output = max(max_output, w)

   363

        width = max(self.TypeSize[0] + 10, max_input + max_output + 15)

   364

        height = (max(len(self.Inputs), len(self.Outputs)) + 1) * BLOCK_LINE_SIZE

   365

        self.MinSize = width, height

   366

   367

    # Returns the block minimum size

   368

    def GetMinSize(self):

   369

        return self.MinSize

   370

   371

    # Changes the negated property of the connector handled

   372

    def SetConnectorNegated(self, negated):

   373

        handle_type, handle = self.Handle

   374

        if handle_type == HANDLE_CONNECTOR:

   375

            handle.SetNegated(negated)

   376

            self.RefreshModel(False)

   377

   378

    # Changes the edge property of the connector handled

   379

    def SetConnectorEdge(self, edge):

   380

        handle_type, handle = self.Handle

   381

        if handle_type == HANDLE_CONNECTOR:

   382

            handle.SetEdge(edge)

   383

            self.RefreshModel(False)

   384

   385

#    # Method called when a Motion event have been generated

   386

#    def OnMotion(self, event, dc, scaling):

   387

#        if not event.Dragging():

   388

#            pos = event.GetLogicalPosition(dc)

   389

#            for input in self.Inputs:

   390

#                rect = input.GetRedrawRect()

   391

#                if rect.InsideXY(pos.x, pos.y):

   392

#                    print "Find input"

   393

#                    tip = wx.TipWindow(self.Parent, "Test")

   394

#                    tip.SetBoundingRect(rect)

   395

#        return Graphic_Element.OnMotion(self, event, dc, scaling)

   396

   397

    # Method called when a LeftDClick event have been generated

   398

    def OnLeftDClick(self, event, dc, scaling):

   399

        # Edit the block properties

   400

        self.Parent.EditBlockContent(self)

   401

   402

    # Method called when a RightUp event have been generated

   403

    def OnRightUp(self, event, dc, scaling):

   404

        pos = GetScaledEventPosition(event, dc, scaling)

   405

        # Popup the menu with special items for a block and a connector if one is handled

   406

        connector = self.TestConnector(pos, exclude=False)

   407

        if connector:

   408

            self.Handle = (HANDLE_CONNECTOR, connector)

   409

            self.Parent.PopupBlockMenu(connector)

   410

        else:

   411

            self.Parent.PopupBlockMenu()

   412

   413

    # Refreshes the block model

   414

    def RefreshModel(self, move=True):

   415

        self.Parent.RefreshBlockModel(self)

   416

        # If block has moved, refresh the model of wires connected to outputs

   417

        if move:

   418

            for output in self.Outputs:

   419

                output.RefreshWires()

   420

   421

    def GetToolTipValue(self):

   422

        return self.Description

   423

   424

    # Adds an highlight to the block

   425

    def AddHighlight(self, infos, start, end, highlight_type):

   426

        if infos[0] in ["type", "name"] and start[0] == 0 and end[0] == 0:

   427

            highlights = self.Highlights.setdefault(infos[0], [])

   428

            AddHighlight(highlights, (start, end, highlight_type))

   429

        elif infos[0] == "input" and infos[1] < len(self.Inputs):

   430

            self.Inputs[infos[1]].AddHighlight(infos[2:], start, end, highlight_type)

   431

        elif infos[0] == "output" and infos[1] < len(self.Outputs):

   432

            self.Outputs[infos[1]].AddHighlight(infos[2:], start, end, highlight_type)

   433

   434

    # Removes an highlight from the block

   435

    def RemoveHighlight(self, infos, start, end, highlight_type):

   436

        if infos[0] in ["type", "name"]:

   437

            highlights = self.Highlights.get(infos[0], [])

   438

            if RemoveHighlight(highlights, (start, end, highlight_type)) and len(highlights) == 0:

   439

                self.Highlights.pop(infos[0])

   440

        elif infos[0] == "input" and infos[1] < len(self.Inputs):

   441

            self.Inputs[infos[1]].RemoveHighlight(infos[2:], start, end, highlight_type)

   442

        elif infos[0] == "output" and infos[1] < len(self.Outputs):

   443

            self.Outputs[infos[1]].RemoveHighlight(infos[2:], start, end, highlight_type)

   444

   445

    # Removes all the highlights of one particular type from the block

   446

    def ClearHighlight(self, highlight_type=None):

   447

        if highlight_type is None:

   448

            self.Highlights = {}

   449

        else:

   450

            highlight_items = self.Highlights.items()

   451

            for name, highlights in highlight_items:

   452

                highlights = ClearHighlights(highlights, highlight_type)

   453

                if len(highlights) == 0:

   454

                    self.Highlights.pop(name)

   455

        for input in self.Inputs:

   456

            input.ClearHighlights(highlight_type)

   457

        for output in self.Outputs:

   458

            output.ClearHighlights(highlight_type)

   459

   460

    # Draws block

   461

    def Draw(self, dc):

   462

        Graphic_Element.Draw(self, dc)

   463

        dc.SetPen(self.Pen)

   464

        dc.SetBrush(wx.WHITE_BRUSH)

   465

        dc.SetTextForeground(self.Colour)

   466

   467

        if getattr(dc, "printing", False):

   468

            name_size = dc.GetTextExtent(self.Name)

   469

            type_size = dc.GetTextExtent(self.Type)

   470

            executionorder_size = dc.GetTextExtent(str(self.ExecutionOrder))

   471

        else:

   472

            name_size = self.NameSize

   473

            type_size = self.TypeSize

   474

            executionorder_size = self.ExecutionOrderSize

   475

   476

        # Draw a rectangle with the block size

   477

        dc.DrawRectangle(self.Pos.x, self.Pos.y, self.Size[0] + 1, self.Size[1] + 1)

   478

        # Draw block name and block type

   479

        name_pos = (self.Pos.x + (self.Size[0] - name_size[0]) / 2,

   480

                    self.Pos.y - (name_size[1] + 2))

   481

        type_pos = (self.Pos.x + (self.Size[0] - type_size[0]) / 2,

   482

                    self.Pos.y + 5)

   483

        dc.DrawText(self.Name, name_pos[0], name_pos[1])

   484

        dc.DrawText(self.Type, type_pos[0], type_pos[1])

   485

        # Draw inputs and outputs connectors

   486

        for input in self.Inputs:

   487

            input.Draw(dc)

   488

        for output in self.Outputs:

   489

            output.Draw(dc)

   490

        if self.ExecutionOrder != 0:

   491

            # Draw block execution order

   492

            dc.DrawText(str(self.ExecutionOrder), self.Pos.x + self.Size[0] - executionorder_size[0],

   493

                        self.Pos.y + self.Size[1] + 2)

   494

   495

        if not getattr(dc, "printing", False):

   496

            DrawHighlightedText(dc, self.Name, self.Highlights.get("name", []), name_pos[0], name_pos[1])

   497

            DrawHighlightedText(dc, self.Type, self.Highlights.get("type", []), type_pos[0], type_pos[1])

   498

   499

   500

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

   501

#                        Function Block Diagram Variable

   502

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

   503

   504

   505

class FBD_Variable(Graphic_Element):

   506

    """

   507

    Class that implements the graphic representation of a variable

   508