src/simulator/event-id.h
changeset 53 ae406f4957d5
parent 52 72a52d59ee9f
child 54 f860e6f94787
equal deleted inserted replaced
52:72a52d59ee9f 53:ae406f4957d5
    30 class EventId {
    30 class EventId {
    31 public:
    31 public:
    32         EventId ();
    32         EventId ();
    33         EventId (EventImpl *impl, uint64_t ns, uint32_t uid);
    33         EventId (EventImpl *impl, uint64_t ns, uint32_t uid);
    34 	void cancel (void);
    34 	void cancel (void);
    35 	bool is_expired (void);
    35 	bool isExpired (void);
    36 public:
    36 public:
    37 	/* The following methods are semi-private
    37 	/* The following methods are semi-private
    38 	 * they are supposed to be invoked only by
    38 	 * they are supposed to be invoked only by
    39 	 * subclasses of the Scheduler base class.
    39 	 * subclasses of the Scheduler base class.
    40 	 */
    40 	 */
    41 	EventImpl *get_event_impl (void) const;
    41 	EventImpl *getEventImpl (void) const;
    42 	uint64_t get_ns (void) const;
    42 	uint64_t getNs (void) const;
    43 	uint32_t get_uid (void) const;
    43 	uint32_t getUid (void) const;
    44 private:
    44 private:
    45 	EventImpl *m_eventImpl;
    45 	EventImpl *m_eventImpl;
    46 	uint64_t m_ns;
    46 	uint64_t m_ns;
    47 	uint32_t m_uid;
    47 	uint32_t m_uid;
    48 };
    48 };