Diff: platform/Stream.h

Revision:

187:0387e8f68319

Parent:

178:79309dc6340a

Child:

189:f392fc9709a3

--- a/platform/Stream.h	Fri Jun 22 16:45:37 2018 +0100
+++ b/platform/Stream.h	Thu Sep 06 13:40:20 2018 +0100
@@ -33,7 +33,7 @@
 
 extern void mbed_set_unbuffered_stream(std::FILE *_file);
 extern int mbed_getc(std::FILE *_file);
-extern char* mbed_gets(char *s, int size, std::FILE *_file);
+extern char *mbed_gets(char *s, int size, std::FILE *_file);
 
 /** File stream
  *
@@ -42,24 +42,27 @@
 class Stream : public FileLike, private NonCopyable<Stream> {
 
 public:
-    Stream(const char *name=NULL);
+    Stream(const char *name = NULL);
     virtual ~Stream();
 
     int putc(int c);
     int puts(const char *s);
     int getc();
     char *gets(char *s, int size);
-    int printf(const char* format, ...);
-    int scanf(const char* format, ...);
-    int vprintf(const char* format, std::va_list args);
-    int vscanf(const char* format, std::va_list args);
+    int printf(const char *format, ...);
+    int scanf(const char *format, ...);
+    int vprintf(const char *format, std::va_list args);
+    int vscanf(const char *format, std::va_list args);
 
-    operator std::FILE*() {return _file;}
+    operator std::FILE *()
+    {
+        return _file;
+    }
 
 protected:
     virtual int close();
-    virtual ssize_t write(const void* buffer, size_t length);
-    virtual ssize_t read(void* buffer, size_t length);
+    virtual ssize_t write(const void *buffer, size_t length);
+    virtual ssize_t read(void *buffer, size_t length);
     virtual off_t seek(off_t offset, int whence);
     virtual off_t tell();
     virtual void rewind();
@@ -74,13 +77,15 @@
 
     /** Acquire exclusive access to this object.
      */
-    virtual void lock() {
+    virtual void lock()
+    {
         // Stub
     }
 
     /** Release exclusive access to this object.
      */
-    virtual void unlock() {
+    virtual void unlock()
+    {
         // Stub
     }
 };