LazyTraceReader

constructor(baseFileName: String)
constructor(dataFileName: String, index: DataInputStream?)