Diff: WatchDogTimer.h

Revision:

2:e8b13ea2881b

Parent:

0:4d16a55d0eec

Child:

5:46f139e53b15

--- a/WatchDogTimer.h	Fri Dec 30 20:23:00 2011 +0000
+++ b/WatchDogTimer.h	Mon Jan 02 03:53:46 2012 +0000
@@ -1,19 +1,22 @@
-#ifndef WATCHDOGTIMER_H
-#define WATCHDOGTIMER_H
-
-#include "mbed.h"
-
-// Simon's Watchdog code from
-// http://mbed.org/forum/mbed/topic/508/
-class WatchDogTimer
-{
-public:
-// Load timeout value in watchdog timer and enable
-    void kick(float s);
-
-// "kick" or "feed" the dog - reset the watchdog timer
-// by writing this required bit pattern
-    void kick();
-};
-
+#ifndef WATCHDOGTIMER_H
+#define WATCHDOGTIMER_H
+
+#include "mbed.h"
+
+// Simon's Watchdog code from
+// http://mbed.org/forum/mbed/topic/508/
+class WatchDogTimer
+{
+public:
+// Load timeout value in watchdog timer and enable
+    void kick(float s);
+
+// "kick" or "feed" the dog - reset the watchdog timer
+// by writing this required bit pattern
+    void kick();
+    
+// On reset, indicate a watchdog reset or a pushbutton reset  
+    bool TimedOut();
+};
+
 #endif
\ No newline at end of file