|
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 args = newdata[u'args'] |
|
34 range_feedback = newdata[u'range'] |
|
35 slider_position = newdata[u'position'] |
|
36 visible = newdata[u'visible'] |
|
37 extra = newdata[u'extra'] |
|
38 options = newdata[u'options'] |
|
39 |
|
40 if len(options) == 2 : |
|
41 action, alarmid = options |
|
42 if action == "onClick[acknowledge]": |
|
43 AlarmIndex[int(alarmid)][2] = "ack" |
|
44 |
|
45 answer = self.renderTable(range_feedback, slider_position, visible, extra) |
|
46 janswer = json.dumps(answer) |
|
47 return janswer |
|
48 |
|
49 def renderTable(self, old_range, old_position, visible, extra): |
|
50 if len(extra) > 0 and extra[0] != "": |
|
51 fAlarms = [alrm for alrm in Alarms if alrm[1].find(extra[0])!=-1] |
|
52 else: |
|
53 fAlarms = Alarms |
|
54 new_range = len(fAlarms) |
|
55 delta = new_range - visible |
|
56 new_position = 0 if delta <= 0 else delta if old_position > delta else old_position |
|
57 new_visible = new_range if delta <= 0 else visible |
|
58 |
|
59 visible_alarms = [] |
|
60 for ts, text, status, alarmid in fAlarms[new_position:new_position + new_visible]: |
|
61 visible_alarms.append({ |
|
62 "time": time.ctime(ts), |
|
63 "text": text, # TODO translate text |
|
64 "status": status, |
|
65 "alarmid": alarmid |
|
66 }) |
|
67 |
|
68 return new_range, new_position, visible_alarms |
|
69 |
|
70 |
|
71 ]]></xhtml:p> |
|
72 </globals> |
|
73 <init> |
|
74 <xhtml:p><![CDATA[ |
|
75 ]]></xhtml:p> |
|
76 </init> |
|
77 <cleanup> |
|
78 <xhtml:p><![CDATA[ |
|
79 ]]></xhtml:p> |
|
80 </cleanup> |
|
81 <start> |
|
82 <xhtml:p><![CDATA[ |
|
83 |
|
84 svghmi_root.putChild("alarms", AlarmJsonResource()) |
|
85 |
|
86 |
|
87 ]]></xhtml:p> |
|
88 </start> |
|
89 <stop> |
|
90 <xhtml:p><![CDATA[ |
|
91 ]]></xhtml:p> |
|
92 </stop> |
|
93 </PyFile> |