Flasher class is useful to flash a pin for a given #n of times

Revision:
0:8eb512b1d1ed
Child:
1:777003f7824d
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Flasher.h	Sat Dec 07 16:31:21 2013 +0000
@@ -0,0 +1,15 @@
+#ifndef FLASHER_H
+#define FLASHER_H
+ 
+#include "mbed.h"
+ 
+class Flasher {
+public:
+    Flasher(PinName pin);
+    void flash(int n);
+  
+private:  
+    DigitalOut _pin;
+};
+ 
+#endif
\ No newline at end of file