Beispiel #1
0
 def __init__(self, decl):
     Imp.__init__(self, decl)
     self.counter = 0
Beispiel #2
0
 def __init__(self, decl, propertyName):
     Imp.__init__(self, decl)
     self.propertyName = propertyName
Beispiel #3
0
 def __init__(self, decl):
     Imp.__init__(self, decl)
     self.val = "Test-Failed"
Beispiel #4
0
 def __init__(self, decl):
     Imp.__init__(self, decl)
     self._detindices_lists = ()
     self._det_check_all = False
     self._idsym = Symbol(self.symbol.id)
Beispiel #5
0
 def __init__(self, decl):
     Imp.__init__(self, decl)
     self._detindices_lists = ()
     self._det_check_all = False
     self._idsym = Symbol(self.symbol.id)
Beispiel #6
0
 def __init__(self, decl):
     Imp.__init__(self, decl)
     self.val = "Test-Failed"