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