1

<?xml version='1.0' encoding='utf-8'?>

     2

<PyFile xmlns:xhtml="http://www.w3.org/1999/xhtml" xmlns:xsd="http://www.w3.org/2001/XMLSchema">

     3

  <variables>

     4

    <variable name="AlarmNotify" type="HMI_INT"/>

     5

    <variable name="SendAlarm" type="HMI_INT" onchange="TriggerAlarm"/>

     6

    <variable name="AlarmText" type="HMI_STRING" initial="'POS'"/>

     7

    <variable name="AlarmStatus" type="HMI_STRING" initial="'alarm'"/>

     8

  </variables>

     9

  <globals>

    10

    <xhtml:p><![CDATA[

    11

from twisted.web.resource import Resource

    12

import json, time, random, collections

    13

    14

Alarms = []

    15

AlarmIndex = {}

    16

lastid = 0

    17

    18

def TriggerAlarm(changed_var_name):

    19

    global Alarms, lastid

    20

    new_entry = [time.time(), PLCGlobals.AlarmText, PLCGlobals.AlarmStatus, lastid]

    21

    Alarms.append(new_entry)

    22

    AlarmIndex[lastid] = new_entry

    23

    lastid = lastid + 1

    24

    PLCGlobals.AlarmNotify = random.randint(0, 4294967296)

    25

    26

class AlarmJsonResource(Resource):

    27

    def render_GET(self, request):

    28

        return ''

    29

    30

    def render_POST(self, request):

    31

        newstr = request.content.getvalue()

    32

        newdata = json.loads(newstr)

    33

        vars = newdata[u'vars']

    34

        args = newdata[u'args']

    35

        visible = newdata[u'visible']

    36

        options = newdata[u'options']

    37

    38

        if len(options) == 2 :

    39

            action, alarmid = options

    40

            if action == "onClick[acknowledge]":

    41

                AlarmIndex[int(alarmid)][2] = "ack"

    42

    43

        svars = (vars + [0,0])[:3]

    44

        range_feedback = svars[1]

    45

        slider_position = svars[2]

    46

        answer = self.renderTable(range_feedback, slider_position, visible, *(args+svars[3:]))

    47

        janswer = json.dumps(answer)

    48

        return janswer

    49

    50

    def renderTable(self, old_range, old_position, visible, *options):

    51

        new_range = len(Alarms)

    52

        delta = new_range - visible

    53

        new_position = 0 if delta <= 0 else delta if old_position > delta else old_position

    54

        new_visible = new_range if delta <= 0 else visible

    55

    56

        visible_alarms = []

    57

        for ts, text, status, alarmid in Alarms[new_position:new_position + new_visible]:

    58

            visible_alarms.append({

    59

                "time": time.ctime(ts),

    60

                "text": text, # TODO translate text

    61

                "status": status,

    62

                "alarmid": alarmid

    63

            })

    64

    65

        return new_range, new_position, visible_alarms

    66

    67

    68

]]></xhtml:p>

    69

  </globals>

    70

  <init>

    71

    <xhtml:p><![CDATA[

    72

]]></xhtml:p>

    73

  </init>

    74

  <cleanup>

    75

    <xhtml:p><![CDATA[

    76

]]></xhtml:p>

    77

  </cleanup>

    78

  <start>

    79

    <xhtml:p><![CDATA[

    80

    81

svghmi_root.putChild("alarms", AlarmJsonResource())

    82

    83

    84

]]></xhtml:p>

    85

  </start>

    86

  <stop>

    87

    <xhtml:p><![CDATA[

    88

]]></xhtml:p>

    89

  </stop>

    90

</PyFile>