/* Moves the application toward a path that was already explored, but don't change the current transition */
void replay() const;
- virtual bool depends(Transition* other) { return true; }
+ virtual bool depends(const Transition* other) const { return true; }
/* Returns the total amount of transitions executed so far (for statistics) */
static unsigned long get_executed_transitions() { return executed_transitions_; }
static unsigned long get_replayed_transitions() { return replayed_transitions_; }
};
+class CommSendTransition;
+class CommRecvTransition;
+
class CommWaitTransition : public Transition {
double timeout_;
- uintptr_t comm_;
+ void* comm_;
aid_t sender_;
aid_t receiver_;
unsigned mbox_;
- unsigned char* src_buff_;
- unsigned char* dst_buff_;
+ void* src_buff_;
+ void* dst_buff_;
size_t size_;
+ friend CommSendTransition;
+ friend CommRecvTransition;
public:
CommWaitTransition(aid_t issuer, int times_considered, char* buffer);
std::string to_string(bool verbose) override;
+ bool depends(const Transition* other) const override;
};
class CommRecvTransition : public Transition {
public:
CommRecvTransition(aid_t issuer, int times_considered, char* buffer);
std::string to_string(bool verbose) override;
+ bool depends(const Transition* other) const override;
};
class CommSendTransition : public Transition {
public:
CommSendTransition(aid_t issuer, int times_considered, char* buffer);
std::string to_string(bool verbose) override;
+ bool depends(const Transition* other) const override;
};
/** Make a new transition from serialized description */
