void test_message_passing_for_intergrated_test(void)
{
	LedData ledData;
	ButtonData buttonData;

    ledInitData(&ledData);
    buttonInitData(&buttonData);

    //off to blink
    readUserButton_ExpectAndReturn(1);
    buttonSM(&buttonData);
    turnOffLED_Expect(PORTG, LED3);
    ledSM(&ledData);

    TEST_ASSERT_EQUAL(buttonData.state, PRESS);
    TEST_ASSERT_EQUAL(ledData.state, LED_BLINKING_ON);

    //blinking on to blinking off
    readUserButton_ExpectAndReturn(0);
    buttonSM(&buttonData);
    turnOnLED_Expect(PORTG, LED3);
    isTimerExpire_ExpectAndReturn(FIVE_HUND_MILISEC, &ledData.time, 1);
    ledSM(&ledData);

    TEST_ASSERT_EQUAL(buttonData.state, RELEASE);
    TEST_ASSERT_EQUAL(ledData.state, LED_BLINKING_OFF);
    
    //blinking off to blinking on
    readUserButton_ExpectAndReturn(0);
    buttonSM(&buttonData);
    turnOffLED_Expect(PORTG, LED3);
    isTimerExpire_ExpectAndReturn(FIVE_HUND_MILISEC, &ledData.time, 1);
    ledSM(&ledData);

    TEST_ASSERT_EQUAL(buttonData.state, RELEASE);
    TEST_ASSERT_EQUAL(ledData.state, LED_BLINKING_ON);
    
    //blinking off to on
    ledData.state = LED_BLINKING_OFF;
    readUserButton_ExpectAndReturn(1);
    buttonSM(&buttonData);
    turnOffLED_Expect(PORTG, LED3);
    ledSM(&ledData);

    TEST_ASSERT_EQUAL(buttonData.state, PRESS);
    TEST_ASSERT_EQUAL(ledData.state, LED_ON);
    
    //on to off
    readUserButton_ExpectAndReturn(0);
    buttonSM(&buttonData);
    turnOnLED_Expect(PORTG, LED3);
    ledSM(&ledData);
    readUserButton_ExpectAndReturn(1);
    buttonSM(&buttonData);
    turnOnLED_Expect(PORTG, LED3);
    ledSM(&ledData);

    TEST_ASSERT_EQUAL(buttonData.state, PRESS);
    TEST_ASSERT_EQUAL(ledData.state, LED_OFF);
}
void test_LedSM_should_change_state_to_LED_BLINKING_ON_when_receive_message_CHANGE_MODE___INITIAL_LED_OFF()
{
	LedData ledData ; 
	ledInitData(&ledData);

	msg = DO_NOTHING ;
	
	turnOffLED_Expect(LED3);
	ledSM(&ledData);
	TEST_ASSERT_EQUAL(ledData.state,LED_OFF);

 	msg = CHANGE_MODE;
	
	turnOffLED_Expect(LED3);
	ledSM(&ledData);
	TEST_ASSERT_EQUAL(ledData.state,LED_BLINKING_ON); 
}
void test_LedSM_should_change_state_to_LED_BLINKING_ON_and_reset_timer_when_timer_expires___INITIAL_LED_BLINKING_OFF()
{
	LedData ledData ; 
	ledData.state = LED_BLINKING_OFF ;
	
	msg = DO_NOTHING ;
	
	turnOffLED_Expect(LED3);
	checkTime_ExpectAndReturn(500,LED3,0);
	ledSM(&ledData);
	TEST_ASSERT_EQUAL(ledData.state,LED_BLINKING_OFF);
	
	turnOffLED_Expect(LED3);
	checkTime_ExpectAndReturn(500,LED3,1);
	ledSM(&ledData);
	TEST_ASSERT_EQUAL(ledData.state,LED_BLINKING_ON);
	
}
void test_ledSM_given_LED_OFF_state_should_remain_LED_OFF_state_if_msg_is_DO_NOTHING(void)
{
	LedData ledData;

    ledInitData(&ledData);
    TEST_ASSERT_EQUAL(ledData.state, LED_OFF);

    msg = DO_NOTHING;
    turnOffLED_Expect(PORTG, LED3);
    ledSM(&ledData);
    TEST_ASSERT_EQUAL(ledData.state, LED_OFF);
}
void test_ledSM_given_LED_BLINKING_OFF_state_should_change_to_LED_ON_state_if_msg_is_CHANGE_MODE(void)
{
	LedData ledData;

    ledData.state = LED_BLINKING_OFF;
    msg = CHANGE_MODE;

    turnOffLED_Expect(PORTG, LED3);

    ledSM(&ledData);
    TEST_ASSERT_EQUAL(ledData.state, LED_ON);
    TEST_ASSERT_EQUAL(msg, DO_NOTHING);
}
void test_ledSM_given_LED_BLINKING_OFF_state_should_change_to_LED_BLINKING_ON_state_if_timer_expired(void)
{
	LedData ledData;

    ledData.state = LED_BLINKING_OFF;
    ledData.time = 0;
    msg = DO_NOTHING;

    turnOffLED_Expect(PORTG, LED3);
    isTimerExpire_ExpectAndReturn(FIVE_HUND_MILISEC, &ledData.time, 1);

    ledSM(&ledData);
    TEST_ASSERT_EQUAL(ledData.state, LED_BLINKING_ON);
    TEST_ASSERT_EQUAL(msg, DO_NOTHING);
}
void test_message_passing_given_DO_NOTHING_and_LED_OFF_ledState_should_remain_LED_OFF(void)
{
	LedData ledData;
	ButtonData buttonData;

    ledInitData(&ledData);
    buttonInitData(&buttonData);

    readUserButton_ExpectAndReturn(0);

    buttonSM(&buttonData);

    turnOffLED_Expect(PORTG, LED3);

    ledSM(&ledData);

    TEST_ASSERT_EQUAL(buttonData.state, RELEASE);
    TEST_ASSERT_EQUAL(ledData.state, LED_OFF);
}