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

    27

from VariablePanel import VariablePanel

    28

    29

class EditorPanel(wx.SplitterWindow):

    30

    31

    ID = wx.NewId()

    32

    VARIABLE_PANEL_TYPE = None

    33

    34

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

    35

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

    36

            if id is not None:

    37

                event(self, id, function)

    38

            else:

    39

                event(self, function)

    40

    41

    def _init_Editor(self, prnt):

    42

        self.Editor = None

    43

    44

    def _init_MenuItems(self):

    45

        self.MenuItems = []

    46

    47

    def _init_ctrls(self, prnt):

    48

        wx.SplitterWindow.__init__(self, id=self.ID, name='MainSplitter', parent=prnt,

    49

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

    50

        self.SetNeedUpdating(True)

    51

        self.SetMinimumPaneSize(1)

    52

    53

        self._init_MenuItems()

    54

    55

        if self.VARIABLE_PANEL_TYPE is not None:

    56

            self.VariableEditor = VariablePanel(self, self, self.Controler, self.VARIABLE_PANEL_TYPE, self.Debug)

    57

            self.VariableEditor.SetTagName(self.TagName)

    58

        else:

    59

            self.VariableEditor = None

    60

    61

        self._init_Editor(self)

    62

    63

        if self.Editor is not None and self.VariableEditor is not None:

    64

            self.SplitHorizontally(self.VariableEditor, self.Editor, 200)

    65

        elif self.VariableEditor is not None:

    66

            self.Initialize(self.VariableEditor)

    67

        elif self.Editor is not None:

    68

            self.Initialize(self.Editor)        

    69

    70

    def __init__(self, parent, tagname, window, controler, debug=False):

    71

        self.ParentWindow = window

    72

        self.Controler = controler

    73

        self.TagName = tagname

    74

        self.Icon = None

    75

        self.Debug = debug

    76

    77

        self._init_ctrls(parent)

    78

    79

    def SetTagName(self, tagname):

    80

        self.TagName = tagname

    81

        if self.VARIABLE_PANEL_TYPE is not None:

    82

            self.VariableEditor.SetTagName(tagname)

    83

    84

    def GetTagName(self):

    85

        return self.TagName

    86

    87

    def GetTitle(self):

    88

        return "-".join(self.TagName.split("::")[1:])

    89

    90

    def GetIcon(self):

    91

        return self.Icon

    92

    93

    def SetIcon(self, icon):

    94

        self.Icon = icon

    95

    96

    def IsViewing(self, tagname):

    97

        return self.TagName == tagname

    98

    99

    def IsDebugging(self):

   100

        return self.Debug

   101

   102

    def SetMode(self, mode):

   103

        pass

   104

   105

    def ResetBuffer(self):

   106

        pass

   107

   108

    def GetBufferState(self):

   109

        if self.Controler is not None:

   110

            return self.Controler.GetBufferState()

   111

        return False, False

   112

   113

    def Undo(self):

   114

        if self.Controler is not None:

   115

            self.Controler.LoadPrevious()

   116

            self.RefreshView()

   117

   118

    def Redo(self):

   119

        if self.Controler is not None:

   120

            self.Controler.LoadNext()

   121

            self.RefreshView()

   122

   123

    def HasNoModel(self):

   124

        return False

   125

   126

    def RefreshView(self, variablepanel=True):

   127

        if variablepanel:

   128

            self.RefreshVariablePanel()

   129

   130

    def RefreshVariablePanel(self):

   131

        if self.VariableEditor is not None:

   132

            self.VariableEditor.RefreshView()

   133

   134

    def GetPluginMenuItems(self):

   135

        return self.MenuItems

   136

   137

    def RefreshPluginMenu(self, plugin_menu):

   138

        pass

   139

   140

    def _Refresh(self, *args):

   141

        self.ParentWindow._Refresh(*args)

   142

   143

    def RefreshScaling(self, refresh=True):

   144

        pass

   145

   146

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

   147

        if self.VariableEditor is not None and infos[0] in ["var_local", "var_input", "var_output", "var_inout"]:

   148

            self.VariableEditor.AddVariableHighlight(infos[1:], highlight_type)

   149

   150

    def ClearHighlights(self, highlight_type=None):

   151

        if self.VariableEditor is not None:

   152

            self.VariableEditor.ClearHighlights(highlight_type)