1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
|
# -*- coding: utf-8 -*-
#
# AWL simulator - blocks
# Copyright 2012-2013 Michael Buesch <m@bues.ch>
#
# Licensed under the terms of the GNU General Public License version 2.
#
from awllabels import *
from awlstruct import *
from util import *
class BlockInterface(object):
class Field(object):
enum.start = -1
FTYPE_UNKNOWN = enum.item
FTYPE_IN = enum.item
FTYPE_OUT = enum.item
FTYPE_INOUT = enum.item
FTYPE_STAT = enum.item
FTYPE_TEMP = enum.item
enum.end
def __init__(self, name, dataType, initialValue=None):
self.name = name
self.dataType = dataType
self.fieldType = self.FTYPE_UNKNOWN
self.initialValue = initialValue
def __init__(self):
self.struct = None # Instance-DB structure (IN, OUT, INOUT, STAT)
self.tempStruct = None # Local-stack structure (TEMP)
self.fieldNameMap = {}
self.fields_IN = []
self.fields_OUT = []
self.fields_INOUT = []
self.fields_STAT = []
self.fields_TEMP = []
self.interfaceFieldCount = 0
self.staticFieldCount = 0
self.tempFieldCount = 0
def __addField(self, field):
if field.name in self.fieldNameMap:
raise AwlSimError("Data structure name '%s' is ambiguous." %\
field.name)
if field.fieldType == BlockInterface.Field.FTYPE_TEMP:
self.tempFieldCount += 1
elif field.fieldType == BlockInterface.Field.FTYPE_STAT:
self.staticFieldCount += 1
else:
self.interfaceFieldCount += 1
self.fieldNameMap[field.name] = field
def addField_IN(self, field):
field.fieldType = field.FTYPE_IN
self.__addField(field)
self.fields_IN.append(field)
def addField_OUT(self, field):
field.fieldType = field.FTYPE_OUT
self.__addField(field)
self.fields_OUT.append(field)
def addField_INOUT(self, field):
field.fieldType = field.FTYPE_INOUT
self.__addField(field)
self.fields_INOUT.append(field)
def addField_STAT(self, field):
field.fieldType = field.FTYPE_STAT
self.__addField(field)
self.fields_STAT.append(field)
def addField_TEMP(self, field):
field.fieldType = field.FTYPE_TEMP
self.__addField(field)
self.fields_TEMP.append(field)
def __buildField(self, struct, field, isFirst):
if isFirst:
struct.addFieldAligned(field.name,
field.dataType.width, 2)
else:
struct.addFieldNaturallyAligned(field.name,
field.dataType.width)
def buildDataStructure(self):
# Build interface-DB structure
self.struct = AwlStruct()
for i, field in enumerate(self.fields_IN):
self.__buildField(self.struct, field, i==0)
for i, field in enumerate(self.fields_OUT):
self.__buildField(self.struct, field, i==0)
for i, field in enumerate(self.fields_INOUT):
self.__buildField(self.struct, field, i==0)
for i, field in enumerate(self.fields_STAT):
self.__buildField(self.struct, field, i==0)
# Build local-stack structure
self.tempStruct = AwlStruct()
for i, field in enumerate(self.fields_TEMP):
self.__buildField(self.tempStruct, field, i==0)
def getFieldByName(self, name):
try:
return self.fieldNameMap[name]
except KeyError:
raise AwlSimError("Data structure field '%s' does not exist." %\
name)
def __repr__(self):
ret = []
for flist, fname in ((self.fields_IN, "VAR_IN"),
(self.fields_OUT, "VAR_OUT"),
(self.fields_INOUT, "VAR_IN_OUT")):
if not flist:
continue
ret.append(fname)
for field in flist:
ret.append(" %s : %s;" %\
(field.name, str(field.dataType)))
ret.append("END_VAR")
return '\n'.join(ret)
class Block(object):
def __init__(self, insns, index, interface):
self.insns = insns
self.labels = None
self.index = index
if insns:
self.labels = AwlLabel.resolveLabels(insns)
self.interface = interface
def __repr__(self):
return "Block %d" % self.index
class OBInterface(BlockInterface):
def addField_IN(self, field):
raise AwlSimError("VAR_INPUT not possible in an OB")
def addField_OUT(self, field):
raise AwlSimError("VAR_OUTPUT not possible in an OB")
def addField_INOUT(self, field):
raise AwlSimError("VAR_IN_OUT not possible in an OB")
def addField_STAT(self, field):
raise AwlSimError("Static VAR not possible in an OB")
class OB(Block):
def __init__(self, insns, index):
Block.__init__(self, insns, index, OBInterface())
def __repr__(self):
return "OB %d" % self.index
class FBInterface(BlockInterface):
pass
class FB(Block):
def __init__(self, insns, index):
Block.__init__(self, insns, index, FBInterface())
def __repr__(self):
return "FB %d" % self.index
class SFBInterface(FBInterface):
pass
class SFB(Block):
def __init__(self, index):
Block.__init__(self, None, index, SFBInterface())
def run(self, cpu, dbOper):
pass # Reimplement this method
def __repr__(self):
return "SFB %d" % self.index
class FCInterface(BlockInterface):
def addField_STAT(self, field):
raise AwlSimError("Static VAR not possible in an FC")
class FC(Block):
def __init__(self, insns, index):
Block.__init__(self, insns, index, FCInterface())
def __repr__(self):
return "FC %d" % self.index
class SFCInterface(FCInterface):
pass
class SFC(Block):
def __init__(self, index):
Block.__init__(self, None, index, SFCInterface())
def run(self, cpu):
pass # Reimplement this method
def __repr__(self):
return "SFC %d" % self.index
|