/*

* Copyright (c) 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: Header declaration

*

*/

#ifndef MASSERTION_H

#define MASSERTION_H

#include <e32std.h>

#include "wspolicyregistry.h"

class MAssertion;

class CPolicyRegistry;

typedef RPointerArray<MAssertion> RPolicyTerms;

 enum TAssertionType

 {

    EInvalidType = 0,

    ECompositeAndType = 1,

    ECompositePolicyType = 2,

    ECompositeXorType = 3,

    EPolicyReferenceType = 4,

    EPrimitiveType = 5

 };

class MAssertion

{

public: 

    virtual void 	        AddTerm(MAssertion* aAssertion) = 0;

    virtual void 	        AddTerms(RPolicyTerms& aAssertions) = 0;

    virtual void 	        AddTermCopyL(MAssertion* aAssertion) = 0;

    virtual void 	        AddTermsCopyL(RPolicyTerms& aAssertions) = 0;

    virtual void 	        MoveTermL(RPolicyTerms& aAssertions) = 0;

    virtual void 	        MoveTermsL(RPolicyTerms& aAssertions) = 0;

    virtual MAssertion* 	GetParent() = 0;

    virtual RPolicyTerms& 	GetTerms() = 0;

    virtual TBool 	        HasParent() = 0;

    virtual MAssertion* 	IntersectL(MAssertion* aAssertion) = 0;

    virtual TBool 	        IsEmpty() = 0;

    virtual TBool 	        IsNormalized() = 0;

    virtual MAssertion* 	MergeL(MAssertion* aAssertion) = 0;

    virtual MAssertion* 	NormalizeL() = 0;

    virtual TBool 	        Remove(MAssertion* aAssertion) = 0;

    virtual void 	        SetNormalized(TBool aFlag) = 0;

    virtual void 	        SetParent(MAssertion* aParent) = 0;

    virtual TInt 	        Size() = 0;

    virtual TAssertionType  Type() = 0;

    virtual MAssertion*   IntersectL(MAssertion* aAssertion, CPolicyRegistry* aRegistry) = 0;

    virtual MAssertion*   MergeL(MAssertion* aAssertion, CPolicyRegistry* aRegistry) = 0;

    virtual MAssertion*   NormalizeL(CPolicyRegistry* aRegistry) = 0;

};

#endif //MASSERTION_H