text: /*
    Copyright (c) 2011 Arduino.  All right reserved.
  
    This library is free software; you can redistribute it and/or
    modify it under the terms of the GNU Lesser General Public
    License as published by the Free Software Foundation; either
    version 2.1 of the License, or (at your option) any later version.
  
    This library is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
    See the GNU Lesser General Public License for more details.
  
    You should have received a copy of the GNU Lesser General Public
    License along with this library; if not, write to the Free Software
    Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
  */
  
  #ifndef HardwareSerial_h
  #define HardwareSerial_h
  
  #include <inttypes.h>
  
  #include "WStream.h"
  
  class HardwareSerial : public WStream
  {
    public:
  	void begin( const uint32_t dwBaudRate ) ;
      void begin( const uint32_t dwBaudRate, PinName rx_pin, PinName tx_pin  );
      void end();
      virtual int available(void) = 0;
      virtual int peek(void) = 0;
      virtual int read(void) = 0;
      virtual void flush(void) = 0;
      virtual size_t write(uint8_t) = 0;
      using Print::write; // pull in write(str) and write(buf, size) from Print
      virtual operator bool() = 0;
  };
  
  extern void serialEvent(void) __attribute__((weak));
  
  #endif
  