public BufferedIndexInput clone() {BufferedIndexInput clone = (BufferedIndexInput)super.clone();clone.buffer = null;clone.bufferLength = 0;clone.bufferPosition = 0;clone.bufferStart = getFilePointer();return clone;}

public BufferedIndexInput clone ( ) { BufferedIndexInput clone = ( BufferedIndexInput ) super . clone ( ) ; clone . buffer = null ; clone . bufferLength = 0 ; clone . bufferPosition = 0 ; clone . bufferStart = getFilePointer ( ) ; return clone ; }
public override object Clone(){BufferedIndexInput clone = (BufferedIndexInput)base.Clone();clone.m_buffer = null;clone.bufferLength = 0;clone.bufferPosition = 0;clone.bufferStart = GetFilePointer();return clone;}
