}
SimcallObserver* clone() override { return new ActivityTestSimcall(get_issuer(), activity_); }
bool is_visible() const override { return true; }
+ bool depends(SimcallObserver* other);
std::string to_string(int times_considered) const override;
std::string dot_label(int times_considered) const override;
activity::ActivityImpl* get_activity() const { return activity_; }
class ActivityTestanySimcall : public ResultingSimcall<ssize_t> {
const std::vector<activity::ActivityImpl*>& activities_;
- int next_value_ = -1;
+ int next_value_ = 0;
public:
ActivityTestanySimcall(ActorImpl* actor, const std::vector<activity::ActivityImpl*>& activities)
SimcallObserver* clone() override { return new ActivityWaitSimcall(get_issuer(), activity_, timeout_); }
bool is_visible() const override { return true; }
bool is_enabled() const override;
+ bool depends(SimcallObserver* other);
std::string to_string(int times_considered) const override;
std::string dot_label(int times_considered) const override;
activity::ActivityImpl* get_activity() const { return activity_; }
class ActivityWaitanySimcall : public ResultingSimcall<ssize_t> {
const std::vector<activity::ActivityImpl*>& activities_;
const double timeout_;
- int next_value_ = -1;
+ int next_value_ = 0;
public:
ActivityWaitanySimcall(ActorImpl* actor, const std::vector<activity::ActivityImpl*>& activities, double timeout)