class System.IO.BinaryWriter
   inherits System.Object
   implements System.IDisposable:

   /* we cannot model member vars named after reserved keywods */
   /* def public static variable Null as System.IO.BinaryWriter. */

   def protected variable OutStream as System.IO.Stream.

   def public property BaseStream as System.IO.Stream
      get.

   constructor protected BinaryWriter():
   end constructor.

   constructor public BinaryWriter(input output as System.IO.Stream):
   end constructor.

   constructor public BinaryWriter(input output as System.IO.Stream, input encoding as System.Text.Encoding):
   end constructor.

   constructor public BinaryWriter(input output as System.IO.Stream, input encoding as System.Text.Encoding, input leaveOpen as logical):
   end constructor.

   method public void Close():
   end method.

   method protected final void Dispose(input disposing as logical):
   end method.

   method public final void Dispose():
   end method.

   method public void Flush():
   end method.

   method public int64 Seek(input offset as integer, input origin as System.IO.SeekOrigin):
   end method.

   method public void Write(input value as logical):
   end method.

   method public void Write(input value as integer):
   end method.

   method public void Write(input value as integer):
   end method.

   method public void Write(input buffer as System.Byte extent):
   end method.

   method public void Write(input buffer as System.Byte extent, input index as integer, input count as integer):
   end method.

   method public void Write(input ch as character):
   end method.

   method public void Write(input chars as System.Char extent):
   end method.

   method public void Write(input chars as System.Char extent, input index as integer, input count as integer):
   end method.

   method public void Write(input value as decimal):
   end method.

   method public void Write(input value as decimal):
   end method.

   method public void Write(input value as integer):
   end method.

   method public void Write(input value as integer):
   end method.

   method public void Write(input value as integer):
   end method.

   method public void Write(input value as integer):
   end method.

   method public void Write(input value as int64):
   end method.

   method public void Write(input value as int64):
   end method.

   method public void Write(input value as decimal):
   end method.

   method public void Write(input value as character):
   end method.

   method protected final void Write7BitEncodedInt(input value as integer):
   end method.

end class.
