io.jbotsim.gen.dynamic.trace

Interface TracePlayer.ReplayTerminatedListener

Enclosing class:

TracePlayer

public static interface TracePlayer.ReplayTerminatedListener

Method Summary

Modifier and Type	Method and Description
void	onReplayTerminated(TracePlayer tracePlayer)

Method Detail

onReplayTerminated

void onReplayTerminated(TracePlayer tracePlayer)