TextBuffer {TextBuffer.clone}:TextBuffer {TextBuffer.Close}:int {TextBuffer.compare s:any posn:int=0 nchars:int=-1}:int {TextBuffer.copy-contents}:text {TextBuffer.delete posn:int nchars:int=1}:void {TextBuffer.dump p:OutputPort=debug-output}:void {TextBuffer.ensure-length size:int}:void {TextBuffer.find s:any}:int {TextBuffer.Flush}:void {TextBuffer.get posn:int}:char {TextBuffer.init pool:int} {TextBuffer.insert-char posn:int ch:char}:void {TextBuffer.insert source:text source-index:int=0 posn:int=-1 nchars:int=-1}:void {TextBuffer.length}:int {TextBuffer.load-text-from source:text source-index:int posn:int nchars:int}:void {TextBuffer.load-with new-contents:text}:void {TextBuffer.recycle}:void {TextBuffer.set posn:int ch:char}:void {TextBuffer.store-text-to dest:text dest-index:int posn:int nchars:int}:void {TextBuffer.substring posn:int=0 nchars:int=-1}:TextBuffer {TextBuffer.truncate new-size:int}:void {TextBuffer.WriteCh ch:char}:void {TextBuffer.WriteSlice t:text s:int len:int}:void {TextBuffer.WriteText t:text}:void {TextBuffer.write p:OutputPort}:void