public class PlainTextMapping extends Object
| Constructor and Description |
|---|
PlainTextMapping(String plainText,
Map<Integer,xtc.tree.Location> mapping) |
| Modifier and Type | Method and Description |
|---|---|
Map<Integer,xtc.tree.Location> |
getMapping() |
xtc.tree.Location |
getOriginalTextPositionFor(int plainTextPosition) |
String |
getPlainText() |