private List getBatchItems(string text)
{
List list = BatchFile.getLines(text, this.skip);
if (this.totalBatches > 1)
{
int num = list.size();
int num2 = this.totalBatches;
int num3 = (num2 != -1) ? (num / num2) : (-num);
if (num3 < 1)
{
num3 = 1;
}
if (this.whichBatch >= this.totalBatches)
{
this.whichBatch = this.totalBatches - 1;
}
int num4 = this.whichBatch * num3;
if (this.whichBatch == this.totalBatches - 1)
{
list = list.subList(num4, list.size());
}
else
{
list = list.subList(num4, num4 + num3);
}
}
return(list);
}
private void createInputDirectory()
{
PooledBatchManager.inputDir.mkdir();
List lines = BatchFile.getLines(this.batchFile, this.skip);
for (int i = 0; i < lines.size(); i++)
{
string text = Integer.toString(i + 1);
string text2 = (string)lines.get(i);
this.createInputFile(PooledBatchManager.inputDir, text, text2);
}
}
private BatchItem getBatchItem(File file)
{
List lines = BatchFile.getLines(file.getPath());
if (lines.size() != 1)
{
string text = "Bad batch file size";
throw new IOException(text);
}
string batchFileLine = (string)lines.get(0);
return(new BatchItem(BatchFile.getFilename(batchFileLine), BatchFile.getReference(batchFileLine)));
}
public static List getLines(string batchFile)
{
return(BatchFile.getLines(batchFile, 0));
}