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 os

    26

    27

from nevow import rend, appserver, inevow, tags, loaders, athena

    28

import simplejson as json

    29

    30

svgfile = '%(svgfile)s'

    31

    32

svguiWidgets = {}

    33

    34

currentId = 0

    35

def getNewId():

    36

    global currentId

    37

    currentId += 1

    38

    return currentId

    39

    40

class SvguiWidget:

    41

    42

    def __init__(self, classname, id, **kwargs):

    43

        self.classname = classname

    44

        self.id = id

    45

        self.attrs = kwargs.copy()

    46

        self.inputs = {}

    47

        self.outputs = {}

    48

        self.inhibit = False

    49

        self.changed = False

    50

    51

    def setinput(self, attrname, value):

    52

        self.inputs[attrname] = value

    53

    54

    def getinput(self, attrname, default=None):

    55

        if not self.inputs.has_key(attrname):

    56

            self.inputs[attrname] = default

    57

        return self.inputs[attrname]

    58

    59

    def setoutput(self, attrname, value):

    60

        if self.outputs.get(attrname) != value:

    61

            self.outputs[attrname] = value

    62

            self.changed = True

    63

            self.RefreshInterface()

    64

    65

    def updateoutputs(self, **kwargs):

    66

        for attrname, value in kwargs.iteritems():

    67

            if self.outputs.get(attrname) != value:

    68

                self.outputs[attrname] = value

    69

                self.changed = True

    70

        self.RefreshInterface()

    71

    72

    def RefreshInterface(self):

    73

        interface = website.getHMI()

    74

        if isinstance(interface, SVGUI_HMI) and self.changed and not self.inhibit:

    75

            self.changed = False

    76

            d = interface.sendData(self)

    77

            if d is not None:

    78

                self.inhibit = True

    79

                d.addCallback(self.InterfaceRefreshed)

    80

    81

    def InterfaceRefreshed(self, result):

    82

        self.inhibit = False

    83

        if self.changed:

    84

            self.RefreshInterface()

    85

    86

def get_object_init_state(obj):

    87

    # Convert objects to a dictionary of their representation

    88

    attrs = obj.attrs.copy()

    89

    attrs.update(obj.inputs)

    90

    d = { '__class__': obj.classname,

    91

          'id': obj.id,

    92

          'kwargs': json.dumps(attrs),

    93

          }

    94

    return d

    95

    96

def get_object_current_state(obj):

    97

    # Convert objects to a dictionary of their representation

    98

    d = { '__class__': obj.classname,

    99

          'id': obj.id,

   100

          'kwargs': json.dumps(obj.outputs),

   101

          }

   102

    return d

   103

   104

class SVGUI_HMI(website.PLCHMI):

   105

    jsClass = u"LiveSVGPage.LiveSVGWidget"

   106

   107

    docFactory = loaders.stan(tags.div(render=tags.directive('liveElement'))[                                    

   108

                                         tags.xml(loaders.xmlfile(os.path.join(WorkingDir, svgfile))),

   109

                                         ])

   110

   111

    def HMIinitialisation(self):

   112

        gadgets = []

   113

        for gadget in svguiWidgets.values():

   114

            gadgets.append(unicode(json.dumps(gadget, default=get_object_init_state, indent=2), 'ascii'))

   115

        d = self.callRemote('init', gadgets)

   116

        d.addCallback(self.HMIinitialised)

   117

   118

    def sendData(self,data):

   119

        if self.initialised:

   120

            return self.callRemote('receiveData',unicode(json.dumps(data, default=get_object_current_state, indent=2), 'ascii'))

   121

        return None

   122

   123

    def setattr(self, id, attrname, value):

   124

        svguiWidgets[id].setinput(attrname, value)

   125

   126

def createSVGUIControl(*args, **kwargs):

   127

    id = getNewId()

   128

    gad = SvguiWidget(args[0], id, **kwargs)

   129

    svguiWidgets[id] = gad

   130

    gadget = [unicode(json.dumps(gad, default=get_object_init_state, indent=2), 'ascii')]

   131

    interface = website.getHMI()

   132

    if isinstance(interface, SVGUI_HMI) and interface.initialised:

   133

        interface.callRemote('init', gadget)

   134

    return id

   135

   136

def setAttr(id, attrname, value):

   137

    gad = svguiWidgets.get(id, None)

   138

    if gad is not None:

   139

        gad.setoutput(attrname, value)

   140

   141

def updateAttr(id, **kwargs):

   142

    gad = svguiWidgets.get(id, None)

   143

    if gad is not None:

   144

        gad.updateoutput(**kwargs)

   145

   146

def getAttr(id, attrname, default=None):

   147

    gad = svguiWidgets.get(id, None)

   148

    if gad is not None:

   149

        return gad.getinput(attrname, default)

   150

    return default

   151