PROGRAMA PARA LEER EL ANCHO DE UN PULSO QUE ENTRA POR UN PUERTO DIGITAL, USELO EN UN DATO DE TIEMPO IRDA. en este caso se emplea para el control del videobeam de el aula

Dependencies:   Pulse1 mbed

Fork of irda1 by Gustavo Ramirez

Revision:
0:74d57f8ae247
Child:
2:6a15ab0305c8
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/main.cpp	Thu Nov 07 03:34:46 2013 +0000
@@ -0,0 +1,18 @@
+#include "mbed.h"
+#include <Pulse1.h>
+
+PulseInOut irda(PTD5);
+Serial pc(USBTX, USBRX);
+DigitalOut led(LED1);
+int tiempo;
+  
+int main(){
+while(1){
+tiempo = irda.read_high_us(); 
+      led=1;
+      pc.printf("Header bajo dura %d us\n", tiempo); 
+      wait(0.3);
+      led=0;
+      
+         }
+         }
\ No newline at end of file