Struct zmbt::mapping::ModelDefinition::T_TerminatePipe¶

template <class Target>

T_TerminatePipe transition.

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

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

Public Functions¶

Type	Name
Target	Expect ()
Target	Expect (lang::Expression const & expr) Set fixed output assertion.
Target	ExpectBatch (lang::Expression const & expr)
Target	ExpectBatch ()
Target	ExpectOne (lang::Expression const & expr)
Target	ExpectOne ()
Target	Inject ()
Target	Inject (lang::Expression const & expr) Set fixed input condition.

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 Expect [1/2]¶

inline Target T_TerminatePipe::Expect ()

function Expect [2/2]¶

Set fixed output assertion.

inline Target T_TerminatePipe::Expect (
    lang::Expression const & expr
)

function ExpectBatch [1/2]¶

inline Target T_TerminatePipe::ExpectBatch (
    lang::Expression const & expr
)

function ExpectBatch [2/2]¶

inline Target T_TerminatePipe::ExpectBatch ()

function ExpectOne [1/2]¶

inline Target T_TerminatePipe::ExpectOne (
    lang::Expression const & expr
)

function ExpectOne [2/2]¶

inline Target T_TerminatePipe::ExpectOne ()

function Inject [1/2]¶

inline Target T_TerminatePipe::Inject ()

function Inject [2/2]¶

Set fixed input condition.

inline Target T_TerminatePipe::Inject (
    lang::Expression const & expr
)

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