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 re

    26

    27

import wx

    28

import wx.grid

    29

import wx.stc as stc

    30

import wx.lib.buttons

    31

    32

from plcopen.plcopen import TestTextElement

    33

from plcopen.structures import TestIdentifier, IEC_KEYWORDS, DefaultType

    34

from controls import CustomGrid, CustomTable

    35

from editors.ConfTreeNodeEditor import ConfTreeNodeEditor

    36

from util.BitmapLibrary import GetBitmap

    37

from controls.CustomStyledTextCtrl import CustomStyledTextCtrl, faces, GetCursorPos, NAVIGATION_KEYS

    38

from controls.VariablePanel import VARIABLE_NAME_SUFFIX_MODEL

    39

from graphics.GraphicCommons import ERROR_HIGHLIGHT, SEARCH_RESULT_HIGHLIGHT, REFRESH_HIGHLIGHT_PERIOD

    40

    41

[STC_CODE_ERROR, STC_CODE_SEARCH_RESULT,

    42

 STC_CODE_SECTION] = range(15, 18)

    43

    44

HIGHLIGHT_TYPES = {

    45

    ERROR_HIGHLIGHT: STC_CODE_ERROR,

    46

    SEARCH_RESULT_HIGHLIGHT: STC_CODE_SEARCH_RESULT,

    47

}

    48

    49

EDGE_COLUMN = 80

    50

    51

    52

class CodeEditor(CustomStyledTextCtrl):

    53

    54

    KEYWORDS = []

    55

    COMMENT_HEADER = ""

    56

    57

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

    58

        CustomStyledTextCtrl.__init__(self, parent, -1, wx.DefaultPosition,

    59

                 wx.Size(-1, 300), 0)

    60

    61

        self.SetMarginType(1, stc.STC_MARGIN_NUMBER)

    62

        self.SetMarginWidth(1, 25)

    63

    64

        self.SetProperty("fold", "1")

    65

        self.SetProperty("tab.timmy.whinge.level", "1")

    66

        self.SetMargins(0, 0)

    67

    68

        self.SetViewWhiteSpace(False)

    69

    70

        self.SetEdgeMode(stc.STC_EDGE_BACKGROUND)

    71

        self.SetEdgeColumn(EDGE_COLUMN)

    72

    73

        # Setup a margin to hold fold markers

    74

        self.SetMarginType(2, stc.STC_MARGIN_SYMBOL)

    75

        self.SetMarginMask(2, stc.STC_MASK_FOLDERS)

    76

        self.SetMarginSensitive(2, True)

    77

        self.SetMarginWidth(2, 12)

    78

    79

        # Like a flattened tree control using square headers

    80

        self.MarkerDefine(stc.STC_MARKNUM_FOLDEROPEN,    stc.STC_MARK_BOXMINUS,          "white", "#808080")

    81

        self.MarkerDefine(stc.STC_MARKNUM_FOLDER,        stc.STC_MARK_BOXPLUS,           "white", "#808080")

    82

        self.MarkerDefine(stc.STC_MARKNUM_FOLDERSUB,     stc.STC_MARK_VLINE,             "white", "#808080")

    83

        self.MarkerDefine(stc.STC_MARKNUM_FOLDERTAIL,    stc.STC_MARK_LCORNER,           "white", "#808080")

    84

        self.MarkerDefine(stc.STC_MARKNUM_FOLDEREND,     stc.STC_MARK_BOXPLUSCONNECTED,  "white", "#808080")

    85

        self.MarkerDefine(stc.STC_MARKNUM_FOLDEROPENMID, stc.STC_MARK_BOXMINUSCONNECTED, "white", "#808080")

    86

        self.MarkerDefine(stc.STC_MARKNUM_FOLDERMIDTAIL, stc.STC_MARK_TCORNER,           "white", "#808080")

    87

    88

        self.Bind(stc.EVT_STC_UPDATEUI, self.OnUpdateUI)

    89

        self.Bind(stc.EVT_STC_MARGINCLICK, self.OnMarginClick)

    90

        self.Bind(wx.EVT_KEY_DOWN, self.OnKeyPressed)

    91

    92

        # Make some styles,  The lexer defines what each style is used for, we

    93

        # just have to define what each style looks like.  This set is adapted from

    94

        # Scintilla sample property files.

    95

    96

        # Global default styles for all languages

    97

        self.StyleSetSpec(stc.STC_STYLE_DEFAULT,     "face:%(mono)s,size:%(size)d" % faces)

    98

        self.StyleClearAll()  # Reset all to be like the default

    99

   100

        # Global default styles for all languages

   101

        self.StyleSetSpec(stc.STC_STYLE_DEFAULT,     "face:%(mono)s,size:%(size)d" % faces)

   102

        self.StyleSetSpec(stc.STC_STYLE_LINENUMBER,  "back:#C0C0C0,face:%(helv)s,size:%(size)d" % faces)

   103

        self.StyleSetSpec(stc.STC_STYLE_CONTROLCHAR, "face:%(mono)s" % faces)

   104

        self.StyleSetSpec(stc.STC_STYLE_BRACELIGHT,  "fore:#FFFFFF,back:#0000FF,bold")

   105

        self.StyleSetSpec(stc.STC_STYLE_BRACEBAD,    "fore:#000000,back:#FF0000,bold")

   106

   107

        # Highlighting styles

   108

        self.StyleSetSpec(STC_CODE_ERROR, 'fore:#FF0000,back:#FFFF00,size:%(size)d' % faces)

   109

        self.StyleSetSpec(STC_CODE_SEARCH_RESULT, 'fore:#FFFFFF,back:#FFA500,size:%(size)d' % faces)

   110

   111

        # Section style

   112

        self.StyleSetSpec(STC_CODE_SECTION, 'fore:#808080,size:%(size)d')

   113

        self.StyleSetChangeable(STC_CODE_SECTION, False)

   114

   115

        # Indentation size

   116

        self.SetTabWidth(4)

   117

        self.SetUseTabs(0)

   118

   119

        self.SetCodeLexer()

   120

        self.SetKeyWords(0, " ".join(self.KEYWORDS))

   121

   122

        self.Controler = controler

   123

        self.ParentWindow = window

   124

   125

        self.DisableEvents = True

   126

        self.CurrentAction = None

   127

   128

        self.ResetSearchResults()

   129

   130

        self.RefreshHighlightsTimer = wx.Timer(self, -1)

   131

        self.Bind(wx.EVT_TIMER, self.OnRefreshHighlightsTimer, self.RefreshHighlightsTimer)

   132

   133

        self.SectionsComments = {}

   134

        for section in self.Controler.SECTIONS_NAMES:

   135

            section_comment = " %s section " % (section)

   136

            len_headers = EDGE_COLUMN - len(section_comment)

   137

            section_comment = self.COMMENT_HEADER * (len_headers / 2) + \

   138

                              section_comment + \

   139

                              self.COMMENT_HEADER * (len_headers - len_headers / 2)

   140

   141

            self.SectionsComments[section] = {

   142

                 "comment": section_comment,

   143

            }

   144

   145

        for i, section in enumerate(self.Controler.SECTIONS_NAMES):

   146

            section_infos = self.SectionsComments[section]

   147

            if i + 1 < len(self.Controler.SECTIONS_NAMES):

   148

                section_end = self.SectionsComments[

   149

                    self.Controler.SECTIONS_NAMES[i + 1]]["comment"]

   150

            else:

   151

                section_end = "$"

   152

            section_infos["pattern"] = re.compile(

   153

                section_infos["comment"] + "(.*)" +

   154

                section_end, re.DOTALL)

   155

   156

        self.SetModEventMask(wx.stc.STC_MOD_BEFOREINSERT | wx.stc.STC_MOD_BEFOREDELETE)

   157

   158

        self.Bind(wx.stc.EVT_STC_DO_DROP, self.OnDoDrop)

   159

        self.Bind(wx.EVT_KILL_FOCUS, self.OnKillFocus)

   160

        self.Bind(wx.stc.EVT_STC_MODIFIED, self.OnModification)

   161

   162

    def SetCodeLexer(self):

   163

        pass

   164

   165

    def ResetSearchResults(self):

   166

        self.Highlights = []

   167

        self.SearchParams = None

   168

        self.SearchResults = None

   169

        self.CurrentFindHighlight = None

   170

   171

    def OnModification(self, event):

   172

        if not self.DisableEvents:

   173

            mod_type = event.GetModificationType()

   174

            if not (mod_type & wx.stc.STC_PERFORMED_UNDO or mod_type & wx.stc.STC_PERFORMED_REDO):

   175

                if mod_type & wx.stc.STC_MOD_BEFOREINSERT:

   176

                    if self.CurrentAction is None:

   177

                        self.StartBuffering()

   178

                    elif self.CurrentAction[0] != "Add" or self.CurrentAction[1] != event.GetPosition() - 1:

   179

                        self.Controler.EndBuffering()

   180

                        self.StartBuffering()

   181

                    self.CurrentAction = ("Add", event.GetPosition())

   182

                    wx.CallAfter(self.RefreshModel)

   183

                elif mod_type & wx.stc.STC_MOD_BEFOREDELETE:

   184

                    if self.CurrentAction is None:

   185

                        self.StartBuffering()

   186

                    elif self.CurrentAction[0] != "Delete" or self.CurrentAction[1] != event.GetPosition() + 1:

   187

                        self.Controler.EndBuffering()

   188

                        self.StartBuffering()

   189

                    self.CurrentAction = ("Delete", event.GetPosition())

   190

                    wx.CallAfter(self.RefreshModel)

   191

        wx.CallAfter(self.RefreshSectionStyling)

   192

        event.Skip()

   193

   194

    def OnDoDrop(self, event):

   195

        try:

   196

            values = eval(event.GetDragText())

   197

        except:

   198

            values = event.GetDragText()

   199

        if isinstance(values, tuple):

   200

            message = None

   201

            if values[3] == self.Controler.GetCurrentLocation():

   202

                self.ResetBuffer()

   203

                event.SetDragText(values[0])

   204

                wx.CallAfter(self.RefreshModel)

   205

            else:

   206

                event.SetDragText("")

   207

        else:

   208

            self.ResetBuffer()

   209

            wx.CallAfter(self.RefreshModel)

   210

        event.Skip()

   211

   212

    # Buffer the last model state

   213

    def RefreshBuffer(self):

   214

        self.Controler.BufferCodeFile()

   215

        if self.ParentWindow is not None:

   216

            self.ParentWindow.RefreshTitle()

   217

            self.ParentWindow.RefreshFileMenu()

   218

            self.ParentWindow.RefreshEditMenu()

   219

            self.ParentWindow.RefreshPageTitles()

   220

   221

    def StartBuffering(self):

   222

        self.Controler.StartBuffering()

   223

        if self.ParentWindow is not None:

   224

            self.ParentWindow.RefreshTitle()

   225

            self.ParentWindow.RefreshFileMenu()

   226

            self.ParentWindow.RefreshEditMenu()

   227

            self.ParentWindow.RefreshPageTitles()

   228

   229

    def ResetBuffer(self):

   230

        if self.CurrentAction is not None:

   231

            self.Controler.EndBuffering()

   232

            self.CurrentAction = None

   233

   234

    def GetCodeText(self):

   235

        parts = self.Controler.GetTextParts()

   236

        text = ""

   237

        for section in self.Controler.SECTIONS_NAMES:

   238

            section_comments = self.SectionsComments[section]

   239

            text += section_comments["comment"]

   240

            if parts[section] == "":

   241

                text += "\n"

   242

            else:

   243

                if not parts[section].startswith("\n"):

   244

                    text += "\n"

   245

                text += parts[section]

   246

                if not parts[section].endswith("\n"):

   247

                    text += "\n"

   248

        return text

   249

   250

    def RefreshView(self, scroll_to_highlight=False):

   251

        self.ResetBuffer()

   252

        self.DisableEvents = True

   253

        old_cursor_pos = self.GetCurrentPos()

   254

        line = self.GetFirstVisibleLine()

   255

        column = self.GetXOffset()

   256

        old_text = self.GetText()

   257

        new_text = self.GetCodeText()

   258

        if old_text != new_text:

   259

            self.SetText(new_text)

   260

            new_cursor_pos = GetCursorPos(old_text, new_text)

   261

            self.LineScroll(column, line)

   262

            if new_cursor_pos is not None:

   263

                self.GotoPos(new_cursor_pos)

   264

            else:

   265

                self.GotoPos(old_cursor_pos)

   266

            self.EmptyUndoBuffer()

   267

        self.DisableEvents = False

   268

   269

        self.RefreshSectionStyling()

   270

   271

        self.ShowHighlights()

   272

   273

    def RefreshSectionStyling(self):

   274

        self.Colourise(0, -1)

   275

   276

        text = self.GetText()

   277

        for line in xrange(self.GetLineCount()):

   278

            self.SetLineState(line, 0)

   279

   280

        for section in self.Controler.SECTIONS_NAMES:

   281

            section_comments = self.SectionsComments[section]

   282

            start_pos = text.find(section_comments["comment"])

   283

            end_pos = start_pos + len(section_comments["comment"])

   284

            self.StartStyling(start_pos, 0xff)

   285

            self.SetStyling(end_pos - start_pos, STC_CODE_SECTION)

   286

            self.SetLineState(self.LineFromPosition(start_pos), 1)

   287

   288

        self.StartStyling(end_pos, 0x00)

   289

        self.SetStyling(len(self.GetText()) - end_pos, stc.STC_STYLE_DEFAULT)

   290

   291

    def DoGetBestSize(self):

   292

        return self.ParentWindow.GetPanelBestSize()

   293

   294

    def RefreshModel(self):

   295

        text = self.GetText()

   296

        parts = {}

   297

        for section in self.Controler.SECTIONS_NAMES:

   298

            section_comments = self.SectionsComments[section]

   299

            result = section_comments["pattern"].search(text)

   300

            if result is not None:

   301

                parts[section] = result.group(1)

   302

            else:

   303

                parts[section] = ""

   304

        self.Controler.SetTextParts(parts)

   305

        self.ResetSearchResults()

   306

   307

    def OnKeyPressed(self, event):

   308

        if self.CallTipActive():

   309

            self.CallTipCancel()

   310

        key = event.GetKeyCode()

   311

        current_pos = self.GetCurrentPos()

   312

        selected = self.GetSelection()

   313

        text_selected = selected[0] != selected[1]

   314

   315

        # Test if caret is before Windows like new line

   316

        text = self.GetText()

   317

        if current_pos < len(text) and ord(text[current_pos]) == 13:

   318

            newline_size = 2

   319

        else:

   320

            newline_size = 1

   321

   322

        # Disable to type any character in section header lines

   323

        if (self.GetLineState(self.LineFromPosition(current_pos)) and

   324

            not text_selected and

   325

            key not in NAVIGATION_KEYS + [

   326

                wx.WXK_RETURN,

   327

                wx.WXK_NUMPAD_ENTER]):

   328

            return

   329

   330

        # Disable to delete line between code and header lines

   331

        elif (self.GetCurLine()[0].strip() != "" and not text_selected and

   332

              (key == wx.WXK_BACK and

   333

               self.GetLineState(self.LineFromPosition(max(0, current_pos - 1))) or

   334

               key in [wx.WXK_DELETE, wx.WXK_NUMPAD_DELETE] and

   335

               self.GetLineState(self.LineFromPosition(min(len(text), current_pos + newline_size))))):

   336

            return

   337

   338

        elif key == 32 and event.ControlDown():

   339

            pos = self.GetCurrentPos()

   340

   341

            # Tips

   342

            if event.ShiftDown():

   343

                pass

   344

            # Code completion

   345

            else:

   346

                self.AutoCompSetIgnoreCase(False)  # so this needs to match

   347

   348

                keywords = self.KEYWORDS + [var["Name"]

   349

                                            for var in self.Controler.GetVariables()]

   350

                keywords.sort()

   351

                self.AutoCompShow(0, " ".join(keywords))

   352

        else:

   353

            event.Skip()

   354

   355

    def OnKillFocus(self, event):

   356

        self.AutoCompCancel()

   357

        event.Skip()

   358

   359

    def OnUpdateUI(self, event):

   360

        # check for matching braces

   361

        braceAtCaret = -1

   362

        braceOpposite = -1

   363

        charBefore = None

   364

        caretPos = self.GetCurrentPos()

   365

   366

        if caretPos > 0:

   367

            charBefore = self.GetCharAt(caretPos - 1)

   368

            styleBefore = self.GetStyleAt(caretPos - 1)

   369

   370

        # check before

   371

        if charBefore and chr(charBefore) in "[]{}()" and styleBefore == stc.STC_P_OPERATOR:

   372

            braceAtCaret = caretPos - 1

   373

   374

        # check after

   375

        if braceAtCaret < 0:

   376

            charAfter = self.GetCharAt(caretPos)

   377

            styleAfter = self.GetStyleAt(caretPos)

   378

   379

            if charAfter and chr(charAfter) in "[]{}()" and styleAfter == stc.STC_P_OPERATOR:

   380

                braceAtCaret = caretPos

   381

   382

        if braceAtCaret >= 0:

   383

            braceOpposite = self.BraceMatch(braceAtCaret)

   384

   385

        if braceAtCaret != -1  and braceOpposite == -1:

   386

            self.BraceBadLight(braceAtCaret)

   387

        else:

   388

            self.BraceHighlight(braceAtCaret, braceOpposite)

   389

   390

        selected_text = self.GetSelectedText()

   391

        if selected_text:

   392

            self.ParentWindow.SetCopyBuffer(selected_text, True)

   393

   394

    def OnMarginClick(self, event):

   395

        # fold and unfold as needed

   396

        if evt.GetMargin() == 2:

   397

            if evt.GetShift() and evt.GetControl():

   398

                self.FoldAll()

   399

            else:

   400

                lineClicked = self.LineFromPosition(evt.GetPosition())

   401

   402

                if self.GetFoldLevel(lineClicked) & stc.STC_FOLDLEVELHEADERFLAG:

   403

                    if evt.GetShift():

   404

                        self.SetFoldExpanded(lineClicked, True)

   405

                        self.Expand(lineClicked, True, True, 1)

   406

                    elif evt.GetControl():

   407

                        if self.GetFoldExpanded(lineClicked):

   408

                            self.SetFoldExpanded(lineClicked, False)

   409

                            self.Expand(lineClicked, False, True, 0)

   410

                        else:

   411

                            self.SetFoldExpanded(lineClicked, True)

   412

                            self.Expand(lineClicked, True, True, 100)

   413

                    else:

   414

                        self.ToggleFold(lineClicked)

   415

        event.Skip()

   416

   417

    def FoldAll(self):

   418

        lineCount = self.GetLineCount()

   419

        expanding = True

   420

   421

        # find out if we are folding or unfolding

   422

        for lineNum in range(lineCount):

   423

            if self.GetFoldLevel(lineNum) & stc.STC_FOLDLEVELHEADERFLAG:

   424

                expanding = not self.GetFoldExpanded(lineNum)

   425

                break

   426

   427

        lineNum = 0

   428

   429

        while lineNum < lineCount:

   430

            level = self.GetFoldLevel(lineNum)

   431

            if level & stc.STC_FOLDLEVELHEADERFLAG and \

   432

               (level & stc.STC_FOLDLEVELNUMBERMASK) == stc.STC_FOLDLEVELBASE:

   433

   434

                if expanding:

   435

                    self.SetFoldExpanded(lineNum, True)

   436

                    lineNum = self.Expand(lineNum, True)

   437

                    lineNum = lineNum - 1

   438

                else:

   439

                    lastChild = self.GetLastChild(lineNum, -1)

   440

                    self.SetFoldExpanded(lineNum, False)

   441

   442

                    if lastChild > lineNum:

   443

                        self.HideLines(lineNum+1, lastChild)

   444

   445

            lineNum = lineNum + 1

   446

   447

    def Expand(self, line, doExpand, force=False, visLevels=0, level=-1):

   448

        lastChild = self.GetLastChild(line, level)

   449

        line = line + 1

   450

   451

        while line <= lastChild:

   452

            if force:

   453

                if visLevels > 0:

   454

                    self.ShowLines(line, line)

   455

                else:

   456

                    self.HideLines(line, line)

   457

            else:

   458

                if doExpand:

   459

                    self.ShowLines(line, line)

   460

   461

            if level == -1:

   462

                level = self.GetFoldLevel(line)

   463

   464

            if level & stc.STC_FOLDLEVELHEADERFLAG:

   465

                if force:

   466

                    if visLevels > 1:

   467

                        self.SetFoldExpanded(line, True)

   468

                    else:

   469

                        self.SetFoldExpanded(line, False)

   470

   471

                    line = self.Expand(line, doExpand, force, visLevels-1)

   472

   473

                else:

   474

                    if doExpand and self.GetFoldExpanded(line):

   475

                        line = self.Expand(line, True, force, visLevels-1)

   476

                    else:

   477

                        line = self.Expand(line, False, force, visLevels-1)

   478

            else:

   479

                line = line + 1

   480

   481

        return line

   482

   483

    def Cut(self):

   484

        self.ResetBuffer()

   485

        self.DisableEvents = True

   486

        self.CmdKeyExecute(wx.stc.STC_CMD_CUT)

   487

        self.DisableEvents = False

   488

        self.RefreshModel()

   489

        self.RefreshBuffer()

   490

   491

    def Copy(self):

   492

        self.CmdKeyExecute(wx.stc.STC_CMD_COPY)

   493

        self.ParentWindow.RefreshEditMenu()

   494

   495

    def Paste(self):

   496

        self.ResetBuffer()

   497

        self.DisableEvents = True

   498