(self)
| 209 | return self.numInits <= 1 and all([child.isMisra94Compliant() for child in self.children]) |
| 210 | |
| 211 | def isMisra95Compliant(self): |
| 212 | return not self.isFlexible or all([not child.isDesignated for child in self.children]) |
| 213 | |
| 214 | # Parses the initializers and update the ElementDefs status accordingly |
| 215 | class InitializerParser: |