public class MappingReader
extends java.lang.Object
| Constructor and Description |
|---|
MappingReader(java.io.File mappingFile) |
| Modifier and Type | Method and Description |
|---|---|
void |
pump(MappingProcessor mappingProcessor)
Reads the mapping file, presenting all of the encountered mapping entries
to the given processor.
|
public void pump(MappingProcessor mappingProcessor) throws java.io.IOException
java.io.IOException