Searched refs:oldPosRank (Results 1 – 1 of 1) sorted by relevance
164 unsigned oldPosRank = insertOp.getPosition().getValue().size(); in matchAndRewrite() local168 if (newPosRank > oldPosRank) { in matchAndRewrite()