File content as of revision 0:d6c40db60579:

void RX_pulstrein()
{
// registreer alle niveauveranderingen van het signaal van de IR detector IR_RX
// met hun duurtijd in een array.
// Decodeer deze data naar een uitgezonden code volgens het NEC protocol.
           timer.start();        // bittime counter
           timer.reset();
            while( !Timed_Out) {
 
                while( !PTin and !Timed_Out) {    // is laag, wacht op stijgende flank)
                    Timed_Out = (timer.read_ms()>200) ;
                }
                if (!Timed_Out) {
                    stijgende_flank();   // gedetecteerd, dus registreer duurtijd laag niveau
               led2 = !led2; // Oranje LED flikkert tijdens ontvangen
                 }
                while( PTin and !Timed_Out) { // is hoog doe niets, wacht op dalende flank
                    Timed_Out = (timer.read_ms()>200) ;
                }
                if (!Timed_Out) {
                    dalende_flank();  // gedetecteerd, dus registreer duurtijd hoog niveau
                led2 = !led2; // Oranje LED flikkert tijdens ontvangen
                }
            }
            printf("Timed_out eLH_cnt: %d :eHL_cnt: %d \r\n",eLH_cnt,eHL_cnt);
            print_pulstrein(); // naar Hyperterminal
            analyseer_pulstrein(); // naar terminal
            
            led1 = 1; // pulstrein berekend
            led2 = 0;
            led3 = 0;
            led4 = PTin;
            wait(.1);
}