Esempio n. 1
0
 def __del__(self):
     if self.case is not -1:
         pystir.closeChannel(self.channel, self.printer)
         if self.case == 0:
             pystir.deleteTextPrinter(self.printer)
         else:
             pystir.deleteTextWriter(self.printer)
Esempio n. 2
0
 def __del__(self):
     if self.case is not -1:
         pystir.closeChannel(self.channel, self.printer)
         if self.case == 0:
             pystir.deleteTextPrinter(self.printer)
         else:
             pystir.deleteTextWriter(self.printer)
Esempio n. 3
0
 def __del__(self):
     if self.info_case is not -1:
         if self.info_case == 0:
             pystir.deleteTextPrinter(self.info)
         else:
             pystir.deleteTextWriter(self.info)
         pystir.closeChannel(0, self.info)
     if self.warn_case is not -1:
         if self.warn_case == 0:
             pystir.deleteTextPrinter(self.warn)
         else:
             pystir.deleteTextWriter(self.warn)
         pystir.closeChannel(1, self.warn)
     if self.errr_case is not -1:
         if self.errr_case == 0:
             pystir.deleteTextPrinter(self.errr)
         else:
             pystir.deleteTextWriter(self.errr)
         pystir.closeChannel(2, self.errr)
Esempio n. 4
0
 def __del__(self):
     if self.info_case is not -1:
         if self.info_case == 0:
             pystir.deleteTextPrinter(self.info)
         else:
             pystir.deleteTextWriter(self.info)
         pystir.closeChannel(0, self.info)
     if self.warn_case is not -1:
         if self.warn_case == 0:
             pystir.deleteTextPrinter(self.warn)
         else:
             pystir.deleteTextWriter(self.warn)
         pystir.closeChannel(1, self.warn)
     if self.errr_case is not -1:
         if self.errr_case == 0:
             pystir.deleteTextPrinter(self.errr)
         else:
             pystir.deleteTextWriter(self.errr)
         pystir.closeChannel(2, self.errr)