Searched refs:totalRecords1 (Results 1 – 1 of 1) sorted by relevance
132 long totalRecords1 = F_RECORDS_DISK.read(bytes); in Eocd() local141 if (totalRecords1 != totalRecords2) { in Eocd()146 Verify.verify(totalRecords1 <= Integer.MAX_VALUE); in Eocd()148 totalRecords = Ints.checkedCast(totalRecords1); in Eocd()