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!