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() |