Class AsciiInput

src/main/java/trace/graphics/PlyReader.java:769–798

        }
        return new Pair(vertices, triangles);
    }

    interface Input extends Closeable {
        public Number read(Type type) throws IOException;
        public void needEnd() throws IOException;
    }
    private static class AsciiInput implements Input {
        private final Scanner scanner;

        public AsciiInput(InputStream in) throws IOException {
            scanner = new Scanner(new BufferedInputStream(in), "US-ASCII");

            // skip the header
            String line;
            do {
                line=scanner.nextLine();
            } while (!"end_header".equals(line));
        }

        @Override
        public Number read(Type type) throws IOException {
            return type.parse(scanner);
        }

        @Override
        public void needEnd() throws IOException {
            if (scanner.hasNext())
                throw new InvalidPlyFormatException("Invalid file format: expected end of file, found "+scanner.next());
        }

        @Override
        public void close() throws IOException {
            scanner.close();