public class PositionTracker extends Object
| Modifier and Type | Class and Description |
|---|---|
static class |
PositionTracker.ForwardPositionTracker
forward position change tracking - keeping track of several rounds of text modifications allowing to trace a position in the original
text along the modifications to the corresp.
|
| Constructor and Description |
|---|
PositionTracker() |
| Modifier and Type | Method and Description |
|---|---|
void |
addPositionChange(int pos,
int modifier) |
void |
closeRun()
Closes the current changing run by Merging new position changes into the existing position change map
after each round (one round=consecutive changes along the text) you need to call closeRun() before submitting more position changes from a new round,
i.e.
|
Integer |
translatePosition(Integer pos)
Merges new position changes (given with the inversed old2new mapping) into the existing position change map
|
public void addPositionChange(int pos,
int modifier)
public void closeRun()
Copyright © 2018. All rights reserved.