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 controls.CustomStyledTextCtrl import CustomStyledTextCtrl, faces, GetCursorPos, NAVIGATION_KEYS

    36

from controls.VariablePanel import VARIABLE_NAME_SUFFIX_MODEL

    37

from editors.ConfTreeNodeEditor import ConfTreeNodeEditor

    38

from util.BitmapLibrary import GetBitmap

    39

from util.TranslationCatalogs import NoTranslate

    40

from graphics.GraphicCommons import ERROR_HIGHLIGHT, SEARCH_RESULT_HIGHLIGHT, REFRESH_HIGHLIGHT_PERIOD

    41

    42

    43

[STC_CODE_ERROR, STC_CODE_SEARCH_RESULT,

    44

 STC_CODE_SECTION] = range(15, 18)

    45

    46

HIGHLIGHT_TYPES = {

    47

    ERROR_HIGHLIGHT: STC_CODE_ERROR,

    48

    SEARCH_RESULT_HIGHLIGHT: STC_CODE_SEARCH_RESULT,

    49

}

    50

    51

EDGE_COLUMN = 80

    52

    53

    54

class CodeEditor(CustomStyledTextCtrl):

    55

    56

    KEYWORDS = []

    57

    COMMENT_HEADER = ""

    58

    59

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

    60

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

    61

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

    62

    63

        self.SetMarginType(1, stc.STC_MARGIN_NUMBER)

    64

        self.SetMarginWidth(1, 25)

    65

    66

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

    67

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

    68

        self.SetMargins(0, 0)

    69

    70

        self.SetViewWhiteSpace(False)

    71

    72

        self.SetEdgeMode(stc.STC_EDGE_BACKGROUND)

    73

        self.SetEdgeColumn(EDGE_COLUMN)

    74

    75

        # Setup a margin to hold fold markers

    76

        self.SetMarginType(2, stc.STC_MARGIN_SYMBOL)

    77

        self.SetMarginMask(2, stc.STC_MASK_FOLDERS)

    78

        self.SetMarginSensitive(2, True)

    79

        self.SetMarginWidth(2, 12)

    80

    81

        # Like a flattened tree control using square headers

    82

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

    83

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

    84

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

    85

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

    86

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

    87

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

    88

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

    89

    90

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

    91

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

    92

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

    93

    94

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

    95

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

    96

        # Scintilla sample property files.

    97

    98

        # Global default styles for all languages

    99

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

   100

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

   101

   102

        # Global default styles for all languages

   103

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

   104

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

   105

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

   106

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

   107

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

   108

   109

        # Highlighting styles

   110

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

   111

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

   112

   113

        # Section style

   114

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

   115

        self.StyleSetChangeable(STC_CODE_SECTION, False)

   116

   117

        # Indentation size

   118

        self.SetTabWidth(4)

   119

        self.SetUseTabs(0)

   120

   121

        self.SetCodeLexer()

   122

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

   123

   124

        self.Controler = controler

   125

        self.ParentWindow = window

   126

   127

        self.DisableEvents = True

   128

        self.CurrentAction = None

   129

   130

        self.ResetSearchResults()

   131

   132

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

   133

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

   134

   135

        self.SectionsComments = {}

   136

        for section in self.Controler.SECTIONS_NAMES:

   137

            section_comment = " %s section " % (section)

   138

            len_headers = EDGE_COLUMN - len(section_comment)

   139

            section_comment = \

   140

                self.COMMENT_HEADER * (len_headers / 2) + \

   141

                section_comment + \

   142

                self.COMMENT_HEADER * (len_headers - len_headers / 2)

   143

   144

            self.SectionsComments[section] = {

   145

                 "comment": section_comment,

   146

            }

   147

   148

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

   149

            section_infos = self.SectionsComments[section]

   150

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

   151

                section_end = self.SectionsComments[

   152

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

   153

            else:

   154

                section_end = "$"

   155

            section_infos["pattern"] = re.compile(

   156

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

   157

                section_end, re.DOTALL)

   158

   159

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

   160

   161

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

   162

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

   163

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

   164

   165

    def SetCodeLexer(self):

   166

        pass

   167

   168

    def ResetSearchResults(self):

   169

        self.Highlights = []

   170

        self.SearchParams = None

   171

        self.SearchResults = None

   172

        self.CurrentFindHighlight = None

   173

   174

    def OnModification(self, event):

   175

        if not self.DisableEvents:

   176

            mod_type = event.GetModificationType()

   177

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

   178

                if mod_type & wx.stc.STC_MOD_BEFOREINSERT:

   179

                    if self.CurrentAction is None:

   180

                        self.StartBuffering()

   181

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

   182

                        self.Controler.EndBuffering()

   183

                        self.StartBuffering()

   184

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

   185

                    wx.CallAfter(self.RefreshModel)

   186

                elif mod_type & wx.stc.STC_MOD_BEFOREDELETE:

   187

                    if self.CurrentAction is None:

   188

                        self.StartBuffering()

   189

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

   190

                        self.Controler.EndBuffering()

   191

                        self.StartBuffering()

   192

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

   193

                    wx.CallAfter(self.RefreshModel)

   194

        wx.CallAfter(self.RefreshSectionStyling)

   195

        event.Skip()

   196

   197

    def OnDoDrop(self, event):

   198

        try:

   199

            values = eval(event.GetDragText())

   200

        except Exception:

   201

            values = event.GetDragText()

   202

        if isinstance(values, tuple):

   203

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

   204

                self.ResetBuffer()

   205

                event.SetDragText(values[0])

   206

                wx.CallAfter(self.RefreshModel)

   207

            else:

   208

                event.SetDragText("")

   209

        else:

   210

            self.ResetBuffer()

   211

            wx.CallAfter(self.RefreshModel)

   212

        event.Skip()

   213

   214

    # Buffer the last model state

   215

    def RefreshBuffer(self):

   216

        self.Controler.BufferCodeFile()

   217

        if self.ParentWindow is not None:

   218

            self.ParentWindow.RefreshTitle()

   219

            self.ParentWindow.RefreshFileMenu()

   220

            self.ParentWindow.RefreshEditMenu()

   221

            self.ParentWindow.RefreshPageTitles()

   222

   223

    def StartBuffering(self):

   224

        self.Controler.StartBuffering()

   225

        if self.ParentWindow is not None:

   226

            self.ParentWindow.RefreshTitle()

   227

            self.ParentWindow.RefreshFileMenu()

   228

            self.ParentWindow.RefreshEditMenu()

   229

            self.ParentWindow.RefreshPageTitles()

   230

   231

    def ResetBuffer(self):

   232

        if self.CurrentAction is not None:

   233

            self.Controler.EndBuffering()

   234

            self.CurrentAction = None

   235

   236

    def GetCodeText(self):

   237

        parts = self.Controler.GetTextParts()

   238

        text = ""

   239

        for section in self.Controler.SECTIONS_NAMES:

   240

            section_comments = self.SectionsComments[section]

   241

            text += section_comments["comment"]

   242

            if parts[section] == "":

   243

                text += "\n"

   244

            else:

   245

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

   246

                    text += "\n"

   247

                text += parts[section]

   248

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

   249

                    text += "\n"

   250

        return text

   251

   252

    def RefreshView(self, scroll_to_highlight=False):

   253

        self.ResetBuffer()

   254

        self.DisableEvents = True

   255

        old_cursor_pos = self.GetCurrentPos()

   256

        line = self.GetFirstVisibleLine()

   257

        column = self.GetXOffset()

   258

        old_text = self.GetText()

   259

        new_text = self.GetCodeText()

   260

        if old_text != new_text:

   261

            self.SetText(new_text)

   262

            new_cursor_pos = GetCursorPos(old_text, new_text)

   263

            self.LineScroll(column, line)

   264

            if new_cursor_pos is not None:

   265

                self.GotoPos(new_cursor_pos)

   266

            else:

   267

                self.GotoPos(old_cursor_pos)

   268

            self.EmptyUndoBuffer()

   269

        self.DisableEvents = False

   270

   271

        self.RefreshSectionStyling()

   272

   273

        self.ShowHighlights()

   274

   275

    def RefreshSectionStyling(self):

   276

        self.Colourise(0, -1)

   277

   278

        text = self.GetText()

   279

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

   280

            self.SetLineState(line, 0)

   281

   282

        for section in self.Controler.SECTIONS_NAMES:

   283

            section_comments = self.SectionsComments[section]

   284

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

   285

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

   286

            self.StartStyling(start_pos, 0xff)

   287

            self.SetStyling(end_pos - start_pos, STC_CODE_SECTION)

   288

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

   289

   290

        self.StartStyling(end_pos, 0x00)

   291

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

   292

   293

    def DoGetBestSize(self):

   294

        return self.ParentWindow.GetPanelBestSize()

   295

   296

    def RefreshModel(self):

   297

        text = self.GetText()

   298

        parts = {}

   299

        for section in self.Controler.SECTIONS_NAMES:

   300

            section_comments = self.SectionsComments[section]

   301

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

   302

            if result is not None:

   303

                parts[section] = result.group(1)

   304

            else:

   305

                parts[section] = ""

   306

        self.Controler.SetTextParts(parts)

   307

        self.ResetSearchResults()

   308

   309

    def OnKeyPressed(self, event):

   310

        if self.CallTipActive():

   311

            self.CallTipCancel()

   312

        key = event.GetKeyCode()

   313

        current_pos = self.GetCurrentPos()

   314

        selected = self.GetSelection()

   315

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

   316

   317

        # Test if caret is before Windows like new line

   318

        text = self.GetText()

   319

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

   320

            newline_size = 2

   321

        else:

   322

            newline_size = 1

   323

   324

        # Disable to type any character in section header lines

   325

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

   326

            not text_selected and

   327

            key not in NAVIGATION_KEYS + [

   328

                wx.WXK_RETURN,

   329

                wx.WXK_NUMPAD_ENTER]):

   330

            return

   331

   332

        # Disable to delete line between code and header lines

   333

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

   334

              (key == wx.WXK_BACK and

   335

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

   336

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

   337

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

   338

            return

   339

   340

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

   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