private void copyParseInfo(final FileSystem zipfs)
        throws IOException
    {
        final Path path = zipfs.getPath(INFO_PATH);
        try (

            final BufferedWriter writer = Files.newBufferedWriter(path, UTF_8);
        ) {
            sb.setLength(0);
            sb.append(startTime).append(';')
                .append(prematchIndices.size()).append(';')
                .append(nextMatcherId).append(';')
                .append(nrLines).append(';')
                .append(nrChars).append(';')
                .append(nrCodePoints).append(';')
                .append(nextNodeId).append('\n');
            writer.append(sb);
            writer.flush();
        }
    }
private void copyParseInfo(final FileSystem zipfs)
        throws IOException
    {
        final Path path = zipfs.getPath(INFO_PATH);
        try (

            final BufferedWriter writer = Files.newBufferedWriter(path, UTF_8);
        ) {
            sb.setLength(0);
            sb.append(startTime).append(';')
                .append(prematchIndices.size()).append(';')
                .append(nextMatcherId).append(';')
                .append(nrLines).append(';')
                .append(nrChars).append(';')
                .append(nrCodePoints).append(';')
                .append(nextNodeId).append('\n');
            writer.append(sb);
            writer.flush();
        }
    }
private void copyParseInfo ( final FileSystem zipfs ) throws IOException { final Path path = zipfs . getPath ( INFO_PATH ) ; try ( final BufferedWriter writer = Files . newBufferedWriter ( path , UTF_8 ) ; ) { sb . setLength ( 0 ) ; sb . append ( startTime ) . append ( ' ' ) . append ( prematchIndices . size ( ) ) . append ( ' ' ) . append ( nextMatcherId ) . append ( ' ' ) . append ( nrLines ) . append ( ' ' ) . append ( nrChars ) . append ( ' ' ) . append ( nrCodePoints ) . append ( ' ' ) . append ( nextNodeId ) . append ( ' ' ) ; writer . append ( sb ) ; writer . flush ( ) ; } }
MUST be called after copyInputText!
MUST be called after copyInputText!