| 1298 | |
| 1299 | |
| 1300 | class OvalState(OvalElement): |
| 1301 | def __init__(self, element): |
| 1302 | # self.element = element.getElement() |
| 1303 | self.element = element |
| 1304 | |
| 1305 | def getType(self): |
| 1306 | return OvalElement.STATE |
| 1307 | |
| 1308 | |
| 1309 | class OvalVariable(OvalElement): |