author | laurent |
Tue, 24 May 2011 19:37:14 +0200 | |
changeset 540 | 82fa901a2160 |
parent 528 | 7ac133b11321 |
child 558 | 01e2c3d58a27 |
permissions | -rw-r--r-- |
0 | 1 |
#!/usr/bin/env python |
2 |
# -*- coding: utf-8 -*- |
|
3 |
||
4 |
#This file is part of PLCOpenEditor, a library implementing an IEC 61131-3 editor |
|
5 |
#based on the plcopen standard. |
|
6 |
# |
|
58 | 7 |
#Copyright (C) 2007: Edouard TISSERANT and Laurent BESSARD |
0 | 8 |
# |
9 |
#See COPYING file for copyrights details. |
|
10 |
# |
|
11 |
#This library is free software; you can redistribute it and/or |
|
5 | 12 |
#modify it under the terms of the GNU General Public |
0 | 13 |
#License as published by the Free Software Foundation; either |
14 |
#version 2.1 of the License, or (at your option) any later version. |
|
15 |
# |
|
16 |
#This library is distributed in the hope that it will be useful, |
|
17 |
#but WITHOUT ANY WARRANTY; without even the implied warranty of |
|
18 |
#MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
|
58 | 19 |
#General Public License for more details. |
0 | 20 |
# |
5 | 21 |
#You should have received a copy of the GNU General Public |
0 | 22 |
#License along with this library; if not, write to the Free Software |
23 |
#Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA |
|
24 |
||
25 |
from plcopen import plcopen |
|
26 |
from plcopen.structures import * |
|
27 |
from types import * |
|
340 | 28 |
import re |
0 | 29 |
|
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
30 |
|
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
31 |
# Dictionary associating PLCOpen variable categories to the corresponding |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
32 |
# IEC 61131-3 variable categories |
0 | 33 |
varTypeNames = {"localVars" : "VAR", "tempVars" : "VAR_TEMP", "inputVars" : "VAR_INPUT", |
34 |
"outputVars" : "VAR_OUTPUT", "inOutVars" : "VAR_IN_OUT", "externalVars" : "VAR_EXTERNAL", |
|
35 |
"globalVars" : "VAR_GLOBAL", "accessVars" : "VAR_ACCESS"} |
|
1 | 36 |
|
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
37 |
|
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
38 |
# Dictionary associating PLCOpen POU categories to the corresponding |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
39 |
# IEC 61131-3 POU categories |
6 | 40 |
pouTypeNames = {"function" : "FUNCTION", "functionBlock" : "FUNCTION_BLOCK", "program" : "PROGRAM"} |
41 |
||
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
42 |
|
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
43 |
# Helper function for reindenting text |
1 | 44 |
def ReIndentText(text, nb_spaces): |
45 |
compute = "" |
|
46 |
lines = text.splitlines() |
|
47 |
if len(lines) > 0: |
|
151 | 48 |
line_num = 0 |
49 |
while line_num < len(lines) and len(lines[line_num].strip()) == 0: |
|
50 |
line_num += 1 |
|
51 |
if line_num < len(lines): |
|
52 |
spaces = 0 |
|
53 |
while lines[line_num][spaces] == " ": |
|
54 |
spaces += 1 |
|
55 |
indent = "" |
|
56 |
for i in xrange(spaces, nb_spaces): |
|
57 |
indent += " " |
|
58 |
for line in lines: |
|
59 |
if line != "": |
|
60 |
compute += "%s%s\n"%(indent, line) |
|
61 |
else: |
|
62 |
compute += "\n" |
|
1 | 63 |
return compute |
64 |
||
269
34eff05909b0
Adding support for EN/ENO variables (temporarily disabled, waiting for matiec support)
lbessard
parents:
261
diff
changeset
|
65 |
def SortInstances(a, b): |
34eff05909b0
Adding support for EN/ENO variables (temporarily disabled, waiting for matiec support)
lbessard
parents:
261
diff
changeset
|
66 |
ax, ay = int(a.getx()), int(a.gety()) |
34eff05909b0
Adding support for EN/ENO variables (temporarily disabled, waiting for matiec support)
lbessard
parents:
261
diff
changeset
|
67 |
bx, by = int(b.getx()), int(b.gety()) |
280
9ca192486f2f
Bug in coil and output element sorting function fixed
lbessard
parents:
276
diff
changeset
|
68 |
if abs(ay - by) < 10: |
9ca192486f2f
Bug in coil and output element sorting function fixed
lbessard
parents:
276
diff
changeset
|
69 |
return cmp(ax, bx) |
269
34eff05909b0
Adding support for EN/ENO variables (temporarily disabled, waiting for matiec support)
lbessard
parents:
261
diff
changeset
|
70 |
else: |
280
9ca192486f2f
Bug in coil and output element sorting function fixed
lbessard
parents:
276
diff
changeset
|
71 |
return cmp(ay, by) |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
72 |
|
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
73 |
#------------------------------------------------------------------------------- |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
74 |
# Specific exception for PLC generating errors |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
75 |
#------------------------------------------------------------------------------- |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
76 |
|
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
77 |
|
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
78 |
class PLCGenException(Exception): |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
79 |
pass |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
80 |
|
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
81 |
|
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
82 |
#------------------------------------------------------------------------------- |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
83 |
# Generator of PLC program |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
84 |
#------------------------------------------------------------------------------- |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
85 |
|
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
86 |
|
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
87 |
class ProgramGenerator: |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
88 |
|
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
89 |
# Create a new PCL program generator |
307
fd1f6ae26d4f
Adding support for cancelling code generation of function with no input connected
lbessard
parents:
295
diff
changeset
|
90 |
def __init__(self, controler, project, errors, warnings): |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
91 |
# Keep reference of the controler and project |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
92 |
self.Controler = controler |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
93 |
self.Project = project |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
94 |
# Reset the internal variables used to generate PLC programs |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
95 |
self.Program = [] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
96 |
self.DatatypeComputed = {} |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
97 |
self.PouComputed = {} |
307
fd1f6ae26d4f
Adding support for cancelling code generation of function with no input connected
lbessard
parents:
295
diff
changeset
|
98 |
self.Errors = errors |
fd1f6ae26d4f
Adding support for cancelling code generation of function with no input connected
lbessard
parents:
295
diff
changeset
|
99 |
self.Warnings = warnings |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
100 |
|
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
101 |
# Compute value according to type given |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
102 |
def ComputeValue(self, value, var_type): |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
103 |
base_type = self.Controler.GetBaseType(var_type) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
104 |
if base_type == "STRING": |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
105 |
return "'%s'"%value |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
106 |
elif base_type == "WSTRING": |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
107 |
return "\"%s\""%value |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
108 |
return value |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
109 |
|
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
110 |
# Generate a data type from its name |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
111 |
def GenerateDataType(self, datatype_name): |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
112 |
# Verify that data type hasn't been generated yet |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
113 |
if not self.DatatypeComputed.get(datatype_name, True): |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
114 |
# If not mark data type as computed |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
115 |
self.DatatypeComputed[datatype_name] = True |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
116 |
|
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
117 |
# Getting datatype model from project |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
118 |
datatype = self.Project.getdataType(datatype_name) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
119 |
tagname = self.Controler.ComputeDataTypeName(datatype.getname()) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
120 |
datatype_def = [(" ", ()), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
121 |
(datatype.getname(), (tagname, "name")), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
122 |
(" : ", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
123 |
basetype_content = datatype.baseType.getcontent() |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
124 |
# Data type derived directly from a string type |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
125 |
if basetype_content["name"] in ["string", "wstring"]: |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
126 |
datatype_def += [(basetype_content["name"].upper(), (tagname, "base"))] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
127 |
# Data type derived directly from a user defined type |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
128 |
elif basetype_content["name"] == "derived": |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
129 |
basetype_name = basetype_content["value"].getname() |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
130 |
self.GenerateDataType(basetype_name) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
131 |
datatype_def += [(basetype_name, (tagname, "base"))] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
132 |
# Data type is a subrange |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
133 |
elif basetype_content["name"] in ["subrangeSigned", "subrangeUnsigned"]: |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
134 |
base_type = basetype_content["value"].baseType.getcontent() |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
135 |
# Subrange derived directly from a user defined type |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
136 |
if base_type["name"] == "derived": |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
137 |
basetype_name = base_type["value"].getname() |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
138 |
self.GenerateDataType(basetype_name) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
139 |
# Subrange derived directly from an elementary type |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
140 |
else: |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
141 |
basetype_name = base_type["name"] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
142 |
min_value = basetype_content["value"].range.getlower() |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
143 |
max_value = basetype_content["value"].range.getupper() |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
144 |
datatype_def += [(basetype_name, (tagname, "base")), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
145 |
(" (", ()), |
389 | 146 |
("%s"%min_value, (tagname, "lower")), |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
147 |
("..", ()), |
389 | 148 |
("%s"%max_value, (tagname, "upper")), |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
149 |
(")",())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
150 |
# Data type is an enumerated type |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
151 |
elif basetype_content["name"] == "enum": |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
152 |
values = [[(value.getname(), (tagname, "value", i))] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
153 |
for i, value in enumerate(basetype_content["value"].values.getvalue())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
154 |
datatype_def += [("(", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
155 |
datatype_def += JoinList([(", ", ())], values) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
156 |
datatype_def += [(")", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
157 |
# Data type is an array |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
158 |
elif basetype_content["name"] == "array": |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
159 |
base_type = basetype_content["value"].baseType.getcontent() |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
160 |
# Array derived directly from a user defined type |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
161 |
if base_type["name"] == "derived": |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
162 |
basetype_name = base_type["value"].getname() |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
163 |
self.GenerateDataType(basetype_name) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
164 |
# Array derived directly from a string type |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
165 |
elif base_type["name"] in ["string", "wstring"]: |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
166 |
basetype_name = base_type["name"].upper() |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
167 |
# Array derived directly from an elementary type |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
168 |
else: |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
169 |
basetype_name = base_type["name"] |
389 | 170 |
dimensions = [[("%s"%dimension.getlower(), (tagname, "range", i, "lower")), |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
171 |
("..", ()), |
389 | 172 |
("%s"%dimension.getupper(), (tagname, "range", i, "upper"))] |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
173 |
for i, dimension in enumerate(basetype_content["value"].getdimension())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
174 |
datatype_def += [("ARRAY [", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
175 |
datatype_def += JoinList([(",", ())], dimensions) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
176 |
datatype_def += [("] OF " , ()), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
177 |
(basetype_name, (tagname, "base"))] |
295
c6ef6d92ce16
Adding support for editing and using struct data types
lbessard
parents:
281
diff
changeset
|
178 |
# Data type is a structure |
c6ef6d92ce16
Adding support for editing and using struct data types
lbessard
parents:
281
diff
changeset
|
179 |
elif basetype_content["name"] == "struct": |
c6ef6d92ce16
Adding support for editing and using struct data types
lbessard
parents:
281
diff
changeset
|
180 |
elements = [] |
c6ef6d92ce16
Adding support for editing and using struct data types
lbessard
parents:
281
diff
changeset
|
181 |
for i, element in enumerate(basetype_content["value"].getvariable()): |
c6ef6d92ce16
Adding support for editing and using struct data types
lbessard
parents:
281
diff
changeset
|
182 |
element_type = element.type.getcontent() |
c6ef6d92ce16
Adding support for editing and using struct data types
lbessard
parents:
281
diff
changeset
|
183 |
# Structure element derived directly from a user defined type |
c6ef6d92ce16
Adding support for editing and using struct data types
lbessard
parents:
281
diff
changeset
|
184 |
if element_type["name"] == "derived": |
c6ef6d92ce16
Adding support for editing and using struct data types
lbessard
parents:
281
diff
changeset
|
185 |
elementtype_name = element_type["value"].getname() |
c6ef6d92ce16
Adding support for editing and using struct data types
lbessard
parents:
281
diff
changeset
|
186 |
self.GenerateDataType(elementtype_name) |
c6ef6d92ce16
Adding support for editing and using struct data types
lbessard
parents:
281
diff
changeset
|
187 |
# Structure element derived directly from a string type |
c6ef6d92ce16
Adding support for editing and using struct data types
lbessard
parents:
281
diff
changeset
|
188 |
elif element_type["name"] in ["string", "wstring"]: |
c6ef6d92ce16
Adding support for editing and using struct data types
lbessard
parents:
281
diff
changeset
|
189 |
elementtype_name = element_type["name"].upper() |
c6ef6d92ce16
Adding support for editing and using struct data types
lbessard
parents:
281
diff
changeset
|
190 |
# Structure element derived directly from an elementary type |
c6ef6d92ce16
Adding support for editing and using struct data types
lbessard
parents:
281
diff
changeset
|
191 |
else: |
c6ef6d92ce16
Adding support for editing and using struct data types
lbessard
parents:
281
diff
changeset
|
192 |
elementtype_name = element_type["name"] |
c6ef6d92ce16
Adding support for editing and using struct data types
lbessard
parents:
281
diff
changeset
|
193 |
element_text = [("\n ", ()), |
c6ef6d92ce16
Adding support for editing and using struct data types
lbessard
parents:
281
diff
changeset
|
194 |
(element.getname(), (tagname, "struct", i, "name")), |
c6ef6d92ce16
Adding support for editing and using struct data types
lbessard
parents:
281
diff
changeset
|
195 |
(" : ", ()), |
c6ef6d92ce16
Adding support for editing and using struct data types
lbessard
parents:
281
diff
changeset
|
196 |
(elementtype_name, (tagname, "struct", i, "type"))] |
c6ef6d92ce16
Adding support for editing and using struct data types
lbessard
parents:
281
diff
changeset
|
197 |
if element.initialValue is not None: |
c6ef6d92ce16
Adding support for editing and using struct data types
lbessard
parents:
281
diff
changeset
|
198 |
element_text.extend([(" := ", ()), |
c6ef6d92ce16
Adding support for editing and using struct data types
lbessard
parents:
281
diff
changeset
|
199 |
(self.ComputeValue(element.initialValue.getvalue(), elementtype_name), (tagname, "struct", i, "initial"))]) |
c6ef6d92ce16
Adding support for editing and using struct data types
lbessard
parents:
281
diff
changeset
|
200 |
element_text.append((";", ())) |
c6ef6d92ce16
Adding support for editing and using struct data types
lbessard
parents:
281
diff
changeset
|
201 |
elements.append(element_text) |
c6ef6d92ce16
Adding support for editing and using struct data types
lbessard
parents:
281
diff
changeset
|
202 |
datatype_def += [("STRUCT", ())] |
c6ef6d92ce16
Adding support for editing and using struct data types
lbessard
parents:
281
diff
changeset
|
203 |
datatype_def += JoinList([("", ())], elements) |
c6ef6d92ce16
Adding support for editing and using struct data types
lbessard
parents:
281
diff
changeset
|
204 |
datatype_def += [("\n END_STRUCT", ())] |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
205 |
# Data type derived directly from a elementary type |
141 | 206 |
else: |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
207 |
datatype_def += [(basetype_content["name"], (tagname, "base"))] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
208 |
# Data type has an initial value |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
209 |
if datatype.initialValue is not None: |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
210 |
datatype_def += [(" := ", ()), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
211 |
(self.ComputeValue(datatype.initialValue.getvalue(), datatype_name), (tagname, "initial"))] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
212 |
datatype_def += [(";\n", ())] |
295
c6ef6d92ce16
Adding support for editing and using struct data types
lbessard
parents:
281
diff
changeset
|
213 |
self.Program += datatype_def |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
214 |
|
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
215 |
# Generate a POU from its name |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
216 |
def GeneratePouProgram(self, pou_name): |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
217 |
# Verify that POU hasn't been generated yet |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
218 |
if not self.PouComputed.get(pou_name, True): |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
219 |
# If not mark POU as computed |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
220 |
self.PouComputed[pou_name] = True |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
221 |
|
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
222 |
# Getting POU model from project |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
223 |
pou = self.Project.getpou(pou_name) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
224 |
pou_type = pou.getpouType() |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
225 |
# Verify that POU type exists |
340 | 226 |
if pouTypeNames.has_key(pou_type): |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
227 |
# Create a POU program generator |
307
fd1f6ae26d4f
Adding support for cancelling code generation of function with no input connected
lbessard
parents:
295
diff
changeset
|
228 |
pou_program = PouProgramGenerator(self, pou.getname(), pouTypeNames[pou_type], self.Errors, self.Warnings) |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
229 |
program = pou_program.GenerateProgram(pou) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
230 |
self.Program += program |
141 | 231 |
else: |
391 | 232 |
raise PLCGenException, _("Undefined pou type \"%s\"")%pou_type |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
233 |
|
340 | 234 |
# Generate a POU defined and used in text |
235 |
def GeneratePouProgramInText(self, text): |
|
236 |
for pou_name in self.PouComputed.keys(): |
|
237 |
model = re.compile("(?:^|[^0-9^A-Z])%s(?:$|[^0-9^A-Z])"%pou_name.upper()) |
|
238 |
if model.search(text) is not None: |
|
239 |
self.GeneratePouProgram(pou_name) |
|
240 |
||
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
241 |
# Generate a configuration from its model |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
242 |
def GenerateConfiguration(self, configuration): |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
243 |
tagname = self.Controler.ComputeConfigurationName(configuration.getname()) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
244 |
config = [("\nCONFIGURATION ", ()), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
245 |
(configuration.getname(), (tagname, "name")), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
246 |
("\n", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
247 |
var_number = 0 |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
248 |
# Generate any global variable in configuration |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
249 |
for varlist in configuration.getglobalVars(): |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
250 |
# Generate variable block with modifier |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
251 |
config += [(" VAR_GLOBAL", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
252 |
if varlist.getconstant(): |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
253 |
config += [(" CONSTANT", (tagname, "variable", (var_number, var_number + len(varlist.getvariable())), "constant"))] |
483
779a519f78f2
Replace Retain and Constant column in VariablePanel by Option and add the option Non-Retain
laurent
parents:
408
diff
changeset
|
254 |
elif varlist.getretain(): |
779a519f78f2
Replace Retain and Constant column in VariablePanel by Option and add the option Non-Retain
laurent
parents:
408
diff
changeset
|
255 |
config += [(" RETAIN", (tagname, "variable", (var_number, var_number + len(varlist.getvariable())), "retain"))] |
527 | 256 |
elif varlist.getnonretain(): |
483
779a519f78f2
Replace Retain and Constant column in VariablePanel by Option and add the option Non-Retain
laurent
parents:
408
diff
changeset
|
257 |
config += [(" NON_RETAIN", (tagname, "variable", (var_number, var_number + len(varlist.getvariable())), "non_retain"))] |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
258 |
config += [("\n", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
259 |
# Generate any variable of this block |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
260 |
for var in varlist.getvariable(): |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
261 |
vartype_content = var.gettype().getcontent() |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
262 |
# Variable type is a user data type |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
263 |
if vartype_content["name"] == "derived": |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
264 |
var_type = vartype_content["value"].getname() |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
265 |
# Variable type is a string type |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
266 |
elif vartype_content["name"] in ["string", "wstring"]: |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
267 |
var_type = vartype_content["name"].upper() |
507
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
268 |
# Variable type is an array |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
269 |
elif vartype_content["name"] == "array": |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
270 |
base_type = vartype_content["value"].baseType.getcontent() |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
271 |
# Array derived directly from a user defined type |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
272 |
if base_type["name"] == "derived": |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
273 |
basetype_name = base_type["value"].getname() |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
274 |
self.GenerateDataType(basetype_name) |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
275 |
# Array derived directly from a string type |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
276 |
elif base_type["name"] in ["string", "wstring"]: |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
277 |
basetype_name = base_type["name"].upper() |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
278 |
# Array derived directly from an elementary type |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
279 |
else: |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
280 |
basetype_name = base_type["name"] |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
281 |
var_type = "ARRAY [%s] OF %s" % (",".join(map(lambda x : "%s..%s" % (dimension.getlower(), dimension.getupper()), vartype_content["value"].getdimension())), basetype_name) |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
282 |
# Variable type is an elementary type |
78
049f2e7090a2
Adding support for adding block types with particular behaviour
lbessard
parents:
72
diff
changeset
|
283 |
else: |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
284 |
var_type = vartype_content["name"] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
285 |
config += [(" ", ()), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
286 |
(var.getname(), (tagname, "variable", var_number, "name")), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
287 |
(" ", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
288 |
# Generate variable address if exists |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
289 |
address = var.getaddress() |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
290 |
if address: |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
291 |
config += [("AT ", ()), |
232 | 292 |
(address, (tagname, "variable", var_number, "address")), |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
293 |
(" ", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
294 |
config += [(": ", ()), |
232 | 295 |
(var_type, (tagname, "variable", var_number, "type"))] |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
296 |
# Generate variable initial value if exists |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
297 |
initial = var.getinitialValue() |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
298 |
if initial: |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
299 |
config += [(" := ", ()), |
232 | 300 |
(self.ComputeValue(initial.getvalue(), var_type), (tagname, "variable", var_number, "initial"))] |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
301 |
config += [(";\n", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
302 |
var_number += 1 |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
303 |
config += [(" END_VAR\n", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
304 |
# Generate any resource in the configuration |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
305 |
for resource in configuration.getresource(): |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
306 |
config += self.GenerateResource(resource, configuration.getname()) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
307 |
config += [("END_CONFIGURATION\n", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
308 |
return config |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
309 |
|
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
310 |
# Generate a resource from its model |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
311 |
def GenerateResource(self, resource, config_name): |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
312 |
tagname = self.Controler.ComputeConfigurationResourceName(config_name, resource.getname()) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
313 |
resrce = [("\n RESOURCE ", ()), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
314 |
(resource.getname(), (tagname, "name")), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
315 |
(" ON PLC\n", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
316 |
var_number = 0 |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
317 |
# Generate any global variable in configuration |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
318 |
for varlist in resource.getglobalVars(): |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
319 |
# Generate variable block with modifier |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
320 |
resrce += [(" VAR_GLOBAL", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
321 |
if varlist.getconstant(): |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
322 |
resrce += [(" CONSTANT", (tagname, "variable", (var_number, var_number + len(varlist.getvariable())), "constant"))] |
483
779a519f78f2
Replace Retain and Constant column in VariablePanel by Option and add the option Non-Retain
laurent
parents:
408
diff
changeset
|
323 |
elif varlist.getretain(): |
779a519f78f2
Replace Retain and Constant column in VariablePanel by Option and add the option Non-Retain
laurent
parents:
408
diff
changeset
|
324 |
resrce += [(" RETAIN", (tagname, "variable", (var_number, var_number + len(varlist.getvariable())), "retain"))] |
779a519f78f2
Replace Retain and Constant column in VariablePanel by Option and add the option Non-Retain
laurent
parents:
408
diff
changeset
|
325 |
elif varlist.getnonretain(): |
779a519f78f2
Replace Retain and Constant column in VariablePanel by Option and add the option Non-Retain
laurent
parents:
408
diff
changeset
|
326 |
resrce += [(" NON_RETAIN", (tagname, "variable", (var_number, var_number + len(varlist.getvariable())), "non_retain"))] |
370
23af12b5a9fb
Bug that prevent to see errors in editor with double click fixed.
lbessard
parents:
356
diff
changeset
|
327 |
resrce += [("\n", ())] |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
328 |
# Generate any variable of this block |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
329 |
for var in varlist.getvariable(): |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
330 |
vartype_content = var.gettype().getcontent() |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
331 |
# Variable type is a user data type |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
332 |
if vartype_content["name"] == "derived": |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
333 |
var_type = vartype_content["value"].getname() |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
334 |
# Variable type is a string type |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
335 |
elif vartype_content["name"] in ["string", "wstring"]: |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
336 |
var_type = vartype_content["name"].upper() |
507
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
337 |
# Variable type is an array |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
338 |
elif vartype_content["name"] == "array": |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
339 |
base_type = vartype_content["value"].baseType.getcontent() |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
340 |
# Array derived directly from a user defined type |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
341 |
if base_type["name"] == "derived": |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
342 |
basetype_name = base_type["value"].getname() |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
343 |
self.GenerateDataType(basetype_name) |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
344 |
# Array derived directly from a string type |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
345 |
elif base_type["name"] in ["string", "wstring"]: |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
346 |
basetype_name = base_type["name"].upper() |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
347 |
# Array derived directly from an elementary type |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
348 |
else: |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
349 |
basetype_name = base_type["name"] |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
350 |
var_type = "ARRAY [%s] OF %s" % (",".join(map(lambda x : "%s..%s" % (dimension.getlower(), dimension.getupper()), vartype_content["value"].getdimension())), basetype_name) |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
351 |
# Variable type is an elementary type |
78
049f2e7090a2
Adding support for adding block types with particular behaviour
lbessard
parents:
72
diff
changeset
|
352 |
else: |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
353 |
var_type = vartype_content["name"] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
354 |
resrce += [(" ", ()), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
355 |
(var.getname(), (tagname, "variable", var_number, "name")), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
356 |
(" ", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
357 |
address = var.getaddress() |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
358 |
# Generate variable address if exists |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
359 |
if address: |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
360 |
resrce += [("AT ", ()), |
232 | 361 |
(address, (tagname, "variable", var_number, "address")), |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
362 |
(" ", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
363 |
resrce += [(": ", ()), |
232 | 364 |
(var_type, (tagname, "variable", var_number, "type"))] |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
365 |
# Generate variable initial value if exists |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
366 |
initial = var.getinitialValue() |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
367 |
if initial: |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
368 |
resrce += [(" := ", ()), |
232 | 369 |
(self.ComputeValue(initial.getvalue(), var_type), (tagname, "variable", var_number, "initial"))] |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
370 |
resrce += [(";\n", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
371 |
var_number += 1 |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
372 |
resrce += [(" END_VAR\n", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
373 |
# Generate any task in the resource |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
374 |
tasks = resource.gettask() |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
375 |
task_number = 0 |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
376 |
for task in tasks: |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
377 |
# Task declaration |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
378 |
resrce += [(" TASK ", ()), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
379 |
(task.getname(), (tagname, "task", task_number, "name")), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
380 |
("(", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
381 |
args = [] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
382 |
single = task.getsingle() |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
383 |
# Single argument if exists |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
384 |
if single: |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
385 |
resrce += [("SINGLE := ", ()), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
386 |
(single, (tagname, "task", task_number, "single")), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
387 |
(",", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
388 |
# Interval argument if exists |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
389 |
interval = task.getinterval() |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
390 |
if interval: |
389 | 391 |
resrce += [("INTERVAL := ", ()), |
392 |
(interval, (tagname, "task", task_number, "interval")), |
|
393 |
(",", ())] |
|
394 |
## resrce += [("INTERVAL := t#", ())] |
|
395 |
## if interval.hour != 0: |
|
396 |
## resrce += [("%dh"%interval.hour, (tagname, "task", task_number, "interval", "hour"))] |
|
397 |
## if interval.minute != 0: |
|
398 |
## resrce += [("%dm"%interval.minute, (tagname, "task", task_number, "interval", "minute"))] |
|
399 |
## if interval.second != 0: |
|
400 |
## resrce += [("%ds"%interval.second, (tagname, "task", task_number, "interval", "second"))] |
|
401 |
## if interval.microsecond != 0: |
|
402 |
## resrce += [("%dms"%(interval.microsecond / 1000), (tagname, "task", task_number, "interval", "millisecond"))] |
|
403 |
## resrce += [(",", ())] |
|
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
404 |
# Priority argument |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
405 |
resrce += [("PRIORITY := ", ()), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
406 |
("%d"%task.getpriority(), (tagname, "task", task_number, "priority")), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
407 |
(");\n", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
408 |
task_number += 1 |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
409 |
instance_number = 0 |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
410 |
# Generate any program assign to each task |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
411 |
for task in tasks: |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
412 |
for instance in task.getpouInstance(): |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
413 |
resrce += [(" PROGRAM ", ()), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
414 |
(instance.getname(), (tagname, "instance", instance_number, "name")), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
415 |
(" WITH ", ()), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
416 |
(task.getname(), (tagname, "instance", instance_number, "task")), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
417 |
(" : ", ()), |
389 | 418 |
(instance.gettypeName(), (tagname, "instance", instance_number, "type")), |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
419 |
(";\n", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
420 |
instance_number += 1 |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
421 |
# Generate any program assign to no task |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
422 |
for instance in resource.getpouInstance(): |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
423 |
resrce += [(" PROGRAM ", ()), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
424 |
(instance.getname(), (tagname, "instance", instance_number, "name")), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
425 |
(" : ", ()), |
389 | 426 |
(instance.gettypeName(), (tagname, "instance", instance_number, "type")), |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
427 |
(";\n", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
428 |
instance_number += 1 |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
429 |
resrce += [(" END_RESOURCE\n", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
430 |
return resrce |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
431 |
|
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
432 |
# Generate the entire program for current project |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
433 |
def GenerateProgram(self): |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
434 |
# Find all data types defined |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
435 |
for datatype in self.Project.getdataTypes(): |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
436 |
self.DatatypeComputed[datatype.getname()] = False |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
437 |
# Find all data types defined |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
438 |
for pou in self.Project.getpous(): |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
439 |
self.PouComputed[pou.getname()] = False |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
440 |
# Generate data type declaration structure if there is at least one data |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
441 |
# type defined |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
442 |
if len(self.DatatypeComputed) > 0: |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
443 |
self.Program += [("TYPE\n", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
444 |
# Generate every data types defined |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
445 |
for datatype_name in self.DatatypeComputed.keys(): |
295
c6ef6d92ce16
Adding support for editing and using struct data types
lbessard
parents:
281
diff
changeset
|
446 |
self.GenerateDataType(datatype_name) |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
447 |
self.Program += [("END_TYPE\n\n", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
448 |
# Generate every POUs defined |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
449 |
for pou_name in self.PouComputed.keys(): |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
450 |
self.GeneratePouProgram(pou_name) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
451 |
# Generate every configurations defined |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
452 |
for config in self.Project.getconfigurations(): |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
453 |
self.Program += self.GenerateConfiguration(config) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
454 |
|
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
455 |
# Return generated program |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
456 |
def GetGeneratedProgram(self): |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
457 |
return self.Program |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
458 |
|
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
459 |
|
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
460 |
#------------------------------------------------------------------------------- |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
461 |
# Generator of POU programs |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
462 |
#------------------------------------------------------------------------------- |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
463 |
|
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
464 |
|
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
465 |
class PouProgramGenerator: |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
466 |
|
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
467 |
# Create a new POU program generator |
307
fd1f6ae26d4f
Adding support for cancelling code generation of function with no input connected
lbessard
parents:
295
diff
changeset
|
468 |
def __init__(self, parent, name, type, errors, warnings): |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
469 |
# Keep Reference to the parent generator |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
470 |
self.ParentGenerator = parent |
0 | 471 |
self.Name = name |
472 |
self.Type = type |
|
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
473 |
self.TagName = self.ParentGenerator.Controler.ComputePouName(name) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
474 |
self.CurrentIndent = " " |
1 | 475 |
self.ReturnType = None |
476 |
self.Interface = [] |
|
477 |
self.InitialSteps = [] |
|
72
73212220ad22
Adding support for generating FBD with connectors and continuations
lbessard
parents:
71
diff
changeset
|
478 |
self.ComputedBlocks = {} |
73212220ad22
Adding support for generating FBD with connectors and continuations
lbessard
parents:
71
diff
changeset
|
479 |
self.ComputedConnectors = {} |
125
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
480 |
self.ConnectionTypes = {} |
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
481 |
self.RelatedConnections = [] |
1 | 482 |
self.SFCNetworks = {"Steps":{}, "Transitions":{}, "Actions":{}} |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
483 |
self.SFCComputedBlocks = [] |
46 | 484 |
self.ActionNumber = 0 |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
485 |
self.Program = [] |
307
fd1f6ae26d4f
Adding support for cancelling code generation of function with no input connected
lbessard
parents:
295
diff
changeset
|
486 |
self.Errors = errors |
fd1f6ae26d4f
Adding support for cancelling code generation of function with no input connected
lbessard
parents:
295
diff
changeset
|
487 |
self.Warnings = warnings |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
488 |
|
526
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
489 |
def GetBlockType(self, type, inputs=None): |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
490 |
return self.ParentGenerator.Controler.GetBlockType(type, inputs) |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
491 |
|
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
492 |
def IndentLeft(self): |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
493 |
if len(self.CurrentIndent) >= 2: |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
494 |
self.CurrentIndent = self.CurrentIndent[:-2] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
495 |
|
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
496 |
def IndentRight(self): |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
497 |
self.CurrentIndent += " " |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
498 |
|
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
499 |
# Generator of unique ID for inline actions |
46 | 500 |
def GetActionNumber(self): |
501 |
self.ActionNumber += 1 |
|
502 |
return self.ActionNumber |
|
503 |
||
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
504 |
# Test if a variable has already been defined |
1 | 505 |
def IsAlreadyDefined(self, name): |
483
779a519f78f2
Replace Retain and Constant column in VariablePanel by Option and add the option Non-Retain
laurent
parents:
408
diff
changeset
|
506 |
for list_type, option, located, vars in self.Interface: |
30 | 507 |
for var_type, var_name, var_address, var_initial in vars: |
1 | 508 |
if name == var_name: |
509 |
return True |
|
510 |
return False |
|
511 |
||
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
512 |
# Return the type of a variable defined in interface |
125
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
513 |
def GetVariableType(self, name): |
483
779a519f78f2
Replace Retain and Constant column in VariablePanel by Option and add the option Non-Retain
laurent
parents:
408
diff
changeset
|
514 |
for list_type, option, located, vars in self.Interface: |
125
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
515 |
for var_type, var_name, var_address, var_initial in vars: |
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
516 |
if name == var_name: |
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
517 |
return var_type |
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
518 |
return None |
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
519 |
|
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
520 |
# Return connectors linked by a connection to the given connector |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
521 |
def GetConnectedConnector(self, connector, body): |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
522 |
links = connector.getconnections() |
125
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
523 |
if links and len(links) == 1: |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
524 |
return self.GetLinkedConnector(links[0], body) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
525 |
return None |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
526 |
|
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
527 |
def GetLinkedConnector(self, link, body): |
151 | 528 |
parameter = link.getformalParameter() |
529 |
instance = body.getcontentInstance(link.getrefLocalId()) |
|
530 |
if isinstance(instance, (plcopen.fbdObjects_inVariable, plcopen.fbdObjects_inOutVariable, plcopen.commonObjects_continuation, plcopen.ldObjects_contact, plcopen.ldObjects_coil)): |
|
125
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
531 |
return instance.connectionPointOut |
151 | 532 |
elif isinstance(instance, plcopen.fbdObjects_block): |
533 |
outputvariables = instance.outputVariables.getvariable() |
|
125
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
534 |
if len(outputvariables) == 1: |
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
535 |
return outputvariables[0].connectionPointOut |
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
536 |
elif parameter: |
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
537 |
for variable in outputvariables: |
151 | 538 |
if variable.getformalParameter() == parameter: |
125
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
539 |
return variable.connectionPointOut |
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
540 |
else: |
276 | 541 |
point = link.getposition()[-1] |
125
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
542 |
for variable in outputvariables: |
151 | 543 |
relposition = variable.connectionPointOut.getrelPositionXY() |
544 |
blockposition = instance.getposition() |
|
125
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
545 |
if point.x == blockposition.x + relposition[0] and point.y == blockposition.y + relposition[1]: |
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
546 |
return variable.connectionPointOut |
151 | 547 |
elif isinstance(instance, plcopen.ldObjects_leftPowerRail): |
548 |
outputconnections = instance.getconnectionPointOut() |
|
125
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
549 |
if len(outputconnections) == 1: |
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
550 |
return outputconnections[0] |
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
551 |
else: |
151 | 552 |
point = link.getposition()[-1] |
125
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
553 |
for outputconnection in outputconnections: |
151 | 554 |
relposition = outputconnection.getrelPositionXY() |
555 |
powerrailposition = instance.getposition() |
|
125
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
556 |
if point.x == powerrailposition.x + relposition[0] and point.y == powerrailposition.y + relposition[1]: |
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
557 |
return outputconnection |
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
558 |
return None |
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
559 |
|
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
560 |
def ExtractRelatedConnections(self, connection): |
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
561 |
for i, related in enumerate(self.RelatedConnections): |
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
562 |
if connection in related: |
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
563 |
return self.RelatedConnections.pop(i) |
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
564 |
return [connection] |
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
565 |
|
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
566 |
def ComputeInterface(self, pou): |
194
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
567 |
interface = pou.getinterface() |
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
568 |
if interface is not None: |
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
569 |
body = pou.getbody() |
389 | 570 |
if isinstance(body, ListType): |
571 |
body = body[0] |
|
194
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
572 |
body_content = body.getcontent() |
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
573 |
if self.Type == "FUNCTION": |
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
574 |
returntype_content = interface.getreturnType().getcontent() |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
575 |
if returntype_content["name"] == "derived": |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
576 |
self.ReturnType = returntype_content["value"].getname() |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
577 |
elif returntype_content["name"] in ["string", "wstring"]: |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
578 |
self.ReturnType = returntype_content["name"].upper() |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
579 |
else: |
194
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
580 |
self.ReturnType = returntype_content["name"] |
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
581 |
for varlist in interface.getcontent(): |
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
582 |
variables = [] |
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
583 |
located = [] |
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
584 |
for var in varlist["value"].getvariable(): |
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
585 |
vartype_content = var.gettype().getcontent() |
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
586 |
if vartype_content["name"] == "derived": |
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
587 |
var_type = vartype_content["value"].getname() |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
588 |
blocktype = self.GetBlockType(var_type) |
194
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
589 |
if blocktype is not None: |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
590 |
self.ParentGenerator.GeneratePouProgram(var_type) |
194
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
591 |
if body_content["name"] in ["FBD", "LD", "SFC"]: |
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
592 |
block = pou.getinstanceByName(var.getname()) |
191
d77f9b783ce8
Bug with located variables generated by Beremiz svgui plugin fixed
lbessard
parents:
189
diff
changeset
|
593 |
else: |
194
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
594 |
block = None |
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
595 |
for variable in blocktype["initialise"](var_type, var.getname(), block): |
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
596 |
if variable[2] is not None: |
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
597 |
located.append(variable) |
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
598 |
else: |
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
599 |
variables.append(variable) |
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
600 |
else: |
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
601 |
initial = var.getinitialValue() |
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
602 |
if initial: |
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
603 |
initial_value = initial.getvalue() |
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
604 |
else: |
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
605 |
initial_value = None |
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
606 |
address = var.getaddress() |
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
607 |
if address is not None: |
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
608 |
located.append((vartype_content["value"].getname(), var.getname(), address, initial_value)) |
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
609 |
else: |
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
610 |
variables.append((vartype_content["value"].getname(), var.getname(), None, initial_value)) |
125
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
611 |
else: |
151 | 612 |
initial = var.getinitialValue() |
125
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
613 |
if initial: |
151 | 614 |
initial_value = initial.getvalue() |
125
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
615 |
else: |
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
616 |
initial_value = None |
151 | 617 |
address = var.getaddress() |
194
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
618 |
if vartype_content["name"] in ["string", "wstring"]: |
507
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
619 |
var_type = vartype_content["name"].upper() |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
620 |
# Variable type is an array |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
621 |
elif vartype_content["name"] == "array": |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
622 |
base_type = vartype_content["value"].baseType.getcontent() |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
623 |
# Array derived directly from a user defined type |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
624 |
if base_type["name"] == "derived": |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
625 |
basetype_name = base_type["value"].getname() |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
626 |
self.GenerateDataType(basetype_name) |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
627 |
# Array derived directly from a string type |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
628 |
elif base_type["name"] in ["string", "wstring"]: |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
629 |
basetype_name = base_type["name"].upper() |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
630 |
# Array derived directly from an elementary type |
194
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
631 |
else: |
507
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
632 |
basetype_name = base_type["name"] |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
633 |
var_type = "ARRAY [%s] OF %s" % (",".join(map(lambda x : "%s..%s" % (x.getlower(), x.getupper()), vartype_content["value"].getdimension())), basetype_name) |
191
d77f9b783ce8
Bug with located variables generated by Beremiz svgui plugin fixed
lbessard
parents:
189
diff
changeset
|
634 |
else: |
507
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
635 |
var_type = vartype_content["name"] |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
636 |
if address is not None: |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
637 |
located.append((var_type, var.getname(), address, initial_value)) |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
638 |
else: |
42150e041dbe
Adding support for direct array variable declaration in variable panel (still disable cause matiec doesn't support this feature)
laurent
parents:
501
diff
changeset
|
639 |
variables.append((var_type, var.getname(), None, initial_value)) |
483
779a519f78f2
Replace Retain and Constant column in VariablePanel by Option and add the option Non-Retain
laurent
parents:
408
diff
changeset
|
640 |
if varlist["value"].getconstant(): |
779a519f78f2
Replace Retain and Constant column in VariablePanel by Option and add the option Non-Retain
laurent
parents:
408
diff
changeset
|
641 |
option = "CONSTANT" |
779a519f78f2
Replace Retain and Constant column in VariablePanel by Option and add the option Non-Retain
laurent
parents:
408
diff
changeset
|
642 |
elif varlist["value"].getretain(): |
779a519f78f2
Replace Retain and Constant column in VariablePanel by Option and add the option Non-Retain
laurent
parents:
408
diff
changeset
|
643 |
option = "RETAIN" |
779a519f78f2
Replace Retain and Constant column in VariablePanel by Option and add the option Non-Retain
laurent
parents:
408
diff
changeset
|
644 |
elif varlist["value"].getnonretain(): |
779a519f78f2
Replace Retain and Constant column in VariablePanel by Option and add the option Non-Retain
laurent
parents:
408
diff
changeset
|
645 |
option = "NON_RETAIN" |
779a519f78f2
Replace Retain and Constant column in VariablePanel by Option and add the option Non-Retain
laurent
parents:
408
diff
changeset
|
646 |
else: |
779a519f78f2
Replace Retain and Constant column in VariablePanel by Option and add the option Non-Retain
laurent
parents:
408
diff
changeset
|
647 |
option = None |
194
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
648 |
if len(variables) > 0: |
483
779a519f78f2
Replace Retain and Constant column in VariablePanel by Option and add the option Non-Retain
laurent
parents:
408
diff
changeset
|
649 |
self.Interface.append((varTypeNames[varlist["name"]], option, False, variables)) |
194
1b3f8b4f8e04
Adding support for Beremiz svgui plugin variable declaration
lbessard
parents:
191
diff
changeset
|
650 |
if len(located) > 0: |
483
779a519f78f2
Replace Retain and Constant column in VariablePanel by Option and add the option Non-Retain
laurent
parents:
408
diff
changeset
|
651 |
self.Interface.append((varTypeNames[varlist["name"]], option, True, located)) |
191
d77f9b783ce8
Bug with located variables generated by Beremiz svgui plugin fixed
lbessard
parents:
189
diff
changeset
|
652 |
|
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
653 |
def ComputeConnectionTypes(self, pou): |
151 | 654 |
body = pou.getbody() |
389 | 655 |
if isinstance(body, ListType): |
656 |
body = body[0] |
|
151 | 657 |
body_content = body.getcontent() |
125
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
658 |
body_type = body_content["name"] |
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
659 |
if body_type in ["FBD", "LD", "SFC"]: |
526
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
660 |
undefined_blocks = [] |
151 | 661 |
for instance in body.getcontentInstances(): |
662 |
if isinstance(instance, (plcopen.fbdObjects_inVariable, plcopen.fbdObjects_outVariable, plcopen.fbdObjects_inOutVariable)): |
|
663 |
expression = instance.getexpression() |
|
125
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
664 |
var_type = self.GetVariableType(expression) |
408
0e389fa5b160
Bug on ST code generating for variables with the same name than POU when POU isn't a function fixed
laurent
parents:
391
diff
changeset
|
665 |
if pou.getpouType() == "function" and expression == pou.getname(): |
151 | 666 |
returntype_content = pou.interface.getreturnType().getcontent() |
141 | 667 |
if returntype_content["name"] == "derived": |
151 | 668 |
var_type = returntype_content["value"].getname() |
141 | 669 |
elif returntype_content["name"] in ["string", "wstring"]: |
670 |
var_type = returntype_content["name"].upper() |
|
671 |
else: |
|
125
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
672 |
var_type = returntype_content["name"] |
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
673 |
elif var_type is None: |
269
34eff05909b0
Adding support for EN/ENO variables (temporarily disabled, waiting for matiec support)
lbessard
parents:
261
diff
changeset
|
674 |
parts = expression.split("#") |
34eff05909b0
Adding support for EN/ENO variables (temporarily disabled, waiting for matiec support)
lbessard
parents:
261
diff
changeset
|
675 |
if len(parts) > 1: |
34eff05909b0
Adding support for EN/ENO variables (temporarily disabled, waiting for matiec support)
lbessard
parents:
261
diff
changeset
|
676 |
var_type = parts[0] |
356
f6453b89e7f9
Adding support for finding character_string while computing connector types. Adding 'ANY' type on continuation by default.
greg
parents:
340
diff
changeset
|
677 |
elif expression.startswith("'"): |
f6453b89e7f9
Adding support for finding character_string while computing connector types. Adding 'ANY' type on continuation by default.
greg
parents:
340
diff
changeset
|
678 |
var_type = "STRING" |
f6453b89e7f9
Adding support for finding character_string while computing connector types. Adding 'ANY' type on continuation by default.
greg
parents:
340
diff
changeset
|
679 |
elif expression.startswith('"'): |
f6453b89e7f9
Adding support for finding character_string while computing connector types. Adding 'ANY' type on continuation by default.
greg
parents:
340
diff
changeset
|
680 |
var_type = "WSTRING" |
269
34eff05909b0
Adding support for EN/ENO variables (temporarily disabled, waiting for matiec support)
lbessard
parents:
261
diff
changeset
|
681 |
if var_type is not None: |
34eff05909b0
Adding support for EN/ENO variables (temporarily disabled, waiting for matiec support)
lbessard
parents:
261
diff
changeset
|
682 |
if isinstance(instance, (plcopen.fbdObjects_inVariable, plcopen.fbdObjects_inOutVariable)): |
34eff05909b0
Adding support for EN/ENO variables (temporarily disabled, waiting for matiec support)
lbessard
parents:
261
diff
changeset
|
683 |
for connection in self.ExtractRelatedConnections(instance.connectionPointOut): |
125
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
684 |
self.ConnectionTypes[connection] = var_type |
269
34eff05909b0
Adding support for EN/ENO variables (temporarily disabled, waiting for matiec support)
lbessard
parents:
261
diff
changeset
|
685 |
if isinstance(instance, (plcopen.fbdObjects_outVariable, plcopen.fbdObjects_inOutVariable)): |
34eff05909b0
Adding support for EN/ENO variables (temporarily disabled, waiting for matiec support)
lbessard
parents:
261
diff
changeset
|
686 |
self.ConnectionTypes[instance.connectionPointIn] = var_type |
34eff05909b0
Adding support for EN/ENO variables (temporarily disabled, waiting for matiec support)
lbessard
parents:
261
diff
changeset
|
687 |
connected = self.GetConnectedConnector(instance.connectionPointIn, body) |
340 | 688 |
if connected and not self.ConnectionTypes.has_key(connected): |
269
34eff05909b0
Adding support for EN/ENO variables (temporarily disabled, waiting for matiec support)
lbessard
parents:
261
diff
changeset
|
689 |
for connection in self.ExtractRelatedConnections(connected): |
34eff05909b0
Adding support for EN/ENO variables (temporarily disabled, waiting for matiec support)
lbessard
parents:
261
diff
changeset
|
690 |
self.ConnectionTypes[connection] = var_type |
151 | 691 |
elif isinstance(instance, (plcopen.ldObjects_contact, plcopen.ldObjects_coil)): |
208
c70aefcadf66
Bugs with feedback path in View, Controler and Generator fixed
lbessard
parents:
207
diff
changeset
|
692 |
for connection in self.ExtractRelatedConnections(instance.connectionPointOut): |
c70aefcadf66
Bugs with feedback path in View, Controler and Generator fixed
lbessard
parents:
207
diff
changeset
|
693 |
self.ConnectionTypes[connection] = "BOOL" |
125
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
694 |
self.ConnectionTypes[instance.connectionPointIn] = "BOOL" |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
695 |
connected = self.GetConnectedConnector(instance.connectionPointIn, body) |
340 | 696 |
if connected and not self.ConnectionTypes.has_key(connected): |
125
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
697 |
for connection in self.ExtractRelatedConnections(connected): |
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
698 |
self.ConnectionTypes[connection] = "BOOL" |
151 | 699 |
elif isinstance(instance, plcopen.ldObjects_leftPowerRail): |
700 |
for connection in instance.getconnectionPointOut(): |
|
208
c70aefcadf66
Bugs with feedback path in View, Controler and Generator fixed
lbessard
parents:
207
diff
changeset
|
701 |
for related in self.ExtractRelatedConnections(connection): |
c70aefcadf66
Bugs with feedback path in View, Controler and Generator fixed
lbessard
parents:
207
diff
changeset
|
702 |
self.ConnectionTypes[related] = "BOOL" |
151 | 703 |
elif isinstance(instance, plcopen.ldObjects_rightPowerRail): |
704 |
for connection in instance.getconnectionPointIn(): |
|
125
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
705 |
self.ConnectionTypes[connection] = "BOOL" |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
706 |
connected = self.GetConnectedConnector(connection, body) |
340 | 707 |
if connected and not self.ConnectionTypes.has_key(connected): |
125
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
708 |
for connection in self.ExtractRelatedConnections(connected): |
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
709 |
self.ConnectionTypes[connection] = "BOOL" |
151 | 710 |
elif isinstance(instance, plcopen.sfcObjects_transition): |
711 |
content = instance.condition.getcontent() |
|
125
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
712 |
if content["name"] == "connection" and len(content["value"]) == 1: |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
713 |
connected = self.GetLinkedConnector(content["value"][0], body) |
340 | 714 |
if connected and not self.ConnectionTypes.has_key(connected): |
125
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
715 |
for connection in self.ExtractRelatedConnections(connected): |
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
716 |
self.ConnectionTypes[connection] = "BOOL" |
340 | 717 |
elif isinstance(instance, plcopen.commonObjects_continuation): |
718 |
name = instance.getname() |
|
719 |
connector = None |
|
356
f6453b89e7f9
Adding support for finding character_string while computing connector types. Adding 'ANY' type on continuation by default.
greg
parents:
340
diff
changeset
|
720 |
var_type = "ANY" |
340 | 721 |
for element in body.getcontentInstances(): |
722 |
if isinstance(element, plcopen.commonObjects_connector) and element.getname() == name: |
|
723 |
if connector is not None: |
|
391 | 724 |
raise PLCGenException, _("More than one connector found corresponding to \"%s\" continuation in \"%s\" POU")%(name, self.Name) |
340 | 725 |
connector = element |
726 |
if connector is not None: |
|
727 |
undefined = [instance.connectionPointOut, connector.connectionPointIn] |
|
728 |
connected = self.GetConnectedConnector(connector.connectionPointIn, body) |
|
729 |
if connected: |
|
730 |
undefined.append(connected) |
|
731 |
related = [] |
|
732 |
for connection in undefined: |
|
733 |
if self.ConnectionTypes.has_key(connection): |
|
734 |
var_type = self.ConnectionTypes[connection] |
|
735 |
else: |
|
736 |
related.extend(self.ExtractRelatedConnections(connection)) |
|
737 |
if var_type.startswith("ANY") and len(related) > 0: |
|
738 |
self.RelatedConnections.append(related) |
|
739 |
else: |
|
740 |
for connection in related: |
|
741 |
self.ConnectionTypes[connection] = var_type |
|
742 |
else: |
|
391 | 743 |
raise PLCGenException, _("No connector found corresponding to \"%s\" continuation in \"%s\" POU")%(name, self.Name) |
151 | 744 |
elif isinstance(instance, plcopen.fbdObjects_block): |
526
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
745 |
block_infos = self.GetBlockType(instance.gettypeName(), "undefined") |
389 | 746 |
if block_infos is not None: |
526
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
747 |
self.ComputeBlockInputTypes(instance, block_infos, body) |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
748 |
else: |
389 | 749 |
for variable in instance.inputVariables.getvariable(): |
526
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
750 |
connected = self.GetConnectedConnector(variable.connectionPointIn, body) |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
751 |
if connected is not None: |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
752 |
var_type = self.ConnectionTypes.get(connected, None) |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
753 |
if var_type is not None: |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
754 |
self.ConnectionTypes[variable.connectionPointIn] = var_type |
125
394d9f168258
Adding support for execution order in PLCGenerator
lbessard
parents:
108
diff
changeset
|
755 |
else: |
526
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
756 |
related = self.ExtractRelatedConnections(connected) |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
757 |
related.append(variable.connectionPointIn) |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
758 |
self.RelatedConnections.append(related) |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
759 |
undefined_blocks.append(instance) |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
760 |
for instance in undefined_blocks: |
528
7ac133b11321
Fix bug in block with execution control generation fixed
laurent
parents:
527
diff
changeset
|
761 |
block_infos = self.GetBlockType(instance.gettypeName(), tuple([self.ConnectionTypes.get(variable.connectionPointIn, "ANY") for variable in instance.inputVariables.getvariable() if variable.getformalParameter() != "EN"])) |
526
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
762 |
if block_infos is not None: |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
763 |
self.ComputeBlockInputTypes(instance, block_infos, body) |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
764 |
else: |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
765 |
raise PLCGenException, _("No informations found for \"%s\" block")%(instance.gettypeName()) |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
766 |
|
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
767 |
def ComputeBlockInputTypes(self, instance, block_infos, body): |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
768 |
undefined = {} |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
769 |
for variable in instance.outputVariables.getvariable(): |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
770 |
output_name = variable.getformalParameter() |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
771 |
if output_name == "ENO": |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
772 |
for connection in self.ExtractRelatedConnections(variable.connectionPointOut): |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
773 |
self.ConnectionTypes[connection] = "BOOL" |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
774 |
else: |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
775 |
for oname, otype, oqualifier in block_infos["outputs"]: |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
776 |
if output_name == oname: |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
777 |
if otype.startswith("ANY"): |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
778 |
if not undefined.has_key(otype): |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
779 |
undefined[otype] = [] |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
780 |
undefined[otype].append(variable.connectionPointOut) |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
781 |
elif not self.ConnectionTypes.has_key(variable.connectionPointOut): |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
782 |
for connection in self.ExtractRelatedConnections(variable.connectionPointOut): |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
783 |
self.ConnectionTypes[connection] = otype |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
784 |
for variable in instance.inputVariables.getvariable(): |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
785 |
input_name = variable.getformalParameter() |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
786 |
if input_name == "EN": |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
787 |
for connection in self.ExtractRelatedConnections(variable.connectionPointIn): |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
788 |
self.ConnectionTypes[connection] = "BOOL" |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
789 |
else: |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
790 |
for iname, itype, iqualifier in block_infos["inputs"]: |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
791 |
if input_name == iname: |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
792 |
connected = self.GetConnectedConnector(variable.connectionPointIn, body) |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
793 |
if itype.startswith("ANY"): |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
794 |
if not undefined.has_key(itype): |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
795 |
undefined[itype] = [] |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
796 |
undefined[itype].append(variable.connectionPointIn) |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
797 |
if connected: |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
798 |
undefined[itype].append(connected) |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
799 |
else: |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
800 |
self.ConnectionTypes[variable.connectionPointIn] = itype |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
801 |
if connected and not self.ConnectionTypes.has_key(connected): |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
802 |
for connection in self.ExtractRelatedConnections(connected): |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
803 |
self.ConnectionTypes[connection] = itype |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
804 |
for var_type, connections in undefined.items(): |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
805 |
related = [] |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
806 |
for connection in connections: |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
807 |
if self.ConnectionTypes.has_key(connection): |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
808 |
var_type = self.ConnectionTypes[connection] |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
809 |
else: |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
810 |
related.extend(self.ExtractRelatedConnections(connection)) |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
811 |
if var_type.startswith("ANY") and len(related) > 0: |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
812 |
self.RelatedConnections.append(related) |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
813 |
else: |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
814 |
for connection in related: |
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
815 |
self.ConnectionTypes[connection] = var_type |
389 | 816 |
|
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
817 |
def ComputeProgram(self, pou): |
151 | 818 |
body = pou.getbody() |
389 | 819 |
if isinstance(body, ListType): |
820 |
body = body[0] |
|
151 | 821 |
body_content = body.getcontent() |
0 | 822 |
body_type = body_content["name"] |
823 |
if body_type in ["IL","ST"]: |
|
340 | 824 |
text = body_content["value"].gettext() |
825 |
self.ParentGenerator.GeneratePouProgramInText(text.upper()) |
|
826 |
self.Program = [(ReIndentText(text, len(self.CurrentIndent)), |
|
228
da7ddaf27cca
Bug with indentation in textual languages while error display fixed
lbessard
parents:
227
diff
changeset
|
827 |
(self.TagName, "body", len(self.CurrentIndent)))] |
0 | 828 |
elif body_type == "SFC": |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
829 |
self.IndentRight() |
151 | 830 |
for instance in body.getcontentInstances(): |
831 |
if isinstance(instance, plcopen.sfcObjects_step): |
|
1 | 832 |
self.GenerateSFCStep(instance, pou) |
151 | 833 |
elif isinstance(instance, plcopen.commonObjects_actionBlock): |
1 | 834 |
self.GenerateSFCStepActions(instance, pou) |
151 | 835 |
elif isinstance(instance, plcopen.sfcObjects_transition): |
1 | 836 |
self.GenerateSFCTransition(instance, pou) |
151 | 837 |
elif isinstance(instance, plcopen.sfcObjects_jumpStep): |
0 | 838 |
self.GenerateSFCJump(instance, pou) |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
839 |
if len(self.InitialSteps) > 0 and len(self.SFCComputedBlocks) > 0: |
66
fd138fc77510
Adding support for generating network and rung connected to transitions into SFC
lbessard
parents:
58
diff
changeset
|
840 |
action_name = "COMPUTE_FUNCTION_BLOCKS" |
fd138fc77510
Adding support for generating network and rung connected to transitions into SFC
lbessard
parents:
58
diff
changeset
|
841 |
action_infos = {"qualifier" : "S", "content" : action_name} |
fd138fc77510
Adding support for generating network and rung connected to transitions into SFC
lbessard
parents:
58
diff
changeset
|
842 |
self.SFCNetworks["Steps"][self.InitialSteps[0]]["actions"].append(action_infos) |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
843 |
self.SFCNetworks["Actions"][action_name] = (self.SFCComputedBlocks, ()) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
844 |
self.Program = [] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
845 |
self.IndentLeft() |
1 | 846 |
for initialstep in self.InitialSteps: |
847 |
self.ComputeSFCStep(initialstep) |
|
248
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
848 |
else: |
269
34eff05909b0
Adding support for EN/ENO variables (temporarily disabled, waiting for matiec support)
lbessard
parents:
261
diff
changeset
|
849 |
otherInstances = {"outVariables&coils" : [], "blocks" : [], "connectors" : []} |
248
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
850 |
orderedInstances = [] |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
851 |
for instance in body.getcontentInstances(): |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
852 |
if isinstance(instance, (plcopen.fbdObjects_outVariable, plcopen.fbdObjects_inOutVariable, plcopen.fbdObjects_block)): |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
853 |
executionOrderId = instance.getexecutionOrderId() |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
854 |
if executionOrderId > 0: |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
855 |
orderedInstances.append((executionOrderId, instance)) |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
856 |
elif isinstance(instance, (plcopen.fbdObjects_outVariable, plcopen.fbdObjects_inOutVariable)): |
269
34eff05909b0
Adding support for EN/ENO variables (temporarily disabled, waiting for matiec support)
lbessard
parents:
261
diff
changeset
|
857 |
otherInstances["outVariables&coils"].append(instance) |
248
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
858 |
elif isinstance(instance, plcopen.fbdObjects_block): |
269
34eff05909b0
Adding support for EN/ENO variables (temporarily disabled, waiting for matiec support)
lbessard
parents:
261
diff
changeset
|
859 |
otherInstances["blocks"].append(instance) |
248
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
860 |
elif isinstance(instance, plcopen.commonObjects_connector): |
269
34eff05909b0
Adding support for EN/ENO variables (temporarily disabled, waiting for matiec support)
lbessard
parents:
261
diff
changeset
|
861 |
otherInstances["connectors"].append(instance) |
248
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
862 |
elif isinstance(instance, plcopen.ldObjects_coil): |
269
34eff05909b0
Adding support for EN/ENO variables (temporarily disabled, waiting for matiec support)
lbessard
parents:
261
diff
changeset
|
863 |
otherInstances["outVariables&coils"].append(instance) |
248
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
864 |
orderedInstances.sort() |
269
34eff05909b0
Adding support for EN/ENO variables (temporarily disabled, waiting for matiec support)
lbessard
parents:
261
diff
changeset
|
865 |
otherInstances["outVariables&coils"].sort(SortInstances) |
248
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
866 |
instances = [instance for (executionOrderId, instance) in orderedInstances] |
269
34eff05909b0
Adding support for EN/ENO variables (temporarily disabled, waiting for matiec support)
lbessard
parents:
261
diff
changeset
|
867 |
instances.extend(otherInstances["connectors"] + otherInstances["outVariables&coils"] + otherInstances["blocks"]) |
248
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
868 |
for instance in instances: |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
869 |
if isinstance(instance, (plcopen.fbdObjects_outVariable, plcopen.fbdObjects_inOutVariable)): |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
870 |
connections = instance.connectionPointIn.getconnections() |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
871 |
if connections is not None: |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
872 |
expression = self.ComputeExpression(body, connections) |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
873 |
self.Program += [(self.CurrentIndent, ()), |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
874 |
(instance.getexpression(), (self.TagName, "io_variable", instance.getlocalId(), "expression")), |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
875 |
(" := ", ())] |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
876 |
self.Program += expression |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
877 |
self.Program += [(";\n", ())] |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
878 |
elif isinstance(instance, plcopen.fbdObjects_block): |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
879 |
block_type = instance.gettypeName() |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
880 |
self.ParentGenerator.GeneratePouProgram(block_type) |
528
7ac133b11321
Fix bug in block with execution control generation fixed
laurent
parents:
527
diff
changeset
|
881 |
block_infos = self.GetBlockType(block_type, tuple([self.ConnectionTypes.get(variable.connectionPointIn, "ANY") for variable in instance.inputVariables.getvariable() if variable.getformalParameter() != "EN"])) |
526
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
882 |
block_infos["generate"](self, instance, block_infos, body, None) |
248
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
883 |
elif isinstance(instance, plcopen.commonObjects_connector): |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
884 |
connector = instance.getname() |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
885 |
if self.ComputedConnectors.get(connector, None): |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
886 |
continue |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
887 |
self.ComputedConnectors[connector] = self.ComputeExpression(body, instance.connectionPointIn.getconnections()) |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
888 |
elif isinstance(instance, plcopen.ldObjects_coil): |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
889 |
connections = instance.connectionPointIn.getconnections() |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
890 |
if connections is not None: |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
891 |
coil_info = (self.TagName, "coil", instance.getlocalId()) |
269
34eff05909b0
Adding support for EN/ENO variables (temporarily disabled, waiting for matiec support)
lbessard
parents:
261
diff
changeset
|
892 |
expression = self.ExtractModifier(instance, self.ComputeExpression(body, connections), coil_info) |
34eff05909b0
Adding support for EN/ENO variables (temporarily disabled, waiting for matiec support)
lbessard
parents:
261
diff
changeset
|
893 |
self.Program += [(self.CurrentIndent, ())] |
34eff05909b0
Adding support for EN/ENO variables (temporarily disabled, waiting for matiec support)
lbessard
parents:
261
diff
changeset
|
894 |
self.Program += [(instance.getvariable(), coil_info + ("reference",))] |
248
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
895 |
self.Program += [(" := ", ())] + expression + [(";\n", ())] |
269
34eff05909b0
Adding support for EN/ENO variables (temporarily disabled, waiting for matiec support)
lbessard
parents:
261
diff
changeset
|
896 |
|
248
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
897 |
def FactorizePaths(self, paths): |
242 | 898 |
same_paths = {} |
899 |
uncomputed_index = range(len(paths)) |
|
900 |
factorized_paths = [] |
|
901 |
for num, path in enumerate(paths): |
|
902 |
if type(path) == ListType: |
|
273
5b18d98aa4f9
Support for unhandled factorization cases added by fixing bug
lbessard
parents:
269
diff
changeset
|
903 |
if len(path) > 1: |
5b18d98aa4f9
Support for unhandled factorization cases added by fixing bug
lbessard
parents:
269
diff
changeset
|
904 |
str_path = str(path[-1:]) |
242 | 905 |
same_paths.setdefault(str_path, []) |
273
5b18d98aa4f9
Support for unhandled factorization cases added by fixing bug
lbessard
parents:
269
diff
changeset
|
906 |
same_paths[str_path].append((path[:-1], num)) |
242 | 907 |
else: |
908 |
factorized_paths.append(path) |
|
909 |
uncomputed_index.remove(num) |
|
910 |
for same_path, elements in same_paths.items(): |
|
911 |
if len(elements) > 1: |
|
273
5b18d98aa4f9
Support for unhandled factorization cases added by fixing bug
lbessard
parents:
269
diff
changeset
|
912 |
elements_paths = self.FactorizePaths([path for path, num in elements]) |
5b18d98aa4f9
Support for unhandled factorization cases added by fixing bug
lbessard
parents:
269
diff
changeset
|
913 |
if len(elements_paths) > 1: |
5b18d98aa4f9
Support for unhandled factorization cases added by fixing bug
lbessard
parents:
269
diff
changeset
|
914 |
factorized_paths.append([tuple(elements_paths)] + eval(same_path)) |
5b18d98aa4f9
Support for unhandled factorization cases added by fixing bug
lbessard
parents:
269
diff
changeset
|
915 |
else: |
5b18d98aa4f9
Support for unhandled factorization cases added by fixing bug
lbessard
parents:
269
diff
changeset
|
916 |
factorized_paths.append(elements_paths + eval(same_path)) |
242 | 917 |
for path, num in elements: |
918 |
uncomputed_index.remove(num) |
|
919 |
for num in uncomputed_index: |
|
920 |
factorized_paths.append(paths[num]) |
|
244
05f6e0d7710c
Adding sort in LD factorized paths to avoid combination problem
lbessard
parents:
242
diff
changeset
|
921 |
factorized_paths.sort() |
242 | 922 |
return factorized_paths |
923 |
||
248
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
924 |
def GeneratePaths(self, connections, body, order = False): |
0 | 925 |
paths = [] |
926 |
for connection in connections: |
|
151 | 927 |
localId = connection.getrefLocalId() |
928 |
next = body.getcontentInstance(localId) |
|
929 |
if isinstance(next, plcopen.ldObjects_leftPowerRail): |
|
0 | 930 |
paths.append(None) |
248
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
931 |
elif isinstance(next, (plcopen.fbdObjects_inVariable, plcopen.fbdObjects_inOutVariable)): |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
932 |
paths.append(str([(next.getexpression(), (self.TagName, "io_variable", localId, "expression"))])) |
151 | 933 |
elif isinstance(next, plcopen.fbdObjects_block): |
934 |
block_type = next.gettypeName() |
|
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
935 |
self.ParentGenerator.GeneratePouProgram(block_type) |
528
7ac133b11321
Fix bug in block with execution control generation fixed
laurent
parents:
527
diff
changeset
|
936 |
block_infos = self.GetBlockType(block_type, tuple([self.ConnectionTypes.get(variable.connectionPointIn, "ANY") for variable in next.inputVariables.getvariable() if variable.getformalParameter() != "EN"])) |
526
79900abdfa3c
Bug when using arithmetic functions (ADD, SUB, MUL, DIV) for TIME datatypes fixed.
laurent
parents:
507
diff
changeset
|
937 |
paths.append(str(block_infos["generate"](self, next, block_infos, body, connection, order))) |
248
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
938 |
elif isinstance(next, plcopen.commonObjects_continuation): |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
939 |
name = next.getname() |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
940 |
computed_value = self.ComputedConnectors.get(name, None) |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
941 |
if computed_value != None: |
257 | 942 |
paths.append(str(computed_value)) |
943 |
else: |
|
944 |
connector = None |
|
945 |
for instance in body.getcontentInstances(): |
|
946 |
if isinstance(instance, plcopen.commonObjects_connector) and instance.getname() == name: |
|
947 |
if connector is not None: |
|
391 | 948 |
raise PLCGenException, _("More than one connector found corresponding to \"%s\" continuation in \"%s\" POU")%(name, self.Name) |
257 | 949 |
connector = instance |
950 |
if connector is not None: |
|
951 |
connections = connector.connectionPointIn.getconnections() |
|
952 |
if connections is not None: |
|
953 |
expression = self.ComputeExpression(body, connections, order) |
|
954 |
self.ComputedConnectors[name] = expression |
|
955 |
paths.append(str(expression)) |
|
956 |
else: |
|
391 | 957 |
raise PLCGenException, _("No connector found corresponding to \"%s\" continuation in \"%s\" POU")%(name, self.Name) |
257 | 958 |
elif isinstance(next, plcopen.ldObjects_contact): |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
959 |
contact_info = (self.TagName, "contact", next.getlocalId()) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
960 |
variable = str(self.ExtractModifier(next, [(next.getvariable(), contact_info + ("reference",))], contact_info)) |
248
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
961 |
result = self.GeneratePaths(next.connectionPointIn.getconnections(), body, order) |
66
fd138fc77510
Adding support for generating network and rung connected to transitions into SFC
lbessard
parents:
58
diff
changeset
|
962 |
if len(result) > 1: |
248
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
963 |
factorized_paths = self.FactorizePaths(result) |
242 | 964 |
if len(factorized_paths) > 1: |
965 |
paths.append([variable, tuple(factorized_paths)]) |
|
966 |
else: |
|
967 |
paths.append([variable] + factorized_paths) |
|
66
fd138fc77510
Adding support for generating network and rung connected to transitions into SFC
lbessard
parents:
58
diff
changeset
|
968 |
elif type(result[0]) == ListType: |
fd138fc77510
Adding support for generating network and rung connected to transitions into SFC
lbessard
parents:
58
diff
changeset
|
969 |
paths.append([variable] + result[0]) |
242 | 970 |
elif result[0] is not None: |
66
fd138fc77510
Adding support for generating network and rung connected to transitions into SFC
lbessard
parents:
58
diff
changeset
|
971 |
paths.append([variable, result[0]]) |
fd138fc77510
Adding support for generating network and rung connected to transitions into SFC
lbessard
parents:
58
diff
changeset
|
972 |
else: |
fd138fc77510
Adding support for generating network and rung connected to transitions into SFC
lbessard
parents:
58
diff
changeset
|
973 |
paths.append(variable) |
257 | 974 |
elif isinstance(next, plcopen.ldObjects_coil): |
975 |
paths.append(str(self.GeneratePaths(next.connectionPointIn.getconnections(), body, order))) |
|
66
fd138fc77510
Adding support for generating network and rung connected to transitions into SFC
lbessard
parents:
58
diff
changeset
|
976 |
return paths |
fd138fc77510
Adding support for generating network and rung connected to transitions into SFC
lbessard
parents:
58
diff
changeset
|
977 |
|
248
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
978 |
def ComputePaths(self, paths, first = False): |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
979 |
if type(paths) == TupleType: |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
980 |
if None in paths: |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
981 |
return [("TRUE", ())] |
66
fd138fc77510
Adding support for generating network and rung connected to transitions into SFC
lbessard
parents:
58
diff
changeset
|
982 |
else: |
248
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
983 |
vars = [self.ComputePaths(path) for path in paths] |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
984 |
if first: |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
985 |
return JoinList([(" OR ", ())], vars) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
986 |
else: |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
987 |
return [("(", ())] + JoinList([(" OR ", ())], vars) + [(")", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
988 |
elif type(paths) == ListType: |
248
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
989 |
vars = [self.ComputePaths(path) for path in paths] |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
990 |
return JoinList([(" AND ", ())], vars) |
501
edfa63d3c26d
Bug in PLCGenerator when Coil is directly connected to LeftPowerRail fixed
pizza
parents:
499
diff
changeset
|
991 |
elif paths is None: |
edfa63d3c26d
Bug in PLCGenerator when Coil is directly connected to LeftPowerRail fixed
pizza
parents:
499
diff
changeset
|
992 |
return [("TRUE", ())] |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
993 |
else: |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
994 |
return eval(paths) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
995 |
|
248
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
996 |
def ComputeExpression(self, body, connections, order = False): |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
997 |
paths = self.GeneratePaths(connections, body, order) |
242 | 998 |
if len(paths) > 1: |
248
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
999 |
factorized_paths = self.FactorizePaths(paths) |
242 | 1000 |
if len(factorized_paths) > 1: |
1001 |
paths = tuple(factorized_paths) |
|
1002 |
else: |
|
1003 |
paths = factorized_paths[0] |
|
1004 |
else: |
|
1005 |
paths = paths[0] |
|
248
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
1006 |
return self.ComputePaths(paths, True) |
242 | 1007 |
|
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1008 |
def ExtractModifier(self, variable, expression, var_info): |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1009 |
if variable.getnegated(): |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1010 |
return [("NOT(", var_info + ("negated",))] + expression + [(")", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1011 |
else: |
269
34eff05909b0
Adding support for EN/ENO variables (temporarily disabled, waiting for matiec support)
lbessard
parents:
261
diff
changeset
|
1012 |
storage = variable.getstorage() |
34eff05909b0
Adding support for EN/ENO variables (temporarily disabled, waiting for matiec support)
lbessard
parents:
261
diff
changeset
|
1013 |
if storage in ["set", "reset"]: |
34eff05909b0
Adding support for EN/ENO variables (temporarily disabled, waiting for matiec support)
lbessard
parents:
261
diff
changeset
|
1014 |
self.Program += [(self.CurrentIndent + "IF ", var_info + (storage,))] + expression |
34eff05909b0
Adding support for EN/ENO variables (temporarily disabled, waiting for matiec support)
lbessard
parents:
261
diff
changeset
|
1015 |
self.Program += [(" THEN\n ", ())] |
34eff05909b0
Adding support for EN/ENO variables (temporarily disabled, waiting for matiec support)
lbessard
parents:
261
diff
changeset
|
1016 |
if storage == "set": |
281 | 1017 |
return [("TRUE; (*set*)\n" + self.CurrentIndent + "END_IF", ())] |
1018 |
else: |
|
1019 |
return [("FALSE; (*reset*)\n" + self.CurrentIndent + "END_IF", ())] |
|
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1020 |
edge = variable.getedge() |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1021 |
if edge == "rising": |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1022 |
return self.AddTrigger("R_TRIG", expression, var_info + ("rising",)) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1023 |
elif edge == "falling": |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1024 |
return self.AddTrigger("F_TRIG", expression, var_info + ("falling",)) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1025 |
return expression |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1026 |
|
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1027 |
def AddTrigger(self, edge, expression, var_info): |
483
779a519f78f2
Replace Retain and Constant column in VariablePanel by Option and add the option Non-Retain
laurent
parents:
408
diff
changeset
|
1028 |
if self.Interface[-1][0] != "VAR" or self.Interface[-1][1] is not None or self.Interface[-1][2]: |
779a519f78f2
Replace Retain and Constant column in VariablePanel by Option and add the option Non-Retain
laurent
parents:
408
diff
changeset
|
1029 |
self.Interface.append(("VAR", None, False, [])) |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1030 |
i = 1 |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1031 |
name = "%s%d"%(edge, i) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1032 |
while self.IsAlreadyDefined(name): |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1033 |
i += 1 |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1034 |
name = "%s%d"%(edge, i) |
483
779a519f78f2
Replace Retain and Constant column in VariablePanel by Option and add the option Non-Retain
laurent
parents:
408
diff
changeset
|
1035 |
self.Interface[-1][3].append((edge, name, None, None)) |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1036 |
self.Program += [(self.CurrentIndent, ()), (name, var_info), ("(CLK := ", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1037 |
self.Program += expression |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1038 |
self.Program += [(");\n", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1039 |
return [("%s.Q"%name, var_info)] |
66
fd138fc77510
Adding support for generating network and rung connected to transitions into SFC
lbessard
parents:
58
diff
changeset
|
1040 |
|
2 | 1041 |
def ExtractDivergenceInput(self, divergence, pou): |
151 | 1042 |
connectionPointIn = divergence.getconnectionPointIn() |
2 | 1043 |
if connectionPointIn: |
151 | 1044 |
connections = connectionPointIn.getconnections() |
201 | 1045 |
if connections is not None and len(connections) == 1: |
151 | 1046 |
instanceLocalId = connections[0].getrefLocalId() |
389 | 1047 |
body = pou.getbody() |
1048 |
if isinstance(body, ListType): |
|
1049 |
body = body[0] |
|
1050 |
return body.getcontentInstance(instanceLocalId) |
|
2 | 1051 |
return None |
1052 |
||
1053 |
def ExtractConvergenceInputs(self, convergence, pou): |
|
1054 |
instances = [] |
|
151 | 1055 |
for connectionPointIn in convergence.getconnectionPointIn(): |
1056 |
connections = connectionPointIn.getconnections() |
|
499
cecb4369fa42
Bug when trying to generate SFC with unconnected connectors fixed
laurent
parents:
483
diff
changeset
|
1057 |
if connections is not None and len(connections) == 1: |
151 | 1058 |
instanceLocalId = connections[0].getrefLocalId() |
389 | 1059 |
body = pou.getbody() |
1060 |
if isinstance(body, ListType): |
|
1061 |
body = body[0] |
|
1062 |
instances.append(body.getcontentInstance(instanceLocalId)) |
|
2 | 1063 |
return instances |
1064 |
||
1 | 1065 |
def GenerateSFCStep(self, step, pou): |
151 | 1066 |
step_name = step.getname() |
1 | 1067 |
if step_name not in self.SFCNetworks["Steps"].keys(): |
151 | 1068 |
if step.getinitialStep(): |
1 | 1069 |
self.InitialSteps.append(step_name) |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1070 |
step_infos = {"id" : step.getlocalId(), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1071 |
"initial" : step.getinitialStep(), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1072 |
"transitions" : [], |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1073 |
"actions" : []} |
0 | 1074 |
if step.connectionPointIn: |
1075 |
instances = [] |
|
151 | 1076 |
connections = step.connectionPointIn.getconnections() |
499
cecb4369fa42
Bug when trying to generate SFC with unconnected connectors fixed
laurent
parents:
483
diff
changeset
|
1077 |
if connections is not None and len(connections) == 1: |
151 | 1078 |
instanceLocalId = connections[0].getrefLocalId() |
389 | 1079 |
body = pou.getbody() |
1080 |
if isinstance(body, ListType): |
|
1081 |
body = body[0] |
|
1082 |
instance = body.getcontentInstance(instanceLocalId) |
|
151 | 1083 |
if isinstance(instance, plcopen.sfcObjects_transition): |
0 | 1084 |
instances.append(instance) |
151 | 1085 |
elif isinstance(instance, plcopen.sfcObjects_selectionConvergence): |
2 | 1086 |
instances.extend(self.ExtractConvergenceInputs(instance, pou)) |
151 | 1087 |
elif isinstance(instance, plcopen.sfcObjects_simultaneousDivergence): |
2 | 1088 |
transition = self.ExtractDivergenceInput(instance, pou) |
1089 |
if transition: |
|
151 | 1090 |
if isinstance(transition, plcopen.sfcObjects_transition): |
1 | 1091 |
instances.append(transition) |
151 | 1092 |
elif isinstance(transition, plcopen.sfcObjects_selectionConvergence): |
2 | 1093 |
instances.extend(self.ExtractConvergenceInputs(transition, pou)) |
0 | 1094 |
for instance in instances: |
2 | 1095 |
self.GenerateSFCTransition(instance, pou) |
1 | 1096 |
if instance in self.SFCNetworks["Transitions"].keys(): |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1097 |
target_info = (self.TagName, "transition", instance.getlocalId(), "to", step_infos["id"]) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1098 |
self.SFCNetworks["Transitions"][instance]["to"].append([(step_name, target_info)]) |
1 | 1099 |
self.SFCNetworks["Steps"][step_name] = step_infos |
0 | 1100 |
|
1101 |
def GenerateSFCJump(self, jump, pou): |
|
151 | 1102 |
jump_target = jump.gettargetName() |
0 | 1103 |
if jump.connectionPointIn: |
1104 |
instances = [] |
|
151 | 1105 |
connections = jump.connectionPointIn.getconnections() |
499
cecb4369fa42
Bug when trying to generate SFC with unconnected connectors fixed
laurent
parents:
483
diff
changeset
|
1106 |
if connections is not None and len(connections) == 1: |
151 | 1107 |
instanceLocalId = connections[0].getrefLocalId() |
389 | 1108 |
body = pou.getbody() |
1109 |
if isinstance(body, ListType): |
|
1110 |
body = body[0] |
|
1111 |
instance = body.getcontentInstance(instanceLocalId) |
|
151 | 1112 |
if isinstance(instance, plcopen.sfcObjects_transition): |
0 | 1113 |
instances.append(instance) |
151 | 1114 |
elif isinstance(instance, plcopen.sfcObjects_selectionConvergence): |
2 | 1115 |
instances.extend(self.ExtractConvergenceInputs(instance, pou)) |
151 | 1116 |
elif isinstance(instance, plcopen.sfcObjects_simultaneousDivergence): |
2 | 1117 |
transition = self.ExtractDivergenceInput(instance, pou) |
1118 |
if transition: |
|
151 | 1119 |
if isinstance(transition, plcopen.sfcObjects_transition): |
1 | 1120 |
instances.append(transition) |
151 | 1121 |
elif isinstance(transition, plcopen.sfcObjects_selectionConvergence): |
2 | 1122 |
instances.extend(self.ExtractConvergenceInputs(transition, pou)) |
0 | 1123 |
for instance in instances: |
2 | 1124 |
self.GenerateSFCTransition(instance, pou) |
1 | 1125 |
if instance in self.SFCNetworks["Transitions"].keys(): |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1126 |
target_info = (self.TagName, "jump", jump.getlocalId(), "target") |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1127 |
self.SFCNetworks["Transitions"][instance]["to"].append([(jump_target, target_info)]) |
1 | 1128 |
|
1129 |
def GenerateSFCStepActions(self, actionBlock, pou): |
|
151 | 1130 |
connections = actionBlock.connectionPointIn.getconnections() |
201 | 1131 |
if connections is not None and len(connections) == 1: |
151 | 1132 |
stepLocalId = connections[0].getrefLocalId() |
389 | 1133 |
body = pou.getbody() |
1134 |
if isinstance(body, ListType): |
|
1135 |
body = body[0] |
|
1136 |
step = body.getcontentInstance(stepLocalId) |
|
1 | 1137 |
self.GenerateSFCStep(step, pou) |
151 | 1138 |
step_name = step.getname() |
1 | 1139 |
if step_name in self.SFCNetworks["Steps"].keys(): |
151 | 1140 |
actions = actionBlock.getactions() |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1141 |
for i, action in enumerate(actions): |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1142 |
action_infos = {"id" : actionBlock.getlocalId(), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1143 |
"qualifier" : action["qualifier"], |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1144 |
"content" : action["value"], |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1145 |
"num" : i} |
1 | 1146 |
if "duration" in action: |
1147 |
action_infos["duration"] = action["duration"] |
|
1148 |
if "indicator" in action: |
|
1149 |
action_infos["indicator"] = action["indicator"] |
|
1150 |
if action["type"] == "reference": |
|
1151 |
self.GenerateSFCAction(action["value"], pou) |
|
46 | 1152 |
else: |
168
fb500cc79164
Adding support for structure variable list generation module in matiec
lbessard
parents:
151
diff
changeset
|
1153 |
action_name = "%s_INLINE%d"%(step_name.upper(), self.GetActionNumber()) |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1154 |
self.SFCNetworks["Actions"][action_name] = ([(self.CurrentIndent, ()), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1155 |
(action["value"], (self.TagName, "action_block", action_infos["id"], "action", i, "inline")), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1156 |
("\n", ())], ()) |
46 | 1157 |
action_infos["content"] = action_name |
1 | 1158 |
self.SFCNetworks["Steps"][step_name]["actions"].append(action_infos) |
1159 |
||
1160 |
def GenerateSFCAction(self, action_name, pou): |
|
1161 |
if action_name not in self.SFCNetworks["Actions"].keys(): |
|
151 | 1162 |
actionContent = pou.getaction(action_name) |
1 | 1163 |
if actionContent: |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1164 |
previous_tagname = self.TagName |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1165 |
self.TagName = self.ParentGenerator.Controler.ComputePouActionName(self.Name, action_name) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1166 |
self.ComputeProgram(actionContent) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1167 |
self.SFCNetworks["Actions"][action_name] = (self.Program, (self.TagName, "name")) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1168 |
self.Program = [] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1169 |
self.TagName = previous_tagname |
1 | 1170 |
|
1171 |
def GenerateSFCTransition(self, transition, pou): |
|
1172 |
if transition not in self.SFCNetworks["Transitions"].keys(): |
|
1173 |
steps = [] |
|
151 | 1174 |
connections = transition.connectionPointIn.getconnections() |
201 | 1175 |
if connections is not None and len(connections) == 1: |
151 | 1176 |
instanceLocalId = connections[0].getrefLocalId() |
389 | 1177 |
body = pou.getbody() |
1178 |
if isinstance(body, ListType): |
|
1179 |
body = body[0] |
|
1180 |
instance = body.getcontentInstance(instanceLocalId) |
|
151 | 1181 |
if isinstance(instance, plcopen.sfcObjects_step): |
2 | 1182 |
steps.append(instance) |
151 | 1183 |
elif isinstance(instance, plcopen.sfcObjects_selectionDivergence): |
2 | 1184 |
step = self.ExtractDivergenceInput(instance, pou) |
1185 |
if step: |
|
151 | 1186 |
if isinstance(step, plcopen.sfcObjects_step): |
2 | 1187 |
steps.append(step) |
151 | 1188 |
elif isinstance(step, plcopen.sfcObjects_simultaneousConvergence): |
2 | 1189 |
steps.extend(self.ExtractConvergenceInputs(step, pou)) |
151 | 1190 |
elif isinstance(instance, plcopen.sfcObjects_simultaneousConvergence): |
2 | 1191 |
steps.extend(self.ExtractConvergenceInputs(instance, pou)) |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1192 |
transition_infos = {"id" : transition.getlocalId(), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1193 |
"priority": transition.getpriority(), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1194 |
"from": [], |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1195 |
"to" : []} |
151 | 1196 |
transitionValues = transition.getconditionContent() |
1 | 1197 |
if transitionValues["type"] == "inline": |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1198 |
transition_infos["content"] = [("\n%s:= "%self.CurrentIndent, ()), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1199 |
(transitionValues["value"], (self.TagName, "transition", transition.getlocalId(), "inline")), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1200 |
(";\n", ())] |
66
fd138fc77510
Adding support for generating network and rung connected to transitions into SFC
lbessard
parents:
58
diff
changeset
|
1201 |
elif transitionValues["type"] == "reference": |
151 | 1202 |
transitionContent = pou.gettransition(transitionValues["value"]) |
1203 |
transitionType = transitionContent.getbodyType() |
|
1204 |
transitionBody = transitionContent.getbody() |
|
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1205 |
previous_tagname = self.TagName |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1206 |
self.TagName = self.ParentGenerator.Controler.ComputePouTransitionName(self.Name, transitionValues["value"]) |
1 | 1207 |
if transitionType == "IL": |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1208 |
transition_infos["content"] = [(":\n", ()), |
228
da7ddaf27cca
Bug with indentation in textual languages while error display fixed
lbessard
parents:
227
diff
changeset
|
1209 |
(ReIndentText(transitionBody.gettext(), len(self.CurrentIndent)), (self.TagName, "body", len(self.CurrentIndent)))] |
1 | 1210 |
elif transitionType == "ST": |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1211 |
transition_infos["content"] = [("\n", ()), |
228
da7ddaf27cca
Bug with indentation in textual languages while error display fixed
lbessard
parents:
227
diff
changeset
|
1212 |
(ReIndentText(transitionBody.gettext(), len(self.CurrentIndent)), (self.TagName, "body", len(self.CurrentIndent)))] |
248
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
1213 |
else: |
151 | 1214 |
for instance in transitionBody.getcontentInstances(): |
248
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
1215 |
if isinstance(instance, plcopen.fbdObjects_outVariable) and instance.getexpression() == transitionValues["value"]\ |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
1216 |
or isinstance(instance, plcopen.ldObjects_coil) and instance.getvariable() == transitionValues["value"]: |
151 | 1217 |
connections = instance.connectionPointIn.getconnections() |
248
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
1218 |
if connections is not None: |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
1219 |
expression = self.ComputeExpression(transitionBody, connections) |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1220 |
transition_infos["content"] = [("\n%s:= "%self.CurrentIndent, ())] + expression + [(";\n", ())] |
72
73212220ad22
Adding support for generating FBD with connectors and continuations
lbessard
parents:
71
diff
changeset
|
1221 |
self.SFCComputedBlocks += self.Program |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1222 |
self.Program = [] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1223 |
self.TagName = previous_tagname |
66
fd138fc77510
Adding support for generating network and rung connected to transitions into SFC
lbessard
parents:
58
diff
changeset
|
1224 |
elif transitionValues["type"] == "connection": |
151 | 1225 |
body = pou.getbody() |
389 | 1226 |
if isinstance(body, ListType): |
1227 |
body = body[0] |
|
151 | 1228 |
connections = transition.getconnections() |
248
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
1229 |
if connections is not None: |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
1230 |
expression = self.ComputeExpression(body, connections) |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
1231 |
transition_infos["content"] = [("\n%s:= "%self.CurrentIndent, ())] + expression + [(";\n", ())] |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
1232 |
self.SFCComputedBlocks += self.Program |
f7df265edd54
Problem with multi-connection on block in LD fixed
lbessard
parents:
244
diff
changeset
|
1233 |
self.Program = [] |
2 | 1234 |
for step in steps: |
1235 |
self.GenerateSFCStep(step, pou) |
|
151 | 1236 |
step_name = step.getname() |
1 | 1237 |
if step_name in self.SFCNetworks["Steps"].keys(): |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1238 |
transition_infos["from"].append([(step_name, (self.TagName, "transition", transition.getlocalId(), "from", step.getlocalId()))]) |
1 | 1239 |
self.SFCNetworks["Steps"][step_name]["transitions"].append(transition) |
1240 |
self.SFCNetworks["Transitions"][transition] = transition_infos |
|
1241 |
||
1242 |
def ComputeSFCStep(self, step_name): |
|
1243 |
if step_name in self.SFCNetworks["Steps"].keys(): |
|
1244 |
step_infos = self.SFCNetworks["Steps"].pop(step_name) |
|
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1245 |
self.Program += [(self.CurrentIndent, ())] |
1 | 1246 |
if step_infos["initial"]: |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1247 |
self.Program += [("INITIAL_", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1248 |
self.Program += [("STEP ", ()), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1249 |
(step_name, (self.TagName, "step", step_infos["id"], "name")), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1250 |
(":\n", ())] |
1 | 1251 |
actions = [] |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1252 |
self.IndentRight() |
1 | 1253 |
for action_infos in step_infos["actions"]: |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1254 |
if action_infos.get("id", None) is not None: |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1255 |
action_info = (self.TagName, "action_block", action_infos["id"], "action", action_infos["num"]) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1256 |
else: |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1257 |
action_info = () |
1 | 1258 |
actions.append(action_infos["content"]) |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1259 |
self.Program += [(self.CurrentIndent, ()), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1260 |
(action_infos["content"], action_info + ("reference",)), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1261 |
("(", ()), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1262 |
(action_infos["qualifier"], action_info + ("qualifier",))] |
1 | 1263 |
if "duration" in action_infos: |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1264 |
self.Program += [(", ", ()), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1265 |
(action_infos["duration"], action_info + ("duration",))] |
1 | 1266 |
if "indicator" in action_infos: |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1267 |
self.Program += [(", ", ()), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1268 |
(action_infos["indicator"], action_info + ("indicator",))] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1269 |
self.Program += [(");\n", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1270 |
self.IndentLeft() |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1271 |
self.Program += [("%sEND_STEP\n\n"%self.CurrentIndent, ())] |
1 | 1272 |
for action in actions: |
1273 |
self.ComputeSFCAction(action) |
|
1274 |
for transition in step_infos["transitions"]: |
|
1275 |
self.ComputeSFCTransition(transition) |
|
1276 |
||
1277 |
def ComputeSFCAction(self, action_name): |
|
1278 |
if action_name in self.SFCNetworks["Actions"].keys(): |
|
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1279 |
action_content, action_info = self.SFCNetworks["Actions"].pop(action_name) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1280 |
self.Program += [("%sACTION "%self.CurrentIndent, ()), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1281 |
(action_name, action_info), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1282 |
(" :\n", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1283 |
self.Program += action_content |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1284 |
self.Program += [("%sEND_ACTION\n\n"%self.CurrentIndent, ())] |
1 | 1285 |
|
1286 |
def ComputeSFCTransition(self, transition): |
|
1287 |
if transition in self.SFCNetworks["Transitions"].keys(): |
|
1288 |
transition_infos = self.SFCNetworks["Transitions"].pop(transition) |
|
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1289 |
self.Program += [("%sTRANSITION"%self.CurrentIndent, ())] |
80 | 1290 |
if transition_infos["priority"] != None: |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1291 |
self.Program += [(" (PRIORITY := ", ()), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1292 |
("%d"%transition_infos["priority"], (self.TagName, "transition", transition_infos["id"], "priority")), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1293 |
(")", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1294 |
self.Program += [(" FROM ", ())] |
1 | 1295 |
if len(transition_infos["from"]) > 1: |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1296 |
self.Program += [("(", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1297 |
self.Program += JoinList([(", ", ())], transition_infos["from"]) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1298 |
self.Program += [(")", ())] |
201 | 1299 |
elif len(transition_infos["from"]) == 1: |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1300 |
self.Program += transition_infos["from"][0] |
201 | 1301 |
else: |
391 | 1302 |
raise PLCGenException, _("Transition with content \"%s\" not connected to a previous step in \"%s\" POU")%(transition_infos["content"], self.Name) |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1303 |
self.Program += [(" TO ", ())] |
1 | 1304 |
if len(transition_infos["to"]) > 1: |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1305 |
self.Program += [("(", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1306 |
self.Program += JoinList([(", ", ())], transition_infos["to"]) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1307 |
self.Program += [(")", ())] |
201 | 1308 |
elif len(transition_infos["to"]) == 1: |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1309 |
self.Program += transition_infos["to"][0] |
201 | 1310 |
else: |
391 | 1311 |
raise PLCGenException, _("Transition with content \"%s\" not connected to a next step in \"%s\" POU")%(transition_infos["content"], self.Name) |
1 | 1312 |
self.Program += transition_infos["content"] |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1313 |
self.Program += [("%sEND_TRANSITION\n\n"%self.CurrentIndent, ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1314 |
for [(step_name, step_infos)] in transition_infos["to"]: |
1 | 1315 |
self.ComputeSFCStep(step_name) |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1316 |
|
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1317 |
def GenerateProgram(self, pou): |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1318 |
self.ComputeInterface(pou) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1319 |
self.ComputeConnectionTypes(pou) |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1320 |
self.ComputeProgram(pou) |
1 | 1321 |
|
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1322 |
program = [("%s "%self.Type, ()), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1323 |
(self.Name, (self.TagName, "name"))] |
1 | 1324 |
if self.ReturnType: |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1325 |
program += [(" : ", ()), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1326 |
(self.ReturnType, (self.TagName, "return"))] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1327 |
program += [("\n", ())] |
214
a88b377f75cb
Adding tests for detecting POUs with no variables or/and no body
lbessard
parents:
208
diff
changeset
|
1328 |
if len(self.Interface) == 0: |
391 | 1329 |
raise PLCGenException, _("No variable defined in \"%s\" POU")%self.Name |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1330 |
if len(self.Program) == 0 : |
391 | 1331 |
raise PLCGenException, _("No body defined in \"%s\" POU")%self.Name |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1332 |
var_number = 0 |
483
779a519f78f2
Replace Retain and Constant column in VariablePanel by Option and add the option Non-Retain
laurent
parents:
408
diff
changeset
|
1333 |
for list_type, option, located, variables in self.Interface: |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1334 |
program += [(" %s"%list_type, ())] |
483
779a519f78f2
Replace Retain and Constant column in VariablePanel by Option and add the option Non-Retain
laurent
parents:
408
diff
changeset
|
1335 |
if option is not None: |
779a519f78f2
Replace Retain and Constant column in VariablePanel by Option and add the option Non-Retain
laurent
parents:
408
diff
changeset
|
1336 |
program += [(" %s"%option, (self.TagName, "variable", (var_number, var_number + len(variables)), option.lower()))] |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1337 |
program += [("\n", ())] |
30 | 1338 |
for var_type, var_name, var_address, var_initial in variables: |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1339 |
program += [(" ", ())] |
93 | 1340 |
if var_name: |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1341 |
program += [(var_name, (self.TagName, "variable", var_number, "name")), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1342 |
(" ", ())] |
30 | 1343 |
if var_address != None: |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1344 |
program += [("AT ", ()), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1345 |
(var_address, (self.TagName, "variable", var_number, "address")), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1346 |
(" ", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1347 |
program += [(": ", ()), |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1348 |
(var_type, (self.TagName, "variable", var_number, "type"))] |
28
fc23e1f415d8
Adding support for concurrent overriden standard function
lbessard
parents:
6
diff
changeset
|
1349 |
if var_initial != None: |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1350 |
program += [(" := ", ()), |
232 | 1351 |
(self.ParentGenerator.ComputeValue(var_initial, var_type), (self.TagName, "variable", var_number, "initial"))] |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1352 |
program += [(";\n", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1353 |
var_number += 1 |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1354 |
program += [(" END_VAR\n", ())] |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1355 |
program += [("\n", ())] |
0 | 1356 |
program += self.Program |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1357 |
program += [("END_%s\n\n"%self.Type, ())] |
0 | 1358 |
return program |
71 | 1359 |
|
307
fd1f6ae26d4f
Adding support for cancelling code generation of function with no input connected
lbessard
parents:
295
diff
changeset
|
1360 |
def GenerateCurrentProgram(controler, project, errors, warnings): |
fd1f6ae26d4f
Adding support for cancelling code generation of function with no input connected
lbessard
parents:
295
diff
changeset
|
1361 |
generator = ProgramGenerator(controler, project, errors, warnings) |
227
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1362 |
generator.GenerateProgram() |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1363 |
return generator.GetGeneratedProgram() |
c6fee379d446
Adding informations to program chunks to allow display of compiling errors from matiec
lbessard
parents:
215
diff
changeset
|
1364 |