/** * This method reads the contents of a file, and then populates an array with integers inside of * it * * @param inputFile The file being read * @param outputArray The array that the numbers will be output to */ public static void readArray(String inputFile, int[] outputArray) { boolean flag = false; Scanner keyboard = new Scanner(System.in); String checkFile = inputFile; while (!flag) { try { DataInputStream inFile = new DataInputStream(new FileInputStream(checkFile)); for (int i = 0; i < outputArray.length; i++) { outputArray[i] = inFile.readInt(); } inFile.close(); flag = true; } catch (EOFException e) { System.out.println(e.getMessage()); } catch (FileNotFoundException e) { System.out.println("File not found."); System.out.println("Please input the name of the file you'd like to read from: "); Scanner checkKeyboard = new Scanner(System.in); checkFile = (checkKeyboard.next() + ".dat"); } catch (IOException e) { System.out.println(e.getMessage()); } } }
public Tuple getNext() throws NoSuchElementException, TransactionAbortedException { try { Tuple tuple = new Tuple(td); for (int i = 0; i < td.numFields(); i++) { IntField intf = IntField.createIntField(in.readInt()); tuple.setField(i, intf); } return tuple; } catch (EOFException eof) { throw new NoSuchElementException(eof.getMessage()); } catch (Exception e) { e.printStackTrace(); BufferPool.Instance().abortTransaction(tid); closeConnection(); throw new TransactionAbortedException(e); } }