def __str__(self): if isinstance(self.arrival, list): start = merge_with(self.start, '&') arrival = merge_with(self.arrival, '&') else: start = self.start arrival = self.arrival return self.event + ': ' + start + ' -> ' + arrival
def print_deadlock_states(synchronized_class): states = detect_deadlock_states(synchronized_class) if states: print("Deadlocks found for the following states:") for state in states: print("\t" + merge_with(state, "&")) else: print("No deadlocks found")
def print_deadlock_states(synchronized_class): states = detect_deadlock_states(synchronized_class) if states: print('Deadlocks found for the following states:') for state in states: print('\t' + merge_with(state, '&')) else: print('No deadlocks found')
def __str__(self): res = 'class ' + self.name + '\n' basic_block_res = 'state ' if isinstance(self.states[0], list): for state in self.states: basic_block_res += merge_with(state, '&') + ', ' basic_block_res = basic_block_res.strip(', ') else: basic_block_res += ', '.join(self.states) basic_block_res += ';\n' + events_to_str(self.events) + '\n' basic_block_res += transitions_and_observers_to_str(self.transitions, self.observers) for line in str(basic_block_res).split('\n'): res += '\t' + line + '\n' res += 'end\n' return res
def __str__(self): res = 'class ' + self.name + '\n' basic_block_res = 'state ' if isinstance(self.states[0], list): for state in self.states: basic_block_res += merge_with(state, '&') + ', ' basic_block_res = basic_block_res.strip(', ') else: basic_block_res += ', '.join(self.states) basic_block_res += ';\n' + events_to_str(self.events) + '\n' basic_block_res += transitions_and_observers_to_str( self.transitions, self.observers) for line in str(basic_block_res).split('\n'): res += '\t' + line + '\n' res += 'end\n' return res