Struct zmbt::mapping::ModelDefinition::T_Union¶

template <class Target>

T_Union transition.

Inherits the following classes: zmbt::mapping::ModelDefinition::BaseTransition

Inherited by the following classes: zmbt::mapping::ModelDefinition::N_CombineOut

Public Functions¶

Type	Name
require_not_str< C, Target >	Union (C && cal, object_id const & obj)
require_not_str< C, Target >	Union (C && cal, Param const & obj)
require_not_str< C, Target >	Union (C && cal)
Target	Union (boost::json::string_view key, T &&... fmtargs)

Public Functions inherited from zmbt::mapping::ModelDefinition::BaseTransition¶

See zmbt::mapping::ModelDefinition::BaseTransition

Type	Name
virtual	~BaseTransition ()

Protected Functions inherited from zmbt::mapping::ModelDefinition::BaseTransition¶

See zmbt::mapping::ModelDefinition::BaseTransition

Type	Name
	BaseTransition (detail::DefinitionHelper && m)
	BaseTransition ()
	BaseTransition (BaseTransition const &) = delete
	BaseTransition (BaseTransition &&) = default
detail::DefinitionHelper &	state ()
Target	transit_to ()

Public Functions Documentation¶

function Union [1/4]¶

template<class C>
inline require_not_str< C, Target > T_Union::Union (
    C && cal,
    object_id const & obj
)

Combine channel outputs in time series

Combined channels produce a list of pairs [channel alias, requested signal], sorted by timestamp. Use it in combination with Saturate expr for testing strict or partial order on mock calls.

The output is affected by CallRange/Call/CallCount clauses: * CallRange: take all samples at specified range * Call (default clause with param = -1 for latest): take only one sample at specified call number * CallCount: take call count as a sample value and timestamp from the most recent call

function Union [2/4]¶

template<class C>
inline require_not_str< C, Target > T_Union::Union (
    C && cal,
    Param const & obj
)

function Union [3/4]¶

template<class C>
inline require_not_str< C, Target > T_Union::Union (
    C && cal
)

function Union [4/4]¶

template<class... T>
inline Target T_Union::Union (
    boost::json::string_view key,
    T &&... fmtargs
)

The documentation for this class was generated from the following file zmbt-framework/zmbt-framework/backends/cxx/include/zmbt/mapping/model_definition_transitions.hpp