Java tutorial
//package com.java2s; /* * Copyright 2011 Peter Karich info@jetsli.de * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. * You may obtain a copy of the License at * * http://www.apache.org/licenses/LICENSE-2.0 * * Unless required by applicable law or agreed to in writing, software * distributed under the License is distributed on an "AS IS" BASIS, * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. * See the License for the specific language governing permissions and * limitations under the License. */ import org.xmlpull.v1.XmlPullParser; import java.io.BufferedInputStream; import java.io.Closeable; import java.io.DataInputStream; import java.io.FileInputStream; import java.io.IOException; public class Main { public static int[] readInts(String file) throws IOException { DataInputStream in = new DataInputStream(new BufferedInputStream(new FileInputStream(file), 4 * 1024)); try { int len = in.readInt(); int[] ints = new int[len]; for (int i = 0; i < len; i++) { ints[i] = in.readInt(); } return ints; } finally { in.close(); } } public static void close(XmlPullParser r) { // Nothing to do! } public static void close(Closeable cl) { try { if (cl != null) { cl.close(); } } catch (IOException ex) { throw new RuntimeException("Couldn't close resource", ex); } } }