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