text: 
  // DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-
  
  #ifndef __java_io_PipedWriter__
  #define __java_io_PipedWriter__
  
  #pragma interface
  
  #include <java/io/Writer.h>
  #include <gcj/array.h>
  
  
  class java::io::PipedWriter : public ::java::io::Writer
  {
  
  public:
    PipedWriter();
    PipedWriter(::java::io::PipedReader *);
    virtual void connect(::java::io::PipedReader *);
    virtual void write(jint);
    virtual void write(JArray< jchar > *, jint, jint);
    virtual void flush();
    virtual void close();
  public: // actually package-private
    ::java::io::PipedReader * __attribute__((aligned(__alignof__( ::java::io::Writer)))) sink;
    jboolean closed;
    JArray< jchar > * read_buf;
  public:
    static ::java::lang::Class class$;
  };
  
  #endif // __java_io_PipedWriter__
  