Пример #1
0
 def __str__(self):
     r = "EXIT:\n"
     r += "  S: {0}\n".format(self.state.fullName())
     if self.condition:
         r += "  C: {0}\n".format(utils.padlines(self.condition, 5))
     if self.output:
         r += "  O: {0}\n".format(utils.padlines(self.output, 5))
     return r
Пример #2
0
 def __str__(self):
     if self.priority == 0:
         r = "TRANSITION:\n"
     else:
         r = "TRANSITION: [{0}]\n".format(self.priority)
     r += "  S: {0}\n".format(self.start.fullName())
     r += "  N: {0}\n".format(self.end.fullName())
     if self.condition:
         r += "  C: {0}\n".format(utils.padlines(self.condition,5))        
     if self.event:
         r += "  E: {0}\n".format(self.event)
     elif self.time >= 0:
         if not self.onceTimed:
             r += "  T: {0}\n".format(self.time)
         else:
             r += "  T: {0} [OTT]\n".format(self.time)
     else:
         logging.warning( "Transition " + self.start.fullName() + "->" + self.end.fullName() + " will be implicitly set time event 0")
         r += "  T: 0\n"
     if self.output.strip() != "":
         r += "  O: {0}\n".format(utils.padlines(self.output,5))
     return r