Class BinaryInput

src/main/java/trace/graphics/PlyReader.java:799–886

        }

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

    }
    private static class BinaryInput implements Input {
        private final ReadableByteChannel channel;
        private final ByteBuffer buffer;
        private int bufferLength;

        public BinaryInput(ReadableByteChannel channel, ByteOrder byteOrder) throws IOException {
            final byte[] END="end_header".getBytes("US-ASCII");
            byte[] endTest=new byte[END.length];

            this.channel=channel;
            buffer=ByteBuffer.allocate(8192).order(byteOrder);
            bufferLength=0;
            // skip header
            int lineStart=0;
            int read;
            while (true) {
                read=channel.read(buffer);
                if (read==-1) throw new InvalidPlyFormatException("Cannot find the end of the header on the second pass: file has been modified");
                bufferLength+=read;
                for (int i=bufferLength-read; i<bufferLength; i++) {
                    if (buffer.get(i)==(byte)'\n') {
                        int length=i-lineStart;
                        if (length==END.length) {
                            buffer.position(lineStart);
                            buffer.get(endTest);
                            buffer.get(); // skip the '\n'
                            if (Arrays.equals(END, endTest)) {
                                // done skipping header
                                buffer.limit(bufferLength);
                                buffer.compact();
                                buffer.flip();
                                return;
                            }
                        }
                        lineStart=i+1;
                    }
                }
                if (buffer.remaining()==0) {
                    if (lineStart==0) throw new InvalidPlyFormatException("Line too long");
                    buffer.position(lineStart);
                    buffer.limit(bufferLength);
                    buffer.compact();
                    bufferLength-=lineStart;
                    lineStart=0;
                    buffer.limit(buffer.capacity());
                }
            }
        }

        @Override
        public Number read(Type type) throws IOException {
            while (true) {