class SpecGenerator_Spec(TestCase):
def setUp(self):
self.spec_generator = SpecGenerator('/home/hudson/projetos/yakinduparser/parser/spec/resources/refrigerator.odt')
def test_there_are_at_least_two_states(self):
states_list = []
states_list = self.spec_generator._get_states_content()
states_list |should_not| be_empty
states_list |should| be_greater_than_or_equal_to(2)
states_list |should| equal_to(['refrigeratordoorclosed', 'refrigeratordooropened'])
def test_there_is_a_initial_state(self):
initial_state_list = []
initial_state_list = self.spec_generator._clean_initial_state()
initial_state_list |should_not| be_empty
initial_state_list |should| equal_to(set(['refrigeratordoorclosed']))
def test_sequence_transitions(self):
sequence_transitions_list = []
sequence_transitions_list = self.spec_generator._join_sequence_transitions()
sequence_transitions_list |should_not| be_empty
sequence_transitions_list |should| be_greater_than_or_equal_to(2)
sequence_transitions_list |should| equal_to([['refrigeratordoorclosed', 'opendoor', 'refrigeratordooropened'], ['refrigeratordooropened', 'closedoor', 'refrigeratordoorclosed']])
def setUp(self):
self.spec_generator = SpecGenerator('/home/hudson/projetos/yakinduparser/parser/spec/resources/refrigerator.odt')
