main.cpp

00001 // Hello World for printing RFID tag numbers
00002 
00003 #include "mbed.h"
00004 #include "ID12RFID.h"
00005 
00006 Serial pc(USBTX,USBRX);
00007 DigitalOut rled(LED1);
00008 DigitalOut gled(LED2);
00009 DigitalOut bled(LED3);
00010 ID12RFID rfid(PTE1);
00011 
00012 int main()
00013 {
00014     rled = 1;
00015     bled = 1;
00016     gled = 1;
00017     while(1) {
00018 
00019         do {
00020 
00021             switch (rfid.read()) {
00022 
00023                 case 22311780 :
00024                     pc.printf("\rWelcome, Ben\r\n");
00025                     rled = 0;
00026                     bled = 1;
00027                     gled = 1;
00028                     break;
00029                 case 22320978 :
00030                     pc.printf("\rWelcome, Joe\r\n");
00031                     rled = 1;
00032                     bled = 0;
00033                     gled = 1;
00034                     break;
00035                 case 22352757 :
00036                     pc.printf("\rWelcome, Arthur\r\n");
00037                     rled = 1;
00038                     bled = 1;
00039                     gled = 0;
00040                     break;
00041             }
00042             wait(0.2);
00043         } while (rfid.readable());
00044 
00045     }
00046 
00047 
00048 }