Zxid getZxidFromFileName ( File file ) { String fileName = file . getName ( ) ; String strZxid = fileName . substring ( fileName . indexOf ( ' ' ) + 1 ) ; return Zxid . fromSimpleString ( strZxid ) ; }
Given the log file finds out the smallest allowed zxid for thi file . It s infered by looking at the name of the file .