public class LineNumberConvertor
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
LineNumberConvertor.Builder |
Modifier and Type | Method and Description |
---|---|
int |
convert(int value) |
int |
convert(int value,
boolean fromMaster,
boolean approximate) |
int |
convertApproximate(int value) |
int |
convertApproximateInv(int value) |
int |
convertInv(int value) |
TIntFunction |
createConvertor() |
void |
handleMasterChange(int startLine,
int endLine,
int shift,
boolean synchronous)
Master was changed.
|
public int convert(int value)
public int convertInv(int value)
public int convertApproximate(int value)
public int convertApproximateInv(int value)
public TIntFunction createConvertor()
public int convert(int value, boolean fromMaster, boolean approximate)
public void handleMasterChange(int startLine, int endLine, int shift, boolean synchronous)
synchronous
- true - corresponding range in slave was changed in the same way.
NB: [startLine, endLine) range MUST be strictly mapped to the slave.
false - slave was not changed.
Modified range can no longer be strictly converted.