Searched refs:thisOp (Results 1 – 1 of 1) sorted by relevance
5630 final HistoricalOp thisOp = getOp(otherOp.getOpName()); in merge() local5631 if (thisOp != null) { in merge()5632 thisOp.merge(otherOp); in merge()