etisserant@0: #!/usr/bin/env python etisserant@0: # -*- coding: utf-8 -*- etisserant@0: etisserant@0: #This file is part of PLCOpenEditor, a library implementing an IEC 61131-3 editor etisserant@0: #based on the plcopen standard. etisserant@0: # lbessard@58: #Copyright (C) 2007: Edouard TISSERANT and Laurent BESSARD etisserant@0: # etisserant@0: #See COPYING file for copyrights details. etisserant@0: # etisserant@0: #This library is free software; you can redistribute it and/or etisserant@5: #modify it under the terms of the GNU General Public etisserant@0: #License as published by the Free Software Foundation; either etisserant@0: #version 2.1 of the License, or (at your option) any later version. etisserant@0: # etisserant@0: #This library is distributed in the hope that it will be useful, etisserant@0: #but WITHOUT ANY WARRANTY; without even the implied warranty of etisserant@0: #MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU lbessard@58: #General Public License for more details. etisserant@0: # etisserant@5: #You should have received a copy of the GNU General Public etisserant@0: #License along with this library; if not, write to the Free Software etisserant@0: #Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA etisserant@0: etisserant@0: from plcopen import plcopen etisserant@0: from plcopen.structures import * etisserant@0: from types import * etisserant@0: etisserant@0: varTypeNames = {"localVars" : "VAR", "tempVars" : "VAR_TEMP", "inputVars" : "VAR_INPUT", etisserant@0: "outputVars" : "VAR_OUTPUT", "inOutVars" : "VAR_IN_OUT", "externalVars" : "VAR_EXTERNAL", etisserant@0: "globalVars" : "VAR_GLOBAL", "accessVars" : "VAR_ACCESS"} lbessard@1: lbessard@6: pouTypeNames = {"function" : "FUNCTION", "functionBlock" : "FUNCTION_BLOCK", "program" : "PROGRAM"} lbessard@6: lbessard@71: currentProject = None lbessard@71: currentProgram = "" lbessard@125: datatypeComputed = {} lbessard@71: pouComputed = {} lbessard@71: etisserant@171: class PLCGenException(Exception): etisserant@171: pass etisserant@171: lbessard@1: def ReIndentText(text, nb_spaces): lbessard@1: compute = "" lbessard@1: lines = text.splitlines() lbessard@1: if len(lines) > 0: lbessard@151: line_num = 0 lbessard@151: while line_num < len(lines) and len(lines[line_num].strip()) == 0: lbessard@151: line_num += 1 lbessard@151: if line_num < len(lines): lbessard@151: spaces = 0 lbessard@151: while lines[line_num][spaces] == " ": lbessard@151: spaces += 1 lbessard@151: indent = "" lbessard@151: for i in xrange(spaces, nb_spaces): lbessard@151: indent += " " lbessard@151: for line in lines: lbessard@151: if line != "": lbessard@151: compute += "%s%s\n"%(indent, line) lbessard@151: else: lbessard@151: compute += "\n" lbessard@1: return compute lbessard@1: lbessard@125: def GenerateDataType(datatype_name): lbessard@125: if not datatypeComputed.get(datatype_name, True): lbessard@125: datatypeComputed[datatype_name] = True lbessard@125: global currentProject, currentProgram lbessard@151: datatype = currentProject.getdataType(datatype_name) lbessard@151: datatype_def = " %s :"%datatype.getname() lbessard@151: basetype_content = datatype.baseType.getcontent() lbessard@141: if basetype_content["name"] in ["string", "wstring"]: lbessard@141: datatype_def += " %s"%basetype_content["name"].upper() lbessard@125: elif basetype_content["name"] == "derived": lbessard@151: basetype_name = basetype_content["value"].getname() lbessard@125: GenerateDataType(basetype_name) lbessard@125: datatype_def += " %s"%basetype_name lbessard@125: elif basetype_content["name"] in ["subrangeSigned", "subrangeUnsigned"]: lbessard@151: base_type = basetype_content["value"].baseType.getcontent() lbessard@141: if base_type["name"] == "derived": lbessard@151: basetype_name = base_type["value"].getname() lbessard@141: else: lbessard@125: basetype_name = base_type["name"] lbessard@125: GenerateDataType(basetype_name) lbessard@151: min_value = basetype_content["value"].range.getlower() lbessard@151: max_value = basetype_content["value"].range.getupper() lbessard@125: datatype_def += " %s (%d..%d)"%(basetype_name, min_value, max_value) lbessard@125: elif basetype_content["name"] == "enum": lbessard@125: values = [] lbessard@151: for value in basetype_content["value"].values.getvalue(): lbessard@151: values.append(value.getname()) lbessard@125: datatype_def += " (%s)"%", ".join(values) lbessard@125: elif basetype_content["name"] == "array": lbessard@151: base_type = basetype_content["value"].baseType.getcontent() lbessard@141: if base_type["name"] == "derived": lbessard@151: basetype_name = base_type["value"].getname() lbessard@141: elif base_type["name"] in ["string", "wstring"]: lbessard@141: basetype_name = base_type["name"].upper() lbessard@141: else: lbessard@125: basetype_name = base_type["name"] lbessard@125: GenerateDataType(basetype_name) lbessard@125: dimensions = [] lbessard@151: for dimension in basetype_content["value"].getdimension(): lbessard@207: dimensions.append("%d..%d"%(dimension.getlower(), dimension.getupper())) lbessard@125: datatype_def += " ARRAY [%s] OF %s"%(",".join(dimensions), basetype_name) lbessard@141: else: lbessard@141: datatype_def += " %s"%basetype_content["name"] lbessard@125: if datatype.initialValue is not None: lbessard@151: datatype_def += " := %s"%str(datatype.initialValue.getvalue()) lbessard@125: currentProgram += "%s;\n"%datatype_def lbessard@125: lbessard@78: def GeneratePouProgram(pou_name): lbessard@78: if not pouComputed.get(pou_name, True): lbessard@78: pouComputed[pou_name] = True lbessard@78: global currentProject, currentProgram lbessard@151: pou = currentProject.getpou(pou_name) lbessard@151: pou_type = pou.getpouType() lbessard@78: if pou_type in pouTypeNames: lbessard@151: pou_program = PouProgram(pou.getname(), pouTypeNames[pou_type]) lbessard@78: else: lbessard@214: raise PLCGenException, "Undefined pou type \"%s\""%pou_type lbessard@194: pou_program.GenerateInterface(pou) lbessard@125: pou_program.GenerateConnectionTypes(pou) lbessard@78: pou_program.GenerateProgram(pou) lbessard@78: currentProgram += pou_program.GenerateSTProgram() lbessard@78: lbessard@78: def GenerateConfiguration(configuration): lbessard@151: config = "\nCONFIGURATION %s\n"%configuration.getname() lbessard@151: for varlist in configuration.getglobalVars(): lbessard@78: config += " VAR_GLOBAL" lbessard@151: if varlist.getretain(): lbessard@78: config += " RETAIN" lbessard@151: if varlist.getconstant(): lbessard@78: config += " CONSTANT" lbessard@78: config += "\n" lbessard@151: for var in varlist.getvariable(): lbessard@151: vartype_content = var.gettype().getcontent() lbessard@141: if vartype_content["name"] == "derived": lbessard@151: var_type = vartype_content["value"].getname() lbessard@141: elif vartype_content["name"] in ["string", "wstring"]: lbessard@141: var_type = vartype_content["name"].upper() lbessard@141: else: lbessard@125: var_type = vartype_content["name"] lbessard@151: config += " %s "%var.getname() lbessard@151: address = var.getaddress() lbessard@78: if address: lbessard@78: config += "AT %s "%address lbessard@78: config += ": %s"%var_type lbessard@151: initial = var.getinitialValue() lbessard@78: if initial: lbessard@151: value = str(initial.getvalue()) lbessard@78: value = {"TRUE":"0","FALSE":"1"}.get(value.upper(), value) lbessard@78: if var_type == "STRING": lbessard@78: config += " := '%s'"%value lbessard@78: elif var_type == "WSTRING": lbessard@78: config += " := \"%s\""%value lbessard@78: else: lbessard@78: config += " := %s"%value lbessard@78: config += ";\n" lbessard@78: config += " END_VAR\n" lbessard@151: for resource in configuration.getresource(): lbessard@78: config += GenerateResource(resource) lbessard@78: config += "END_CONFIGURATION\n" lbessard@78: return config lbessard@78: lbessard@78: def GenerateResource(resource): lbessard@151: resrce = "\n RESOURCE %s ON BEREMIZ\n"%resource.getname() lbessard@151: for varlist in resource.getglobalVars(): lbessard@78: resrce += " VAR_GLOBAL" lbessard@151: if varlist.getretain(): lbessard@78: resrce += " RETAIN" lbessard@151: if varlist.getconstant(): lbessard@78: resrce += " CONSTANT" lbessard@78: resrce += "\n" lbessard@151: for var in varlist.getvariable(): lbessard@151: vartype_content = var.gettype().getcontent() lbessard@141: if vartype_content["name"] == "derived": lbessard@151: var_type = vartype_content["value"].getname() lbessard@141: elif vartype_content["name"] in ["string", "wstring"]: lbessard@141: var_type = vartype_content["name"].upper() lbessard@141: else: lbessard@125: var_type = vartype_content["name"] lbessard@151: resrce += " %s "%var.getname() lbessard@151: address = var.getaddress() lbessard@78: if address: lbessard@78: resrce += "AT %s "%address lbessard@125: resrce += ": %s"%var_type lbessard@151: initial = var.getinitialValue() lbessard@78: if initial: lbessard@151: value = str(initial.getvalue()) lbessard@78: value = {"TRUE":"0","FALSE":"1"}.get(value.upper(), value) lbessard@78: if var_type == "STRING": lbessard@78: resrce += " := '%s'"%value lbessard@78: elif var_type == "WSTRING": lbessard@78: resrce += " := \"%s\""%value lbessard@78: else: lbessard@78: resrce += " := %s"%value lbessard@78: resrce += ";\n" lbessard@78: resrce += " END_VAR\n" lbessard@151: tasks = resource.gettask() lbessard@78: for task in tasks: lbessard@151: resrce += " TASK %s("%task.getname() lbessard@78: args = [] lbessard@151: single = task.getsingle() lbessard@78: if single: lbessard@78: args.append("SINGLE := %s"%single) lbessard@151: interval = task.getinterval() lbessard@78: if interval: lbessard@78: text = "t#" lbessard@78: if interval.hour != 0: lbessard@78: text += "%dh"%interval.hour lbessard@78: if interval.minute != 0: lbessard@78: text += "%dm"%interval.minute lbessard@78: if interval.second != 0: lbessard@78: text += "%ds"%interval.second lbessard@78: if interval.microsecond != 0: lbessard@78: text += "%dms"%(interval.microsecond / 1000) lbessard@78: args.append("INTERVAL := %s"%text) lbessard@151: args.append("PRIORITY := %s"%str(task.getpriority())) lbessard@78: resrce += ",".join(args) + ");\n" lbessard@78: for task in tasks: lbessard@151: for instance in task.getpouInstance(): lbessard@151: resrce += " PROGRAM %s WITH %s : %s;\n"%(instance.getname(), task.getname(), instance.gettype()) lbessard@151: for instance in resource.getpouInstance(): lbessard@151: resrce += " PROGRAM %s : %s;\n"%(instance.getname(), instance.gettype()) lbessard@78: resrce += " END_RESOURCE\n" lbessard@78: return resrce lbessard@78: etisserant@0: """ etisserant@0: Module implementing methods for generating PLC programs in ST or IL etisserant@0: """ etisserant@0: etisserant@0: class PouProgram: etisserant@0: etisserant@0: def __init__(self, name, type): etisserant@0: self.Name = name etisserant@0: self.Type = type lbessard@1: self.ReturnType = None lbessard@1: self.Interface = [] lbessard@1: self.InitialSteps = [] lbessard@72: self.ComputedBlocks = {} lbessard@72: self.ComputedConnectors = {} lbessard@125: self.ConnectionTypes = {} lbessard@125: self.RelatedConnections = [] lbessard@1: self.SFCNetworks = {"Steps":{}, "Transitions":{}, "Actions":{}} lbessard@72: self.SFCComputedBlocks = "" lbessard@46: self.ActionNumber = 0 etisserant@0: self.Program = "" etisserant@0: lbessard@46: def GetActionNumber(self): lbessard@46: self.ActionNumber += 1 lbessard@46: return self.ActionNumber lbessard@46: lbessard@1: def IsAlreadyDefined(self, name): lbessard@33: for list_type, retain, constant, located, vars in self.Interface: lbessard@30: for var_type, var_name, var_address, var_initial in vars: lbessard@1: if name == var_name: lbessard@1: return True lbessard@1: return False lbessard@1: lbessard@125: def GetVariableType(self, name): lbessard@125: for list_type, retain, constant, located, vars in self.Interface: lbessard@125: for var_type, var_name, var_address, var_initial in vars: lbessard@125: if name == var_name: lbessard@125: return var_type lbessard@125: return None lbessard@125: lbessard@125: def GetConnectedConnection(self, connection, body): lbessard@151: links = connection.getconnections() lbessard@125: if links and len(links) == 1: lbessard@125: return self.GetLinkedConnection(links[0], body) lbessard@125: return None lbessard@125: lbessard@125: def GetLinkedConnection(self, link, body): lbessard@151: parameter = link.getformalParameter() lbessard@151: instance = body.getcontentInstance(link.getrefLocalId()) lbessard@151: if isinstance(instance, (plcopen.fbdObjects_inVariable, plcopen.fbdObjects_inOutVariable, plcopen.commonObjects_continuation, plcopen.ldObjects_contact, plcopen.ldObjects_coil)): lbessard@125: return instance.connectionPointOut lbessard@151: elif isinstance(instance, plcopen.fbdObjects_block): lbessard@151: outputvariables = instance.outputVariables.getvariable() lbessard@125: if len(outputvariables) == 1: lbessard@125: return outputvariables[0].connectionPointOut lbessard@125: elif parameter: lbessard@125: for variable in outputvariables: lbessard@151: if variable.getformalParameter() == parameter: lbessard@125: return variable.connectionPointOut lbessard@125: else: lbessard@125: point = link.getPosition()[-1] lbessard@125: for variable in outputvariables: lbessard@151: relposition = variable.connectionPointOut.getrelPositionXY() lbessard@151: blockposition = instance.getposition() lbessard@125: if point.x == blockposition.x + relposition[0] and point.y == blockposition.y + relposition[1]: lbessard@125: return variable.connectionPointOut lbessard@151: elif isinstance(instance, plcopen.ldObjects_leftPowerRail): lbessard@151: outputconnections = instance.getconnectionPointOut() lbessard@125: if len(outputconnections) == 1: lbessard@125: return outputconnections[0] lbessard@125: else: lbessard@151: point = link.getposition()[-1] lbessard@125: for outputconnection in outputconnections: lbessard@151: relposition = outputconnection.getrelPositionXY() lbessard@151: powerrailposition = instance.getposition() lbessard@125: if point.x == powerrailposition.x + relposition[0] and point.y == powerrailposition.y + relposition[1]: lbessard@125: return outputconnection lbessard@125: return None lbessard@125: lbessard@125: def ExtractRelatedConnections(self, connection): lbessard@125: for i, related in enumerate(self.RelatedConnections): lbessard@125: if connection in related: lbessard@125: return self.RelatedConnections.pop(i) lbessard@125: return [connection] lbessard@125: lbessard@194: def GenerateInterface(self, pou): lbessard@194: interface = pou.getinterface() lbessard@194: if interface is not None: lbessard@194: body = pou.getbody() lbessard@194: body_content = body.getcontent() lbessard@194: if self.Type == "FUNCTION": lbessard@194: returntype_content = interface.getreturnType().getcontent() lbessard@194: if returntype_content["value"] is None: lbessard@194: self.ReturnType = returntype_content["name"] lbessard@194: else: lbessard@194: self.ReturnType = returntype_content["value"].getname() lbessard@194: for varlist in interface.getcontent(): lbessard@194: variables = [] lbessard@194: located = [] lbessard@194: for var in varlist["value"].getvariable(): lbessard@194: vartype_content = var.gettype().getcontent() lbessard@194: if vartype_content["name"] == "derived": lbessard@194: var_type = vartype_content["value"].getname() lbessard@194: GeneratePouProgram(var_type) lbessard@194: blocktype = GetBlockType(var_type) lbessard@194: if blocktype is not None: lbessard@194: if body_content["name"] in ["FBD", "LD", "SFC"]: lbessard@194: block = pou.getinstanceByName(var.getname()) lbessard@191: else: lbessard@194: block = None lbessard@194: for variable in blocktype["initialise"](var_type, var.getname(), block): lbessard@194: if variable[2] is not None: lbessard@194: located.append(variable) lbessard@194: else: lbessard@194: variables.append(variable) lbessard@194: else: lbessard@194: initial = var.getinitialValue() lbessard@194: if initial: lbessard@194: initial_value = initial.getvalue() lbessard@194: else: lbessard@194: initial_value = None lbessard@194: address = var.getaddress() lbessard@194: if address is not None: lbessard@194: located.append((vartype_content["value"].getname(), var.getname(), address, initial_value)) lbessard@194: else: lbessard@194: variables.append((vartype_content["value"].getname(), var.getname(), None, initial_value)) lbessard@125: else: lbessard@151: initial = var.getinitialValue() lbessard@125: if initial: lbessard@151: initial_value = initial.getvalue() lbessard@125: else: lbessard@125: initial_value = None lbessard@151: address = var.getaddress() lbessard@194: if vartype_content["name"] in ["string", "wstring"]: lbessard@194: if address is not None: lbessard@194: located.append((vartype_content["name"].upper(), var.getname(), address, initial_value)) lbessard@194: else: lbessard@194: variables.append((vartype_content["name"].upper(), var.getname(), None, initial_value)) lbessard@194: elif address is not None: lbessard@194: located.append((vartype_content["name"], var.getname(), address, initial_value)) lbessard@191: else: lbessard@194: variables.append((vartype_content["name"], var.getname(), None, initial_value)) lbessard@194: if len(variables) > 0: lbessard@194: self.Interface.append((varTypeNames[varlist["name"]], varlist["value"].getretain(), lbessard@194: varlist["value"].getconstant(), False, variables)) lbessard@194: if len(located) > 0: lbessard@194: self.Interface.append((varTypeNames[varlist["name"]], varlist["value"].getretain(), lbessard@194: varlist["value"].getconstant(), True, located)) lbessard@191: lbessard@125: def GenerateConnectionTypes(self, pou): lbessard@151: body = pou.getbody() lbessard@151: body_content = body.getcontent() lbessard@125: body_type = body_content["name"] lbessard@125: if body_type in ["FBD", "LD", "SFC"]: lbessard@151: for instance in body.getcontentInstances(): lbessard@151: if isinstance(instance, (plcopen.fbdObjects_inVariable, plcopen.fbdObjects_outVariable, plcopen.fbdObjects_inOutVariable)): lbessard@151: expression = instance.getexpression() lbessard@125: var_type = self.GetVariableType(expression) lbessard@151: if expression == pou.getname(): lbessard@151: returntype_content = pou.interface.getreturnType().getcontent() lbessard@141: if returntype_content["name"] == "derived": lbessard@151: var_type = returntype_content["value"].getname() lbessard@141: elif returntype_content["name"] in ["string", "wstring"]: lbessard@141: var_type = returntype_content["name"].upper() lbessard@141: else: lbessard@125: var_type = returntype_content["name"] lbessard@125: elif var_type is None: lbessard@125: var_type = expression.split("#")[0] lbessard@151: if isinstance(instance, (plcopen.fbdObjects_inVariable, plcopen.fbdObjects_inOutVariable)): lbessard@208: for connection in self.ExtractRelatedConnections(instance.connectionPointOut): lbessard@208: self.ConnectionTypes[connection] = var_type lbessard@151: if isinstance(instance, (plcopen.fbdObjects_outVariable, plcopen.fbdObjects_inOutVariable)): lbessard@125: self.ConnectionTypes[instance.connectionPointIn] = var_type lbessard@125: connected = self.GetConnectedConnection(instance.connectionPointIn, body) lbessard@125: if connected and connected not in self.ConnectionTypes: lbessard@125: for connection in self.ExtractRelatedConnections(connected): lbessard@125: self.ConnectionTypes[connection] = var_type lbessard@151: elif isinstance(instance, (plcopen.ldObjects_contact, plcopen.ldObjects_coil)): lbessard@208: for connection in self.ExtractRelatedConnections(instance.connectionPointOut): lbessard@208: self.ConnectionTypes[connection] = "BOOL" lbessard@125: self.ConnectionTypes[instance.connectionPointIn] = "BOOL" lbessard@125: connected = self.GetConnectedConnection(instance.connectionPointIn, body) lbessard@125: if connected and connected not in self.ConnectionTypes: lbessard@125: for connection in self.ExtractRelatedConnections(connected): lbessard@125: self.ConnectionTypes[connection] = "BOOL" lbessard@151: elif isinstance(instance, plcopen.ldObjects_leftPowerRail): lbessard@151: for connection in instance.getconnectionPointOut(): lbessard@208: for related in self.ExtractRelatedConnections(connection): lbessard@208: self.ConnectionTypes[related] = "BOOL" lbessard@151: elif isinstance(instance, plcopen.ldObjects_rightPowerRail): lbessard@151: for connection in instance.getconnectionPointIn(): lbessard@125: self.ConnectionTypes[connection] = "BOOL" lbessard@125: connected = self.GetConnectedConnection(connection, body) lbessard@125: if connected and connected not in self.ConnectionTypes: lbessard@125: for connection in self.ExtractRelatedConnections(connected): lbessard@125: self.ConnectionTypes[connection] = "BOOL" lbessard@151: elif isinstance(instance, plcopen.sfcObjects_transition): lbessard@151: content = instance.condition.getcontent() lbessard@125: if content["name"] == "connection" and len(content["value"]) == 1: lbessard@125: connected = self.GetLinkedConnection(content["value"][0], body) lbessard@125: if connected and connected not in self.ConnectionTypes: lbessard@125: for connection in self.ExtractRelatedConnections(connected): lbessard@125: self.ConnectionTypes[connection] = "BOOL" lbessard@151: elif isinstance(instance, plcopen.fbdObjects_block): lbessard@151: block_infos = GetBlockType(instance.gettypeName()) lbessard@125: undefined = {} lbessard@151: for variable in instance.outputVariables.getvariable(): lbessard@151: output_name = variable.getformalParameter() lbessard@125: for oname, otype, oqualifier in block_infos["outputs"]: lbessard@125: if output_name == oname and variable.connectionPointOut not in self.ConnectionTypes: lbessard@125: if otype.startswith("ANY"): lbessard@125: if otype not in undefined: lbessard@125: undefined[otype] = [] lbessard@125: undefined[otype].append(variable.connectionPointOut) lbessard@125: else: lbessard@125: for connection in self.ExtractRelatedConnections(variable.connectionPointOut): lbessard@125: self.ConnectionTypes[connection] = otype lbessard@151: for variable in instance.inputVariables.getvariable(): lbessard@151: input_name = variable.getformalParameter() lbessard@125: for iname, itype, iqualifier in block_infos["inputs"]: lbessard@125: if input_name == iname: lbessard@125: connected = self.GetConnectedConnection(variable.connectionPointIn, body) lbessard@125: if itype.startswith("ANY"): lbessard@125: if itype not in undefined: lbessard@125: undefined[itype] = [] lbessard@125: undefined[itype].append(variable.connectionPointIn) lbessard@125: if connected: lbessard@125: undefined[itype].append(connected) lbessard@125: else: lbessard@125: self.ConnectionTypes[variable.connectionPointIn] = itype lbessard@125: if connected and connected not in self.ConnectionTypes: lbessard@125: for connection in self.ExtractRelatedConnections(connected): lbessard@125: self.ConnectionTypes[connection] = itype lbessard@125: for var_type, connections in undefined.items(): lbessard@125: related = [] lbessard@125: for connection in connections: lbessard@125: if connection in self.ConnectionTypes: lbessard@125: var_type = self.ConnectionTypes[connection] lbessard@125: else: lbessard@125: related.extend(self.ExtractRelatedConnections(connection)) lbessard@125: if var_type.startswith("ANY") and len(related) > 0: lbessard@125: self.RelatedConnections.append(related) lbessard@125: else: lbessard@125: for connection in related: lbessard@125: self.ConnectionTypes[connection] = var_type lbessard@125: etisserant@0: def GenerateProgram(self, pou): lbessard@151: body = pou.getbody() lbessard@151: body_content = body.getcontent() etisserant@0: body_type = body_content["name"] etisserant@0: if body_type in ["IL","ST"]: lbessard@151: self.Program = ReIndentText(body_content["value"].gettext(), 2) etisserant@0: elif body_type == "FBD": lbessard@125: orderedInstances = [] lbessard@201: otherInstances = {"outVariables" : [], "block" : [], "connector" : []} lbessard@151: for instance in body.getcontentInstances(): lbessard@151: if isinstance(instance, (plcopen.fbdObjects_outVariable, plcopen.fbdObjects_inOutVariable, plcopen.fbdObjects_block)): lbessard@151: executionOrderId = instance.getexecutionOrderId() lbessard@125: if executionOrderId > 0: lbessard@125: orderedInstances.append((executionOrderId, instance)) lbessard@201: elif isinstance(instance, (plcopen.fbdObjects_outVariable, plcopen.fbdObjects_inOutVariable)): lbessard@201: otherInstances["outVariables"].append(instance) lbessard@201: elif isinstance(instance, plcopen.fbdObjects_block): lbessard@201: otherInstances["block"].append(instance) lbessard@151: elif isinstance(instance, plcopen.commonObjects_connector): lbessard@201: otherInstances["connector"].append(instance) lbessard@125: orderedInstances.sort() lbessard@201: instances = [instance for (executionOrderId, instance) in orderedInstances] lbessard@201: instances.extend(otherInstances["connector"] + otherInstances["outVariables"] + otherInstances["block"]) lbessard@125: for instance in instances: lbessard@151: if isinstance(instance, (plcopen.fbdObjects_outVariable, plcopen.fbdObjects_inOutVariable)): lbessard@151: var = instance.getexpression() lbessard@151: connections = instance.connectionPointIn.getconnections() etisserant@0: if connections and len(connections) == 1: etisserant@0: expression = self.ComputeFBDExpression(body, connections[0]) etisserant@0: self.Program += " %s := %s;\n"%(var, expression) lbessard@151: elif isinstance(instance, plcopen.fbdObjects_block): lbessard@151: block_type = instance.gettypeName() lbessard@125: self.GeneratePouProgram(block_type) lbessard@125: block_infos = GetBlockType(block_type) lbessard@78: block_infos["generate"](self, instance, body, None) lbessard@151: elif isinstance(instance, plcopen.commonObjects_connector): lbessard@151: connector = instance.getname() lbessard@72: if self.ComputedConnectors.get(connector, None): lbessard@72: continue lbessard@151: connections = instance.connectionPointIn.getconnections() lbessard@72: if connections and len(connections) == 1: lbessard@72: self.ComputedConnectors[connector] = self.ComputeFBDExpression(body, connections[0]) etisserant@0: elif body_type == "LD": lbessard@151: for instance in body.getcontentInstances(): lbessard@151: if isinstance(instance, plcopen.ldObjects_coil): lbessard@151: paths = self.GenerateLDPaths(instance.connectionPointIn.getconnections(), body) lbessard@104: if len(paths) > 0: lbessard@104: paths = tuple(paths) lbessard@104: else: lbessard@104: paths = paths[0] lbessard@151: variable = self.ExtractModifier(instance, instance.getvariable()) etisserant@0: expression = self.ComputeLDExpression(paths, True) etisserant@0: self.Program += " %s := %s;\n"%(variable, expression) etisserant@0: elif body_type == "SFC": lbessard@151: for instance in body.getcontentInstances(): lbessard@151: if isinstance(instance, plcopen.sfcObjects_step): lbessard@1: self.GenerateSFCStep(instance, pou) lbessard@151: elif isinstance(instance, plcopen.commonObjects_actionBlock): lbessard@1: self.GenerateSFCStepActions(instance, pou) lbessard@151: elif isinstance(instance, plcopen.sfcObjects_transition): lbessard@1: self.GenerateSFCTransition(instance, pou) lbessard@151: elif isinstance(instance, plcopen.sfcObjects_jumpStep): etisserant@0: self.GenerateSFCJump(instance, pou) lbessard@72: if len(self.InitialSteps) > 0 and self.SFCComputedBlocks != "": lbessard@66: action_name = "COMPUTE_FUNCTION_BLOCKS" lbessard@66: action_infos = {"qualifier" : "S", "content" : action_name} lbessard@66: self.SFCNetworks["Steps"][self.InitialSteps[0]]["actions"].append(action_infos) lbessard@72: self.SFCNetworks["Actions"][action_name] = ReIndentText(self.SFCComputedBlocks, 4) lbessard@66: self.Program = "" lbessard@1: for initialstep in self.InitialSteps: lbessard@1: self.ComputeSFCStep(initialstep) etisserant@0: lbessard@125: def ComputeFBDExpression(self, body, link, order = False): lbessard@151: localid = link.getrefLocalId() lbessard@151: instance = body.getcontentInstance(localid) lbessard@151: if isinstance(instance, (plcopen.fbdObjects_inVariable, plcopen.fbdObjects_inOutVariable)): lbessard@151: return instance.getexpression() lbessard@151: elif isinstance(instance, plcopen.fbdObjects_block): lbessard@151: block_type = instance.gettypeName() lbessard@125: self.GeneratePouProgram(block_type) lbessard@104: block_infos = GetBlockType(block_type) lbessard@125: return block_infos["generate"](self, instance, body, link, order) lbessard@151: elif isinstance(instance, plcopen.commonObjects_continuation): lbessard@151: name = instance.getname() lbessard@72: computed_value = self.ComputedConnectors.get(name, None) lbessard@72: if computed_value != None: lbessard@72: return computed_value lbessard@151: for tmp_instance in body.getcontentInstances(): lbessard@151: if isinstance(tmp_instance, plcopen.commonObjects_connector): lbessard@151: if tmp_instance.getname() == name: lbessard@151: connections = tmp_instance.connectionPointIn.getconnections() lbessard@72: if connections and len(connections) == 1: lbessard@125: expression = self.ComputeFBDExpression(body, connections[0], order) lbessard@72: self.ComputedConnectors[name] = expression lbessard@72: return expression lbessard@214: raise PLCGenException, "No connector found corresponding to \"%s\" continuation in \"%s\" POU"%(name, self.Name) etisserant@0: lbessard@66: def GenerateLDPaths(self, connections, body): etisserant@0: paths = [] etisserant@0: for connection in connections: lbessard@151: localId = connection.getrefLocalId() lbessard@151: next = body.getcontentInstance(localId) lbessard@151: if isinstance(next, plcopen.ldObjects_leftPowerRail): etisserant@0: paths.append(None) lbessard@151: elif isinstance(next, plcopen.fbdObjects_block): lbessard@151: block_type = next.gettypeName() lbessard@125: self.GeneratePouProgram(block_type) lbessard@104: block_infos = GetBlockType(block_type) lbessard@104: paths.append(block_infos["generate"](self, next, body, connection)) etisserant@0: else: lbessard@151: variable = self.ExtractModifier(next, next.getvariable()) lbessard@151: result = self.GenerateLDPaths(next.connectionPointIn.getconnections(), body) lbessard@66: if len(result) > 1: lbessard@66: paths.append([variable, tuple(result)]) lbessard@66: elif type(result[0]) == ListType: lbessard@66: paths.append([variable] + result[0]) lbessard@66: elif result[0]: lbessard@66: paths.append([variable, result[0]]) lbessard@66: else: lbessard@66: paths.append(variable) lbessard@66: return paths lbessard@66: lbessard@66: def GetNetworkType(self, connections, body): lbessard@66: network_type = "FBD" lbessard@66: for connection in connections: lbessard@151: localId = connection.getrefLocalId() lbessard@151: next = body.getcontentInstance(localId) lbessard@151: if isinstance(next, plcopen.ldObjects_leftPowerRail) or isinstance(next, plcopen.ldObjects_contact): lbessard@66: return "LD" lbessard@151: elif isinstance(next, plcopen.fbdObjects_block): lbessard@151: for variable in next.inputVariables.getvariable(): lbessard@151: result = self.GetNetworkType(variable.connectionPointIn.getconnections(), body) lbessard@66: if result != "FBD": lbessard@66: return result lbessard@151: elif isinstance(next, plcopen.fbdObjects_inVariable): lbessard@66: return "FBD" lbessard@151: elif isinstance(next, plcopen.fbdObjects_inOutVariable): lbessard@151: return self.GetNetworkType(next.connectionPointIn.getconnections(), body) lbessard@66: else: lbessard@66: return None lbessard@66: return "FBD" lbessard@66: lbessard@2: def ExtractDivergenceInput(self, divergence, pou): lbessard@151: connectionPointIn = divergence.getconnectionPointIn() lbessard@2: if connectionPointIn: lbessard@151: connections = connectionPointIn.getconnections() lbessard@201: if connections is not None and len(connections) == 1: lbessard@151: instanceLocalId = connections[0].getrefLocalId() lbessard@151: return pou.body.getcontentInstance(instanceLocalId) lbessard@2: return None lbessard@2: lbessard@2: def ExtractConvergenceInputs(self, convergence, pou): lbessard@2: instances = [] lbessard@151: for connectionPointIn in convergence.getconnectionPointIn(): lbessard@151: connections = connectionPointIn.getconnections() lbessard@2: if len(connections) == 1: lbessard@151: instanceLocalId = connections[0].getrefLocalId() lbessard@151: instances.append(pou.body.getcontentInstance(instanceLocalId)) lbessard@2: return instances lbessard@2: lbessard@1: def GenerateSFCStep(self, step, pou): lbessard@151: step_name = step.getname() lbessard@1: if step_name not in self.SFCNetworks["Steps"].keys(): lbessard@151: if step.getinitialStep(): lbessard@1: self.InitialSteps.append(step_name) lbessard@151: step_infos = {"initial" : step.getinitialStep(), "transitions" : [], "actions" : []} etisserant@0: if step.connectionPointIn: etisserant@0: instances = [] lbessard@151: connections = step.connectionPointIn.getconnections() etisserant@0: if len(connections) == 1: lbessard@151: instanceLocalId = connections[0].getrefLocalId() lbessard@151: instance = pou.body.getcontentInstance(instanceLocalId) lbessard@151: if isinstance(instance, plcopen.sfcObjects_transition): etisserant@0: instances.append(instance) lbessard@151: elif isinstance(instance, plcopen.sfcObjects_selectionConvergence): lbessard@2: instances.extend(self.ExtractConvergenceInputs(instance, pou)) lbessard@151: elif isinstance(instance, plcopen.sfcObjects_simultaneousDivergence): lbessard@2: transition = self.ExtractDivergenceInput(instance, pou) lbessard@2: if transition: lbessard@151: if isinstance(transition, plcopen.sfcObjects_transition): lbessard@1: instances.append(transition) lbessard@151: elif isinstance(transition, plcopen.sfcObjects_selectionConvergence): lbessard@2: instances.extend(self.ExtractConvergenceInputs(transition, pou)) etisserant@0: for instance in instances: lbessard@2: self.GenerateSFCTransition(instance, pou) lbessard@1: if instance in self.SFCNetworks["Transitions"].keys(): lbessard@1: self.SFCNetworks["Transitions"][instance]["to"].append(step_name) lbessard@1: self.SFCNetworks["Steps"][step_name] = step_infos etisserant@0: etisserant@0: def GenerateSFCJump(self, jump, pou): lbessard@151: jump_target = jump.gettargetName() etisserant@0: if jump.connectionPointIn: etisserant@0: instances = [] lbessard@151: connections = jump.connectionPointIn.getconnections() etisserant@0: if len(connections) == 1: lbessard@151: instanceLocalId = connections[0].getrefLocalId() lbessard@151: instance = pou.body.getcontentInstance(instanceLocalId) lbessard@151: if isinstance(instance, plcopen.sfcObjects_transition): etisserant@0: instances.append(instance) lbessard@151: elif isinstance(instance, plcopen.sfcObjects_selectionConvergence): lbessard@2: instances.extend(self.ExtractConvergenceInputs(instance, pou)) lbessard@151: elif isinstance(instance, plcopen.sfcObjects_simultaneousDivergence): lbessard@2: transition = self.ExtractDivergenceInput(instance, pou) lbessard@2: if transition: lbessard@151: if isinstance(transition, plcopen.sfcObjects_transition): lbessard@1: instances.append(transition) lbessard@151: elif isinstance(transition, plcopen.sfcObjects_selectionConvergence): lbessard@2: instances.extend(self.ExtractConvergenceInputs(transition, pou)) etisserant@0: for instance in instances: lbessard@2: self.GenerateSFCTransition(instance, pou) lbessard@1: if instance in self.SFCNetworks["Transitions"].keys(): lbessard@1: self.SFCNetworks["Transitions"][instance]["to"].append(jump_target) lbessard@1: lbessard@1: def GenerateSFCStepActions(self, actionBlock, pou): lbessard@151: connections = actionBlock.connectionPointIn.getconnections() lbessard@201: if connections is not None and len(connections) == 1: lbessard@151: stepLocalId = connections[0].getrefLocalId() lbessard@151: step = pou.body.getcontentInstance(stepLocalId) lbessard@1: self.GenerateSFCStep(step, pou) lbessard@151: step_name = step.getname() lbessard@1: if step_name in self.SFCNetworks["Steps"].keys(): lbessard@151: actions = actionBlock.getactions() etisserant@0: for action in actions: lbessard@1: action_infos = {"qualifier" : action["qualifier"], "content" : action["value"]} lbessard@1: if "duration" in action: lbessard@1: action_infos["duration"] = action["duration"] lbessard@1: if "indicator" in action: lbessard@1: action_infos["indicator"] = action["indicator"] lbessard@1: if action["type"] == "reference": lbessard@1: self.GenerateSFCAction(action["value"], pou) lbessard@46: else: lbessard@168: action_name = "%s_INLINE%d"%(step_name.upper(), self.GetActionNumber()) lbessard@46: self.SFCNetworks["Actions"][action_name] = " %s\n"%action["value"] lbessard@46: action_infos["content"] = action_name lbessard@1: self.SFCNetworks["Steps"][step_name]["actions"].append(action_infos) lbessard@1: lbessard@1: def GenerateSFCAction(self, action_name, pou): lbessard@1: if action_name not in self.SFCNetworks["Actions"].keys(): lbessard@151: actionContent = pou.getaction(action_name) lbessard@1: if actionContent: lbessard@151: actionType = actionContent.getbodyType() lbessard@151: actionBody = actionContent.getbody() lbessard@1: if actionType in ["ST", "IL"]: lbessard@151: self.SFCNetworks["Actions"][action_name] = ReIndentText(actionContent.gettext(), 4) lbessard@1: elif actionType == "FBD": lbessard@151: for instance in actionBody.getcontentInstances(): lbessard@151: if isinstance(instance, plcopen.fbdObjects_outVariable): lbessard@151: var = instance.getexpression() lbessard@151: connections = instance.connectionPointIn.getconnections() lbessard@1: if connections and len(connections) == 1: lbessard@1: expression = self.ComputeFBDExpression(actionBody, connections[0]) lbessard@70: action_content = self.Program + " %s := %s;\n"%(var, expression) lbessard@1: self.Program = "" lbessard@70: self.SFCNetworks["Actions"][action_name] = ReIndentText(action_content, 4) lbessard@1: elif actionType == "LD": lbessard@151: for instance in actionbody.getcontentInstances(): lbessard@151: if isinstance(instance, plcopen.ldObjects_coil): lbessard@151: paths = self.GenerateLDPaths(instance.connectionPointIn.getconnections(), actionBody) lbessard@151: variable = self.ExtractModifier(instance, instance.getvariable()) lbessard@1: expression = self.ComputeLDExpression(paths, True) lbessard@70: action_content = self.Program + " %s := %s;\n"%(variable, expression) lbessard@1: self.Program = "" lbessard@70: self.SFCNetworks["Actions"][action_name] = ReIndentText(action_content, 4) lbessard@1: lbessard@1: def GenerateSFCTransition(self, transition, pou): lbessard@1: if transition not in self.SFCNetworks["Transitions"].keys(): lbessard@1: steps = [] lbessard@151: connections = transition.connectionPointIn.getconnections() lbessard@201: if connections is not None and len(connections) == 1: lbessard@151: instanceLocalId = connections[0].getrefLocalId() lbessard@151: instance = pou.body.getcontentInstance(instanceLocalId) lbessard@151: if isinstance(instance, plcopen.sfcObjects_step): lbessard@2: steps.append(instance) lbessard@151: elif isinstance(instance, plcopen.sfcObjects_selectionDivergence): lbessard@2: step = self.ExtractDivergenceInput(instance, pou) lbessard@2: if step: lbessard@151: if isinstance(step, plcopen.sfcObjects_step): lbessard@2: steps.append(step) lbessard@151: elif isinstance(step, plcopen.sfcObjects_simultaneousConvergence): lbessard@2: steps.extend(self.ExtractConvergenceInputs(step, pou)) lbessard@151: elif isinstance(instance, plcopen.sfcObjects_simultaneousConvergence): lbessard@2: steps.extend(self.ExtractConvergenceInputs(instance, pou)) lbessard@151: transition_infos = {"priority": transition.getpriority(), "from": [], "to" : []} lbessard@151: transitionValues = transition.getconditionContent() lbessard@1: if transitionValues["type"] == "inline": lbessard@1: transition_infos["content"] = "\n := %s;\n"%transitionValues["value"] lbessard@66: elif transitionValues["type"] == "reference": lbessard@151: transitionContent = pou.gettransition(transitionValues["value"]) lbessard@151: transitionType = transitionContent.getbodyType() lbessard@151: transitionBody = transitionContent.getbody() lbessard@1: if transitionType == "IL": lbessard@151: transition_infos["content"] = ":\n%s"%ReIndentText(transitionBody.gettext(), 4) lbessard@1: elif transitionType == "ST": lbessard@151: transition_infos["content"] = "\n%s"%ReIndentText(transitionBody.gettext(), 4) lbessard@66: elif transitionType == "FBD": lbessard@151: for instance in transitionBody.getcontentInstances(): lbessard@151: if isinstance(instance, plcopen.fbdObjects_outVariable): lbessard@151: connections = instance.connectionPointIn.getconnections() lbessard@1: if connections and len(connections) == 1: lbessard@66: expression = self.ComputeFBDExpression(transitionBody, connections[0]) lbessard@66: transition_infos["content"] = "\n := %s;\n"%expression lbessard@72: self.SFCComputedBlocks += self.Program lbessard@70: self.Program = "" lbessard@66: elif transitionType == "LD": lbessard@151: for instance in transitionBody.getcontentInstances(): lbessard@151: if isinstance(instance, plcopen.ldObjects_coil): lbessard@151: paths = self.GenerateLDPaths(instance.connectionPointIn.getconnections(), transitionBody) lbessard@1: expression = self.ComputeLDExpression(paths, True) lbessard@1: transition_infos["content"] = "\n := %s;\n"%expression lbessard@72: self.SFCComputedBlocks += self.Program lbessard@70: self.Program = "" lbessard@66: elif transitionValues["type"] == "connection": lbessard@151: body = pou.getbody() lbessard@151: connections = transition.getconnections() lbessard@66: network_type = self.GetNetworkType(connections, body) lbessard@66: if network_type == None: lbessard@214: raise PLCGenException, "Type of network connected to transition impossible to define in \"%s\" POU"%self.Name lbessard@66: if len(connections) > 1 or network_type == "LD": lbessard@66: paths = self.GenerateLDPaths(connections, body) lbessard@66: expression = self.ComputeLDExpression(paths, True) lbessard@66: transition_infos["content"] = "\n := %s;\n"%expression lbessard@72: self.SFCComputedBlocks += self.Program lbessard@70: self.Program = "" lbessard@66: else: lbessard@66: expression = self.ComputeFBDExpression(body, connections[0]) lbessard@66: transition_infos["content"] = "\n := %s;\n"%expression lbessard@72: self.SFCComputedBlocks += self.Program lbessard@70: self.Program = "" lbessard@2: for step in steps: lbessard@2: self.GenerateSFCStep(step, pou) lbessard@151: step_name = step.getname() lbessard@1: if step_name in self.SFCNetworks["Steps"].keys(): lbessard@1: transition_infos["from"].append(step_name) lbessard@1: self.SFCNetworks["Steps"][step_name]["transitions"].append(transition) lbessard@1: self.SFCNetworks["Transitions"][transition] = transition_infos lbessard@1: lbessard@1: def ComputeSFCStep(self, step_name): lbessard@1: if step_name in self.SFCNetworks["Steps"].keys(): lbessard@1: step_infos = self.SFCNetworks["Steps"].pop(step_name) lbessard@1: if step_infos["initial"]: lbessard@1: self.Program += " INITIAL_STEP %s:\n"%step_name lbessard@1: else: lbessard@1: self.Program += " STEP %s:\n"%step_name lbessard@1: actions = [] lbessard@1: for action_infos in step_infos["actions"]: lbessard@1: actions.append(action_infos["content"]) lbessard@1: self.Program += " %(content)s(%(qualifier)s"%action_infos lbessard@1: if "duration" in action_infos: lbessard@1: self.Program += ", %(duration)s"%action_infos lbessard@1: if "indicator" in action_infos: lbessard@1: self.Program += ", %(indicator)s"%action_infos lbessard@1: self.Program += ");\n" lbessard@1: self.Program += " END_STEP\n\n" lbessard@1: for action in actions: lbessard@1: self.ComputeSFCAction(action) lbessard@1: for transition in step_infos["transitions"]: lbessard@1: self.ComputeSFCTransition(transition) lbessard@1: lbessard@1: def ComputeSFCAction(self, action_name): lbessard@1: if action_name in self.SFCNetworks["Actions"].keys(): lbessard@1: action_content = self.SFCNetworks["Actions"].pop(action_name) lbessard@1: self.Program += " ACTION %s:\n%s END_ACTION\n\n"%(action_name, action_content) lbessard@1: lbessard@1: def ComputeSFCTransition(self, transition): lbessard@1: if transition in self.SFCNetworks["Transitions"].keys(): lbessard@1: transition_infos = self.SFCNetworks["Transitions"].pop(transition) lbessard@80: self.Program += " TRANSITION" lbessard@80: if transition_infos["priority"] != None: lbessard@80: self.Program += " (PRIORITY := %d)"%transition_infos["priority"] lbessard@80: self.Program += " FROM " lbessard@1: if len(transition_infos["from"]) > 1: lbessard@1: self.Program += "(%s)"%", ".join(transition_infos["from"]) lbessard@201: elif len(transition_infos["from"]) == 1: lbessard@1: self.Program += "%s"%transition_infos["from"][0] lbessard@201: else: lbessard@214: raise PLCGenException, "Transition with content \"%s\" not connected to a previous step in \"%s\" POU"%(transition_infos["content"], self.Name) lbessard@1: self.Program += " TO " lbessard@1: if len(transition_infos["to"]) > 1: lbessard@1: self.Program += "(%s)"%", ".join(transition_infos["to"]) lbessard@201: elif len(transition_infos["to"]) == 1: lbessard@1: self.Program += "%s"%transition_infos["to"][0] lbessard@201: else: lbessard@214: raise PLCGenException, "Transition with content \"%s\" not connected to a next step in \"%s\" POU"%(transition_infos["content"], self.Name) lbessard@1: self.Program += transition_infos["content"] lbessard@1: self.Program += " END_TRANSITION\n\n" lbessard@1: for step_name in transition_infos["to"]: lbessard@1: self.ComputeSFCStep(step_name) lbessard@1: etisserant@0: def ComputeLDExpression(self, paths, first = False): etisserant@0: if type(paths) == TupleType: etisserant@0: if None in paths: etisserant@0: return "TRUE" etisserant@0: else: etisserant@0: var = [self.ComputeLDExpression(path) for path in paths] etisserant@0: if first: etisserant@0: return " OR ".join(var) etisserant@0: else: etisserant@0: return "(%s)"%" OR ".join(var) etisserant@0: elif type(paths) == ListType: etisserant@0: var = [self.ComputeLDExpression(path) for path in paths] etisserant@0: return " AND ".join(var) etisserant@0: else: etisserant@0: return paths etisserant@0: etisserant@0: def ExtractModifier(self, variable, text): lbessard@151: if variable.getnegated(): etisserant@0: return "NOT(%s)"%text etisserant@0: else: lbessard@151: edge = variable.getedge() lbessard@151: if edge == "rising": lbessard@151: return self.AddTrigger("R_TRIG", text) lbessard@151: elif edge == "falling": lbessard@151: return self.AddTrigger("F_TRIG", text) etisserant@0: return text etisserant@0: etisserant@0: def AddTrigger(self, edge, text): lbessard@33: if self.Interface[-1][0] != "VAR" or self.Interface[-1][1] or self.Interface[-1][2] or self.Interface[-1][3]: lbessard@33: self.Interface.append(("VAR", False, False, False, [])) etisserant@0: i = 1 etisserant@0: name = "%s%d"%(edge, i) lbessard@1: while self.IsAlreadyDefined(name): etisserant@0: i += 1 etisserant@0: name = "%s%d"%(edge, i) lbessard@33: self.Interface[-1][4].append((edge, name, None, None)) etisserant@0: self.Program += " %s(CLK := %s);\n"%(name, text) etisserant@0: return "%s.Q"%name etisserant@0: etisserant@0: def GenerateSTProgram(self): lbessard@1: if self.ReturnType: lbessard@29: program = "%s %s : %s\n"%(self.Type, self.Name, self.ReturnType) etisserant@0: else: lbessard@29: program = "%s %s\n"%(self.Type, self.Name) lbessard@214: if len(self.Interface) == 0: lbessard@214: raise PLCGenException, "No variable defined in \"%s\" POU"%self.Name lbessard@214: if self.Program == "": lbessard@214: raise PLCGenException, "No body defined in \"%s\" POU"%self.Name lbessard@33: for list_type, retain, constant, located, variables in self.Interface: lbessard@1: program += " %s"%list_type lbessard@1: if retain: lbessard@1: program += " RETAIN" lbessard@1: if constant: lbessard@1: program += " CONSTANT" lbessard@1: program += "\n" lbessard@30: for var_type, var_name, var_address, var_initial in variables: lbessard@93: program += " " lbessard@93: if var_name: lbessard@93: program += "%s "%var_name lbessard@30: if var_address != None: lbessard@31: program += "AT %s "%var_address lbessard@30: program += ": %s"%var_type lbessard@28: if var_initial != None: lbessard@37: if var_type == "STRING": etisserant@215: program += " := '%s'"%var_initial lbessard@37: elif var_type == "WSTRING": etisserant@215: program += " := \"%s\""%var_initial lbessard@33: else: etisserant@215: program += " := %s"%var_initial lbessard@30: program += ";\n" lbessard@4: program += " END_VAR\n" etisserant@0: program += "\n" etisserant@0: program += self.Program etisserant@0: program += "END_%s\n\n"%self.Type etisserant@0: return program lbessard@71: lbessard@78: def GeneratePouProgram(self, pou_name): lbessard@78: GeneratePouProgram(pou_name) lbessard@71: lbessard@71: def GenerateCurrentProgram(project): lbessard@71: global currentProject, currentProgram lbessard@71: currentProject = project lbessard@71: currentProgram = "" lbessard@151: for datatype in project.getdataTypes(): lbessard@151: datatypeComputed[datatype.getname()] = False lbessard@151: for pou in project.getpous(): lbessard@151: pouComputed[pou.getname()] = False lbessard@125: if len(datatypeComputed) > 0: lbessard@125: currentProgram += "TYPE\n" lbessard@125: for datatype_name in datatypeComputed.keys(): lbessard@125: GenerateDataType(datatype_name) lbessard@125: currentProgram += "END_TYPE\n\n" lbessard@71: for pou_name in pouComputed.keys(): lbessard@71: GeneratePouProgram(pou_name) lbessard@151: for config in project.getconfigurations(): lbessard@71: currentProgram += GenerateConfiguration(config) lbessard@71: return currentProgram lbessard@71: