Diff: wdt.h

Revision:

121:ee02790d00b7

Parent:

69:65665afbad5d

--- a/wdt.h	Mon May 04 17:25:29 2015 +0000
+++ b/wdt.h	Fri May 08 04:15:23 2015 +0000
@@ -5,9 +5,12 @@
  * @version 1
  * @date 2014-11-06
  */
-#ifndef _WDT_H
-#define _WDT_H
+#ifndef __WDT_H__
+#define __WDT_H__
+
+#include "EthernetInterface.h"
 #include "mbed.h"
+#include <stdint.h>
 
 class Watchdog {
 public:
@@ -34,7 +37,7 @@
     /// @param timeout in seconds, as a floating point number
     /// @returns none
     ///
-    void Configure(float timeout);
+    void Configure ( float timeout );
     
     /// Service the Watchdog so it does not cause a system reset
     ///
@@ -43,7 +46,7 @@
     ///    wd.Service();
     /// @endcode
     /// @returns none
-    void kick();
+    void kick ();
     
     /// WatchdogCausedReset identifies if the cause of the system
     /// reset was the Watchdog
@@ -54,7 +57,7 @@
     /// @endcode
     ///
     /// @returns true if the Watchdog was the cause of the reset
-    bool WatchdogCausedReset();
+    bool WatchdogCausedReset ();
 private:
     bool wdreset;
 };