Class creating an error event for a token at a message task if the message can not be delivered. More...

Detailed Description

The MyopicMessageTaskTerminator terminates a BPMN:ReceiveTask or a BPMN:SendTask with an error if the respective message cannot be delivered. It only raises an error if all tokens have advanced as far as possible, i.e., if all pending decisions except for message delivery decisions are made, and if no task waits for a BPMNOS::Execution::ReadyEvent or a BPMNOS::Execution::CompletionEvent, and if no BPMN::TimerCatchEvent has a token. It assumes that a message handler making possible message delivery decisions has been called before, so that no message can currently be delivered. The handler is myopic and does not consider future instantiations of processes.

Definition at line 22 of file MyopicMessageTaskTerminator.h.

#include <MyopicMessageTaskTerminator.h>

Inheritance diagram for BPMNOS::Execution::MyopicMessageTaskTerminator:

Public Member Functions
	MyopicMessageTaskTerminator ()

std::shared_ptr< Event >	dispatchEvent (const SystemState *systemState) override

void	connect (Mediator *mediator) override

void	notice (const Observable *observable) override

Public Member Functions inherited from BPMNOS::Execution::EventDispatcher
virtual	~EventDispatcher ()=default

virtual void	notice (Event *event)

Public Member Functions inherited from BPMNOS::Execution::Observer