void onBacktrace(JapaneseTokenizer tok, WrappedPositionArray positions, int lastBackTracePos, Position endPosData, int fromIDX, char[] fragment, boolean isEnd) { setBestPathMap(positions, lastBackTracePos, endPosData, fromIDX); sb.append(formatNodes(tok, positions, lastBackTracePos, endPosData, fragment)); if (isEnd) { sb.append(" fini [style=invis]\n"); sb.append(" "); sb.append(getNodeID(endPosData.pos, fromIDX)); sb.append(" -> fini [label=\"" + EOS_LABEL + "\"]"); } }