Diff: main.h

Revision:

17:98f2528e8399

Parent:

16:675f4d0ee9e9

diff -r 675f4d0ee9e9 -r 98f2528e8399 main.h
--- a/main.h	Thu Feb 22 11:12:24 2018 +0000
+++ b/main.h	Fri Feb 23 12:57:25 2018 +0000
@@ -1,16 +1,26 @@
 /*
- * Copyright (c) 2017 Helmut Tschemernjak
+ * Copyright (c) 2018 Helmut Tschemernjak
  * 30826 Garbsen (Hannover) Germany
- * Licensed under the Apache License, Version 2.0);
- */
+  * Licensed under the Apache License, Version 2.0);
+*/
 
 #include "mbed.h"
 #include "PinMap.h"
 #include "BufferedSerial.h"
+#ifdef FEATURE_USBSERIAL
+#include "USBSerialBuffered.h"
+#endif
 #include "GenericPingPong.h"
 
 
 extern BufferedSerial *ser;
+#ifdef FEATURE_USBSERIAL
+extern USBSerialBuffered *usb;
+#endif
+extern bool _useDprintf;
+extern void InitSerial(int timeout, DigitalOut *led);  
 extern void dump(const char *title, const void *data, int len, bool dwords = false);
 
-#define dprintf(...) { ser->printf(__VA_ARGS__); ser->printf("\r\n"); }
\ No newline at end of file
+extern void dprintf(const char *format, ...) __attribute__((format(printf,1,2)));
+extern void rprintf(const char *format, ...) __attribute__((format(printf,1,2)));
+extern void VAprintf(bool timstamp, bool newline, bool printEnabled, const char *format, va_list arg);
\ No newline at end of file