public class LineNumberRemapper
extends java.lang.Object
| Constructor and Description |
|---|
LineNumberRemapper() |
| Modifier and Type | Method and Description |
|---|---|
void |
process(ProgressLogger logger,
java.nio.file.Path input,
java.nio.file.Path output) |
void |
readMappings(java.io.File lineMappings) |
public void readMappings(java.io.File lineMappings)
public void process(ProgressLogger logger, java.nio.file.Path input, java.nio.file.Path output) throws java.io.IOException
java.io.IOException