src/simulator/event-id.h
changeset 53 ae406f4957d5
parent 52 72a52d59ee9f
child 54 f860e6f94787
--- a/src/simulator/event-id.h	Tue Sep 05 12:54:53 2006 +0200
+++ b/src/simulator/event-id.h	Tue Sep 05 13:13:39 2006 +0200
@@ -32,15 +32,15 @@
         EventId ();
         EventId (EventImpl *impl, uint64_t ns, uint32_t uid);
 	void cancel (void);
-	bool is_expired (void);
+	bool isExpired (void);
 public:
 	/* The following methods are semi-private
 	 * they are supposed to be invoked only by
 	 * subclasses of the Scheduler base class.
 	 */
-	EventImpl *get_event_impl (void) const;
-	uint64_t get_ns (void) const;
-	uint32_t get_uid (void) const;
+	EventImpl *getEventImpl (void) const;
+	uint64_t getNs (void) const;
+	uint32_t getUid (void) const;
 private:
 	EventImpl *m_eventImpl;
 	uint64_t m_ns;