// Copyright (c) 2001-2009 Nokia Corporation and/or its subsidiary(-ies).

// All rights reserved.

// This component and the accompanying materials are made available

// under the terms of "Eclipse Public License v1.0"

// which accompanies this distribution, and is available

// at the URL "http://www.eclipse.org/legal/epl-v10.html".

//

// Initial Contributors:

// Nokia Corporation - initial contribution.

//

// Contributors:

//

// Description:

// The implementation of the transition validation classes upon the TFilterConfigurationIterator class methods.

// 

//

/**

 @file FilterConfigurationIteratorTransitionValidation.inl

*/

// Literals

_LIT(KTxtTestFailed, "<FONT color=\"red\">***** TEST FAILED *****</FONT>");

_LIT(KTxtTestPassed, "<FONT color=\"green\">***** TEST PASSED OK *****</FONT>");

// ______________________________________________________________________________

//

inline TFilterConfigurationIterator_Ctor_TransitionValidator::TFilterConfigurationIterator_Ctor_TransitionValidator(CUnitTestContext& aUTContext)

:TTransitionValidator(aUTContext)

	{

	// Do nothing

	}

_LIT(KCtorFailedInvariant,

	"*** CFilterConfigurationIterator_Ctor_Transition invariant failure ***");

inline TBool TFilterConfigurationIterator_Ctor_TransitionValidator::ValidatePreConditions()

	{

	// For a c'tor this should be empty.

	CFilterConfigurationIterator_UnitTestContext& context = REINTERPRET_CAST(CFilterConfigurationIterator_UnitTestContext&,iUTContext);

	if(iUTContext.StateAccessor().InvariantTest(context.iFilterConfigurationIterator))

		{

		iUTContext.DataLogger().LogInformation(KTxtTestFailed);

		iUTContext.DataLogger().LogInformation(KCtorFailedInvariant);

		return EFalse;

		}

	// Make sure object does not exist

	if( context.iFilterConfigurationIterator != NULL )

		{

		iUTContext.DataLogger().LogInformation(KTxtTestFailed);

		_LIT(KTxtFail, "*** C'tor pre condition fail - Object already exists ***");

		iUTContext.DataLogger().LogInformation(KTxtFail);

		return EFalse;

		}

	return ETrue;

	}

inline TBool TFilterConfigurationIterator_Ctor_TransitionValidator::ValidatePostConditions(TTestBedAsyncState /* aAsyncState */)

	{

	CFilterConfigurationIterator_UnitTestContext& context = REINTERPRET_CAST(CFilterConfigurationIterator_UnitTestContext&,iUTContext);

	// For a d'tor this should be empty.

	if(iUTContext.StateAccessor().InvariantTest(context.iFilterConfigurationIterator))

		{

		iUTContext.DataLogger().LogInformation(KTxtTestFailed);

		iUTContext.DataLogger().LogInformation(KCtorFailedInvariant);

		return EFalse;

		}

	// Make sure object has been created

	if( context.iFilterConfigurationIterator == NULL )

		{

		iUTContext.DataLogger().LogInformation(KTxtTestFailed);

		_LIT(KTxtFail, "*** C'tor post condition fail - Test Object was not created ***");

		iUTContext.DataLogger().LogInformation(KTxtFail);

		return EFalse;

		}

	return ETrue;

	}

// ______________________________________________________________________________

//

inline TFilterConfigurationIterator_Dtor_TransitionValidator::TFilterConfigurationIterator_Dtor_TransitionValidator(CUnitTestContext& aUTContext)

:TTransitionValidator(aUTContext)

	{

	// Do nothing

	}

_LIT(KDtorFailedInvariant,

	"*** CFilterConfigurationIterator_Dtor_Transition invariant failure ***");

inline TBool TFilterConfigurationIterator_Dtor_TransitionValidator::ValidatePreConditions()

	{

	CFilterConfigurationIterator_UnitTestContext& context = REINTERPRET_CAST(CFilterConfigurationIterator_UnitTestContext&,iUTContext);

	// For a d'tor this should not be empty.

	if(iUTContext.StateAccessor().InvariantTest(context.iFilterConfigurationIterator))

		{

		iUTContext.DataLogger().LogInformation(KTxtTestFailed);

		iUTContext.DataLogger().LogInformation(KDtorFailedInvariant);

		return EFalse;

		}

	// Test object should exists at this point

	if( context.iFilterConfigurationIterator == NULL )

		{

		iUTContext.DataLogger().LogInformation(KTxtTestFailed);

		_LIT(KTxtFailed, "*** D'tor pre-condition fail - Test Object already destroyed ***");

		iUTContext.DataLogger().LogInformation(KTxtFailed);

		return EFalse;

		}

	return ETrue;

	}

inline TBool TFilterConfigurationIterator_Dtor_TransitionValidator::ValidatePostConditions(TTestBedAsyncState /* aAsyncState */)

	{

	CFilterConfigurationIterator_UnitTestContext& context = REINTERPRET_CAST(CFilterConfigurationIterator_UnitTestContext&,iUTContext);

	// For a d'tor this should be empty.

	if(iUTContext.StateAccessor().InvariantTest(context.iFilterConfigurationIterator))

		{

		iUTContext.DataLogger().LogInformation(KTxtTestFailed);

		iUTContext.DataLogger().LogInformation(KDtorFailedInvariant);

		return EFalse;

		}

	// Test object should be destroyed

	if( context.iFilterConfigurationIterator != NULL )

		{

		iUTContext.DataLogger().LogInformation(KTxtTestFailed);

		_LIT(KTxtFail, "*** D'tor post condition fail - Test object not destroyed ***");

		iUTContext.DataLogger().LogInformation(KTxtFail);

		return EFalse;

		}

	iUTContext.DataLogger().LogInformation(KTxtTestPassed);

	return ETrue;

	}

// ______________________________________________________________________________

//

inline TFilterConfigurationIterator_SuccessfulFirst_TransitionValidator::TFilterConfigurationIterator_SuccessfulFirst_TransitionValidator(CUnitTestContext& aUTContext)

:TTransitionValidator(aUTContext)

	{

	// Do nothing

	}

_LIT(KSuccessfulFirstFailedInvariant,

	"CFilterConfigurationIterator_SuccessfulFirst_Transition invariant failure");

inline TBool TFilterConfigurationIterator_SuccessfulFirst_TransitionValidator::ValidatePreConditions()

	{

	CFilterConfigurationIterator_UnitTestContext& context = REINTERPRET_CAST(CFilterConfigurationIterator_UnitTestContext&,iUTContext);

	// Invariant test

	if(iUTContext.StateAccessor().InvariantTest(REINTERPRET_CAST(CFilterConfigurationIterator_UnitTestContext&,iUTContext).iFilterConfigurationIterator))

		{

		iUTContext.DataLogger().LogInformation(KSuccessfulFirstFailedInvariant);

		return EFalse;

		}

	// Test object should exist

	if(context.iFilterConfigurationIterator == NULL)

		{

		iUTContext.DataLogger().LogInformation(KTxtTestFailed);

		_LIT(KTxtFailed, "*** First method pre-condition fail - Test Object not created ***");

		iUTContext.DataLogger().LogInformation(KTxtFailed);

		return EFalse;

		}

	return ETrue;

	}

inline TBool TFilterConfigurationIterator_SuccessfulFirst_TransitionValidator::ValidatePostConditions(TTestBedAsyncState /* aAsyncState */)

	{

	CFilterConfigurationIterator_UnitTestContext& context = REINTERPRET_CAST(CFilterConfigurationIterator_UnitTestContext&,iUTContext);

	// Invariant test

	if(iUTContext.StateAccessor().InvariantTest(REINTERPRET_CAST(CFilterConfigurationIterator_UnitTestContext&,iUTContext).iFilterConfigurationIterator))

		{

		iUTContext.DataLogger().LogInformation(KSuccessfulFirstFailedInvariant);

		return EFalse;

		}

	// First method should be successful returning KErrNone

	if(context.iFirstReturn != KErrNone)

		{

		iUTContext.DataLogger().LogInformation(KTxtTestFailed);

		_LIT(KTxtFail, "*** Successful First method post condition fail - First method returned %d ***");

		iUTContext.DataLogger().LogInformationWithParameters(KTxtFail, context.iFirstReturn);

		return EFalse;

		}

	return ETrue;

	}

// ______________________________________________________________________________

//

inline TFilterConfigurationIterator_SuccessfulAtStart_TransitionValidator::TFilterConfigurationIterator_SuccessfulAtStart_TransitionValidator(CUnitTestContext& aUTContext)

:TTransitionValidator(aUTContext)

	{

	// Do nothing

	}

_LIT(KSuccessfulAtStartFailedInvariant,

	"CFilterConfigurationIterator_SuccessfulAtStart_Transition invariant failure");

inline TBool TFilterConfigurationIterator_SuccessfulAtStart_TransitionValidator::ValidatePreConditions()

	{

	CFilterConfigurationIterator_UnitTestContext& context = REINTERPRET_CAST(CFilterConfigurationIterator_UnitTestContext&,iUTContext);

	// Invariant test

	if(iUTContext.StateAccessor().InvariantTest(REINTERPRET_CAST(CFilterConfigurationIterator_UnitTestContext&,iUTContext).iFilterConfigurationIterator))

		{

		iUTContext.DataLogger().LogInformation(KSuccessfulAtStartFailedInvariant);

		return EFalse;

		}

	// Test object should exist

	if(context.iFilterConfigurationIterator == NULL)

		{

		iUTContext.DataLogger().LogInformation(KTxtTestFailed);

		_LIT(KTxtFailed, "*** AtStart method pre-condition fail - Test Object not created ***");

		iUTContext.DataLogger().LogInformation(KTxtFailed);

		return EFalse;

		}

	// Call to First() should be successful

	if(context.iFirstReturn != KErrNone)

		{

		iUTContext.DataLogger().LogInformation(KTxtTestFailed);

		_LIT(KTxtFailed, "*** AtStart method pre-condition fail - First Method was not succesful ***");

		iUTContext.DataLogger().LogInformation(KTxtFailed);

		return EFalse;

		}

	return ETrue;

	}

inline TBool TFilterConfigurationIterator_SuccessfulAtStart_TransitionValidator::ValidatePostConditions(TTestBedAsyncState /* aAsyncState */)

	{

	CFilterConfigurationIterator_UnitTestContext& context = REINTERPRET_CAST(CFilterConfigurationIterator_UnitTestContext&,iUTContext);

	// Invariant test

	if(iUTContext.StateAccessor().InvariantTest(REINTERPRET_CAST(CFilterConfigurationIterator_UnitTestContext&,iUTContext).iFilterConfigurationIterator))

		{

		iUTContext.DataLogger().LogInformation(KSuccessfulAtStartFailedInvariant);

		return EFalse;

		}

	// Iterator should be at start

	if( context.iAtStartReturn != context.iAtStartExpected )

		{

		iUTContext.DataLogger().LogInformation(KTxtTestFailed);

		_LIT(KTxtFail, "*** Successful AtStart method post condition fail - Method returned False ***");

		iUTContext.DataLogger().LogInformation(KTxtFail);

		return EFalse;

		}

	return ETrue;

	}

// ______________________________________________________________________________

//

inline TFilterConfigurationIterator_SuccessfulNext_TransitionValidator::TFilterConfigurationIterator_SuccessfulNext_TransitionValidator(CUnitTestContext& aUTContext)

:TTransitionValidator(aUTContext)

	{

	// Do nothing

	}

_LIT(KSuccessfulNextFailedInvariant,

	"CFilterConfigurationIterator_SuccessfulNext_Transition invariant failure");

inline TBool TFilterConfigurationIterator_SuccessfulNext_TransitionValidator::ValidatePreConditions()

	{

	CFilterConfigurationIterator_UnitTestContext& context = REINTERPRET_CAST(CFilterConfigurationIterator_UnitTestContext&,iUTContext);

	// Invariant test

	if(iUTContext.StateAccessor().InvariantTest(REINTERPRET_CAST(CFilterConfigurationIterator_UnitTestContext&,iUTContext).iFilterConfigurationIterator))

		{

		iUTContext.DataLogger().LogInformation(KSuccessfulNextFailedInvariant);

		return EFalse;

		}

	// Test object should exist

	if(context.iFilterConfigurationIterator == NULL)

		{

		iUTContext.DataLogger().LogInformation(KTxtTestFailed);

		_LIT(KTxtFailed, "*** First method pre-condition fail - Test Object not created ***");

		iUTContext.DataLogger().LogInformation(KTxtFailed);

		return EFalse;

		}

	// Call to first should be successful

	if(context.iFirstReturn != KErrNone)

		{

		iUTContext.DataLogger().LogInformation(KTxtTestFailed);

		_LIT(KTxtFailed, "*** First method pre-condition fail - First Method was not succesful ***");

		iUTContext.DataLogger().LogInformation(KTxtFailed);

		return EFalse;

		}

	return ETrue;

	}

inline TBool TFilterConfigurationIterator_SuccessfulNext_TransitionValidator::ValidatePostConditions(TTestBedAsyncState /* aAsyncState */)

	{

	CFilterConfigurationIterator_UnitTestContext& context = REINTERPRET_CAST(CFilterConfigurationIterator_UnitTestContext&,iUTContext);

	// Invariant test

	if(iUTContext.StateAccessor().InvariantTest(REINTERPRET_CAST(CFilterConfigurationIterator_UnitTestContext&,iUTContext).iFilterConfigurationIterator))

		{

		iUTContext.DataLogger().LogInformation(KSuccessfulNextFailedInvariant);

		return EFalse;

		}

	// Call to Next should be successful

	if(context.iNextReturn != KErrNone)

		{

		iUTContext.DataLogger().LogInformation(KTxtTestFailed);

		_LIT(KTxtFailed, "*** Next method post-condition fail - Next Method was not succesful ***");

		iUTContext.DataLogger().LogInformation(KTxtFailed);

		return EFalse;

		}

	return ETrue;

	}

// ______________________________________________________________________________

//

inline TFilterConfigurationIterator_FindByDataType_TransitionValidator::TFilterConfigurationIterator_FindByDataType_TransitionValidator(CUnitTestContext& aUTContext)

:TTransitionValidator(aUTContext)

	{

	// Do nothing

	}

_LIT(KFindByDataTypeFailedInvariant,

	"CFilterConfigurationIterator_FindByDataType_Transition invariant failure");

inline TBool TFilterConfigurationIterator_FindByDataType_TransitionValidator::ValidatePreConditions()

	{

	CFilterConfigurationIterator_UnitTestContext& context = REINTERPRET_CAST(CFilterConfigurationIterator_UnitTestContext&,iUTContext);

	// Invariant test

	if(iUTContext.StateAccessor().InvariantTest(REINTERPRET_CAST(CFilterConfigurationIterator_UnitTestContext&,iUTContext).iFilterConfigurationIterator))

		{

		iUTContext.DataLogger().LogInformation(KFindByDataTypeFailedInvariant);

		return EFalse;

		}

	// Test object should exist

	if(context.iFilterConfigurationIterator == NULL)

		{

		iUTContext.DataLogger().LogInformation(KTxtTestFailed);

		_LIT(KTxtFailed, "*** FindByDataType method pre-condition fail - Test Object not created ***");

		iUTContext.DataLogger().LogInformation(KTxtFailed);

		return EFalse;

		}

	// Call to first should be successful

	if(context.iFirstReturn != KErrNone)

		{

		iUTContext.DataLogger().LogInformation(KTxtTestFailed);

		_LIT(KTxtFailed, "*** FindByDataType method pre-condition fail - First Method was not succesful ***");

		iUTContext.DataLogger().LogInformation(KTxtFailed);

		return EFalse;

		}

	return ETrue;

	}

inline TBool TFilterConfigurationIterator_FindByDataType_TransitionValidator::ValidatePostConditions(TTestBedAsyncState /* aAsyncState */)

	{

	CFilterConfigurationIterator_UnitTestContext& context = REINTERPRET_CAST(CFilterConfigurationIterator_UnitTestContext&,iUTContext);

	// Invariant test

	if(iUTContext.StateAccessor().InvariantTest(REINTERPRET_CAST(CFilterConfigurationIterator_UnitTestContext&,iUTContext).iFilterConfigurationIterator))

		{

		iUTContext.DataLogger().LogInformation(KFindByDataTypeFailedInvariant);

		return EFalse;

		}

	// Call to FindByDataType() should match expected value

	if(context.iFindByDataTypeReturn != context.iFindByDataTypeExpected )

		{

		iUTContext.DataLogger().LogInformation(KTxtTestFailed);

		_LIT(KTxtFailed, "*** FindByDataType method post-condition fail - FindByDataType found filter plugin ***");

		iUTContext.DataLogger().LogInformation(KTxtFailed);

		return EFalse;

		}

	return ETrue;

	}

// ______________________________________________________________________________

//

inline TFilterConfigurationIterator_SessionListProtocols_TransitionValidator::TFilterConfigurationIterator_SessionListProtocols_TransitionValidator(CUnitTestContext& aUTContext)

:TTransitionValidator(aUTContext)

	{

	// Do nothing

	}

_LIT(KSessionListProtocolsFailedInvariant,

	"CFilterConfigurationIterator_SessionListProtocols_Transition invariant failure");

inline TBool TFilterConfigurationIterator_SessionListProtocols_TransitionValidator::ValidatePreConditions()

	{

	// No pre-conditions needed here

	return ETrue;

	}

inline TBool TFilterConfigurationIterator_SessionListProtocols_TransitionValidator::ValidatePostConditions(TTestBedAsyncState /* aAsyncState */)

	{

	// Check that there was at least one protocol listed on the device

	CFilterConfigurationIterator_UnitTestContext& context = REINTERPRET_CAST(CFilterConfigurationIterator_UnitTestContext&,iUTContext);

	// Invariant test

	if(context.iProtocolCount == 0)

		{

		iUTContext.DataLogger().LogInformation(KTxtTestFailed);

		_LIT(KTxtFailed, "*** There are no Protocol Handlers found on the device - At least one is required. ***");

		iUTContext.DataLogger().LogInformation(KTxtFailed);

		return EFalse;

		}

	iUTContext.DataLogger().LogInformation(KTxtTestPassed);

	return ETrue;

	}