public String toString() {return "RandomAccessInput(" + IndexInput.this.toString() + ")";}

public String toString ( ) { return "RandomAccessInput(" + IndexInput . this . toString ( ) + ")" ; }
public override string ToString(){return resourceDescription;}
