edouard@3924: <?xml version='1.0' encoding='utf-8'?>
edouard@3924: <PyFile xmlns:xhtml="http://www.w3.org/1999/xhtml" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
edouard@3924:   <variables>
edouard@3924:     <variable name="AlarmNotify" type="HMI_INT"/>
edouard@3924:     <variable name="SendAlarm" type="HMI_INT" onchange="TriggerAlarm"/>
edouard@3924:     <variable name="AlarmText" type="HMI_STRING" initial="'break time !'"/>
edouard@3924:     <variable name="AlarmStatus" type="HMI_STRING" initial="'alarm'"/>
edouard@3924:   </variables>
edouard@3924:   <globals>
edouard@3924:     <xhtml:p><![CDATA[
edouard@3924: from twisted.web.resource import Resource
edouard@3924: import json, time, random, collections
edouard@3924: 
edouard@3924: Alarms = []
edouard@3924: AlarmIndex = {}
edouard@3924: lastid = 0
edouard@3924: 
edouard@3924: def TriggerAlarm(changed_var_name):
edouard@3924:     global Alarms, lastid
edouard@3924:     new_entry = [time.time(), PLCGlobals.AlarmText, PLCGlobals.AlarmStatus, lastid]
edouard@3924:     Alarms.append(new_entry)
edouard@3924:     AlarmIndex[lastid] = new_entry
edouard@3924:     lastid = lastid + 1
edouard@3924:     PLCGlobals.AlarmNotify = random.randint(0, 4294967296)
edouard@3924: 
edouard@3924: class AlarmJsonResource(Resource):
edouard@3924:     def render_GET(self, request):
edouard@3924:         return ''
edouard@3924: 
edouard@3924:     def render_POST(self, request):
edouard@3924:         newstr = request.content.getvalue()
edouard@3924:         newdata = json.loads(newstr)
edouard@3924:         args = newdata['args']
edouard@3924:         range_feedback = newdata['range']
edouard@3924:         slider_position = newdata['position']
edouard@3924:         visible = newdata['visible']
edouard@3924:         extra = newdata['extra']
edouard@3924:         options = newdata['options']
edouard@3924: 
edouard@3924:         if len(options) == 1 :
edouard@3924:             action, = options
edouard@3924:             if action == "action_reset":
edouard@3924:                 del Alarms[:]
edouard@3924:                 AlarmIndex.clear()
edouard@3924:         elif len(options) == 2 :
edouard@3924:             action, alarmid = options
edouard@3924:             if action == "onClick[acknowledge]":
edouard@3924:                 AlarmIndex[int(alarmid)][2] = "ack"
edouard@3924: 
edouard@3924:         answer = self.renderTable(range_feedback, slider_position, visible, extra)
edouard@3924:         janswer = json.dumps(answer)
edouard@3924:         return janswer.encode()
edouard@3924: 
edouard@3924:     def renderTable(self, old_range, old_position, visible, extra):
edouard@3924:         if len(extra) > 0 and extra[0] != "":
edouard@3924:             fAlarms = [alrm for alrm in Alarms if alrm[1].find(extra[0])!=-1]
edouard@3924:         else:
edouard@3924:             fAlarms = Alarms[:]
edouard@3924:         fAlarms.reverse()
edouard@3924:         new_range = len(fAlarms)
edouard@3924:         delta = new_range - visible
edouard@3924:         new_position = 0 if delta <= 0 else delta if old_position > delta else old_position
edouard@3924:         new_visible = new_range if delta <= 0 else visible
edouard@3924:         
edouard@3924:         visible_alarms = []
edouard@3924:         for ts, text, status, alarmid in fAlarms[new_position:new_position + new_visible]:
edouard@3924:             visible_alarms.append({
edouard@3924:                 "time": time.ctime(ts),
edouard@3924:                 "text": text, # TODO translate text
edouard@3924:                 "status": status,
edouard@3924:                 "alarmid": alarmid
edouard@3924:             })
edouard@3924: 
edouard@3924:         return new_range, new_position, visible_alarms
edouard@3924: 
edouard@3924: 
edouard@3924: ]]></xhtml:p>
edouard@3924:   </globals>
edouard@3924:   <init>
edouard@3924:     <xhtml:p><![CDATA[
edouard@3924: ]]></xhtml:p>
edouard@3924:   </init>
edouard@3924:   <cleanup>
edouard@3924:     <xhtml:p><![CDATA[
edouard@3924: ]]></xhtml:p>
edouard@3924:   </cleanup>
edouard@3924:   <start>
edouard@3924:     <xhtml:p><![CDATA[
edouard@3924: 
edouard@3924: AddPathToSVGHMIServers(b"alarms", AlarmJsonResource)
edouard@3924: 
edouard@3924: 
edouard@3924: ]]></xhtml:p>
edouard@3924:   </start>
edouard@3924:   <stop>
edouard@3924:     <xhtml:p><![CDATA[
edouard@3924: ]]></xhtml:p>
edouard@3924:   </stop>
edouard@3924: </PyFile>