File model_definition.hpp

File List > backends > cxx > include > zmbt > mapping > model_definition.hpp

Go to the documentation of this file

#ifndef ZMBT_MAPPING_MODEL_DEFINITION_HPP_
#define ZMBT_MAPPING_MODEL_DEFINITION_HPP_

#include "model_definition_helper.hpp"



namespace zmbt {
namespace mapping {

class ModelDefinition
{


    class BaseTransition;

    friend class SignalMapping;

    struct N_Term;

    // Transition templates
    template <class Target>
    struct T_Alias;
    template <class Target>
    struct T_As;
    template <class Target>
    struct T_CallCount;
    template <class Target>
    struct T_CallFilter;
    template <class Target>
    struct T_Description;
    template <class Target>
    struct T_Expect;
    template <class Target>
    struct T_InjectTo;
    template <class Target>
    struct T_Keep;
    template <class Target>
    struct T_ObserveOn;
    template <class Target>
    struct T_OnTrigger;
    template <class Target>
    struct T_ParamRow;
    template <class Target>
    struct T_PostRun;
    template <class Target>
    struct T_PreRun;
    template <class Target>
    struct T_Prod;
    template <class Target>
    struct T_Repeat;
    template <class Target>
    struct T_SignalFilter;
    template <class Target>
    struct T_SignalProperty;
    template <class Target>
    struct T_Test;
    template <class Target>
    struct T_TestComment;
    template <class Target>
    struct T_TestRow;
    template <class Target>
    struct T_Union;
    template <class Target>
    struct T_With;
    template <class Target>
    struct T_Zip;

// NODES forward declarations
    class N_Descr;
    class N_Post;
    class N_Pre;
    class N_ParamTable;
    class N_Param;
    class N_TestTable;
    class N_Test;
    class N_Channel;
    class N_ChannelOut;
    class N_CombineOut;
    class N_EndIn;
    class N_EndOut;
    class N_AliasIn;
    class N_AliasOut;
    class N_CallFilter;
    class N_DecorIn;
    class N_DecorOut;
    class N_KindIn;
    class N_KindOut;
    class N_Repeat;
    class N_Main;

};


}  // namespace mapping
}  // namespace zmbt

#endif