main.h

00001 #include "mbed.h"
00002 #include "PinMap.h"
00003 #include "BufferedSerial.h"
00004 #ifdef FEATURE_USBSERIAL
00005 #include "USBSerialBuffered.h"
00006 #endif
00007 #include "smartage.h"
00008 #include "hcsr04.h"
00009 #include "XNucleoIKS01A2.h"
00010 
00011 
00012 extern BufferedSerial *ser;
00013 #ifdef FEATURE_USBSERIAL
00014 extern USBSerialBuffered *usb;
00015 #endif
00016 void get_distance(char message[]);
00017 void get_temperature(char message[]);
00018 bool send_orientation();
00019 extern bool _useDprintf;
00020 extern void InitSerial(int timeout, DigitalOut *led);  
00021 extern void dump(const char *title, const void *data, int len, bool dwords = false);
00022 
00023 extern void dprintf(const char *format, ...) __attribute__((format(printf,1,2)));
00024 extern void rprintf(const char *format, ...) __attribute__((format(printf,1,2)));
00025 extern void VAprintf(bool timstamp, bool newline, bool printEnabled, const char *format, va_list arg);