public class XESSplitter
extends java.lang.Object
| Constructor and Description |
|---|
XESSplitter() |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
getXESLogEnd(java.io.File f)
Get the XES Log End of the input file
|
java.lang.String |
getXESLogHeader(java.io.File f)
Get the XES Log Header of the input file
|
static int |
split(java.io.File f,
long split_size,
java.lang.String output_dir,
boolean virt)
Virtually splits the input file in different splits with the desired size
|
static int |
split(java.io.File f,
long split_size,
java.lang.String output_dir,
boolean virt,
long num_chunk)
Splits the input file in different splits with the desired size
|
public static int split(java.io.File f,
long split_size,
java.lang.String output_dir,
boolean virt)
f - Input filesplit_size - Estimated size for each splitoutput_dir - Output directory for the splitsvirtual - If true just virtual splits instead physical splitspublic static int split(java.io.File f,
long split_size,
java.lang.String output_dir,
boolean virt,
long num_chunk)
f - Input filesplit_size - Estimated size for each splitoutput_dir - Output directory for the splitsvirtual - If true just virtual splits instead physical splitsnum_chunk - Number of the split (chunk) to splitpublic java.lang.String getXESLogHeader(java.io.File f)
file - Input filepublic java.lang.String getXESLogEnd(java.io.File f)
file - Input file