public interface DelayedCutListener
DelayedCut
,
DelayedCutProcessor
Modifier and Type | Method and Description |
---|---|
void |
eventCutting() |
void |
eventEnd(DelayedCut cutInformation) |
void |
eventException(java.lang.Throwable throwable) |
void |
eventRebuildingTree(int currentTacletNumber,
int totalNumber) |
void eventCutting()
void eventRebuildingTree(int currentTacletNumber, int totalNumber)
void eventEnd(DelayedCut cutInformation)
void eventException(java.lang.Throwable throwable)