EvendId -> event_id_t (refactoring).
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1370 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
This commit is contained in:
@ -6,10 +6,10 @@ namespace fail {
|
||||
// External reference declared in SALInst.hpp
|
||||
ConcreteSimulatorController simulator;
|
||||
|
||||
EventId SimulatorController::addEvent(BaseEvent* ev)
|
||||
event_id_t SimulatorController::addEvent(BaseEvent* ev)
|
||||
{
|
||||
assert(ev != NULL && "FATAL ERROR: Argument (ptr) cannot be NULL!");
|
||||
EventId ret = m_EvList.add(ev, m_Flows.getCurrent());
|
||||
event_id_t ret = m_EvList.add(ev, m_Flows.getCurrent());
|
||||
// Call the common postprocessing function:
|
||||
if (!ev->onEventAddition()) { // If the return value signals "false"...,
|
||||
m_EvList.remove(ev); // ...skip the addition
|
||||
|
||||
Reference in New Issue
Block a user