Edouard@2983: <?xml version='1.0' encoding='utf-8'?>
Edouard@2983: <PyFile xmlns:xhtml="http://www.w3.org/1999/xhtml" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
Edouard@2983:   <variables>
Edouard@3034:     <variable name="AlarmNotify" type="HMI_INT"/>
Edouard@3036:     <variable name="SendAlarm" type="HMI_BOOL" onchange="TriggerAlarm"/>
Edouard@3036:     <variable name="AlarmText" type="HMI_STRING" initial="'POS'"/>
Edouard@3036:     <variable name="AlarmStatus" type="HMI_STRING" initial="'alarm'"/>
Edouard@2983:   </variables>
Edouard@2983:   <globals>
Edouard@2983:     <xhtml:p><![CDATA[
edouard@2994: from twisted.web.resource import Resource
Edouard@3036: import json, time, random
Edouard@3036: 
Edouard@3036: Alarms = []
Edouard@3036: 
Edouard@3036: def TriggerAlarm(changed_var_name):
Edouard@3036:     global Alarms
Edouard@3038:     Alarms.append((time.time(), PLCGlobals.AlarmText, PLCGlobals.AlarmStatus))
Edouard@3038:     PLCGlobals.AlarmNotify = random.randint(0, 4294967296)
edouard@2994: 
edouard@2994: class AlarmJsonResource(Resource):
edouard@2994:     def render_GET(self, request):
edouard@2994:         return ''
edouard@2994: 
edouard@2994:     def render_POST(self, request):
Edouard@3036:         newstr = request.content.getvalue()
Edouard@3036:         newdata = json.loads(newstr)
edouard@2994:         print newdata
Edouard@3036:         vars = newdata[u'vars']
Edouard@3036:         args = newdata[u'args']
Edouard@3036:         visible = newdata[u'visible']
Edouard@3036:         svars = (vars + [0,0])[:3]
Edouard@3036:         range_feedback = svars[1]
Edouard@3036:         slider_position = svars[2]
Edouard@3036:         answer = self.renderTable(range_feedback, slider_position, visible, *(args+svars[3:]))
Edouard@3036:         janswer = json.dumps(answer)
Edouard@3036:         print janswer
Edouard@3036:         return janswer
edouard@2994: 
Edouard@3036:     def renderTable(self, old_range, old_position, visible, *options):
Edouard@3036:         new_range = len(Alarms)
Edouard@3036:         delta = new_range - visible
Edouard@3036:         new_position = 0 if delta <= 0 else delta if old_position > delta else old_position
Edouard@3036:         new_visible = new_range if delta <= 0 else visible
Edouard@3036:         
Edouard@3036:         visible_alarms = []
Edouard@3036:         for ts, text, status in Alarms[new_position:new_position + new_visible]:
Edouard@3036:             visible_alarms.append({
Edouard@3036:                 "time": time.ctime(ts),
Edouard@3036:                 "text": text, # TODO translate text
Edouard@3036:                 "status": status
Edouard@3036:             })
Edouard@2983: 
Edouard@3036:         return new_range, new_position, visible_alarms
Edouard@3036: 
Edouard@2983: 
Edouard@2983: ]]></xhtml:p>
Edouard@2983:   </globals>
Edouard@2983:   <init>
Edouard@2983:     <xhtml:p><![CDATA[
Edouard@2983: ]]></xhtml:p>
Edouard@2983:   </init>
Edouard@2983:   <cleanup>
Edouard@2983:     <xhtml:p><![CDATA[
Edouard@2983: ]]></xhtml:p>
Edouard@2983:   </cleanup>
Edouard@2983:   <start>
Edouard@2983:     <xhtml:p><![CDATA[
edouard@2994: 
edouard@2994: svghmi_root.putChild("alarms", AlarmJsonResource())
edouard@2994: 
edouard@2994: 
Edouard@2983: ]]></xhtml:p>
Edouard@2983:   </start>
Edouard@2983:   <stop>
Edouard@2983:     <xhtml:p><![CDATA[
Edouard@2983: ]]></xhtml:p>
Edouard@2983:   </stop>
Edouard@2983: </PyFile>